Omega 失效检测器的包高效实现
分布式、并行与集群计算
2016-02-15 v3 数据结构与算法
网络与互联网体系结构
摘要
我们假设消息可通过包经多跳交付，并在此假设下研究 Omega 失效检测器实现的可行性与效率。为激发该研究，我们证明了领导者的存在性与可持续性在多跳 Omega 实现中比在单跳实现中呈指数级更可能。一种实现若除有限多个消息外所有消息均由单一进程发送，则是\emph{消息高效的}；若除有限多个消息外所有消息传输所用包的数量关于进程数为线性，且不同消息的包可能使用不同信道，从而所用信道数不受限，则是\emph{包高效的}；若包用于传输除有限多个消息外所有消息所用信道数为线性，则是\emph{超级包高效的}。我们对确定性算法给出如下结果。若一条消息的可靠性与及时性与另一条不相关，即不存在信道可靠性性质，则 Omega 的包高效实现是不可能的。若考虑最终及时与公平丢失信道，我们建立了存在消息与包高效 Omega 实现的充要条件。我们还证明了信道及时性的事件性使得超级包高效的 Omega 实现不可能。在构造方面，我们给出并证明了一种满足我们所建立必要条件的确定性包高效 Omega 实现的正确性。
引用
@article{arxiv.1505.05025,
title = {Packet Efficient Implementation of the Omega Failure Detector},
author = {Quentin Bramas and Dianne Foreback and Mikhail Nesterenko and Sébastien Tixeuil},
journal= {arXiv preprint arXiv:1505.05025},
year = {2016}
}