Research on a Number of Problems for the Distributed Fault-Tolerant Computing

摘要

容错计算是当前分布式计算的一个热点，合意问题是容错计算最基本的问题之一。在本文的第一部分，我们将介绍合意问题之所以成为分布式容错计算最基本问题的原因，以及近20年来的研究进展和现状。 由Fisher，Lynch和Paterson论证的FLP不可能性结果表明：在完全异步的分布式系统中，没有算法可以容忍任何一个失灵错误。在分析了这个一度让容错研究者悲观的论断之后，研究者们发现只要放宽“完全异步”的条件，在分布式系统中引入一定的同步性，合意问题可以在这些特定的系统中得到解决。 在介绍分布式合意问题这20多年来的研究进展之后，针对目前解决合意问题的一个最重要的研究方向——故障监测器，我们提出了一条...