Java Happen-Before规则

虽然Java虚拟机和执行系统会对指令进行一定的重排，但是指令重排是有原则的，并非所有的指令都可以随便改变执行位置，以下的原则是指令重排不可违背的：

• 程序顺序原则： 一个线程内保证语义的串行性
• volatile规则：volatile变量的写，先发生于读，这保证了volatile变量的可见性
• 锁机制：解锁(unlock)必然发生在随后的加锁(lock)前
• 传递性：A先于B, B先于C, 辣么A必然先于C
• 线程的start()方法先于它的每一个动作
• 线程的所有操作先于线程的终结(Thread.join())
• 线程的中断(interrupt())先于被中断线程的代码
• 对象的构造函数执行、结束先于finalize()方法

参考资料：

1. 实战java高并发程序设计