利用稳定骨架图求解k-集合协议
分布式、并行与集群计算
2016-11-18 v1
摘要
本文考虑分布式消息传递系统中的k-集合协议问题，采用基于轮次的方法：通信的同步性和故障仅通过一轮内到达的消息来刻画，从而得到可由简单通信谓词描述的逐轮通信图。我们引入了弱通信谓词PSources(k)，并证明它在以下意义上对k-集合协议是紧的：(i) 我们证明在由PSources(k)刻画的系统中，不存在求解(k-1)-集合协议的算法；(ii) 我们提出了一种新颖的分布式算法，在PSources(k)成立的运行中实现k-集合协议。我们的算法使用了稳定骨架图的局部近似，该图反映了运行中潜在的永久同步性。我们证明，无论通信谓词如何，该近似在所有运行中都是正确的，并表明如果PSources(k)成立，稳定骨架图的图论性质可用于求解k-集合协议。
引用
@article{arxiv.1102.4423,
title = {Solving k-Set Agreement with Stable Skeleton Graphs},
author = {Martin Biely and Peter Robinson and Ulrich Schmid},
journal= {arXiv preprint arXiv:1102.4423},
year = {2016}
}
备注
to appear in 16th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems