強一貫性（きょういっかんせい）は、並列プログラミングの領域（分散共有メモリ、分散トランザクションなど）で使用される一貫性モデルの1つである。
以下の場合、プロトコルは強い一貫性をサポートすると言われている。
すべてのアクセスは、すべての並列プロセス（またはノード、プロセッサなど）によって同じ順序（シーケンシャル）で見られる。
弱一貫性では、異なる並列プロセス（またはノード）が異なる状態の変数を認識することができるのに対し、一貫性のある状態は1つだけである。
一貫性モデルの実装は、一貫性プロトコルによって定義ができる。Tanenbaum et al., 2007。は、データ中心モデルの一貫性プロトコルをいくつか示している。Yu and Vahdat (2000) によって導入された連続一貫性では、アプリケーションが許容できる不整合は3つある。
数値の偏差 順序の偏差 レプリカ間の古さの偏差
3つの偏差の境界がすべてゼロになると、連続一貫性モデルは強一貫性となる。
脚注
関連項目 一貫性モデル (ソフトウェア) 結果整合性 線形化可能性 直列化可能性 逐次一貫性 リリース一貫性 プロセッサ一貫性 弱一貫性