多路访问信道的动态共享
数据结构与算法
2010-02-03 v2
摘要
本文研究了多路访问信道上的互斥问题。互斥是分布式计算中的基本问题之一。在该问题的经典版本中，n个进程执行一个并发程序，该程序偶尔会触发其中一些进程使用共享资源，如内存、通信信道、设备等。目标是设计一个分布式算法来控制对共享资源的进入和退出，使得在任何时刻最多只有一个进程访问它。我们考虑了互斥的经典版本和一个稍弱的版本，称为ε-互斥，其中对于进程停留在临界区的每个时段，存在其他进程也在临界区的概率至多为ε。我们表明，存在某些信道设置，即使对于随机化算法，经典互斥也是不可行的，而ε-互斥则是可行的。在更宽松的信道设置中，我们证明了经典互斥问题的完工时间复杂性与较弱的ε-互斥版本之间存在指数级差距。我们还展示了如何保证互斥算法的公平性，即每个希望进入临界区的进程最终都会成功。
引用
@article{arxiv.1001.3044,
title = {Dynamic sharing of a multiple access channel},
author = {Marcin Bienkowski and Marek Klonowski and Miroslaw Korzeniowski and Dariusz R. Kowalski},
journal= {arXiv preprint arXiv:1001.3044},
year = {2010}
}