标签：
先行发生原则--是判断是否存在数据竞争、线程是否安全的主要依据。
先行发生是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无需任何的同步手段就能成立的先行发生规则。其他情况下就没有顺序保障，虚拟机可以对它们随意地进行重排序。
标签：
原文地址：http://www.cnblogs.com/plxx/p/4376205.html
