“先行发生”原则是Java内存模型中定义的两项操作之间的偏序关系，而且先行发生并不是时间上的先后顺序。主要是内存可见性问题。内存可见性问题就是多线程间的共享资源的可见性，因此“先行发生”原则主要描述的就是多线程间的原则。

1、程序次序规则(Program Order Rule)：在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作。

     在一个线程内，程序内代码的执行顺序是可能被重排序，导致描写代码的执行顺序提前，但是最终呈现在外的结果是不变的。而相互有依赖关系的两行代码则不会重排序执行，否则体现在外的结果就不一致了。程序次序规则，我认为针对的场景就是单线程中代码重排序的问题。如：

1 int a = 3;
2 int b = 2;
3 int c = a;

第3行依赖第1行的结果，因此，第3行代码执行时是不可能在第1行前执行的，但是第2行是没有依赖关系的，是可以重排在第1行前或第3行执行的，最终对外展现的结果仍然是a=3，b=2，c=3。

2、管程锁定规则(Monitor Lock Rule)：一个unlock操作先行发生于后面对同一个锁的lock操作。

      lock、unlock是jvm提供的原子指令，体现在汇编就是monitorenter和monitroexit指令。synchronized底层就是这两组指令支持。unlock会将工作内存的数据写入主内存，同时会引起别的处理器或者别的内核无效化其缓存，保证其他线程访问共享资源时从主存中读取。synchronized具备互斥性，被synchronized修饰的静态方法、代码块、方法在多线程执行的场景下是串行执行的，保证共享资源的安全性。

3、volatile变量规则(Volatile Variable Rule)：对一个volatile变量的写操作先行发生于后面对这个变量的读操作。

      volatile具有两个特点：保证共享资源的可见性、避免代码的重排序。比如在程序次序规则中volatile int c时，参数b是不会排到int c = a后面执行的，当volatile写数据后会主动将数据写回主存并会引起别的处理器或者别的内核无效化其缓存。虽然volatile修饰的参数，其他线程读取时是直接从主存中读取，但是，当读取后，某个线程在写该数值时，最终的值仍然不是一样的，因此jvm中的指令原子性是read、load、assign、use、store、write等的原子性，而这些原子性操作间是不具备原子性的。

线程间启动、中断、终止三个规则

4、线程启动规则(Thread Start Rule)：Thread对象的start()方法先行发生于此线程的每一个动作

      比如：thread中使用的某个属性是在线程外定义的，该属性的值是对线程内可见的。

5、线程终止规则(Thread Termination Rule)：线程中所有操作都先行发生于此检测的每一个动作。(Thread.join()、Thread.isAlive()等都需要知道线程是否已经终止)

     比如：Thread.join()是用来判断线程是否结束的，如果检测不到线程已经结束，那当前线程一直被阻塞。

6、线程中断规则(Thread Interruption Rule)：对线程interrupt()方法的调用先行发生于被中断线程代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测是否有中断发生

     比如：在线程外中断某个线程，该线程内部是可以检测到被中断的，否则借助中断操作就没有意义了。

对象的初始化的回收的先后顺序

7、对象终结规则(Finalizer Rule)：一个对象的初始化(构造函数执行结束)先行发生于它的finalize()方法的开始

支持上述7大先行规则的传递性规则

8、传递性(Transitivity)：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

参考深入理解Java虚拟机