Implicit Memory Model 顺序同一性( Sequential Consistency)[ Lamport]:该模 型要求所有处理器的读、写和交换(sWap)操作以某种序执 行所形成的全局存储次序,符合各处理器的原有程序次序。 即:不论指令流如何交叠执行,全局次序必须保持所有进程 的程序次序 所有读写操作执行以某种顺序执行 每一进程的操作以程序序执行 P1 P3 Pn No caches, no write buffers MEMORY 2021/22 计算机体系结构 2Implicit Memory Model • 顺序同一性(Sequential Consistency) [Lamport]：该模 型要求所有处理器的读、写和交换(swap)操作以某种序执 行所形成的全局存储器次序，符合各处理器的原有程序次序。 即： 不论指令流如何交叠执行，全局次序必须保持所有进程 的程序次序 – 所有读写操作执行以某种顺序执行 – 每一进程的操作以程序序执行 • No caches, no write buffers 2021/2/2 计算机体系结构 MEMORY P1 P2 P3 Pn 23