Java并发之volatile关键字内存可见性问题

线程之间数据共享案例

我们先来看一个场景：

Main函数启动后，调用一个线程向list中添加数据。List的size为5的时候，设置变量flag为true.然后，主线程根据flag的值进行其他操作。

代码如下：

编辑

运行结果：

编辑

我们发现，当子线程输出flag为ture后，主线程也没有输出=====。

这是为什么呢？

线程在内存中运行简图

我们来看看上面程序在内存中怎么运行的

编辑

运行说明：

当程序运行的时候，先从main函数，主线程开始的，main线程先将flag=false 复制到自己程序的内存中;

这个时候开启了子线程，子线程同样将flag=false复制到自己程序内存中，在执行自己内部代码后，修改了flag的值，回写到主内存中(相对于程序自己的内存来说，内存中的数据是主内存。程序自己的内存其实就是复制了一份主内存的数据)。

如下图：

编辑

因为main线程没有刷新，没有从主线程获取最新的flag的值。所以，控制台上始终不能输出===。

结果分析

那么为什么会出现这种情况呢？【这里就需要知道两个概念：编译器和寄存器】

那是因为编译器会自动优化的结果。

编译器优化：在线程内，当读取到一个变量的时候，为了提高读写(存取)的速度，编译器在优化的时候，会先把变量读取到一个寄存器(对应上图子线程自己的内存或者是main线程自己的内存)中；以