volatile的变量可见性指的是什么？

microjuz

http://www.builder.com.cn/2007/1107/612888.shtml
在这篇文章中提到了volatile的作用和局限性
我对"volatile仅仅能保证变量可见性, 无法保证原子性."中的 变量可见性 不太理解。

是否指的是 volatile保证该数据不会被拷贝到本地内存，始终只有一个，因此对多线程来说，每个线程可见的数据field是唯一的？

tinywind

volatile的可见性是指一个线程(或者说cpu)对变量的变动可以即时被其他线程获得。一般人会觉得奇怪，因为平时不声明的话好像也可以做到这一点。但仔细考察cpu对内存的访问就可以知道，cpu访问内存时可能从寄存器，cache中获得值，或者根本不去访问（如果编译器认为没必要的话），这样其他cpu对该内存的修改它是不知道的。声明为volatile后可以简单理解为让cpu每次都从内存中去获得值，避免这种问题。

fecasmoy123

楼上回答的已经比较全面了．

microjuz

其实感觉volatile这个修饰符的作用很有限，它的作用范围仅仅是变量级别的，而且如果变量做了
if(++i == 1==)
{
   i =1;
}

return i;
之类的操作，感觉就完全没有意义了，必须加synchronized进行线程间同步。
记得inside vm这本书中还说过，这个修饰符是不强制支持的，所以用这个还真是不保险。