内存一致性模型 ·内存一致性模型 -内存一致性模型是理解并行程序语义的一个关键 为确保写出正确的并行程序，程序员必须准确理 解并行程序的语义 随着多核处理器的广泛应用，并行程序设计已经 由一种特殊的、只需少数高端技术人才掌握的技 巧，变为一种大多数程序员都应该掌握的基本技 能
内存一致性模型 • 内存一致性模型 – 内存一致性模型是理解并行程序语义的一个关键 – 为确保写出正确的并行程序，程序员必须准确理 解并行程序的语义 – 随着多核处理器的广泛应用，并行程序设计已经 由一种特殊的、只需少数高端技术人才掌握的技 巧，变为一种大多数程序员都应该掌握的基本技 能 17
内存一致性模型 ·严格一致性（原子一致性）模型 一个进程对任何内存位置x的读操作，得到的是 最近一次对x的写操作所写入的值 在下面的图示中，P1和P2是处理器，x的初值是0 ·W(x)1表示：把1写到x中；Rx)3表示：读取x, 得到值3 P1:W(x)1 P1: W(x)1 P2: R(x)1 R(x)1 P2:R(x)0 R(x)1 P1:W(x)1 左下图不符 P2: R(x)0R(x)1 合严格一致性 18
内存一致性模型 • 严格一致性（原子一致性）模型 一个进程对任何内存位置x的读操作，得到的是 最近一次对x的写操作所写入的值 • 在下面的图示中, P1和P2是处理器, x的初值是0 • W(x)1表示：把1写到x中；R(x)3表示：读取x， 得到值3 P1: W(x)1 P1: W(x)1 P2: R(x)1 R(x)1 P2: R(x)0 R(x)1 P1: W(x)1 P2: R(x)0 R(x)1 t t t 左下图不符 合严格一致性 18