強一貫性

強一貫性（きょういっかんせい）は、並列プログラミングの領域（分散共有メモリ、分散トランザクションなど）で使用される一貫性モデルの1つである。
以下の場合、プロトコルは強い一貫性をサポートすると言われている。
弱一貫性では、異なる並列プロセス（またはノード）が異なる状態の変数を認識することができるのに対し、一貫性のある状態は1つだけである。
一貫性モデルの実装は、一貫性プロトコルによって定義ができる。Tanenbaum et al., 2007。は、データ中心モデルの一貫性プロトコルをいくつか示している。Yu and Vahdat (2000) によって導入された連続一貫性では、アプリケーションが許容できる不整合は3つある。
3つの偏差の境界がすべてゼロになると、連続一貫性モデルは強一貫性となる。