Skip to Main content Skip to Navigation
Conference papers

Ensuring referential integrity under causal consistency

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.
Complete list of metadata
Contributor : Marc Shapiro Connect in order to contact the contributor
Submitted on : Friday, March 9, 2018 - 10:02:05 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:03 AM
Long-term archiving on: : Sunday, June 10, 2018 - 12:52:27 PM


  • HAL Id : hal-01727207, version 1
  • ARXIV : 1803.03482


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⟩



Record views


Files downloads