From Serializable to Causal Transactions for Collaborative Applications

Michel Raynal 1 G. Thia-Kime 1 M. Ahamad 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Serializability is the traditional consistency criterion when shared objects are accessed concurrently. Its main drawback lies in the strong synchronization constraints it imposes on execution of applications when they are run on distributed systems. In this paper we examine weake consistency criteria for computations in which accesses to shared objects are grouped to form transactions. In particular, we explore causal consistency and causal serializability for transaction based computations. These criteria turn out to be sufficient for a class of applications ( e.g., collaborative applications) and their implementation results in greater availability of data and improved performance. These criteria are formally defined and protocols implementing them are presented. We demonstrate that causal consistency allows both read and update transactions to be executed in a wait-free manner. Although write accesses in causal serializability require synchronization with other nodes, read accesses appearing in update transactions can be executed locally. This distinguishes causal serializability from serializability where synchronization is necessary for both read and write accesses of update transactions. Finally, fault-tolerance problems are addressed in the context of process crash failures.
Type de document :
Rapport
[Research Report] RR-2802, INRIA. 1996
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00073888
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:59:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:18:08

Fichiers

Identifiants

  • HAL Id : inria-00073888, version 1

Citation

Michel Raynal, G. Thia-Kime, M. Ahamad. From Serializable to Causal Transactions for Collaborative Applications. [Research Report] RR-2802, INRIA. 1996. 〈inria-00073888〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

338