Brief Announcement: Semantics of Eventually Consistent Replicated Sets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
semantics-sets-BA-DISC-2012.pdf (146.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00769554 , version 1 (02-01-2013)

Identifiants

Citer

Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, et al.. Brief Announcement: Semantics of Eventually Consistent Replicated Sets. DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. pp.441--442, ⟨10.1007/978-3-642-33651-5_48⟩. ⟨hal-00769554⟩
555 Consultations
208 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More