非单调快照隔离
分布式、并行与集群计算
2013-06-18 v1
摘要
许多分布式应用需要事务支持。然而，需要强同步的事务协议在大规模环境中代价高昂。两个特性有助于事务系统的可扩展性：真正部分复制（GPR），它利用工作负载的内在并行性；以及快照隔离（SI），它减少了对同步的需求。我们证明，在标准假设下（数据存储访问事先未知，且事务可能访问数据存储中的任意对象），同时实现SI和GPR是不可能的。为了规避这一不可能性，我们提出了一种更弱的一致性准则，称为非单调快照隔离（NMSI）。NMSI保留了SI最重要的性质，即只读事务始终提交，且两个写冲突的更新不会同时提交。我们提出了一种确保NMSI的GPR协议，并且与之前的方法相比，它具有更低的消息成本（即，它接触更少的副本和/或提交更快）。
引用
@article{arxiv.1306.3906,
title = {Non-Monotonic Snapshot Isolation},
author = {Masoud Saeida Ardekani and Pierre Sutra and Nuno Preguiça and Marc Shapiro},
journal= {arXiv preprint arXiv:1306.3906},
year = {2013}
}