在任意异步环境中高效自稳定的本地算法

摘要:自稳定性在分布式计算中是一个一般且轻量级容错概念,涉及时间、工作量和灵活性的权衡。在这个背景下,我们提出了一个转换器,提供了任何终止同步算法AlgI的异步静默自稳定版本Trans(AlgI)。变换后的算法Trans(AlgI)在不公平的分布式守护进程下运行,并且在移动和回合上都很高效。我们的转换器可以轻松获得完全多项式静默自稳定的解决方案,而且在回合数上也是渐近优化的。我们通过几个高效(即完全多项式)的静默自稳定实例来展示我们转换器的效率和灵活性,这些实例解决了重要的分布式计算问题,包括顶点着色、广度优先搜索(BFS)生成树构建、k-聚类和领导选举。

作者:St''ephane Devismes (UPJV), David Ilcinkas (LaBRI), Colette Johnen (LaBRI), Fr''ed''eric Mazoit (LaBRI)

论文ID:2307.06635

分类:Distributed, Parallel, and Cluster Computing

分类简称:cs.DC

提交时间:2023-07-14

PDF 下载: 英文版 中文版pdf翻译中