简单CHT：共识最弱故障检测器的新推导
分布式、并行与集群计算
2014-09-19 v3
摘要
本文提出了一个替代性证明，表明Omega（一个输出进程标识符并保证最终在所有正确进程输出相同正确进程标识符的预言机）提供了在读写共享内存系统中解决共识所需的最小故障信息：每个提供足够故障信息以解决共识的预言机都可用于实现Omega。与Chandra、Hadzilacos和Toueg（CHT）的原始证明不同，本文的证明建立在2进程无等待共识不可能这一事实之上。此外，由于用于实现的预言机可以解决共识，该实现被允许直接访问共识对象。因此，所提出的证明比原始证明更短且概念上更简单。
引用
@article{arxiv.1310.1761,
title = {Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus},
author = {Eli Gafni and Petr Kuznetsov},
journal= {arXiv preprint arXiv:1310.1761},
year = {2014}
}