[论文解读] Byzantine Convergence in Robots Networks: The Price of Asynchrony

Zohir Bouzid, Maria Potop-Butucaru+1 more|ArXiv.org|Aug 4, 2009

Optimization and Search Problems参考文献 9被引用 16

一句话总结

本文提出了一种在完全异步、一维机器人网络中实现拜占庭容错的确定性算法，即使存在最多 f 个拜占庭故障，机器人也能收敛到一个共同的未知位置。该算法通过基于中位数的位置修剪和仅从极端位置移动的谨慎收缩策略，在 $5f+1$ 个机器人下确保收敛，证明了在完全异步 CORDA 模型中 $5f+1$ 既是必要条件也是充分条件。

ABSTRACT

We study the convergence problem in fully asynchronous, uni-dimensional robot networks that are prone to Byzantine (i.e. malicious) failures. In these settings, oblivious anonymous robots with arbitrary initial positions are required to eventually converge to an a apriori unknown position despite a subset of them exhibiting Byzantine behavior. Our contribution is twofold. We propose a deterministic algorithm that solves the problem in the most generic settings: fully asynchronous robots that operate in the non-atomic CORDA model. Our algorithm provides convergence in 5f+1-sized networks where f is the upper bound on the number of Byzantine robots. Additionally, we prove that 5f+1 is a lower bound whenever robot scheduling is fully asynchronous. This constrasts with previous results in partially synchronous robots networks, where 3f+1 robots are necessary and sufficient.

研究动机与目标

• 解决在完全异步、一维机器人网络中存在拜占庭故障时的收敛问题。
• 填补在最一般异步环境下，确定性拜占庭容错所需最小机器人数量的理解空白。
• 证明在完全异步 CORDA 模型中，$5f+1$ 既是收敛的必要条件也是充分条件。
• 设计一种确定性、谨慎且具有收缩特性的算法，确保在任意拜占庭行为下仍能实现收敛。

提出的方法

• 该算法使用函数 $\text{trim}_{2f}^{i}(P(t))$ 限制视图范围，使其以调用机器人的位置为中心，每侧移除最多 $2f$ 个极端位置。
• 通过 $\text{center}()$ 函数计算修剪范围内位置的中位数，以确定目标位置。
• 仅允许处于极端位置的机器人移动——即位置 $\leq P_{f+1}(t)$ 或 $\geq P_{n-f}(t)$ 的机器人，以确保谨慎行为。
• 该算法被证明具有谨慎性（目标位置始终在正确机器人位置范围内）和收缩性（直径随时间呈乘法减少）。
• 通过定理 4.1 形式化证明收敛性，该定理保证若一个算法同时具备谨慎性和收缩性，则可实现收敛。
• 在完全异步调度器下的 CORDA 模型中证明了正确性，考虑了 Look-Compute-Move 周期中的异步性。

实验结果

研究问题

• RQ1 在完全异步、一维机器人网络中，存在拜占庭故障时，实现确定性收敛所需的最少机器人数量是多少？
• RQ2 当拜占庭机器人行为任意时，能否在完全异步 CORDA 模型中实现确定性算法的收敛？
• RQ3 在该设置中，$5f+1$ 是否是拜占庭容错所需机器人数量的紧致下界？
• RQ4 与部分同步模型相比，异步性如何影响收敛算法的鲁棒性和设计？

主要发现

• 本文证明了在存在最多 $f$ 个拜占庭故障的完全异步、一维机器人网络中，$5f+1$ 个机器人是实现确定性收敛的必要条件。
• 提出了一种确定性算法，在完全异步 CORDA 模型下，使用 $5f+1$ 个机器人可实现收敛。
• 该算法具备谨慎性和收缩性，确保正确机器人始终在其正确位置的凸包内移动，且正确机器人位置的直径随时间减少。
• 该下界 $5f+1$ 严格超过了部分同步模型中已知的 $3f+1$ 边界，凸显了异步性的代价。
• 该算法的正确性已在 CORDA 模型中形式化证明，考虑了机器人调度和执行中可能出现的无界异步性。