什么是happens-before原则?
从JDk1.5开始,JMM(java 内存模型)就是用happens-before原则来保证内存可见性。
即,如果一个线程的操作的结果必须被另一个线程可见,那么他们必须符合happens-before原则
。
下面是happens-before原则规则:
程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作;
锁定规则:一个unLock操作先行发生于后面对同一个锁额lock操作;
volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作;
传递规则:如果操作A先行发生于操作B,而操作B又先行发生于操作C,则可以得出操作A先行发生于操作C;
线程启动规则:Thread对象的start()方法先行发生于此线程的每个一个动作;
线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生;
线程终结规则:线程中所有的操作都先行发生于线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行;
对象终结规则:一个对象的初始化完成先行发生于他的finalize()方法的开始;
如何理解?
程序次序规则,同一个线程内是顺序执行的。
锁定规则,获取锁必须等前一个线程释放锁。
传递规则,如字面意思。
线程启动规则,start优先于其他动作。
线程中断规则,中断检测保证有效。
线程终结规则,线程终止检测保证有效。
对象终结规则,初始化完成前不会触发析构方法。
volatile规则,这个是常用到的,使用volatile修饰的变量,各个线程总能获取到最新的值。
我们最关心的是,次序规则,锁定规则,volatile规则。
不符合happens-before原则的代码次序,难以保证,从而引起多线程问题。
比如这里的例子:volatile的秘密