不保证原子性的话,还是会发生数据不一致的问题。虽然volatile修饰的变量改变,其他线程的工作内存都会刷新,但是如果两个线程恰巧同时读取了这个变量的一个副本然后进行操作,最终还是出现问题。
比如同时有两个线程都读取到了volatile修饰的变量 a = 1,线程一对a进行加2,线程2对a进行加3,这时候结果是不确定的,因为有可能是3也有可能是4。
加入a是volatile得,编译器优化会引入一个中间变量,加快程序执行效率,也正是因为优化原因,如果这个全局变量是多线程共享的,子线程可能在任意时刻改变a的值,但是主程序引入的中间变量值确实过去a的值,就可能出现数据未同步问题。