Happens-before原则
- 程序次序规则（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的结论。
具体测试实例，可参考
Happens-Before原则深入解读_YYniannian的博客-CSDN博客
FutureTask借用Happens-before原则保证了返回结果的可见性，可参考
老爷子这代码，看跪了！_why技术的博客-CSDN博客