马克·夏皮罗;卡尔蒂基扬·巴尔干;西施克里希纳 复制系统中基于约束的一致性形式。 （英语） 兹比尔1129.68387 Higashino，Teruo（编辑），分布式系统原理。2004年12月15日至17日在法国格勒诺布尔举行的2004年OPODIS第八届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-27324-7/pbk）。计算机科学课堂讲稿3544，331-345（2005）。 摘要：我们提出了一种在并发用户共享信息的分布式系统中建模复制的形式。它基于动作（表示独立用户请求的操作）和约束（表示动作之间的调度关系）。形式主义包括共享数据的语义，如操作之间的交换性或冲突，以及用户意图，如因果依赖或原子性。它使我们能够推理复制协议或协议类的一致性属性。它支持弱一致性（乐观协议）和更强的悲观协议。我们的方法澄清了所有复制系统通用的要求和假设。我们能够证明一些常见的性质。例如，在适当的活性假设下，操作上表现不同的一致性属性被证明是等价的。这种形式主义使我们能够设计一种新的通用对等一致性协议。有关整个系列，请参见[兹比尔1076.68009]. MSC公司： 64岁以下 分布式系统 68平方米 网络协议 PDF格式BibTeX公司 XML格式引用 \textit{M.Shapiro}等人，Lect。注释计算。科学。3544、331--345（2005年；Zbl 1129.68387） 全文： 内政部