Java并发编程之内存模型

C++/C代码都是直接编译成可执行文件的，主要有堆、栈、常量区、文本区等。而java编译成class交给JVM执行，这里开始就和C++很不一样了。

JVM内存结构和JVM的runtime·有关。
Java内存模型和Java并发编程有关。

JVM内存结构包含堆、虚拟机栈、方法区（常量池、字段和方法数据）、本地方法栈、程序计数器和运行时常量池等。

而出现Java内存模型是为了JVM实现遵守这个规范，否则不同的JVM实现可能不一样。JMM最重要的就是重排序、原子性和可见性。

可见性时java代码比较特殊的部分，每个java线程有工作内存，JVM中所有线程共享主内存，可见性就是为了某个线程对自己工作内存的修改对所有线程可见。这个问题可以用volatile解决。synchronized\lock 等也可以保证可见性，不同的是他们还可以保证原子星，但是 volatile 不能。

工作内存和主内存是对CPU 三级缓存的抽象。

说到volatile 就必然会说到经典的singleton

public class Singleton {

    private static volatile Singleton singleton;

    private Singleton() {
    }

    public static Singleton getInstance() {
        if (singleton == null) {
            synchronized (Singleton.class) {
                if (singleton == null) {
                    singleton = new Singleton();
                }
            }
        }
        return singleton;
    }
}

因为

singleton = new Singleton();

包含了三件事

1. 为Singleton 分配空间。
2. 调用其构造函数初始化Singleton
3. 将Singleton 对象指向分配的内存空间

线程 1 首先执行新建实例的第一步，也就是分配单例对象的内存空间，由于线程 1 被重排序，所以执行了新建实例的第三步，也就是把 singleton 指向之前分配出来的内存地址，在这第三步执行之后，singleton 对象便不再是 null。
这时线程 2 进入 getInstance 方法，判断 singleton 对象不是 null，紧接着线程 2 就返回 singleton 对象并使用，由于没有初始化，所以报错了。最后，线程 1 “姗姗来迟”，才开始执行新建实例的第二步——初始化对象，可是这时的初始化已经晚了，因为前面已经报错了。