volatile是一个类型修饰符,被volatile修饰的变量是内存可见的,即如果一个字段被声明成volatile,java线程内存模型确保所有线程看到这个变量的值是一致的。是线程同步的方法之一,相较于 synchronised 是一种较轻量的同步策略,它比synchronized的使用和执行成本更低,因为它不会引起线程上下文的切换和调度。
1.volatile的实现原理
有volatile变量修饰的共享变量进行读写操作时,编译器生成的汇编指令会多出一行有前缀Lock的汇编代码,而Lock前缀的指令在多核处理器下会引发两件事:
1)将当期处理器缓存行的数据写回到系统内存
2) 这个写回内存的操作会使其他CPU里缓存了该内存地址的数据无效
通俗来讲就是, volatile变量的读写操作与普通变量的区别在于:修改volatile变量时,会强制性将修改后的值刷新到主存中;修改volatile变量后,导致其他线程工作内存中对应的变量值失效,再读取该变量值时需要重新从主存中读取。
2.volatile在JDK1.5以后屏蔽指令重排序
从硬件架构上讲,指令重排序是指CPU采用了允许将多条指令不按程序规定的顺序而分开发送给各相应电路单元处理。但不是随意乱排序,而是在不影响程序执行结果的前提下重新排列指令执行排序。使用volatile关键字后,会在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行行为,因此,volatile可以避免重排序。
|
|