自稳定分布式协同复位
Self-Stabilizing Distributed Cooperative Reset
摘要：
自稳定是一种通用的容错方法，其特征在于系统在任何有限数量的瞬时故障之后最终恢复正确行为的能力。在本文中，我们提出了一个自稳定的重置算法工作在匿名网络。该算法以分布式非集中式方式重置网络，即，它是多启动器，因为每个检测到不一致的进程都可以启动重置。它也是协作的，因为它协调并发的重置执行以获得效率。我们的方法是通用的，因为我们的重置算法允许为各种问题和设置构建自稳定的解决方案。作为一个事实，我们表明，它适用于静态和动态规范，因为我们提出了有效的自稳定复位为基础的算法（1-最小）$f，g）-联盟（一般化的支配集问题）在确定的网络和匿名网络的一致性问题。请注意，后两个实例增强了现有技术。事实上，在前一种情况下，我们的解决方案比以前的解决方案更一般;而在后一种情况下，所提出的一致性算法的复杂性优于文献中以前的解决方案。
英文摘要：
Self-stabilization is a versatile fault-tolerance approach that characterizes the ability of a system to eventually resume a correct behavior after any finite number of transient faults. In this paper, we propose a self-stabilizing reset algorithm working in anonymous networks. This algorithm resets the network in a distributed non-centralized manner, i.e., it is multi-initiator, as each process detecting an inconsistency may initiate a reset. It is also cooperative in the sense that it coordinates concurrent reset executions in order to gain efficiency. Our approach is general since our reset algorithm allows to build self-stabilizing solutions for various problems and settings. As a matter of facts, we show that it applies to both static and dynamic specifications since we propose efficient self-stabilizing reset-based algorithms for the (1-minimal) $f,g)-alliance (a generalization of the dominating set problem) in identified networks and the unison problem in anonymous networks. Notice that these two latter instantiations enhance the state of the art. Indeed, in the former case, our solution is more general than the previous ones; while in the latter case, the complexity of the proposed unison algorithm is better than that of previous solutions of the literature.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
