java中关于volatile的理解疑问？

作者：xyzZ
链接：https://www.zhihu.com/question/49656589/answer/117826278
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

.因为非原子性，volatile往往不能保证线程安全

.因为非原子性，volatile往往不能保证线程安全

.因为非原子性，volatile往往不能保证线程安全

volatile 只能保证 “可见性”，不能保证 “原子性”。

count++; 这条语句由3条指令组成：
（1）将 count 的值从内存加载到 cpu 的某个寄存器r
（2）将 寄存器r 的值 +1，结果存放在 寄存器s
（3）将 寄存器s 中的值写回内存

所以，如果有多个线程同时在执行 count++;，在某个线程执行完第（3）步之前，其它线程是看不到它的执行结果的。

在没有 volatile 的时候，执行完 count++;，执行结果其实是写到CPU缓存中，没有马上写回到内存中，后续在某些情况下（比如CPU缓存不够用）再将CPU缓存中的值flush到内存。正因为没有马上写到内存，所以不能保证其它线程可以及时见到执行的结果。
在有 volatile 的时候，执行完 count++;，执行结果写到CPU缓存中，并且同时写回到内存，因为已经写回内存了，所以可以保证其它线程马上看到执行的结果。
但是，volatile 并没有保证原子性，在某个线程执行（1）（2）（3）的时候，volatile 并没有锁定 count 的值，也就是并不能阻塞其他线程也执行（1）（2）（3）。可能有两个线程同时执行（1），所以（2）计算出来一样的结果，然后（3）存回的也是同一个值。

1.volatile不能保证原子性。简单说，java有所谓主内存区和线程栈，同一变量在主内存区和各个线程的栈都存在副本（一对多）。volatile提供的可见性，是说每个线程访问用volatile修饰的变量时，volatile都保证线程能从主存区加载到当前最新的值（反之，线程修改后同步到主存的值也要保证对其他线程的可见）；

2.java的volatile的语义其实不涉及cpu缓存。jvm本身是软件抽象，已经在操作系统之上；

3.因为非原子性，volatile往往不能保证线程安全。如果只有简单读写操作如set i=2, get i, 可认为安全。i++就不行，它有一次读一次写；

4、volatile被认为是比锁要轻，编程要简单。

可以用volatile的地方：对一个变量，更新其值的时候不依赖于当前值，且该变量不会和其他一起构成一个不可变条件。

作者：卓尔不浪得
链接：https://www.zhihu.com/question/31990408/answer/54220910
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。