- - - - CENAPAD-MGCO

A seguir: Auxiliary Variables Acima: O Algoritmo de Naimi-Trehel Anterior: O Algoritmo de Naimi-Trehel

State Variables and Initial Values

Each site keeps the following variables in its private memory:

 

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 -