只是简单理解,如有不足之处,还请指出。
happen-before简单理解
happen-before 规则一共就八条,整理一下对这八条规则的理解。
- 单线程happen-before原则
理解:就是在单线程的程序中,前边代码产生的结果对后边代码是可见的。
- 锁的happen-before原则:
解锁操作的结果对后面的加锁操作一定是可见的,无论两个是否在一个线程。
- volatile的happen-before原则
对 volatile 变量的写操作的结果对于发生于其后的任何操作的结果都是可见的。
- happen-before的传递性原则
A happen-before B ,B happen-before C,则A happen-before C,就是 happen-before 具有传递性
- 线程启动的happen-before原则
start 方法造成的函数副作用必须对其它方法可见。
- 线程中断的happen-before原则
interrupt 方法改变的状态必须对后续执行的检测方法可见。
- 线程终结的happen-before原则
线程中的方法造成的函数副作用必须对线程关闭方法可见。
- 对象创建的happen-before原则