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 metadatas

https://hal.inria.fr/hal-01727207
Contributor : Marc Shapiro <>
Submitted on : Friday, March 9, 2018 - 10:02:05 AM
Last modification on : Friday, August 2, 2019 - 3:36:05 PM
Long-term archiving on : Sunday, June 10, 2018 - 12:52:27 PM

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

207

Files downloads

106