顺序一致性的内存模型

2018-06-21 15:13:37   56  举报





顺序一致性的内存模型

作者其他创作

大纲/内容

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

线程B的程序顺序：

线程A的程序顺序：

线程B的程序顺序不变

线程A的程序顺序不变

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

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

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

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