2019 Fiscal Year Research-status Report
動的ネットワークにおける動的タスクのための適応的な耐故障性を持つ分散アルゴリズム
| Project/Area Number |
19K11828
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
亀井 清華 広島大学, 工学研究科, 准教授 (90434977)
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Keywords | 自己安定アルゴリズム / 分散アルゴリズム / 安全収束性 / 危険区域問題 |
|---|
| Outline of Annual Research Achievements |
本研究では，トポロジが動的に変化するネットワークにおいても十分に実用に耐える，故障耐性を持つ自己安定分散アルゴリズムの研究を目的とする．動的なネットワークでは，各計算機の参加・離脱，ネットワーク内での移動などが頻繁に起こるため，リンクの切断やメッセージの損失，外乱によるメモリ内容の改変などの一時故障が起こりやすい．そういった故障や変化に対する耐性をもつ分散アルゴリズムとして，自己安定アルゴリズムがある．
特に，解状況が動的な分散問題に対して，安全収束性を持たせた自己安定アルゴリズムを考える．安全収束性とは，最低限のサービスが保証できる性質を持つ状況にすばやく収束し，その性質を保持しながら最適な状況へと収束するものである．本研究では特に，解状況が動的な分散問題の一つとして，危険区域問題に着目する．危険区域問題とは，相互排除問題やk-相互排除問題，相互包括問題などを一般化した枠組みであり，危険区域に一度にアクセスするプロセスの数の上限と下限を設定する問題である．つまり，局所的(1,|N_i|)-危険区域問題というのは，隣接プロセスの中で，１つ以上が常に危険区域にアクセスし，他の１つ以上が常に残り区域にアクセスする，という状況を満たす問題となっている．
本年度では，局所的(1,|N_i|)-危険区域問題に対する自己安定アルゴリズムの設計を行い，さらに安全収束性を持たせたアルゴリズムの設計も行った．また，大域的危険区域問題に対する分散アルゴリズムの設計も行った．今後はこの大域的危険区域問題の分散アルゴリズムの自己安定化及び安全収束化を目指す．さらに本年度は，危険区域問題に類似した相互残り区域問題についても自己安定アルゴリズムの設計を行った．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
目標としていた大域的危険区域問題については，分散アルゴリズムの設計まではできたが，自己安定化までは到達できなかった．しかし，局所的危険区域問題については安全収束性を持つ自己安定アルゴリズムの設計が完了しており，計画通りに進んでいると言える．
|
| Strategy for Future Research Activity |
大域的危険区域問題に対する自己安定アルゴリズムの設計を進める．
|
| Causes of Carryover |
次年度使用額が生じたが，ごく少額のため，次年度分の計画に変更は生じないと考えております．
|
