java多线程开发05——相对顺序问题

java多线程开发05——相对顺序问题

程序员为了开发方便，希望写的程序可以按他们写的逻辑，一行一行执行。

而处理器设计者，考虑到如果逐行执行，一方面效率低：每个变量写入和读取都从主存的话IO开销太大；一方面无法发挥多核处理器的优势：如果是一行一行串行执行指令只能在一个CPU上执行程序。因此，现代CPU每个处理器都有自己的读写缓存区，用以批量地更新变量。然后通过优化指令的手段，将指令代码在多个CPU并行地执行。这样造成的问题是：1. 对修改后的变量，不同CPU可见性不同；2. 难以保证不同代码的先后执行顺序。

JMM设计者为了优化考虑，给开发者的保证是：如果正确地执行同步，那么程序可以正确执行。给处理器设计者的保证是：不影响程序的运行结果，可以不按照程序编写的顺序执行。

顺序一致性

顺序一致性为程序员提供极强的内存可见性保证。具有以下两大特性：

1. 一个线程中所有的操作必须按照程序的顺序执行。
2. 所有线程都只能看到一个共同的、单一的操作执行顺序。
3. 每个操作必须原子执行且立即对所有线程可见。

这个可以保证，在多线程的环境下，即使没有同步，也可以保证程序的相对有序。

as-if-serial

as-if-serial，字面意思，好像是串行执行。即在单线程下，不管怎么重排序，执行结果不能改变。

happens-before规则

as-if-serial仅为单线程下的程序正确运行提供保证，而在多线程环境下，JMM设计happens-before规则，在不改变程序执行结果的前提下，尽可能地为编译器和处理器的优化打开方便之门。happens-before规则如下：

1. 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作
2. 监视器锁规则：对于一个锁的解锁，happens-before于随后这个锁的加锁
3. volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读
4. 传递性：如果A happens-before B，且B happens-before C，那么 A happens-before C
5. start()规则：如果线程A执行操作ThreadB.start()（启动线程B），那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作
6. join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回