Understanding Program order-Example 2 P1 P3 A=1 while(a==o); B=1 while(B==0) print A 假设AB的初始值为0 从程序员角度看;P3应该输出A=1; 如果P2被允许越过对变量A的读操作,在P3看见A的新值前对B进行 写操作,那么P3就可能读出B的新值和A的旧值(例如从 cache),这 种情况就不满足顺序同一性要求。 2021/22 计算机体系结构Understanding Program order-Example 2 P1 P2 P3 A=1; while (A==0); B = 1; while (B==0); print A； 假设A,B的初始值为0； 从程序员角度看；P3应该输出 A=1； 如果P2被允许越过对变量A的读操作，在P3看见A的新值前对B进行 写操作，那么P3就可能读出B的新值和A的旧值（例如从cache)，这 种情况就不满足顺序同一性要求。 2021/2/2 计算机体系结构 25