- 程序次序规则(Program Order Rule):在一个线程内,按照控制流顺序(不是程序代码顺序,要考虑分支、循环等结构),书写在前面的操作先行发生于书写在后面的操作。
- 管程锁定规则(Monitor Lock Rule):对于同一个锁,如果一个unlock操作先行发生于后面(运行时间上的先后)一个lock操作,那么该unlock操作(包括unlock操作之前的操作)所产生的影响对于该lock操作(包括lock操作之后的操作)是可见的。
- volatile变量规则(Volatile Variable Rule):对于同一个volatile变量,如果对于这个变量的写操作先行发生于后面(运行时间上的先后)对于这个变量的读操作,那么对于这个变量的写操作(包括写操作之前的操作)所产生的影响对于这个变量的读操作(包括读操作之后的操作)是可见的。
- 线程启动规则(Thread Start Rule):对于同一个Thread对象,该Thread对象的start()方法先行发生于此线程的每一个动作,也就是说对线程start()方法调用(包括start方法之前的操作)所产生的影响对于该线程的每一个动作都是可见的。
- 线程终止规则(Thread Termination Rule):对于一个线程,线程中发生的所有操作先行发生于对此线程的终止检测,也就是说线程中的所有操作所产生的影响对于调用线程的Thread.join()方法或者Thread.isAlive()的返回值为false方法(包括调用这两个方法之后的操作)都是可见的。
- 线程中断规则(Thread Interruption Rule):对于同一个线程,调用线程的interrupt()方法先行发生于任何线程检测到该线程中断事件的发生,也就是说调用线程的interrupt()方法(包括interrupt方法调用之前的操作)所产生的影响对于任何线程检测到该线程发生中断事件(包括检测到中断事件之后的操作,例如Thread.interrupted()为true或中断线程的isInterrupted()为true)是可见的。
- 对象终结规则(Finalizer Rule) :对于同一个对象,它的构造方法执行结束先行发生于它的finalize()方法的开始,也就是说一个对象的构造方法结束(包括构造方法结束前的操作)所产生的影响,对于它的finalize()方法开始执行(包括开始之后的操作)是可见的。
- 传递性(Transitivity):如果操作A先行发生于操作B,操作B先行发生于操作C,那就可以得出操作A先行发生于操作C的结论。
FutureTask借用Happens-before原则保证了返回结果的可见性,可参考