今天刷到了并发的文章,讲到了 volatile 关键字,忽然被这个问题给搞懵逼了:
1. volatile 的可见性让修改的值立马让其他线程可见,意味着所有线程拿到变量的值都是最新的,这毋庸置疑!
2. volatile 在并发情况下是线程不安全的,意味着其他线程拿到的值可能不是最新的,这。。。也是毋庸置疑!
我。。太南了!!!!
真相大白:可见性的确可以保证线程拿到的值是最新的,分析情况:i = 1、flag = true、、、各种修改
1. 读:线程读的时候,大家都读,没问题;
2. 写:有线程写,内存屏蔽,写完之后,立马更新到主存,内存开放,其他线程继续读或者写。
还有点懵逼?没事,咱再来看看:并发 => 程不安全,这种情况:i ++、x + y 、、、各种运算
1. 读:线程读,也是读,肯定没问题;
2. 写:i ++ ,先读 i 的值,再进行 ++,加完后写回主存。
那么问题就会出现了,都知道,i ++ 在汇编上来细讲是会分成好几个步骤的,不安全的原因也是在这里,
这时候有同学就会发问了,不是有 volatile 关键字保证了他的可见性了吗?为什么会有问题?
答:其实不是这样的,i ++ 运算是先读,再写,volatile 是保证了你读这个步骤,读完之后你做什么操作与它无关。
也就是说,你读到的这个值肯定是和别人读到的一样的,但是别人读完之后有没有改,那就不一定咯。
总结:综上所述,volatile 关键字的可见性是确保 单次读 或者 单次写 的情况不会出错,但是不能保证复杂操作的安全,例如:算术运算