Ensuring referential integrity under causal consistency - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Ensuring referential integrity under causal consistency

Marc Shapiro
Annette Bieniusa
  • Fonction : Auteur
  • PersonId : 946508
Peter Zeller
  • Fonction : Auteur
  • PersonId : 993606
Gustavo Petri

Résumé

Referential integrity (RI) is an important correctness property of a shared, distributed object storage system. It is sometimes thought that enforcing RI requires a strong form of consistency. In this paper, we argue that causal consistency suffices to maintain RI. We support this argument with pseudocode for a reference CRDT data type that maintains RI under causal consistency. QuickCheck has not found any errors in the model.
Fichier principal
Vignette du fichier
final-2018-03-08.pdf (416.08 Ko) Télécharger le fichier

Dates et versions

hal-01727207 , version 1 (09-03-2018)

Identifiants

Citer

Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri. Ensuring referential integrity under causal consistency. PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. ⟨hal-01727207⟩
139 Consultations
115 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More