ChMemoryConsistency剖析.ppt

高等计算机系统结构 高等计算机系统结构 第一章 高等计算机的核心技术——并行处理 第二章 加速比性能模型与可扩展性分析 第三章 互连与通信 第四章 划分与调度 第五章 并行存储器系统 第六章 Cache Coherence 第七章 Memory Consistency 第八章 指令级并行处理 第七章 Memory Consistency 7.1 问题的提出 7.1.1 存储器一致性问题 7.1.2 存储器访问的原子性问题 7.1.3 存储器访问操作的三个阶段 7.1.4 一个例子 7.1.5 多处理机存储器的行为 7.2 四种存储器一致性模型 7.1 问题的提出 7.1.1 存储器一致性问题 1.定义 存储器一致性是指一个系统正确执行存储器操作的能力。各处理机看到存储器的值是一致的。 Lamport定义（1979）：如果任意一次执行的结果都象所有处理机的（memory）操作是以某种顺序执行所得到的一样，而且就在这个序列中，多台处理机的（memory）操作都按照它的程序所指定的次序出现，那么这样的多处理机是顺序一致性系统。 A multiprocessor system is sequentially consistent if the result of any execution is the same a