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

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

Ful tanımlama

Detaylı Bibliyografya
Yayımlandı:Journal of the ACM 45, 1 (1998).
Yazar: Fekete, Alan
Materyal Türü: Makale
Dil:English
Konular:
Computer systems organization.
Computer communication networks.
Distributed systems.
Network operating systems.
Software.
Operating systems.
Theory of computation.
Logics and meanings of programs.
Algorithms.
Verification.