本文中需要的基础知识:指令重排
线程中两个非常重要的问题就是:原子性与可见性.
而下面的先行发生原则就是用来解决可见性问题的.
先行发生原则--是判断是否存在数据竞争、线程是否安全的主要依据。
先行发生是Java内存模型中定义的两项操作之间的偏序关系。如果说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响被操作B察觉。
以下面的一段伪代码为例:
//以下操作在线程A中执行
int i = 1; //以下操作在线程B中执行
j = i; //以下操作在线程C中执行
i = 2
由于线程执行的先后顺序不同,会导致最后j 的结果出现差异。若使线程安全,那么A先行发生B,B先行发生C。
线程B可能获取的是一些过期的数据。故线程不安全!
但是在Java内存模型中确实存在一些已经存在的先行发生关系,这些先行发生关系不需要任何的同步操作,就可以保证其线程安全!
1、程序次序规则。在一个线程内,书写在前面的代码先行发生于后面的。确切地说应该是,按照程序的控制流顺序,因为存在一些分支结构。
2、Volatile变量规则。对一个volatile修饰的变量,对他的写操作先行发生于读操作。
3、线程启动规则。Thread对象的start()方法先行发生于此线程的每一个动作。
4、线程终止规则。线程的所有操作都先行发生于对此线程的终止检测。
5、线程中断规则。对线程interrupt()方法的调用先行发生于被中断线程的代码所检测到的中断事件。
6、对象终止规则。一个对象的初始化完成(构造函数之行结束)先行发生于发的finilize()方法的开始。
7、传递性。A先行发生B,B先行发生C,那么,A先行发生C。
8、管程锁定规则。一个unlock操作先行发生于后面对同一个锁的lock操作。
以上就是Java无需任何的同步手段就能成立的先行发生规则。其他情况下就没有顺序保障,虚拟机可以对它们随意地进行重排序。
总结:
happens-before指的是前面发生的操作的结构对于后面的操作的结果都是可见的,而在真正操作中并不一定前面的操作就先进行.
执行E的时候,E是不是保证看见C呢?
由法则1,hb(D,E)
由法则8,hb(B,D)
由法则1, hb(A,B)
综上可以推出,hb(A, E),但是推不出hb(C, E)
所以,E不一定能看见C,但是E一定能看见A,所以执行E的时候,有可能thread2看到的x的值还是1