The Algorithm: State Variables and Initial Values

UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Auxiliary Variables Acima: Aula 17 - O Anterior: Aula 17 - O

The Algorithm: State Variables and Initial Values

Each site keeps the following variables in its private memory:

Figure 8: Client 3 finally eats
Variable Description Initial Value

s may be thinking, hungry or eating s = thinking

HasToken boolean indicating the presence of the token TRUE for node 1; FALSE for all other nodes

ReqList FIFO list of stored requests ReqList = EMPTY

Next integer between 1 and N, or nil for node 1, Next = nil; for all other nodes, Next = 1

T a record corresponding to a token message, with a single field, T.ReqList, which is a FIFO list of requests -

R a record corresponding to a request message, with a single field, R.origin, indicating the site who sent the message -

**Figure 8:** Client 3 finally eats
Variable	Description	Initial Value
s	may be thinking, hungry or eating	s = thinking
HasToken	boolean indicating the presence of the token	TRUE for node 1; FALSE for all other nodes
ReqList	FIFO list of stored requests	ReqList = EMPTY
Next	integer between 1 and N, or nil	for node 1, Next = nil; for all other nodes, Next = 1
T	a record corresponding to a token message, with a single field, T.ReqList, which is a FIFO list of requests	-
R	a record corresponding to a request message, with a single field, R.origin, indicating the site who sent the message	-

Next: Auxiliary Variables Up: Aula 17 - O Previous: Aula 17 - O

Osvaldo Carvalho