| 研究課題/領域番号 |
19K11828
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
亀井 清華 広島大学, 工学研究科, 准教授 (90434977)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| キーワード | 自己安定アルゴリズム / 分散アルゴリズム / 安全収束性 / 危険区域問題 |
|---|
| 研究実績の概要 |
本研究では，トポロジが動的に変化するネットワークにおいても十分に実用に耐える，故障耐性を持つ自己安定分散アルゴリズムの研究を目的とする．動的なネットワークでは，各計算機の参加・離脱，ネットワーク内での移動などが頻繁に起こるため，リンクの切断やメッセージの損失，外乱によるメモリ内容の改変などの一時故障が起こりやすい．そういった故障や変化に対する耐性をもつ分散アルゴリズムとして，自己安定アルゴリズムがある．
特に，解状況が動的な分散問題に対して，安全収束性を持たせた自己安定アルゴリズムを考える．安全収束性とは，最低限のサービスが保証できる性質を持つ状況にすばやく収束し，その性質を保持しながら最適な状況へと収束するものである．本研究では特に，解状況が動的な分散問題の一つとして，危険区域問題に着目する．危険区域問題とは，相互排除問題やk-相互排除問題，相互包括問題などを一般化した枠組みであり，危険区域に一度にアクセスするプロセスの数の上限と下限を設定する問題である．つまり，局所的(1,|N_i|)-危険区域問題というのは，隣接プロセスの中で，１つ以上が常に危険区域にアクセスし，他の１つ以上が常に残り区域にアクセスする，という状況を満たす問題となっている．
本年度では，局所的(1,|N_i|)-危険区域問題に対する自己安定アルゴリズムの設計を行い，さらに安全収束性を持たせたアルゴリズムの設計も行った．また，大域的危険区域問題に対する分散アルゴリズムの設計も行った．今後はこの大域的危険区域問題の分散アルゴリズムの自己安定化及び安全収束化を目指す．さらに本年度は，危険区域問題に類似した相互残り区域問題についても自己安定アルゴリズムの設計を行った．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
目標としていた大域的危険区域問題については，分散アルゴリズムの設計まではできたが，自己安定化までは到達できなかった．しかし，局所的危険区域問題については安全収束性を持つ自己安定アルゴリズムの設計が完了しており，計画通りに進んでいると言える．
|
| 今後の研究の推進方策 |
大域的危険区域問題に対する自己安定アルゴリズムの設計を進める．
|
| 次年度使用額が生じた理由 |
次年度使用額が生じたが，ごく少額のため，次年度分の計画に変更は生じないと考えております．
|
