顺序一致模型是一种内存一致模型，确保多处理器系统的结果与单处理器轮流执行相同。在该模型中，总线结构保证无冲突访问，但多核心的写入缓冲区可能导致一致性问题。无缓存架构下，CPU的写入缓冲区可能导致非原子操作，而多核心情况下，不同处理器的写入缓冲区可能引发冲突，如Dekker算法的执行所示。
内存一致模型——顺序一致模型
顺序一致模型，是最常见的内存一致模型，定义如下：
【如果一个多处理器系统是顺序一致的】，那么，无论程序怎么运行，结果都与各处理器各自轮流运行后的结果相同，且各处理器内部的执行顺序由程序决定。
从定义中， 可以得出，顺序一致模型有如下要求：
- 保证单一处理器内部的执行顺序
- 保证多处理器操作同一块内存时的先后顺序如图所示：
总线结构保证在相同时间内对指定内存块的访问只有一个处理器。这样就保证多处理器之间不会冲突。
下面展示引用文献[1]中的两个例子(a) (b)：
(a)中就用到了Dekker算法，过程一目了然，放一段代码吧
最低0.47元/天 解锁文章
扫一扫
3208
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
