因果整合性
共有メモリにおける因果的先行関係は、メッセージベースの通信におけるhappens-before関係と関連している。
つまり、潜在的な因果関係がある書き込み操作が、システムの各プロセスによって因果関係のある優先順位で見られる、という条件が成立する場合に、システムは因果整合性を提供します。異なるプロセスでは、同時書き込みを異なる順序で見ることができる。
因果整合性(因果一貫性)モデルは、因果関係の有無にかかわらず、すべてのプロセスがすべての書き込み操作を共通の順序で観察することを保証する逐次整合性(逐次一貫性)よりも弱い。しかし因果整合性は、1つのプロセスが行う書き込み操作のみを他の各プロセスが共通の順序で観察することを要求するPRAM整合性よりも強い。このことから、システムが逐次的に一貫している場合は、因果的にも一貫していることになる。さらに、因果的整合性はPRAM整合性を暗示するが、その逆はない。