Parallel programming languages and parallel computers must have a consistency model (also known as a memory model).
並列プログラミング言語と並列コンピュータには一貫性モデル（英語版）（メモリモデルとも呼ぶ）が必須である。