Java并发编程那些事儿(九)——内存模型这是并发编程系列的第九篇文章。上一篇介绍了多线程死锁问题，这一篇说一下Java

原创：花括号MC(微信公众号：huakuohao-mc)。关注JAVA基础编程及大数据，注重经验分享及个人成长。

这是并发编程系列的第九篇文章。上一篇介绍了多线程死锁问题，这一篇说一下Java的内存模型，很多并发问题都是由内存模型决定。

还记得第三篇文章中提到的有关volatile的例子吗?

public class NoVisibility {
    private static volatile  boolean ready = false;
    private static int number = 0;

    private static class ReaderThread extends Thread {
        public void run() {
            while (!ready) ;
            System.out.println(number);
        }
    }

    public static void main(String[] args) throws InterruptedException {
        new ReaderThread().start();
        Thread.sleep(1000);
        number = 34;
        ready = true;
    }
}

上面的代码，ready变量如果不使用volatile关键字进行修饰，那么主线程对ready的修改，子线程将没办法及时发现。要想了解这个问题的本质原因，就需要了解JVM的内存模型。

多核共享内存模型

现在的计算机几乎都是多核CPU了。而每一核都有自己的高速缓存，用于存储一些指令和变量。缓存中的内容，其它核是看不到的，只有同步到主内存之后才能被其他CPU看到。如何以及何时将缓存里面的值写入主存凭借的是缓存一致性。大概应该是这个样子。

以上都是硬件相关的背景知识。

重排序

JVM为了能够提高程序执行性能，会打乱指令的执行顺序，然后将指令分散到多个CPU中去执行，以提高性能，只要最终的执行结果与严格的串行环境执行结果一致。

共享变量

为了解决共享变量的正确访问问题，JVM是这样做的。在JVM眼里，变量的读写是个操作，内置锁的加锁和释放是个操作，线程的启动也是个操作。JVM为这些操作定义了一个Happens-Before的规则。如果想保证执行A操作的结果被操作B看到，无论A和B是否在同一个线程，那么A和B之间需要满足Happens-Before的关系。如果两个任意的操作之间没有Happens-Before关系，那么JVM就会对指令进行重排序。