Next: Self-Stabilization Up: Figures in the book Previous: Slicers

Distributed Shared Memory

**Figure:** Sequential consistency: local read algorithm
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...$ {\bf then} generate $Ok()$ for $write(x,v)$;\\ \end{tabbing}\end{minipage}}$

**Figure:** Sequential consistency: local write algorithm
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...$ where $v$ is the value of $P$'s copy of $x$;\\ \end{tabbing}\end{minipage}}$

**Figure:** Summary of consistency conditions
$\begin{figure} % latex2html id marker 3809 \begin{tabular}{\vert l \vert l \vert... ...f{exer:FIFO}) & Per process & Process order \\ \hline \end{tabular}\end{figure}$

Vijay K. Garg 2005-02-08