什么是Java内模型?
已经知道,导致可见性的原因是缓存,导致有序性的原因是编译优化,那解决可见性、有序性最直接的办法就是禁用缓存和编译优化,但是这么做程序对的性能就会受到很大的影响。
Java内存模型规范了JVM如何提供按需禁用缓存和编译优化的方法,程序员可以通过volatile、synchronized和final关键字,以及六项Happens-Before规则来解决可见性和有序性问题。
-
volatile关键字
通过使用volatile关键字,程序可以保证一个变量对于其他线程的可见性。当一个变量被声明为volatile时,它的值会被保存到主内存中,当其他线程要访问这个变量时,它们会从主内存中读取最新的值,而不是从自己的本地缓存中读取过期的值。
-
synchronized关键字
通过synchronized关键字,程序可以保证临界区的代码同一时间只能由一个线程执行,并且在线程释放锁之前,对共享变量所做的修改对其他线程是可见的。
-
正确地使用final关键字
由于final关键字可以保证变量初始化后不再会被修改,因此在多线程环境中,正确地使用final关键字可以保证对于这个变量的读操作是线程安全的。
-
Happens-Before规则
Java内存模型中定义了Happens-Before规则,按字面意思翻译成“先行发生”,真正含义应该理解为前面一个操作的结果对后续操作是可见的,它们规定了一些线程间操作的执行顺序,保证了多线程环境中数据的可见性和有序性。例如,对于volatile变量的写操作,Happens-Before于任何后续对该变量的读操作。
-
程序顺序规则:一个线程中的每个操作,Happens-Before与该线程中任何后续操作。
-
volatile变量规则:对一个volatile变量的写操作,Happens-Before于任何后续对这个volatile变量的读操作。
-
传递性规则:如果A Happens-Before B,且B Happens-Before C,那么A Happens-Before C。
-
锁定规则:对于同一个锁,释放锁操作Happens-Before于任何后续的获取锁操作。这保证了线程间的信息流动。
-
线程启动规则:start()操作Happens-Before于执行该线程的任何操作。
-
线程终止规则:一个线程的所有操作Happens-Before于其他线程检测到该线程已经终止。
-
监视器锁规则:获取一个监视器锁Happens-Before于每个后续释放监视器锁的操作。
-
对象终结规则:对象的构造函数执行Happens-Before于finalize()方法的执行。
-