happens-before的总结

假设m为一个对象

• 线程解锁m之前对变量的写，对于接下来的对m加锁的其他线程对该变量的读可见。
• 线程对volatile变量的写，对接下来其他线程对该变量的读可见。
• 对线程start之前的写，对线程start之后的读可见
• 线程t1打断了线程t2前对变量的写，对线程t2被打断后对该变量的读是可见的。
• 对变量默认值的写，对后续线程对变量的读可见
• 传递性