弱一貫性

弱一貫性（じゃくいっかんせい）という用語は、2つの意味で使われる。厳密でより一般的な第一の意味では、コンカレントプログラミングの領域（分散共有メモリ、分散トランザクションなど）で使用される一貫性モデルの一つである。2つ目は、より一般的な意味での弱一貫性です。弱一貫性は、逐次一貫性よりも弱い一貫性モデルに適用することができる。

同時更新を行わないシステムにおける弱一貫性モデルには結果整合性（結果一貫性）を含む。これは、どの更新も非常に長い時間がかかる場合、すべてのレプリカが最終的に一貫性を持つようになることを定義している[1]。

プロトコルは以下の場合に弱一貫性をサポートすると言われている。

  1. 同期変数へのすべてのアクセスは、すべてのプロセス（またはノード、プロセッサ）から同じ順序（シーケンシャル）で見られる（これらは同期操作である）。クリティカルセクションへのアクセスは順次行われる。
  2. その他のアクセスは、プロセス（またはノード、プロセッサ）ごとに異なる順序で見られる。
  3. 異なる同期操作の間にある読み取りと書き込みの両方の操作のセットは、各プロセスで同じです。

したがって保留中の書き込み操作がある場合は、同期変数へのアクセスはできない。またシステムが何らかの同期操作を行っている場合、新たな読み書き操作を開始することはできない。

より厳密な条件は強い一貫性であり、並列プロセスは1つの一貫した状態しか観察できない。

脚注

  1. ^ Tanenbaum, Andrew; Maarten Van Steen (2007). “Distributed systems”. Pearson Prentice Hall. 

参考資料

関連項目