[論文レビュー] Discrete Dithered Desynchronization

Saman Ashkiani, Anna Scaglione|arXiv (Cornell University)|Oct 8, 2012

Network Time Synchronization Technologies参考文献 15被引用数 7

ひとこと要約

本稿では、完全接続ネットワークにおける分散型TDMAスケジューリングアルゴリズムとして、離散的で整数サイズの時間スロットを、ジターダム量化を用いたパルス結合型オシレーター力学に基づいてノードに割り当てる、D³sync（Discrete Dithered Desynchronization）を提案する。このアルゴリズムは、ほとんど確実に衝突のないスケジュールに収束し、大規模なNに対して収束時間の上界がO(N³)であることが保証されており、従来の離散的非同期化手法に見られる固定点問題を解決する。

ABSTRACT

This paper introduces the Discrete Dithered Desynchronization (D3sync) algorithm which is a decentralized Time Division Multiple Access (TDMA) technique in which a set of network nodes computes iteratively a conflict-free schedule so that each node obtains a portion of a frame that is an integer multiple of a fixed slot size. The algorithm is inspired by the dynamics of Pulse Coupled Oscillators (PCO), but unlike its predecessors that divide arbitrarily the frame among the nodes in the network, the D3sync allocates discrete resources among the network nodes. Our paper proves the convergence of the D3sync algorithm and gives an upper bound on the convergence time of the algorithm.

研究の動機と目的

• 既存の分散型非同期化アルゴリズムが連続的または任意に小さい時間スロットを割り当てるという制限を解消する。これは、非無視可能な送信信号持続時間のため現実的でない。
• グローバルなリファレンスクロックを必要とせず、完全接続ネットワーク内のノードに離散的で整数サイズの時間スロットを割り当てる分散型TDMAスケジューリングプロトコルを設計すること。
• 離散的非同期化における固定点問題を克服するため、ジターダム量化を導入し、衝突のないスケジュールへの収束を保証すること。
• 提案されたアルゴリズムの収束を形式的に証明し、最悪ケースの期待収束時間の上界を導出すること。

提案手法

• D³syncアルゴリズムは、時間スロットサイズΔごとに固定値で進む離散的カウンタを持つパルス結合型オシレーター（PCO）としてノードをモデル化する。カウンタがオーバーフローすると0にリセットされる。
• 各ノードはカウンタリセット時に発火信号をブロードキャストし、隣接ノードは受信した発火イベントに基づいて位相を更新する。固定点を回避するためにジターダム量化ルールを用いる。
• 状態遷移を分析するためのマルコフ連鎖モデルを用いる。状態はノード間の相対的位相差を表し、吸収状態は衝突のないスケジュールに対応する。
• 有限状態空間上のコンセンサス問題としてシステムをモデル化し、発火信号受信に基づき確率α（相互作用なし）および1−α（外れ値の圧縮）で制御される遷移確率を導入する。
• 収束時間はマルコフ連鎖における期待吸収時間として分析され、外れ値ノードとアクティブエッジ位置との距離を状態ラベルとして用いる。
• 期待吸収時間の再帰的式を導出し、x_k、y_k、z_k^ℓの閉形式解を計算することで、合計の期待収束時間の式を得る。

実験結果

リサーチクエスチョン

• RQ1 完全接続ネットワーク内のノードに、離散的で整数サイズの時間スロットを割り当てる分散型非同期化アルゴリズムを設計できるか？
• RQ2 ジターダム量化は、離散的非同期化に見られる不適切な固定点に陥るのを防ぐか？
• RQ3 D³syncアルゴリズムの期待収束時間は何か？また、ネットワークサイズNに伴いどのようにスケーリングされるか？
• RQ4 位相状態遷移のマルコフ連鎖モデルを用いて、アルゴリズムの収束を形式的に証明できるか？
• RQ5 ジターリング確率αの選択が、収束速度および安定性にどのように影響するか？

主な発見

• D³syncアルゴリズムは、固定点問題を回避するため、ほとんど確実に衝突のない離散的TDMAスケジュールに収束する。
• 最悪ケースの期待収束時間は、g(α) = (α+1)/(24(1−α)) とすると、O(g(α)N³) で上界が与えられ、ネットワークサイズNに対して立方乗スケーリングを示す。
• 大規模Nに対して、期待収束時間はO(N³)で増加し、係数はジターリング確率αに依存する。
• 期待吸収時間は、x_k、y_k、z_k^ℓの再帰的式系を用いて計算され、x_0およびy_0の閉形式解が導出された。
• 解析により、マルコフ連鎖における対称性が判明し、状態空間の縮小が可能となり、期待収束時間の正確な計算が可能になった。
• 導出された収束時間の上界はタイトであり、ジターリングの影響を反映している：αが大きい（相互作用確率が低い）ほど収束が遅くなる。