Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification - Archive ouverte HAL Access content directly
Journal Articles Bulletin- European Association for Theoretical Computer Science Year : 2018

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.
Fichier principal
Vignette du fichier
EATCS-2018-Causal-objects.pdf (116.38 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02053316 , version 1

Cite

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⟩
147 View
215 Download

Share

Gmail Mastodon Facebook X LinkedIn More