volatile为何不保证原子性

volatile为何不保证原子性

我们先写个简单得例子，如下图：

这里我用了10个线程，每个线程都执行1万次num++，希望结果是10万，但是结果却是小于等于10万。

我们画个图解释一下这是因为什么，如果看不懂得话可以先看一下我上一篇得，里面解释了每步得具体流程
链接: https://blog.csdn.net/weixin_38818613/article/details/119804684

这是我简单画得，如下图：

我只画了两个线程说明一下，线程1和线程2得执行逻辑应该是这样得：
1.线程1和线程2都去主内存读取到num = 0;
2.然后各自计算+1，计算完后num =1,assgin到自己得工作内存中
3.因为num是volatile关键修饰得，会触发总线得mesi缓存一致性协议，立即会写回主内存
4.在写回主内存得时候，因为经过总线，线程2会感知到值发生了变化，会使自己工作内存得值失效，然后重新去主内存取值。
5.正常情况下，线程2应该使重新读取到值 1，然后执行++操作，变为2。

但是这里如果线程1和线程2第一次得时候都执行了 ++操作，然后都在第三步assgin操作得时候，一个cpu比另一个cpu快了一点，那么就会发生++操作丢失得问题，导致少加了一次。

加上synchronized就能保证原子性，结果就是我们想要得了，如下图：