Implementing sequentially consistent shared objects using broadcast and point-to-point communication.

This paper presents and proves correct a distributed algorithm that implements a sequentially consistent collection of shared read/update objects. This algorithm is a generalization of one used in the Orca shared object system. The algorithm caches objects in the local memory of processors according...

Volledige beschrijving

Bibliografische gegevens

Gepubliceerd in:	Journal of the ACM 45, 1 (1998).
Hoofdauteur:	Fekete, Alan
Formaat:	Artikel
Taal:	Engels
Onderwerpen:	Computer systems organization. Computer communication networks. Distributed systems. Network operating systems. Software. Operating systems. Theory of computation. Logics and meanings of programs. Algorithms. Verification.