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...

Повний опис

Бібліографічні деталі

Опубліковано в::	Journal of the ACM 45, 1 (1998).
Автор:	Fekete, Alan
Формат:	Стаття
Мова:	Англійська
Предмети:	Computer systems organization. Computer communication networks. Distributed systems. Network operating systems. Software. Operating systems. Theory of computation. Logics and meanings of programs. Algorithms. Verification.