Java并发编程之可见性问题

• 什么是可见性问题

一个共享变量,A线程修改了,B线程随后读取到的还是旧值,这就是可见性问题.可见性问题导致线程读取到脏数据,是多线程编程的一个重要问题.后果可以很严重.例如：
private static boolean myThreadStop;
private static boolean mainStop;
public static void main(String[] args) {
Thread myThread=new Thread(new Runnable() {
@Override
public void run() {
mainStop=true;
while(!myThreadStop){}
}
});
myThread.start();
myThreadStop=true;
while(!mainStop){}
}
上面代码中涉及两个线程 一个是 main线程，一个是自定义的myThread线程，在myThread线程中将mainStop设置为true，在main线程中把 myThreadStop设置为true.一般情况下,这个程序很快结束.但也可能永远不会结束, myThreadStop和mainStop变量没有同步机制保证，可能main线程设置的值，myThread看不到, myThread设置的值,main线程看不到.

• 导致可见性问题的原因

现在的cpu为了解决内存io操作速度慢的问题都有高速缓存,多个线程同时在多个CPU上执行,同一个共享数据,会同时在多个cpu中缓存副本,一个cpu改变了副本的值并不会立刻同步到主内存中,所以别的cpu可能看不到变化.java设计了自己的内存模型来屏蔽不同硬件和操作系统对内存操作的差异。而Java内存模型规定，共享变量都放在主内存中，每个线程有自己的工作内存，工作内存存放主内存变量的副本，线程只能操作副本，线程间不能直接访问对方的工作内存，只能通过主内存交互。一个线程改变了变量可能不会马上同步到主内存，而一个线程使用变量也可能不会去刷新，所以如果没有同步机制保证就会有可见性问题.

• 可见性问题的解决之道

解决可见性问题就需要同步机制.一个是用volatile,一个是加锁.
volatile变量之所以能保证可见，是因为Java内存模型规定，volatile变量每次使用都要从主内存刷新，每次改变都要马上同步到主内存.
加锁能保证可见性，是因为Java内存模型规定，对一个变量执行lock操作，将会清空工作内存中此变量的值，在使用前，需要重新执行load或assign操作初始化变量的值，对一个变量unlock操作前，必须先将此变量同步会主内存.