On interprocess communication and the implementation of multi-writer atomic registers

Citations of this article
Mendeley users who have this article in their library.


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 first. The correctness of a protocol that implements an atomic register is proved here in two stages: 1. (1) a formulation of higher-level specifications and a proof that the protocol satisfies these specifications. 2. (2) a proof of atomicity assuming that the specifications hold. This division enables a better understanding of the protocols, and the fact that both protocols share the same higher-level specifications reduces the length of the correctness proof. The difference between the two protocols is that in the first the readers do not write at all, while in the second they do. The first protocol is space efficient, while the second is time efficient. © 1995.




Abraham, U. (1995). On interprocess communication and the implementation of multi-writer atomic registers. Theoretical Computer Science, 149(2), 257–298. https://doi.org/10.1016/0304-3975(95)00013-M

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free