In this paper, we present the first algorithm to precisely implement the abstract MAC (absMAC) layer under the physical SINR model in dynamic networks. The absMac layer, first presented by (Kuhn et al ., 2009), provides reliable local broadcast communications, with timing guarantees stated in terms of a collection of abstract delay functions, based on which high-level algorithms can be designed, independent of specific channel behaviors. The implementation of absMAC requires the design of a distributed algorithm for the local broadcast communication primitives over a particular communication model that defines concrete channel behaviors, and the objective is to minimize the bounds of the abstract delay functions. Halldórsson et al. (2015) showed that under the standard SINR model (synchronous communications without physical carrier sensing or location information), there exist no efficient exact implementations. In this work, we demonstrate that physical carrier sensing, a commonly seen function performed by wireless devices, can help get efficient exact implementation algorithms. Specifically, we propose an algorithm that precisely implements the absMAC layer under the SINR model in dynamic networks. The algorithm provides asymptotically optimal bounds for both acknowledgement and progress functions defined in the absMAC layer. Our algorithm leads to many new faster algorithms for solving high-level problems under the SINR model in dynamic networks. We demonstrate this by exemplifying problems of Consensus, Multi-Message Broadcast, and Single-Message Broadcast. It deserves to point out that our implementation algorithm is designed based on an optimal algorithm for a General Local Broadcast (GLB) problem, which takes the number of distinct messages into consideration for the first time. The GLB algorithm can handle many communication scenarios apart from those defined in the absMAC layer. Simulation results show that our proposed algorithms perform well in reality.

中文翻译：

---

在动态网络中通过载波感知精确实现抽象 MAC 层

在本文中，我们提出了第一个在动态网络中在物理 SINR 模型下精确实现抽象 MAC (absMAC) 层的算法。absMac 层，首先由 (Kuhn等 ., 2009)，提供可靠的本地广播通信，并根据抽象延迟函数的集合声明时序保证，基于这些函数可以设计高级算法，独立于特定的信道行为。absMAC 的实现需要在定义具体信道行为的特定通信模型上为本地广播通信原语设计分布式算法，目标是最小化抽象延迟函数的界限。哈尔多尔松等。 (2015) 表明，在标准 SINR 模型（没有物理载波感知或位置信息的同步通信）下，不存在有效的 精确的实现。在这项工作中，我们证明了物理载波侦听（无线设备执行的常见功能）可以帮助获得有效的精确实现算法。具体来说，我们提出了一种算法，可以在动态网络中精确实现 SINR 模型下的 absMAC 层。该算法为两者提供渐近最优边界确认 和 进步absMAC 层中定义的函数。我们的算法导致了许多新的更快的算法来解决动态网络中 SINR 模型下的高级问题。我们通过举例说明共识、多消息广播和单消息广播的问题来证明这一点。值得指出的是，我们的实现算法是基于通用本地广播 (GLB) 问题的最佳算法设计的，该算法首次考虑了不同消息的数量。除了 absMAC 层中定义的那些，GLB 算法可以处理许多通信场景。仿真结果表明，我们提出的算法在现实中表现良好。