[論文レビュー] 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

ひとこと要約

この論文は、衝突検出を伴う状況下で、期待される実行時間O(log n + log(1/ε))で動作する、複数アクセスチャネル（MAC）の動的共有のための確率的アルゴリズムを提案する。このアルゴリズムは、同時にクリティカルセクションにアクセスする確率がε未満であるε-相互排他問題を解決する。衝突検出下で、古典的相互排他とε-相互排他との間に、実行時間の複雑さにおいて指数的ギャップが存在することを示している。

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)のオーバーヘッドを追加する変換を用いて、相互排他アルゴリズムにおける公平性（ロックアウトなし）を保証すること。

提案手法

• 与えられた相互排他アルゴリズムを3倍に遅くする変換を設計し、各元のラウンドの前に2回のサイレントラウンドを挿入することで、安全な状態同期を可能にする。
• 3ラウンドのブロックを用いた選択サブルーチンを導入し、損失カウンタが最大のプロセスを選出することで、公平な競合解決を実現する。
• 失敗アクセス試行回数が最大のプロセスを特定するために、損失カウンタの上でのバイナリサーチに類似したメカニズムを採用する。
• 選択の開始を示す信号（1, 0）を送信し、サイレントまたは衝突を介して競合プロセスを検出するためのガードメカニズムを用いる。
• 3ラウンドのリスニングフェーズを適用し、チャネルが空いている（サイレント）か占有されている（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)である決定的アルゴリズムが、古典的相互排他を解ける。
• KNモデル下では、実行時間がO(n log² n)である決定的アルゴリズムが、古典的相互排他を解ける。