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

Matthieu Perrin 1 Achour Mostefaoui 1 Michel Raynal 2, 3
1 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 WIDE - the World Is Distributed Exploring the tension between scale and coordination
Inria Rennes – Bretagne Atlantique , IRISA_D1 - SYSTÈMES LARGE ÉCHELLE
Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02053316
Contributor : Matthieu Perrin <>
Submitted on : Friday, March 1, 2019 - 11:22:16 AM
Last modification on : Friday, March 29, 2019 - 2:37:47 PM

File

EATCS-2018-Causal-objects.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02053316, version 1

Citation

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, European Association for Theoretical Computer Science; 1999, 2018, pp.1-12. ⟨hal-02053316⟩

Share

Metrics

Record views

91

Files downloads

49