Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On interprocess communication and the implementation of multi-writer atomic

Summary: On interprocess communication and the
implementation of multi-writer atomic
Uri Abraham
Department of Mathematics and Computer Science
Ben-Gurion University, Be'er Sheva, ISRAEL.
September 18, 1995
Two protocols for implementing n-writer m-reader atomic registers
with 1-writer m-reader atomic registers are described. In order to give
complete proofs, a theory of interprocess communication is presented
rst. The correctness of a protocol that implements an atomic register
is proved here in two stages: (1) A formulation of higher-level spec-
i cations and a proof that the protocol satis es these speci cations.
(2) A proof of atomicity assuming that the speci cations hold. This
division enables a better understanding of the protocols, and the fact
that both protocols share the same higher-level speci cations reduces
the length of the correctness proof.
The di erence between the two protocols is that in the rst the
readers do not write at all, while in the second they do. The rst


Source: Abraham, Uri - Departments of Computer Science & Mathematics, Ben-Gurion University


Collections: Mathematics; Computer Technologies and Information Sciences