Consistent Shared Data Types: Beyond Memory

Matthieu Perrin 1, 2, * Matoula Petrolia 2, 1, * Achour Mostefaoui 1 Claude Jard 2
* Auteur correspondant
1 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : In large scale distributed systems, shared objects provide a valuable abstraction of communication. However, these objects can only be used reliably if they are specified precisely. Until now, a lot of work has been done on shared memory, to the detriment of other objects. This paper aims at extending this work to any update-query abstract data type, the types in which the operations are updates or queries. A shared object should be fully specified by two complementary aspects: a sequential specification that defines how the updates influence the queries, and a consistency criterion that discriminates which distributed histories are eligible according to the sequential specification. This paper formalizes the notions of sequential specification and consistency criterion. It then extends the definition of many consistency criteria, including causal consistency, to all update-query abstract data types. It also explores the notion of composability for consistency criteria and proves that no consistency criterion between pipelined consistency and sequential consistency is composable, which includes causal consistency.
Type de document :
Rapport
[Research Report] Université de Nantes. 2014
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01052437
Contributeur : Matthieu Perrin <>
Soumis le : vendredi 25 juillet 2014 - 22:10:15
Dernière modification le : mercredi 15 novembre 2017 - 01:03:07
Document(s) archivé(s) le : mardi 25 novembre 2014 - 18:56:22

Fichier

CC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01052437, version 1

Collections

Citation

Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. Consistent Shared Data Types: Beyond Memory. [Research Report] Université de Nantes. 2014. 〈hal-01052437〉

Partager

Métriques

Consultations de la notice

834

Téléchargements de fichiers

391