Sequential Consistency in Distributed Systems : Theory and Implementation

Masaaki Mizuno 1 Michel Raynal 2 Junhui Zhou 2
2 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Recently, distributed shared memory (DSM) systems have received much attention because such an abstraction simplifies programming. It has been shown that many practical applications using DSMs require competing operations. We have aimed at unifying theory and implementations of protocols for sequential consistency, which provides competing operations. The results are useful not only to clarify previously proposed implementations but also to develop new efficient implementations for consistency criteria which provide competing operations, such as sequential consistency, weak ordering (with sequential consistency for competing accesses), and release consistency (with sequential consistency for competing accesses). By adopting concepts from concurrency control, we have developed theory for sequential consistency, called a \it sequentializability theory. This paper first presents the sequentializability theory, and then demonstrates the correctness of existing protocols using the theory. Finally, the paper presents new protocols which require significantly less communication than previously proposed protocols in systems which do not provide hardware atomic broadcasting facilities.
Type de document :
Rapport
[Research Report] RR-2437, INRIA. 1995
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074237
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:50:13
Dernière modification le : mercredi 11 avril 2018 - 02:00:16
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:14:05

Fichiers

Identifiants

  • HAL Id : inria-00074237, version 1

Citation

Masaaki Mizuno, Michel Raynal, Junhui Zhou. Sequential Consistency in Distributed Systems : Theory and Implementation. [Research Report] RR-2437, INRIA. 1995. 〈inria-00074237〉

Partager

Métriques

Consultations de la notice

432

Téléchargements de fichiers

472