標準的な問題
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 02:13 UTC 版)
アトミックコミット アトミックコミットとは異なる変更の集合が一つの処理として実行されるような処理のことである。もしアトミックコミットが成功すれば、全ての変更が実行されたことを意味する。もしアトミックコミットが完了するまでに障害があった場合、"コミット"が中止され、どの変更も実行されない。 アトミックコミットプロトコルを実現するアルゴリズムとして、2相コミットプロトコルおよび、3相コミットプロトコルがある。 合意 合意アルゴリズムはいくつかのプロセスが共通の決定に合意する問題を解くものである。 より詳細には、合意プロトコルは以下の4つの特徴を備えなければならない。 終了: 全ての正常なプロセスはある値を決定する。 有効性: もし全てのプロセスが同じ値 v {\displaystyle v} を提案する場合、全ての正常なプロセスは v {\displaystyle v} を決定する。 整合性: 全ての正常なプロセスは最大1つの値を決定し、もし値 v {\displaystyle v} を決定した場合は、 v {\displaystyle v} が他のプロセスによって提案されている。 合意: もし正常なプロセスが v {\displaystyle v} を決定した場合、すべての正常なプロセスは v {\displaystyle v} を決定する。 Paxosアルゴリズムは、合意を実現するための典型的なアルゴリズムである。 分散情報検索 リーダー選出 ミューテックス 信頼性のあるブロードキャスト 信頼性のあるブロードキャストとは、分散システムにおける通信の基本要素である。以下の特徴によって定義されるものである: 有効性 - 正常なプロセスがメッセージを送信するならば、ある正常なプロセスがいずれそのメッセージを伝送する 合意 - 正常なプロセスがメッセージを伝送するならば、全ての正常なプロセスがいずれそのメッセージを伝送する 整合性 - 全ての正常なプロセスが同じメッセージを最大1回伝送し、それはあるプロセスによりそのメッセージが送信された場合だけである レプリケーション リソース割り当て 全域木生成
※この「標準的な問題」の解説は、「分散アルゴリズム」の解説の一部です。
「標準的な問題」を含む「分散アルゴリズム」の記事については、「分散アルゴリズム」の概要を参照ください。
- 標準的な問題のページへのリンク
