均匀分布协调与故障检测器的知识论分析
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors
摘要：
结果表明，在精确意义上，如果不可靠，但公平的通信系统中的故障进程的数量没有限制，可以达到均匀分布协调（UDC）当且仅当系统有完美的故障检测器。这一结果被推广到的情况下，有一个边界t上的故障进程的数量。它表明，某种类型的广义故障检测器是必要的，并足以实现UDC的上下文中最多t故障进程。推理过程的知识，其他过程是错误的，在分析中起着关键作用。
英文摘要：
It is shown that, in a precise sense, if there is no bound on the number of faulty processes in a system with unreliable but fair communication, Uniform Distributed Coordination (UDC) can be attained if and only if a system has perfect failure detectors. This result is generalized to the case where there is a bound t on the number of faulty processes. It is shown that a certain type of generalized failure detector is necessary and sufficient for achieving UDC in a context with at most t faulty processes. Reasoning about processes' knowledge as to which other processes are faulty plays a key role in the analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
