Next: Mutual Exclusion: Tokens and Up: Figures in the book Previous: Clocks of Different Dimensions

Mutual Exclusion: Using Timestamps

**Figure:** Lamport's algorithm for mutual exclusion
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...d ack to process $u.p$; // acknowledge \lq\lq request'' \end{tabbing}\end{minipage}}$

**Figure:** Messages crossing a cut
$\begin{figure}\centerline{\epsfbox{figs/mutexProof.eps}}\end{figure}$

**Figure:** Proof for the induction case
$\begin{figure}\centerline{\epsfbox{figs/dvector.eps}}\end{figure}$

**Figure:** Ricart and Agrawala's algorithm
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...to the process $j$;\\ \> \> $pendingQ := null;$\\ \end{tabbing}\end{minipage}}$

Vijay K. Garg 2005-02-08