1998 Fiscal Year Annual Research Report
ネットワーク性能の多様性と動的な変化を考慮した分散アルゴリズムに関する研究
| Project/Area Number |
09780279
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
増澤 利光 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (50199692)
|
|---|
| Keywords | 分散アルゴリズム / プロトコル / モバイル・コンピューティング / 自己安定 / 無待機 / 放送プロトコル / 相互排除 / 時計合わせ |
|---|
| Research Abstract |
本研究では、ネットワーク性能の多様性と動的な変化を考慮して、ネットワーク環境で効率よく問題を解決するための分散アルゴリズムに関する研究を行い、本年度は以下の結果を得た。
1. モーバイル・コンピューティング環境での分散アルゴリズムに関する研究:
モーバイル・コンピューティング環境は、ネットワーク性能が動的に変化するネットワークの典型的な例と考えられる。本研究では、モーバイル・コンピューティング環境において、前後関係保存放送を実現する分散アルゴリズム、および、大域チェックポイントを求める分散アルゴリズムの設計を行った。
2. 適応型分散アルゴリズムに関する研究:
ネットワークの性能の変化に自動的に対応できる分散アルゴリズムとして、自己安定分散アルゴリズムが有用である。本研究では、時計合わせ問題、k-相互排除問題に対し、自己安定分散アルゴリズムの設計を行った。
また、ネットワーク性能が動的に変化する環境では、各計算機が低速な計算機の処理を待つことなく、各計算機の処理速度に応じた時間で問題を解くことが望ましい。これを実現する分散アルゴリズムとして、無待機アルゴリズムがある。本研究では、時計合わせ問題、および、共有オブジェクトを実現する問題に対し、無待機アルゴリズムの設計を行った。
|
-
[Publications] 守屋 宣: "共有メモリシステムにおける同期時間最適な自己安定無待機時計合わせプロトコル" 電子情報通信学会技術研究報告. COMP98-18. (1998)
-
[Publications] Sen Moriya: "Self-stabilizing wait-free clock synchronization with bounded space" Proc.International Conference on Principles of Distributed Systems. 129-143 (1998)
-
[Publications] 須田克朗: "線形化可能性を保証する共有オブジェクトの無待機な実現" 電子情報通信学会技術研究報告. COMP98-73. (1999)
-
[Publications] 寺田雅人: "分散移動システムにおける全域チェックポイントについて" 電子情報通信学会技術研究報告. COMP98-74. (1999)
-
[Publications] 大堀 力: "分散移動システムのための前後関係保存放送プロトコル" 電子情報通信学会論文誌. J82-D-I・2. 425-435 (1999)
-
[Publications] Satoshige Ukena: "A self-stabilizing k-exclusion protocol with k-wait-freedom" 電子情報通信学会技術研究報告. COMP98-87. (1999)
