一种虚拟同步协议的分析
分布式、并行与集群计算
2015-03-10 v1
摘要
企业级系统（如用于云计算的系统）需要可扩展且高可用的基础设施。此类基础设施的一个关键要素是能够在进程故障和组成员关系变化的情况下，在一组协作进程之间连贯地复制数据。过去几十年见证了针对此类数据复制的高效协议的大量研究。此类协议的一个家族是虚拟同步协议。虚拟同步协议通过将同步性保证限制于彼此具有因果关系的消息来实现其效率。多年来此类协议已获得广泛的商业应用。其中一个协议，即由Birman、Schiper和Stephenson于1991年开发并用于其ISIS平台的CBCAST协议，因其独特的无等待特性而特别有前景，但一直受到似乎难以解决的竞态条件困扰。本文描述了该协议的修正版本并证明了其形式化性质。
引用
@article{arxiv.1503.02241,
title = {An Analysis of a Virtually Synchronous Protocol},
author = {Dan Arnon and Navindra Sharma},
journal= {arXiv preprint arXiv:1503.02241},
year = {2015}
}