1998 Fiscal Year Annual Research Report
| Project/Area Number |
10205221
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
山下 雅史 九州大学, システム情報科学研究科, 教授 (00135419)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
朝廣 雄一 九州大学, システム情報科学研究科, 助手 (40304761)
藤田 聡 広島大学, 工学部, 助教授 (40228995)
|
|---|
| Keywords | 分散システム / 分散アルゴリズム / 同期問題 / 合意問題 / スケジューリング |
|---|
| Research Abstract |
分散システムは自律的に動作する多数のエージェント(計算機、プロセス、車、ロボットなど)から構成されている。柔軟性や拡張性を重視して、集中管理のための要素や大域的な同期機構を採用せず、各エージェントは、非同期的に、与えられた分散アルゴリズムを用いて、初期情報と限られた近隣のエージェントとの情報交換から得られた局所情報だけに基づいてその振舞を決定する。分散アルゴリズム設計の困難さは、まず局所情報だけを入力として、大域的整合性のある決定を求める所にある。さらにシステム構成の動的変化に対する適応性や、エージェントの故障に対する耐性などが重視され、設計をより複雑で困難にしている。そして、なによりこれらの話題はいずれも静的な問題を集中型計算機システム上で解決する方法を議論するための従来のアルゴリズム理論の枠外に放置されている。
様々な分野に現れる広域分散システムを統一的に論ずるためのアルゴリズム工学の枠組を提示し、それら広域分散システムに共通に現れる問題を解決するための分散アルゴリズム工学を組織的に展開することが本研究の最終的な目的である。具体的には、本年度は特に以下の二つの話題に焦点を絞り検討を進め、業績欄に示すような成果を得た。
1. 自律的に変化するデータを扱う動的問題を検討した(文献1,2,5)。相互排除問題や合意問題など普遍的な分散問題が含まれる。
2. アルゴリズム工学の観点から、アルゴリズム工学のケーススタディとして、具体的なシステムに望まれる分散アルゴリズムを設計した(文献3,4,6)。実際に並列化コンパイラで用いられることを念頭においたマルチプロセッサスケジューリングアルゴリズムの設計や,耐故障性を重視したアルゴリズムの設計が含まれる。
|
-
[Publications] M.Yamashita et al.: "Modeling K-Coteries by Well Covered Graphs" Networks(to appear).
-
[Publications] M.Yamashita et al.: "Leader Election Problem on Networks in which Processor Identity Numbers are not Distinct" IEEE Trans.Parallel and Distributed Systems. to appear.
-
[Publications] T.Harada et al.: "Improving the Availability of Mutual Exclusion Systems on Incomplete Networks" IEEE Trans.Computers. to appear.
-
[Publications] N.Umemoto,et al.: "A Self-stabilizing Ring Orientation with a Smaller Number of Processor States" IEEE Trans.Parallel and Distributed Systems. 9・6. 579-584 (1998)
-
[Publications] 今林裕,朝廣雄一,山下雅史: "トーラス上の局所多数決問題の定常状態への移行" 平成10年度電気関係学会九州支部連合大会. 123 (1998)
-
[Publications] 中川忠紀,藤田稔,山下雅史: "ノードの子孫数を考慮したリストスケジューリング法の提案" 並列処理シンポジウム(JSPP‘98),情報処理学会シンポジウムシリーズ. 98・7. 39-46 (1998)
