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

A seguir: Rules Acima: The Algorithm: State Variables Anterior: The Algorithm: State Variables

Auxiliary Variables

• The array [1 $\ldots$ N] (for isited) is used only for proof purposes.
• [k] is a sequence of node numbers. It contains the nodes already ``visited'' by a request originated at node k.
• As an auxiliary variable, [k] may be read or written by any node;
• Initially [k] = EMPTY for all k.