顺序一致性的内存模型

A2

假设有两个线程A和B并发执行。其中A线程由3个操作，他们在程序中的书序是：A1-A2-A3。B线程也有3个操作，它们在程序中的顺序是：B1-B2-B3。假设这两个吸纳城使用监视器来正确同步：A线程的3个操作执行后释放 监视器锁，随后B线程获取同一个监视器锁。那么程序 在顺序一致性模型中的执行效果如下图：

A1

线程B的程序顺序：

B1

线程A的程序顺序：

线程B的程序顺序不变

B3

线程A的程序顺序不变

顺序一致性模型的一种执行效果

B2

A3

操作的执行整体上执行，且两个线程都只能看到这个执行顺序

操作的执行整体上无序，但两个线程都只能看到这个执行顺序

顺序一致性模型中的另一种执行效果