happens-before 规定了对共享变量的写操作对其它线程的读操作可见,它是可见性与有序性的一套规则总结,抛开以下 happens-before 规则,JMM 并不能保证一个线程对共享变量的写,对于其它线程对该共享变量的读可见。(可以理解为先于什么发生)
线程解锁 m 之前对变量的写,对于接下来对 m 加锁的其它线程对该变量的读可见
线程对 volatile 变量的写,对接下来其它线程对该变量的读可见
线程 start 前对变量的写,对该线程开始后对该变量的读可见
线程结束前对变量的写,对其它线程得知它结束后的读可见(比如其它线程调用 t1.isAlive() 或 t1.join()等待它结束)
线程 t1 打断 t2(interrupt)前对变量的写,对于其他线程得知 t2 被打断后对变量的读可见(通过
t2.interrupted 或 t2.isInterrupted)
对变量默认值(0,false,null)的写,对其它线程对该变量的读可见
具有传递性,如果 x hb-> y 并且 y hb-> z 那么有 x hb-> z ,配合 volatile 的防指令重排
这个得在实践中练,我现在死记也没什么用,后续如果面试题需要背一下,如果不需要就算了。
。