设计一种可交换的复制数据类型
分布式、并行与集群计算
2009-09-29 v1
摘要
可交换操作极大地简化了分布式系统中的一致性。本文专注于可交换性的设计，这是一个此前被忽视的主题。我们表明，在某些简单且标准的假设下，对于并发操作可交换的\emph{任何}数据类型，其副本都会收敛到正确的值。我们还表明，此类数据类型支持极低成本的.transaction。我们确定了多种确保可交换性的方法和技术。我们复用了一些现有思想（非破坏性更新结合不变量识别），但提出了一种更高效的实现。此外，我们提出了一种新技术：后台共识 (background consensus)。我们以共享编辑缓冲区数据类型为例说明了这些思想。
引用
@article{arxiv.0710.1784,
title = {Designing a commutative replicated data type},
author = {Marc Shapiro and Nuno Preguiça},
journal= {arXiv preprint arXiv:0710.1784},
year = {2009}
}