解决可见性和有序性问题 2021-07-02

并发编程bug的源头便是cpu缓存、线程和编译优化带来的可见性、原子性和有序性问题。

那么如何解决上述中的可见性和有序性问题？

禁用缓存和编译优化，即可保证可见性和有序性，但是程序性能就堪忧了。

那么我们按需禁用缓存和编译优化，便是一种合理的方案。

于是，Java内存模型出现了。JMM规范了JVM如何提供按需禁用缓存和编译优化的方法。具体来说，包括volatile、synchronized和final三个关键字，以及六项Happens-Before规则。

volatile

volatile本意即为禁用cpu缓存
java中volatile的作用便是禁用缓存和编译优化    

Happens-Before规则

Happens-Before想要表达的：前面一个操作的结果对后续操作是可见的。

六项原则，如下

1. 程序的顺序性规则
2. volatile变量规则
3. 传递性
4. 管程中锁的规则
5. 线程start()原则
6. 线程join()原则

程序的顺序性规则，指单线程中，按照执行顺序，前面的操作happens-before后续的所有操作；

volatile变量规则，指volatile写操作happens-before volatile读操作；

传递性，指A操作happens-before B操作，B操作 happens-before C操作，那么 A操作happens-before C操作；

管程中的锁规则，对一个锁的解锁happens-before 于后续对这个锁的加锁；

管程是一种通用的同步原语，在Java中指的是synchronized

线程start()原则，主线程A启动子线程B，start()操作 happens-before 于线程B中的任意操作，即线程B对启动线程前的所有操作可见；

线程join()原则，线程A 中调用 B.join()，B中操作 happens-before 于join后的操作，也就是说主线程能看到子线程的操作。