Ensuring referential integrity under causal consistency - Archive ouverte HAL Access content directly
Conference Papers Year :

Ensuring referential integrity under causal consistency

(1) , (2) , (3) , (4)
1
2
3
4
Marc Shapiro
Annette Bieniusa
  • Function : Author
  • PersonId : 946508
Peter Zeller
  • Function : Author
  • PersonId : 993606
Gustavo Petri

Abstract

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 and versions

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

Identifiers

Cite

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⟩
129 View
102 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More