volatile保证了2点:
1.线程的可见性。即线程B如果将变量的值做了修改,线程A能够立即看到,普通的变量做不到这一点,
因为线程的模型为:
线程A<-->工作内存 <-->save &load <-->主内存
线程B<-->工作内存
线程C<-->工作内存
为了保证性能,变量修改是在工作内存进行的,在工作内存中的变量值没有写入主内存之前,其他线程是不可见的,
使用volatile可以保证修改后立即写回到主内存,使用之前总是从主内存中进行同步。
但是使用volatile不能保证原子性,也就是说仍然不是线程安全的。
2.消除指令重排序。
线程A:
loadconfig()
initialized = true;
线程B
if(initialized)
xxx();
如果initialized不是volatile则可能存在loadconfig()执行成功之前,initialized 已经被负责为true,这样线程B就会执行错误。
如果一个字段被定义为volatile,java内存模型能够保证所有线程看到这个变量的值是一致的。
volatile相对于synchronized来说更轻量,因为它不需要上下文切换和调度。
volatile变量生成的汇编指令多了一个lock指令,这个lock指令可以保证2点:
1)将当前缓存行的数据写回到内存中。
2)引起其他CPU缓存了该缓存行的数据无效。
参考资料:
http://www.infoq.com/cn/articles/ftf-java-volatile
深入理解Java虚拟机:JVM高级特性与最佳实践 周志明
1.线程的可见性。即线程B如果将变量的值做了修改,线程A能够立即看到,普通的变量做不到这一点,
因为线程的模型为:
线程A<-->工作内存 <-->save &load <-->主内存
线程B<-->工作内存
线程C<-->工作内存
为了保证性能,变量修改是在工作内存进行的,在工作内存中的变量值没有写入主内存之前,其他线程是不可见的,
使用volatile可以保证修改后立即写回到主内存,使用之前总是从主内存中进行同步。
但是使用volatile不能保证原子性,也就是说仍然不是线程安全的。
2.消除指令重排序。
线程A:
loadconfig()
initialized = true;
线程B
if(initialized)
xxx();
如果initialized不是volatile则可能存在loadconfig()执行成功之前,initialized 已经被负责为true,这样线程B就会执行错误。
如果一个字段被定义为volatile,java内存模型能够保证所有线程看到这个变量的值是一致的。
volatile相对于synchronized来说更轻量,因为它不需要上下文切换和调度。
volatile变量生成的汇编指令多了一个lock指令,这个lock指令可以保证2点:
1)将当前缓存行的数据写回到内存中。
2)引起其他CPU缓存了该缓存行的数据无效。
参考资料:
http://www.infoq.com/cn/articles/ftf-java-volatile
深入理解Java虚拟机:JVM高级特性与最佳实践 周志明