[論文レビュー] Channel Fragmentation in Dynamic Spectrum Access Systems - a Theoretical Study

Ed Coffman, Philippe Robert+3 more|arXiv (Cornell University)|Feb 16, 2010

Cognitive Radio Networks and Spectrum Sensing参考文献 19被引用数 6

ひとこと要約

本稿は、動的スペクトラムアクセス（DSA）システムにおけるチャネル断片化を理論的マコフ連鎖モデルを用いて分析し、任意に小さな断片であっても、時間経過に伴い総断片数の平均が有界のままであることを示している。主な貢献は、断片化プロセスのエルゴード性と安定性の証明であり、小規模なリクエストの極限においてギャップ対チャネル比に関する50%ルールが成り立つこと、およびLFSアルゴリズムがLSおよびCSアルゴリズムに比べて断片化を最小限に抑えることを示している。

ABSTRACT

Dynamic Spectrum Access systems exploit temporarily available spectrum (`white spaces') and can spread transmissions over a number of non-contiguous sub-channels. Such methods are highly beneficial in terms of spectrum utilization. However, excessive fragmentation degrades performance and hence off-sets the benefits. Thus, there is a need to study these processes so as to determine how to ensure acceptable levels of fragmentation. Hence, we present experimental and analytical results derived from a mathematical model. We model a system operating at capacity serving requests for bandwidth by assigning a collection of gaps (sub-channels) with no limitations on the fragment size. Our main theoretical result shows that even if fragments can be arbitrarily small, the system does not degrade with time. Namely, the average total number of fragments remains bounded. Within the very difficult class of dynamic fragmentation models (including models of storage fragmentation), this result appears to be the first of its kind. Extensive experimental results describe behavior, at times unexpected, of fragmentation under different algorithms. Our model also applies to dynamic linked-list storage allocation, and provides a novel analysis in that domain. We prove that, interestingly, the 50% rule of the classical (non-fragmented) allocation model carries over to our model. Overall, the paper provides insights into the potential behavior of practical fragmentation algorithms.

研究の動機と目的

• 二次ユーザーが非連続なサブチャネルを割り当てる動的スペクトラムアクセス（DSA）システムにおけるスペクトラム断片化の長期的挙動を分析すること。
• 特に高密度のリクエストと小さな断片サイズ下で、断片化が時間経過とともに性能を劣化させるかどうかを調査すること。
• 断片化プロセスの理論的安定性条件、特に断片数の期待値の有界性を確立すること。
• LS、CS、LFSなどの異なるギャップ割り当てアルゴリズムの断片化レベルに関する性能比較。
• 古典的な50%ルールを静的割り当てから動的かつ断片化されたスペクトラム割り当て環境へと拡張すること。

提案手法

• 二次ユーザー（SU）リクエストの到着と離脱に伴い変化するスペクトラムホールをモデル化した連続時間マコフ連鎖としてのシステムモデル化。
• システムが容量限界で一定の帯域幅リクエストの流れを維持しており、断片サイズに下限がないと仮定する。
• 再生理論およびマコフ連鎖のエルゴード性に関する解析的手法を用いて、すべてのリクエストサイズに対して断片数の期待値が有界のままであることを証明する。
• 空間埋め込みプロセスおよび極限定理の理論を適用し、小規模なリクエストサイズスケーリング下で、断片の分布が正規分布に収束することを示す。
• さまざまなリクエストサイズ下でLS、CS、LFSギャップ選択アルゴリズムの性能を評価するために、広範なシミュレーションを実施する。
• 動的リンクリストストレージ割り当てへとモデルを拡張し、この文脈でもギャップ対チャネル比に関する50%ルールが成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意に小さな断片が許容されるとしても、動的スペクトラムアクセスシステムにおけるスペクトラム断片化は時間経過に伴い無限に増大するのか？
• RQ2 非連続チャネル割り当てが行われるDSAシステムにおいて、断片の総数の長期的挙動はいかなるものか？
• RQ3 LS、CS、LFSなどの異なるギャップ選択アルゴリズムは、システム内の断片化レベルにどのように影響を与えるか？
• RQ4 断片数の期待値に理論的な上限があるか。また、その上限が有界である条件は何か？
• RQ5 静的割り当てモデルにおける古典的な50%ルールは、動的かつ断片化されたスペクトラム環境でも成り立つか？

主な発見

• 断片が任意に小さくても、断片数の期待値はすべてのリクエストサイズに対して有界のままであることが示され、断片化プロセスの長期的安定性が証明された。
• リクエストサイズ α > 1/2 の場合、断片化プロセスはハリス再帰的（Harris recurrent）であり、強いエルゴード的挙動を示す。
• 小規模なリクエストサイズの極限において、50%ルールが成立する：期待されるギャップ数は、期待されるチャネル数のほぼ半分に漸近的に収束する。これは古典的な静的割り当て結果と一致する。
• LFS（Longest First Search）アルゴリズムは、LS（First Search）やCS（Closest Search）アルゴリズムよりも著しく断片化が少ない。
• 小規模なリクエストサイズスケーリング下で、断片数の総分布は正規分布に収束し、強力な実証的および理論的根拠がある。
• モデルの結果は、動的リンクリストストレージ割り当てにも拡張可能であり、この文脈でも50%ルールが成り立つ。これは、スペクトラムアクセスを超えた幅広い適用可能性を示している。