volatile关键字
Directions:The Java programming language provides a second mechanism, volatile fields, that is more convenient than locking for some purposes. A field may be declared volatile, in which case the Java Memory Model ensures that all threads see a consistent value for the variable.
特性:可见性,禁止重排序
基本原则解释:
1.保证此变量对所有的线程的可见性,当一个线程修改了这个变量的值,volatile 保证了新值能立即同步到主内存,其它线程每次使用前立即从主内存刷新。
理解:所谓可见性可以想象成一个线程修改了某个值,其它线程可以看见它修改的值,然后其他线程可以进行应对。类似于斗地主中地主点击“明牌”,所有人都可以看见地主的牌。
2.禁止指令重排序优化。有volatile修饰的变量,反编译中:赋值后多执行了一个“load addl $0x0, (%esp)”操作,这个操作相当于一个内存屏障(指令重排序时不能把后面的指令重排序到内存屏障之前的位置)。
理解:如下图所示是数据依赖关系图,如果A、B相互独立,那么A、B指令谁先执行并不影响C的结果。但是在多线程错综复杂的关系中,往往不会是下图这样的模型。所以需要一层“膜”使其能够独立,这个时候引入了“内存屏障”的概念。
内存屏障有两个作用:
1.阻止屏障两侧的指令重排序;
2.强制把写缓冲区/高速缓存中的脏数据等写回主内存,让缓存中相应的数据失效。
Warning:volatile不满足原子性特性。