异步系统中的动态FTSS：Unison情形
Dynamic FTSS in Asynchronous Systems: the Case of Unison
摘要：
分布式容错可以掩盖有限数量的永久性故障的影响，而自稳定提供了任意数量的瞬时故障击中系统后的前向恢复。FTSS协议结合了这两个世界的最佳之处，因为它们同时具有容错性和自稳定性。迄今为止，FTSS解决方案要么考虑静态（即固定点）任务，要么假设系统组件的同步调度。在本文中，我们提出了在异步系统中的动态任务的第一次研究，考虑作为基准的一致性问题。Unison可以被看作是一个本地时钟同步问题，因为邻居必须保持彼此之间最多一个时间单位的数字时钟，并且无限频繁地增加自己的时钟值。我们提出了许多不可能的结果，这个困难的问题，并提出了一个FTSS解决方案时，问题是可解决的，表现出最佳的故障遏制。
英文摘要：
Distributed fault-tolerance can mask the effect of a limited number of permanent faults, while self-stabilization provides forward recovery after an arbitrary number of transient fault hit the system. FTSS protocols combine the best of both worlds since they are simultaneously fault-tolerant and self-stabilizing. To date, FTSS solutions either consider static (i.e. fixed point) tasks, or assume synchronous scheduling of the system components. In this paper, we present the first study of dynamic tasks in asynchronous systems, considering the unison problem as a benchmark. Unison can be seen as a local clock synchronization problem as neighbors must maintain digital clocks at most one time unit away from each other, and increment their own clock value infinitely often. We present many impossibility results for this difficult problem and propose a FTSS solution when the problem is solvable that exhibits optimal fault containment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
