最简单的内存一致性(顺序一致性和sequential consistency)介绍
发布时间
阅读量:
阅读量
在所有内存一致性模型中,最为基础且易于理解的模型被称为顺序一致性(sequential consistency,SC)。顺序一致性的定义如下:
“任意执行的结果应当等同于所有处理器(核心)的操作按照某一特定顺序依次执行,而每个处理器(核心)的操作在该序列中的排列顺序应与其程序所指定的指令顺序保持一致。”
Lamport
简而言之,在多核环境下运行的程序其执行效果与在单核环境下运行时完全相同,同时单核中原本的指令执行顺序也得以维持。
在此需要明确两个关键概念:memory order 与 program order。其中,memory order 指的是整个程序运行过程中内存操作所遵循的整体顺序;而 program order 则表示单个核心内部指令执行时所遵循的逻辑顺序。
在顺序一致性模型下,整体的 memory order 需要符合各个核心自身的 program order。


还没有任何评论哟~
