Happen-Before规则
Java虚拟机和执行系统会对指令进行一定的重排,但是指令重排是有原则的,并非所有的指令都可以随便改变执行位置,下面列出一些基本原则,这些原则是指令重排不可违背的。
-
程序顺序原则:一个线程内保证语义的串行性。
-
volatile规则:volatile变量的写先于读发生,这保证了volatile变量的可见性。
-
锁规则:解锁(unlock)操作必须发生在随后的加锁(lock)操作前。
-
传递性:A先于B,B先于C,那么A先于C。
-
线程的start()方法先于它的每一个动作。
-
线程的所有先于操作先于线程的终结(Thread.join())。
-
线程的终端(interrupt())先于被中断线程的代码。
-
对象的构造函数的执行、结束先于finalize()方法。