[论文解读] On Asynchrony, Memory, and Communication: Separations and Landscapes

Paola Flocchini, Nicola Santoro+2 more|arXiv (Cornell University)|Nov 6, 2023

Distributed systems and fault tolerance被引用 1

一句话总结

本文对四种机器人模型——OBLOT、FST A、FCOM 和 LUMI——在不同异步调度器（从半同步 Ssynch 到完全异步 Asynch）下的计算关系进行了完整刻画。研究建立了模型之间的严格分离与正交性，证明了持久内存（FST A）与通信（FCOM）提供的计算优势是严格不同的，并解决了长期存在的开放问题：在无限制可见性设置下，Ssynch 是否严格优于 Asynch。

ABSTRACT

Research on distributed computing by a team of identical mobile computational entities, called robots, operating in a Euclidean space in $\mathit{Look}$-$\mathit{Compute}$-$\mathit{Move}$ ($\mathit{LCM}$) cycles, has recently focused on better understanding how the computational power of robots depends on the interplay between their internal capabilities (i.e., persistent memory, communication), captured by the four standard computational models (OBLOT, LUMI, FSTA, and FCOM) and the conditions imposed by the external environment, controlling the activation of the robots and their synchronization of their activities, perceived and modeled as an adversarial scheduler. We consider a set of adversarial asynchronous schedulers ranging from the classical semi-synchronous (SSYNCH) and fully asynchronous (ASYNCH) settings, including schedulers (emerging when studying the atomicity of the combination of operations in the $\mathit{LCM}$ cycles) whose adversarial power is in between those two. We ask the question: what is the computational relationship between a model $M_1$ under adversarial scheduler $K_1$ ($M_1(K_1)$) and a model $M_2$ under scheduler $K_2$ ($M_2(K_2)$)? For example, are the robots in $M_1(K_1)$ more powerful (i.e., they can solve more problems) than those in $M_2(K_2)$? We answer all these questions by providing, through cross-model analysis, a complete characterization of the computational relationship between the power of the four models of robots under the considered asynchronous schedulers. In this process, we also provide qualified answers to several open questions, including the outstanding one on the proper dominance of SSYNCH over ASYNCH in the case of unrestricted visibility.

研究动机与目标

• 理解移动机器人计算能力如何依赖于其内部能力（内存、通信）和外部同步条件。
• 解决在对抗性异步调度器下，不同机器人模型相对计算能力的开放问题。
• 在一系列异步程度下，刻画四种标准模型（OBLOT、FST A、FCOM、LUMI）之间的计算图景。
• 阐明 LCM 周期（Look, Compute, Move）中原子性的作用及其对协调问题可解性的影响。
• 确定在无限制可见性条件下，半同步（Ssynch）调度是否严格优于完全异步（Asynch）调度。

提出的方法

• 本研究采用跨模型分析，比较不同模型与调度器下基本协调问题（如聚集、会合、图案形成）的可解性。
• 形式化定义了一组从 Ssynch（LCM 原子）到 Asynch（非原子）的对抗性调度器层级，包括中间原子性变体（LC 原子、CM 原子、M 原子）。
• 作者使用问题特定的不可解性证明与构造性算法，建立模型之间的严格分离与正交性。
• 关键问题如汇聚至极限的聚集（GCNCL）、会合（RDV）和多机器人 LCM 可见性（MLCv）被用作计算能力的基准。
• 通过理论归约与模拟比较模型：例如，证明在某些条件下 FCOM 可以模拟 FST A，反之亦然。
• 分析利用了先前文献中的已知结果（如 OBLOT 与 LUMI、FST A 与 FCOM 的对比），并将其扩展至具有不同原子性的异步设置。

实验结果

研究问题

• RQ1 在无内存与通信约束的情况下，半同步（Ssynch）调度器是否严格优于完全异步（Asynch）调度器？
• RQ2 在相同调度器下，FST A（有限状态）与 FCOM（有限通信）机器人的相对计算能力如何？
• RQ3 在异步调度器下，FCOM 与 FST A 模型是否能解决相同的问题集，还是其计算能力呈正交关系？
• RQ4 LCM 操作的原子性（如 LCM-原子 vs. M-原子）是否在异步设置下显著影响问题的可解性？
• RQ5 在不同异步调度器下，四种模型（OBLOT、FST A、FCOM、LUMI）之间是否存在严格的计算能力层级？

主要发现

• FCOMALC 严格强于 OBLOT S，因为会合（RDV）在 FCOMALC 中可解，但在 OBLOT S 中不可解。
• FCOMALC 与 FST AAM 在计算上正交：两者互不模拟，由 CYC 在 FCOMA 中可解但不在 FST AAM 中可解得以证明。
• FST AAM 与 OBLOT S 在计算上正交：RDV 在 FST AAM 中可解但不在 OBLOT S 中可解，而 MLCv 在 OBLOT S 中可解但不在 FST AAM 中可解。
• 本文解决了关于 Ssynch 在无限制可见性下是否严格优于 Asynch 的开放问题，证明当既无内存也无通信时，Ssynch 严格强于 Asynch。
• FST AAM 严格强于 OBLOT AM 与 OBLOT A，因为会合可在 FST AAM 中解决，但无法在 OBLOT AM 或 OBLOT A 中解决。
• 本研究确立了 FCOMA 严格强于 OBLOT AM，且 FCOMA 与 FST AAM 及 FST AA 均正交，确认了通信与内存在机器人计算中具有独特且非冗余的作用。