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

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

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02053316
Contributor : Matthieu Perrin <>
Submitted on : Friday, March 1, 2019 - 11:22:16 AM
Last modification on : Friday, September 13, 2019 - 9:51:33 AM
Long-term archiving on : Thursday, May 30, 2019 - 1:39:52 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

184

Files downloads

79