[论文解读] Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links

Mohsen Ghaffari, Erez Kantor+2 more|arXiv (Cornell University)|May 7, 2014

Mobile Ad Hoc Networks参考文献 26被引用 5

一句话总结

本文研究了在具有不可靠链路的抽象MAC层模型中的多消息广播，表明当不可靠链路连接地理上接近的节点时，即使在有利假设下，性能也会显著下降。本文引入一种增强模型，具备消息中止和时间估计功能，从而实现一种更快的算法，达到近似最优的效率，证明不可靠链路的结构对广播复杂度具有决定性影响。

ABSTRACT

We study the multi-message broadcast problem using abstract MAC layer models of wireless networks. These models capture the key guarantees of existing MAC layers while abstracting away low-level details such as signal propagation and contention. We begin by studying upper and lower bounds for this problem in a {\em standard abstract MAC layer model}---identifying an interesting dependence between the structure of unreliable links and achievable time complexity. In more detail, given a restriction that devices connected directly by an unreliable link are not too far from each other in the reliable link topology, we can (almost) match the efficiency of the reliable case. For the related restriction, however, that two devices connected by an unreliable link are not too far from each other in geographic distance, we prove a new lower bound that shows that this efficiency is impossible. We then investigate how much extra power must be added to the model to enable a new order of magnitude of efficiency. In more detail, we consider an {\em enhanced abstract MAC layer model} and present a new multi-message broadcast algorithm that (under certain natural assumptions) solves the problem in this model faster than any known solutions in an abstract MAC layer setting.

研究动机与目标

• 分析不可靠链路对抽象MAC层模型中多消息广播效率的影响。
• 识别不可靠链路的结构约束，这些约束会保持或降低广播性能。
• 设计一种新算法，实现在具备消息中止和时间估计功能的增强型抽象MAC层模型中显著加快广播速度。
• 理解在存在不可靠性时效率的极限，并确定何时需要额外的模型能力。

提出的方法

• 使用标准的抽象MAC层模型，支持向可靠邻居进行确认的本地广播，以及向任意不可靠邻居的广播，由图G和G′定义。
• 引入一种新型模型变体，具备时间估计和消息中止功能，以提升性能。
• 提出一种新型多消息广播算法，利用虚拟叠加图H协调节点间的消息传播。
• 采用基于阶段的策略，节点在轮次中广播消息，使用H中的跳数距离来确定消息传播进度。
• 应用高概率集中不等式，确保消息通过叠加网络高效传播。
• 通过跳数距离和消息数量的归纳法，证明算法的正确性及时间复杂度界限。

实验结果

研究问题

• RQ1 不可靠链路的结构如何影响抽象MAC层模型中多消息广播的时间复杂度？
• RQ2 在何种条件下，基本多消息广播（BMMB）算法能在存在不可靠链路的情况下保持效率？
• RQ3 为在存在不可靠链路的情况下显著提升广播效率，需要哪些模型增强？
• RQ4 当不可靠链路受地理邻近性而非可靠拓扑结构约束时，是否存在性能的根本下界？
• RQ5 消息中止和时间估计是否能实现在抽象MAC层模型中效率的量级跃升？

主要发现

• 当不可靠链路被限制在可靠链路拓扑（G）中距离不太远的节点之间时，BMMB算法达到时间复杂度O(DFprog + kFack)，与可靠情况相比仅差常数因子。
• 当不可靠链路被限制在地理上接近的节点之间时，新的下界表明，任何算法都无法在消息数k上实现亚线性时间复杂度。
• 不可靠链路连接在可靠拓扑中相距较远的节点，是导致最坏情况广播性能下降的主要因素。
• 在具备时间估计和消息中止的增强模型中，新算法在O(DH + k)个阶段内完成广播，其中DH是叠加图H的跳数直径。
• 新算法以高概率在O(DH + k)个阶段内确保所有节点接收所有消息，显著优于标准抽象MAC层模型中的已知解决方案。
• 结果表明，消息中止和时间估计是实现在不可靠环境中高效广播的关键促成因素。