Brief Announcement: Semantics of Eventually Consistent Replicated Sets

Abstract : This paper studies the semantics of sets under eventual consistency. Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes strong consistency (e.g., linearisability). The sequential semantics of a set are well known, and are defined by in- dividual updates, e.g., {true}add(e){e ∈ S} (in "{pre-condition} computation {post-condition}" notation), where S denotes its abstract state. However, the semantics of concurrent modifications is left underspecified or implementation- driven.
Type de document :
Communication dans un congrès
Marcos K. Aguilera. DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. Springer, 7611, pp.441--442, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33651-5_48〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00769554
Contributeur : Marc Shapiro <>
Soumis le : mercredi 2 janvier 2013 - 11:27:40
Dernière modification le : jeudi 22 novembre 2018 - 14:35:58
Document(s) archivé(s) le : mercredi 3 avril 2013 - 03:47:50

Fichier

semantics-sets-BA-DISC-2012.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, et al.. Brief Announcement: Semantics of Eventually Consistent Replicated Sets. Marcos K. Aguilera. DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. Springer, 7611, pp.441--442, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33651-5_48〉. 〈hal-00769554〉

Partager

Métriques

Consultations de la notice

475

Téléchargements de fichiers

159