[论文解读] Dynamic sharing of a multiple access channel

Marcin Bieńkowski, Marek Klonowski+2 more|arXiv (Cornell University)|Jan 18, 2010

Wireless Communication Networks Research被引用 13

一句话总结

本文提出了一种用于动态共享多路访问信道（MAC）的随机化算法，解决了ε-互斥问题，确保并发临界区访问的概率最多为ε。在具有碰撞检测的条件下，该算法的期望完成时间（makespan）为O(log n + log(1/ε))，并证明了经典互斥与ε-互斥在完成时间复杂度之间存在指数级差距。

ABSTRACT

In this paper we consider the mutual exclusion problem on a multiple access channel. Mutual exclusion is one of the fundamental problems in distributed computing. In the classic version of this problem, n processes perform a concurrent program which occasionally triggers some of them to use shared resources, such as memory, communication channel, device, etc. The goal is to design a distributed algorithm to control entries and exits to/from the shared resource in such a way that in any time there is at most one process accessing it. We consider both the classic and a slightly weaker version of mutual exclusion, called ep-mutual-exclusion, where for each period of a process staying in the critical section the probability that there is some other process in the critical section is at most ep. We show that there are channel settings, where the classic mutual exclusion is not feasible even for randomized algorithms, while ep-mutual-exclusion is. In more relaxed channel settings, we prove an exponential gap between the makespan complexity of the classic mutual exclusion problem and its weaker ep-exclusion version. We also show how to guarantee fairness of mutual exclusion algorithms, i.e., that each process that wants to enter the critical section will eventually succeed.

研究动机与目标

• 解决在随机化算法下，经典互斥在多路访问信道中可能不可行的场景下的可行性问题，尤其是在此类场景中经典互斥难以实现的情况。
• 提出并分析ε-互斥作为经典互斥在受限MAC环境下的较弱但可行的替代方案。
• 通过建立经典互斥与ε-互斥在完成时间上的指数级复杂度差异，弥合两者之间的差距。
• 通过一种增加O(log n)开销的变换方法，保证互斥算法的公平性（无锁住）。

提出的方法

• 设计一种变换机制，通过在每个原始轮次前插入两个静默轮次，将给定的互斥算法运行速度降低三倍，从而实现安全的状态同步。
• 引入一个选择子程序，利用三轮为一组的块来选举损失计数器最高的进程，实现公平的竞争解决。
• 采用类似二分查找的机制，基于损失计数器识别出失败访问尝试次数最多的进程。
• 使用一种保护机制，通过传输信号(1, 0)来标记选择阶段的开始，并通过静默或碰撞来检测竞争进程。
• 应用三轮监听阶段，以检测信道是否空闲（静默）或被占用（1,1,1或1,1,0），并据此触发不同的行为。
• 将变换后的算法与选择子程序相结合，确保无锁住特性，同时在具有碰撞检测或已知n的条件下保持较低的完成时间。

实验结果

研究问题

• RQ1 在何种信道设置下，即使使用随机化算法，经典互斥也是不可行的？
• RQ2 在经典互斥不可行的环境中，是否可以实现ε-互斥？
• RQ3 在完成时间复杂度方面，经典互斥与ε-互斥之间存在多大的差距？
• RQ4 如何在MAC上的随机化互斥算法中保证公平性（无锁住）？
• RQ5 碰撞检测和对n的已知程度对互斥算法完成时间有何影响？

主要发现

• 存在某些信道设置，使得即使使用随机化算法，经典互斥也难以实现，但ε-互斥仍可实现。
• 在宽松的信道设置下，经典互斥与ε-互斥的完成时间复杂度之间存在指数级差距。
• 在碰撞检测条件下，一种具有期望完成时间O(log n + log(1/ε))的随机化算法可解决ε-互斥问题。
• 在已知n（KN）模型中，一种具有完成时间O(log n · log(1/ε))的随机化算法可解决ε-互斥问题。
• 在碰撞检测条件下，一种具有完成时间O(log n)的确定性算法可解决经典互斥问题。
• 在已知n模型中，一种具有完成时间O(n log² n)的确定性算法可解决经典互斥问题。