因果一致性下的引用完整性保障
分布式、并行与集群计算
2018-03-12 v1 数据结构与算法
摘要
引用完整性（RI）是共享分布式对象存储系统的一项重要正确性属性。有时人们认为强制实施 RI 需要一种强一致性形式。本文中，我们论证因果一致性足以维持 RI。我们以在因果一致性下维持 RI 的引用 CRDT 数据类型的伪代码支持这一论证。QuickCheck 未在该模型中发现任何错误。
关键词
引用
@article{arxiv.1803.03482,
title = {Ensuring referential integrity under causal consistency},
author = {Marc Shapiro and Annette Bieniusa and Peter Zeller and Gustavo Petri},
journal= {arXiv preprint arXiv:1803.03482},
year = {2018}
}