存储同一性的定义 定义:共享地址空间的存储同一性模型是在多个处理器对不同存 储单元并发读写操作时,每个进程看到的这些操作被完成的序的 一种约定。 存储一致性( Coherence)保证的是当对共享存储空间中的某一单元修 改后,对所有读取者是可见的。即每个单元都能“返回最后一次写操 作的值” 没有明确所写入的数据何时成为可见的 致性协议没有涉及处理器P1和P2对不同地址单元的访问顺序 致性协议没有涉及到P2对不同存储单元的读操作相对于P1所见到的 顺序 P1 P2(A, flag are zero initial) A=1 while(flag =0) print a 2021/22 计算机体系结构存储同一性的定义 • 定义: 共享地址空间的存储同一性模型是在多个处理器对不同存 储单元并发读写操作时，每个进程看到的这些操作被完成的序的 一种约定。 – 存储一致性（Coherence）保证的是当对共享存储空间中的某一单元修 改后，对所有读取者是可见的。即每个单元都能“返回最后一次写操 作的值” – 没有明确所写入的数据何时成为可见的 – 一致性协议没有涉及处理器P1和P2对不同地址单元的访问顺序 – 一致性协议没有涉及到P2对不同存储单元的读操作相对于P1所见到的 顺序 2021/2/2 计算机体系结构 P1 P2 (A, flag are zero initial) A=1 while(flag == 0); flag=1 print A; 22