Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
スポンサーリンク
概要
- 論文の詳細を見る
コンセンサス問題は,分散システム内の各プロセスが保持する変数の値をある一つの値に合意させる問題であり,分散システム設計の基本問題として多くの応用を持つ.本稿では,コンセンサス問題の一種であるΔ-時限一様コンセンサス問題を,停止故障およびタイミング故障の存在するシステム上で考える.Δ-時限コンセンサスとは,正常なプロセスの合意がある一定時間Δ内に終了することを保証するコンセンサス問題であり,一様コンセンサスとは故障プロセスが異なる値に合意することを許容しないコンセンサス問題である.本稿で提案するプロトコルは,f_t+1プロセスの正常プロセスがシステム内に存在することが保証されているとき,f_tプロセスのタイミング故障に対して耐性を有する.また,f_t+1プロセスが停止故障を起こさないことが保証されているとき,提案するアルゴリズムは,(時限でない)一様コンセンサス問題を解く.故障数に応じて保証する特性が変わる点で,提案するプロトコルは適応的である.本稿では,さらに耐故障性の上限についても考察を行なう.具体的には,高々f_tプロセスが正常なシステムでは,f_tプロセスのタイミング故障に対して耐性を有する時限一様コンセンサスプロトコルは存在しないこと,およびf_tプロセスのタイミング故障に対して耐性を有するいかなる時限一様コンセンサスプロトコルも,停止しないプロセスが高々f_t+1個未満存在するシステムにおいて一様コンセンサスを解くことができないことを示す.このことは,本橋で提案するプロトコルが,耐故障性および適応性の点で最適であることを意味する.
- 社団法人電子情報通信学会の論文
- 2004-04-09
著者
-
泉 泰介
名古屋工業大学大学院工学研究科
-
増澤 利光
大阪大学大学院情報科学研究科
-
泉 泰介
大阪大学大学院情報科学研究科
-
齊藤 明紀
大阪大学大学院基礎工学研究科
-
斎藤 明紀
大阪大学情報処理教育センター
-
齊藤 明紀
鳥取環境大学 情報システム学科
-
齋藤 明紀
大阪大学大学院情報科学研究科
-
齊藤 明紀
鳥取環境大
関連論文
- 証明書分散問題の近似可能性について
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- 木ネットワークにおけるビザンチン故障耐性を有する自己安定辺彩色プロトコル
- Population protocolにおけるオラクルをもたない自己安定リーダー選挙問題の可解性に関して
- 通信遅延が大きな並列計算環境に対するタスクスケジュールのためのクラスタリングアルゴリズム(アルゴリズム・数値計算)
- 通信遅延を考慮したタスクスケジューリングアルゴリズム(アルゴリズム一般)
- 通信遅延を考慮したタスクスケジューリングアルゴリズム
- P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築(セッションB-1:P2P・オーバーレイネットワーク(1))
- P2Pネットワークにおける決定性減衰型ブルームフィルタの提案と検索効率の評価(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
- P2Pネットワークにおけるブルームフィルタを利用したインデックス情報散布法の改良(次世代ネットワーク,SIP・プレゼンス,一般)
- B-7-80 新世代ネットワークサービス基盤としての仮想化技術のモデル化に関する一考察(B-7. 情報ネットワーク,一般セッション)
- 無線モバイルユーザのための最適「寄り道」経路の特性(一般,移動通信ワークショップ)
- 構造化オーバレイネットワークにおける故障耐性向上のための経路多重化法(ディペンダブルコンピューティング)
- 分散ハッシュテーブルChordにおける故障耐性向上のための経路の多重化手法(フォトニックネットワークシステム,光ルーチング,ブロードバンドアプリケーション,一般)
- 白板を利用したモバイルエージェントによる効率的なグラフ探索
- 無線LAN環境におけるアトラクター選択を用いた経路選択手法
- モバイルアドホックネットワークにおけるGPSを用いたACOルーティング
- 無線LAN環境におけるアトラクター選択を用いた経路選択手法
- モバイルアドホックネットワークにおけるGPSを用いたACOルーティング
- 類似実行に基づく耐故障分散アルゴリズム理解支援システムの提案(Session 2)
- 領域被覆のためのセンサネットワークアルゴリズム(セッション9-A : アドホックネットワーク・センサネットワーク(4))
- 領域被覆のためのセンサネットワークアルゴリズム(セッション9-A : アドホックネットワーク・センサネットワーク(4))
- モバイルエージェント間ゴシップの移動計算量について
- 動的ネットワークにおける生態系パラダイムに基づく静的資源数制御
- 動的ネットワークにおける生態系パラダイムに基づくモバイルエージェント数制御(エージェント・学習)
- トポロジ変化に対して出力の変化数を最小化する全域木構成分散アルゴリズム
- モバイルアドホックネットワークにおける公平性の高い自己安定相互排除プロトコル(研究速報)
- トポロジ変化の影響を抑えたモバイルアドホックネットワーク向け自己安定相互排除プロトコル(セッション4-A : アドホックネットワーク・センサネットワーク(2))
- トポロジ変化の影響を抑えたモバイルアドホックネットワーク向け自己安定相互排除プロトコル(セッション4-A : アドホックネットワーク・センサネットワーク(2))
- Emulation of ring protocols on trees preserving fault-containment (コンピュテーション)
- 無線ネットワークにおける距離2の彩色を利用したTDMAスケジュール手法(無線・モバイルネットワーク)
- 無線ネットワークにおける距離2の彩色を利用したTDMAスケジュール手法(セッション5: 無線ネットワーク)
- 体験的な分散アルゴリズム協調学習を支援するシステムの提案
- 観測に一様な誤差を生じるモデルでの自律分散ロボット群の一点収束について
- 偶数台の自律分散ロボット群に対するリング上での一点集合問題について
- 4台の自律分散ロボット群による正方形形成について
- 動的コンパスを持つロボット群の一点集合問題に対する許容変化量最適なアルゴリズム
- 故障したコンパスを持つ二台の自律分散ロボットに対する一点集合問題の可解性について
- (15)生徒と教師の授業時間内のやりとりを支援するシステムの実装と評価(第4セッション 教育システム(講義・演習)(IV))
- ET2009-86 アルゴリズム学習向け誤り発見型演習のためのカスタマイズ可能な問題自動生成システム(学習データの蓄積・分析・共有/一般)
- 複数グループのオンライン議論を同時にサポートする自動助言システムの構築(セッション議論支援)
- アルゴリズム学習における間違い探し形式の演習課題を自動生成する手法の提案と評価
- アドホックネットワークの経路構築における非協調行動の抑制手法について(アドホックネットワーク,無線ネットワーク,有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- モバイルP2Pにおけるレーン構造を用いた資源探索手法(セッションB-8:P2P・オーバーレイネットワーク(2))
- P2Pシステムにおける動的ランダムオーバーレイの構築手法(セッションB-1:P2P・オーバーレイネットワーク(1))
- モバイルP2Pにおけるレーン構造を用いた資源探索手法(セッションB-8:P2P・オーバーレイネットワーク(2))
- P2Pシステムにおける動的ランダムオーバーレイの構築手法(セッションB-1:P2P・オーバーレイネットワーク(1))
- P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築(セッションB-1:P2P・オーバーレイネットワーク(1))
- 議論活動における調査資料の活用を支援するシステムHAKASEの構築
- 極大クリーク分割に基づく自己安定クラスタリングアルゴリズム
- メッセージの確率的な消失を考慮した耐故障合意アルゴリズム
- アルゴリズム学習における誤りからの学習を実現する演習課題の自動生成手法(オープンソースソフトウェアの教育利用/一般)
- 大学教育に適した学生ポートフォリオシステム
- 生徒と教師の協調学習授業を支援するインタラクティブなシステムの実現
- Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
- Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
- タイミング故障および停止故障に対する故障耐性を有するアトミックブロードキャスト
- 高解像度下での精密作業に適したマウスのデバイスドライバ
- 相互無関係並列マシンにおける一般化多組織スケジューリング
- FDBを用いた接続ポート固有のIPアドレスリースが可能なDHCPサーバの設計と実装(サービス管理, ビジネス管理, 料金管理, 及び一般)
- FDBを用いた接続ポート固有のIPアドレスリースが可能なDHCPサーバの設計と実装(5月13日, サービス管理, ビジネス管理, 料金管理, 及び一般)
- MSTに基づくSVMパス追跡を用いた多重多変量2標本検定による遺伝子群解析に関する一考察(IBIS2010(情報論的学習理論ワークショップ))
- 分散データ構造スキップグラフの探索頻度偏りを考慮した拡張について(セッション3)
- 教育目的に応じて観察の抽象度が変更可能な計算機シミュレータECASの計算機構築演習での活用
- 木ネットワークにおける自己安定エージェント巡回アルゴリズム
- 産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み
- 自己安定パイプライン型フィードバック付ブロードキャストについて
- 非同期共有メモリシステムにおける適応型繰り返し改名アルゴリズム
- レジスタ転送レベルデータパスの単一制御並行可検査性に基づく組込み自己テスト法
- 演算器の強可検査性を保証するテスト容易化高位合成
- レジスタ転送レベルデータパスの単一制御並行可検査性に基づく組込み自己テストについて
- レジスタ転送レベルデータパスの単一制御並行可検査性に基づく組込み自己テストについて
- 強可検査性に基づくテスト容易化高位合成
- 強可検査性に基づくテスト容易化高位合成
- 強可検査性に基づくテスト容易化高位合成
- 操作を並行実行可能な自己安定共有ヒープ
- 非同期式状態通信モデルにおける分散アルゴリズムの時間計算量評価の一手法
- P2Pシステムにおける確率的弱コーラムシステムを用いた自己適応的探索手法(セッション4)
- A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems
- 1ステップ分散合意問題の可解性について(ディペンダブルソフトウェアとネットワーク及び一般)
- 分散環境における順位つき資源への部分探索法の提案(セッション5-A : 分散システム)
- 分散環境における順位つき資源への部分探索法の提案(セッション5-A : 分散システム)
- 分散環境における順位つき資源への部分探索法の提案
- 1ステップ分散合意問題の可能性について
- Synchronous Condition-Based Consensus Algorithm Adapting to Input-Vector Legality
- プロセスの出現・消滅に対応したコーザルブロードキャスト
- A-15-27 タッチパッドにおいて右ボタンを使わないジェスチャ入力手法の提案と評価(A-15. ヒューマン情報処理, 基礎・境界)
- LL-003 SNMPを用いた汎用プリント枚数取得システム(L. インターネット)
- 個人所有の計算機を用いた計算機環境でのモバイルエージェントを用いた教育支援システムの設計(Collaborationとagent技術/一般)
- LL-2 分散管理体制に対応した大規模分散端末システム用遠隔電源管理システム(L. インターネット)
- 時間限定ビザンチン故障に対する故障封じ込め自己安定リーダー選挙プロトコル
- センサネットワークにおけるエネルギー消費の少ないトラッキングアルゴリズム
- アルゴリズム学習向け誤り発見型演習のためのカスタマイズ可能な問題自動生成システム
- 木およびリングにおけるマルチエージェント最適巡回アルゴリズム
- 異種並列計算環境における分割可能なデータの収集操作スケジューリング
- 根付き木ネットワーク上において局所情報のみで負荷分散を実現する自己安定アルゴリズムについて(セッション2)
- 非停止永久故障に耐性を有する自己安定生成木構成プロトコル
- 非停止永久故障に耐性を有する自己安定生成木構成プロトコル
- 異種並列計算環境における分割可能なデータの収集操作スケジューリング
- MapReduce計算の並列複雑度について