并发编程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后的操作,也就是说主线程能看到子线程的操作。