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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...