next up previous
Next: Synchronous and Total Order Up: Figures in the book Previous: Control of a Distributed

Causal Message Ordering

Figure: An algorithm for causal ordering of messagesat $P_i$
\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx... ...s.m, u.m)$;\\ \> \> $t.m[u.p,i] := t.m[u.p,i] + 1;$\end{tabbing}\end{minipage}}


Vijay K. Garg 2005-02-08