[论文解读] The BG-simulation for Byzantine Mobile Robots

Taisuke Izumi, Zohir Bouzid+2 more|arXiv (Cornell University)|Jun 1, 2011

Optimization and Search Problems参考文献 19被引用 4

一句话总结

本文证明了即使在强假设下，拜占庭聚集仍不可能实现：一个拜占庭机器人、原子执行、n-有界集中式调度器、非无记忆机器人、瞬时移动以及共同坐标系方向。关键贡献是基于BG-仿真从异步一致性问题出发的归约，将不可能性结果扩展到相同条件下的通用双值模式形成问题。

ABSTRACT

This paper investigates the task solvability of mobile robot systems subject to Byzantine faults. We first consider the gathering problem, which requires all robots to meet in finite time at a non-predefined location. It is known that the solvability of Byzantine gathering strongly depends on a number of system attributes, such as synchrony, the number of Byzantine robots, scheduling strategy, obliviousness, orientation of local coordinate systems and so on. However, the complete characterization of the attributes making Byzantine gathering solvable still remains open. In this paper, we show strong impossibility results of Byzantine gathering. Namely, we prove that Byzantine gathering is impossible even if we assume one Byzantine fault, an atomic execution system, the n-bounded centralized scheduler, non-oblivious robots, instantaneous movements and a common orientation of local coordinate systems (where n denote the number of correct robots). Those hypotheses are much weaker than used in previous work, inducing a much stronger impossibility result. At the core of our impossibility result is a reduction from the distributed consensus problem in asynchronous shared-memory systems. In more details, we newly construct a generic reduction scheme based on the distributed BG-simulation. Interestingly, because of its versatility, we can easily extend our impossibility result for general pattern formation problems.

研究动机与目标

• 弥合移动机器人系统中拜占庭聚集的可能性与不可能性结果之间的差距。
• 探究在强于以往考虑的假设下，拜占庭聚集是否仍可解。
• 将不可能性结果从聚集问题扩展到更广泛的形成问题类别。
• 建立一个基于BG-仿真的通用归约框架，用于证明容错机器人系统中的不可能性。
• 证明即使在非无记忆机器人、共同方向和有界调度器的条件下，拜占庭聚集仍不可解。

提出的方法

• 使用BG-仿真，从异步一致性问题到拜占庭聚集问题构建归约。
• 设计一种仿真算法，其中每个机器人模拟共享内存系统中的一个进程，将机器人配置映射到一致性状态。
• 将映射函数 M(C) 定义为当前机器人配置与形成族 F 中任意有效模式之间的最大重叠。
• 引入一个确定性函数 m(C)，根据当前配置和模式族选择拜占庭机器人的目标位置。
• 设置初始机器人配置以表示提案 0 和 1，二者通过平移向量 x 区分，以模拟一致性输入。
• 定义一个解码函数，基于模式配置在 1-邻域关系下的等价类，将合法配置映射到一致性输出。

实验结果

研究问题

• RQ1 在原子执行、共同坐标系和非无记忆机器人等强假设下，拜占庭聚集是否可解？
• RQ2 拜占庭聚集的不可能性是否可扩展到通用模式形成问题？
• RQ3 BG-仿真技术是否能通过将问题归约为异步系统中的一致性问题，实现更强的不可能性结果？
• RQ4 哪些最简系统假设仍会导致拜占庭聚集的不可能性？
• RQ5 在与拜占庭聚集相同的条件下，双值形成问题是否可证明为不可解？

主要发现

• 即使在存在一个拜占庭机器人、原子执行、n-有界集中式调度器、非无记忆机器人、瞬时移动以及共同坐标系方向的强假设下，拜占庭聚集仍不可能实现。
• 该不可能性结果在远弱于先前已知的假设下成立，使其成为更强的负面结果。
• 基于BG-仿真的归约技术成功地将一致性问题的FLP不可能性转移至机器人聚集问题。
• 该框架可扩展用于证明任何双值形成问题的不可能性，包括直线、圆以及其他对称模式。
• 该归约具有鲁棒性：即使机器人具有记忆、共同方向和有界调度，该归约仍能成立，但拜占庭聚集仍无法解决。
• 本文确立了核心困难并非对称性破除或协调缺失，而在于异步系统中拜占庭故障下的一致性本质上不可能，而这一本质困难被继承至机器人模型。