时间、空间和工作量的权衡：自稳定Unison的案例
摘要：一种在弱模型中实现时间、工作量和空间之间有效权衡的自稳定算法。我们的算法定义在原子状态模型中，并在匿名网络中工作，其中甚至本地端口都没有标记。它对守护进程没有任何假设，因此在最弱的守护进程下实现了稳定性：分布式不公平守护进程。 在直径为D的n个节点网络中，并假设一个周期B ≥ 2D+2，我们的算法只需要每个节点O(log B)位来实现全面的多项式性能，并且在最多2D-2轮和O(min(n^2B, n^3))移动中稳定。特别地，在我们所知的情况下，这是第一个在匿名网络中实现渐近最优稳定时间（以轮数计）且每个节点使用有界内存的自稳定一致性算法。 最后，我们展示了我们的解决方案可以在异步环境中有效地模拟同步自稳定算法。这为解决领导者选举和生成树构建问题提供了一种新的最先进算法，适用于任意标识连接网络，据我们所知，超过了文献中现有的所有解决方案。
作者：St''ephane Devismes (MIS), David Ilcinkas (LaBRI), Colette Johnen (LaBRI), Fr''ed''eric Mazoit (LaBRI)
论文ID：2307.16593
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-04