Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Bulletin- European Association for Theoretical Computer Science Année : 2018

Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification

Résumé

This paper presents a generalization of causal consistency suited to the family of objects defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects (concurrent operations are not ordered), it follows that causal consistency allows different processes to have different views of each object history.
Fichier principal
Vignette du fichier
EATCS-2018-Causal-objects.pdf (116.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02053316 , version 1 (01-03-2019)

Identifiants

  • HAL Id : hal-02053316 , version 1

Citer

Matthieu Perrin, Achour Mostefaoui, Michel Raynal. Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification. Bulletin- European Association for Theoretical Computer Science, 2018, pp.1-12. ⟨hal-02053316⟩
139 Consultations
205 Téléchargements

Partager

Gmail Facebook X LinkedIn More