Causal Consistency: Beyond Memory

Abstract : In distributed systems where strong consistency is costly when not impossible, causal consistency provides a valuable abstraction to represent program executions as partial orders. In addition to the sequential program order of each computing entity, causal order also contains the semantic links between the events that affect the shared objects – messages emission and reception in a communication channel , reads and writes on a shared register. Usual approaches based on semantic links are very difficult to adapt to other data types such as queues or counters because they require a specific analysis of causal dependencies for each data type. This paper presents a new approach to define causal consistency for any abstract data type based on sequential specifications. It explores, formalizes and studies the differences between three variations of causal consistency and highlights them in the light of PRAM, eventual consistency and sequential consistency: weak causal consistency, that captures the notion of causality preservation when focusing on convergence ; causal convergence that mixes weak causal consistency and convergence; and causal consistency, that coincides with causal memory when applied to shared memory.
Type de document :
Communication dans un congrès
21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. 〈10.1145/2851141.2851170〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01286755
Contributeur : Matthieu Perrin <>
Soumis le : vendredi 11 mars 2016 - 13:02:23
Dernière modification le : samedi 25 février 2017 - 01:02:24
Document(s) archivé(s) le : lundi 13 juin 2016 - 08:48:21

Fichiers

ppopp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Matthieu Perrin, Achour Mostefaoui, Claude Jard. Causal Consistency: Beyond Memory. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. 〈10.1145/2851141.2851170〉. 〈hal-01286755〉

Partager

Métriques

Consultations de
la notice

543

Téléchargements du document

107