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

Descrición completa

Detalles Bibliográficos
Publicado en:Journal of the ACM 45, 1 (1998).
Autor Principal: Fekete, Alan
Formato: Artigo
Idioma:English
Subjects:
Computer systems organization.
Computer communication networks.
Distributed systems.
Network operating systems.
Software.
Operating systems.
Theory of computation.
Logics and meanings of programs.
Algorithms.
Verification.