|
大規模分散システムの安定的な運用を実現するためには，計算機の故障に対して頑健性を保証する分散アルゴリズムが必要である．本研究では，従来の一時故障と永久ビザンチン故障に対し，両者の中間に位置する故障に着目し，自己安定アルゴリズム等の耐故障分散アルゴリズム設計手法の拡張，新しい設計手法の提案を目標とした．研究期間内には移動ビザンチン故障に着目し，合意問題を解く分散アルゴリズムを得た．また，期待収束時間に関して性能保証を持つ確率的自己安定アルゴリズムの設計手法や，個体群プロトコルモデルにおけるリーダー選挙問題のメモリ複雑度の解明など，自己安定アルゴリズムの設計手法に関する成果を多数得た．
|
