happen-before
JVM有一个“先行发生”(happen—before)的规则,它是内存模型中定义的两项操作之间的偏序关系,如果操作A - HB - B,其意思就是说:A这个操作对于B是可见的。通俗地说:只要A发生了变化,B一定能观察到。
可以对比强一致性和弱一致性的概念对比。
- 程序顺序原则:一个线程内保证语义的串行性
- volatile规则:volatile变量的写 - HB - volatile变量的读
- 锁规则:解锁(unlock) - HB - 加锁(lock)
- 传递性:A - HB - B,B - HB - C,A - HB - C
- 线程的start()方法 - HB - 它的每一个动作
- 线程的所有操作 - HB - 线程的终结(Thread.join())
- 线程的中断(interrupt()) - HB - 被中断线程的代码
- 对象的构造函数执行结束 - HB - finalize()方法