线程之内存可见性

多个线程可以共享访问和操作相同的变量，但一个线程对一个共享变量的修改，另一个线程不一定马上就能看到，甚至永远也看不到。

public class VisibilityDemo {
    private static boolean ok = false;
    static class MyThread extends Thread{
        @Override
        public void run() {
            while (!ok){
            }
            System.out.println("I am ok");
        }
    }

    public static void main(String[] args) throws InterruptedException {
        new MyThread().start();
        Thread.sleep(1000);
        ok=true;
        System.out.println("i am finished!");

    }
}

在这个程序中，有一个共享的boolean变量ok，初始为false, MyThread在ok不为true的情况下一直死循环，当ok为true时退出并输出"I am ok", main线程启动MyThread后休息了一会儿，然后设置ok为true，最后输出"i am finished!"。期望的结果是两个线程都退出，但实际执行时，很可能会发现MyThread永远都不会退出，也就是说，在MyThread执行流看来，ok永远为false，即使main线程已经更改为了true。这是怎么回事呢？这就是内存可见性问题。在计算机系统中，除了内存，数据还会被缓存在CPU的寄存器以及各级缓存中，当访问一个变量时，可能直接从寄存器或CPU缓存中获取，而不一定到内存中去取，当修改一个变量时，也可能是先写到缓存中，稍后才会同步更新到内存中。在单线程的程序中，这一般不是问题，但在多线程的程序中，尤其是在有多CPU的情况下，这就是严重的问题。一个线程对内存的修改，另一个线程看不到，一是修改没有及时同步到内存，二是另一个线程根本就没从内存读。

怎么解决这个问题呢？有多种方法：
1 、使用volatile关键字。
为 ok 加上volatile关键字
2、使用synchronized关键字或显式锁同步。

参考书籍—《java编程的逻辑》 --马俊昌