コンセンサス数の有用性

Question

共有オブジェクトのコンセンサス番号を知っている情報と有用性は私に与えられますか？

Answer 1

おそらくあなたはおそらく Herlihyの元の論文

並行データオブジェクトの待ち合わない実装は、他のプロセスの実行速度に関係なく、どのプロセスが有限のステップで何らかの操作を完了できることを保証するものです。並行アルゴリズム、並行データ構造、およびマルチプロセッサアーキテクチャでの多くの最近の作業の中心にある1つのデータオブジェクトの待ち合わない実装を構築するという問題。まず、フォームの証明書を証明するための、コンセンサスプロトコルへの削減に基づいて、シンプルで一般的なテクニックを紹介します。 1つのレベルのオブジェクトが低いレベルのオブジェクトに関して待ち行列の実装を持たないように、オブジェクトの階層を導き出します。特に、最近の注意の焦点であるアトミック読み取り/書き込みレジスタは、階層の一番下にあることを示しています。さらに、標準的なメッセージ通過プリミティブと同様に、テスト＆セットおよびフェッチおよび追加などの古典的な同期プリミティブも計算的に弱いです。次に、それにもかかわらず、私たちは存在する単純なユニバーサルオブジェクトが存在することを示しています。そこから任意の順次オブジェクトのウェイトフリーの実装を構築できます。