| 研究課題/領域番号 |
23700019
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
山内 由紀子 九州大学, システム情報科学研究科(研究院, 助教 (10546518)
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2013年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2012年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | 分散アルゴリズム / ビザンチン故障 / 一時故障 / 自己安定アルゴリズム / 分散システム / ビザンチン故障耐性 / 自己安定 / 合意問題 / 故障耐性 / 乱択アルゴリズム / 自己安定性 / ランダム性 |
|---|
| 研究概要 |
大規模分散システムの安定的な運用を実現するためには，計算機の故障に対して頑健性を保証する分散アルゴリズムが必要である．本研究では，従来の一時故障と永久ビザンチン故障に対し，両者の中間に位置する故障に着目し，自己安定アルゴリズム等の耐故障分散アルゴリズム設計手法の拡張，新しい設計手法の提案を目標とした．研究期間内には移動ビザンチン故障に着目し，合意問題を解く分散アルゴリズムを得た．また，期待収束時間に関して性能保証を持つ確率的自己安定アルゴリズムの設計手法や，個体群プロトコルモデルにおけるリーダー選挙問題のメモリ複雑度の解明など，自己安定アルゴリズムの設計手法に関する成果を多数得た．
|
