An optimized conflict-free replicated set

Résumé : La réplication des données avec cohérence à terme permet les mises à jour concurrentes, réduit la latence, et améliore la tolérance aux fautes, mais abandonne la cohérence forte. Aussi, cette approche est utilisée dans plusieurs plateformes de nuage. L'\emph{ensemble} (Set) est une abstraction largement utilisée, et plusieurs modèles d'ensemble répliqués ont été proposés. Nous présentons \emph{l'équivalence de permutation}, un principe de raisonnement qui caractérise de façon systématique la sémantique attendue d'un type de données concurrent. Ce principe nous permet d'expliquer la conception un type déjà connu, \emph{Observed-Remove Set}. Par ailleurs, afin de diminuer la taille des méta-données, nous proposons une nouvelle optimisation qui évite les " pierres tombales ". Cette approche peut se transposer à d'autres types de données, comme les mappes, les graphes ou les séquences.
Type de document :
Rapport
[Research Report] RR-8083, INRIA. 2012, pp.12
Liste complète des métadonnées

https://hal.inria.fr/hal-00738680
Contributeur : Marc Shapiro <>
Soumis le : mardi 9 octobre 2012 - 18:38:03
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 21:32:02

Fichiers

RR-8083.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00738680, version 1
  • ARXIV : 1210.3368

Collections

Citation

Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, et al.. An optimized conflict-free replicated set. [Research Report] RR-8083, INRIA. 2012, pp.12. 〈hal-00738680〉

Partager

Métriques

Consultations de la notice

366

Téléchargements de fichiers

891