存储一致性(memory consistency),理学-计算机科学技术-计算机体系结构-并行处理系统-存储一致性,在共享存储器系统中,对各处理器的访存操作执行次序加以必要约束的一种模型。共享存储器系统的访存操作可作用于同一个存储位置或不同存储位置,也可以是由同一个处理器或不同处理器发出的。这里的“执行次序”意味着从处理器看起来的执行次序,也就是对处理器可见的次序,在实际物理执行中可能不是这样,但它们的效果是一样的。从本质上说存储一致性模型是编程人员与系统间的一个约定,程序员可以据此来推断程序的行为,系统严格根据这个约定来执行程序。只要程序员遵循该模型的约定,程序的行为与预想的就是一致的。在存储一致性模型中需要考虑易于理解、易于编程与获得高性能之间的折中。最直观的存储一致性模型是顺序一致性模型,但顺序一致性模型对访存操作执行次序要求过于严格,无法获得好的性能。因此提出了一系列放松的存储一致性模型,这些模型放松了对访存操作执行的限制,但需要程序员承担部分保证执行正确性的责任,即在程序中指出需要维护一致性的访存操作。