JAVA盖楼-内存模型

前面学习了JVM的内存结构，这里了解以下Java的内存模型是什么样的。

Java的内存模型

JVM的内存区分为主内存和工作内存：

• 主内存就是被所有线程共享的jvm内存空间，包含堆，方法区等
• 工作内存包含两个部分
  （1）线程的私有栈
  （2）对主内存部分变量拷贝的寄存器（包含程序计数器pc和cpu高速缓存）
  所有变量都保存在主存中，针对所有线程共享
  针对变量的操作只能在工作内存中进行而不能直接读写主内存
  线程之前无法直接访问其他线程的工作内存，数据传递的顺序是线程，主内存，工作内存。
  JVM规定了主内存与工作内存的读写操作：

1. Lock(锁定)：作用于主内存中的变量，把一个变量标识为一条线程独占的状态。
2. Read(读取)：作用于主内存中的变量，把一个变量的值从主内存传输到线程的工作内存中。
3. Load(加载)：作用于工作内存中的变量，把read操作从主内存中得到的变量的值放入工作内存的变量副本中。
4. Use(使用)：作用于工作内存中的变量，把工作内存中一个变量的值传递给执行引擎。
5. Assign(赋值)：作用于工作内存中的变量，把一个从执行引擎接收到的值赋值给工作内存中的变量。
6. Store(存储)：作用于工作内存中的变量，把工作内存中的一个变量的值传送到主内存中。
7. Write(写入)：作用于主内存中的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中。
8. Unlock(解锁)：作用于主内存中的变量，把一个处于锁定状态的变量释放出来，之后可被其它线程锁定。
   8种数据的操作必须遵循以下规则：
   1：不允许read和load、store和write操作之一单独出现。即不允许一个变量从主内存被读取了，但是工作内存不接受，或者从工作内存回写了但是主内存不接受。
   2：不允许一个线程丢弃它最近的一个assign操作，即变量在工作内存被更改后必须同步改更改回主内存。
   3：工作内存中的变量在没有执行过assign操作时，不允许无意义的同步回主内存。
   4：在执行use前必须已执行load，在执行store前必须已执行assign。
   5：一个变量在同一时刻只允许一个线程对其执行lock操作，一个线程可以对同一个变量执行多次lock，但必须执行相同次数的unlock操作才可解锁。
   6：一个线程在lock一个变量的时候，将会清空工作内存中的此变量的值，执行引擎在use前必须重新read和load。
   7：线程不允许unlock其他线程的lock操作。并且unlock操作必须是在本线程的lock操作之后。

8：在执行unlock之前，必须首先执行了store和write操作。

JVM内存模型中存在的问题

在探讨问题之前，先来看看三个概念：

• 可见性 一个线程对变量做了修改之后，其他线程立刻可以看到
  java内存模型通过将线程中工作内存中的值同步回主内存，并在读取数据的前从主内存刷新数据到最新工作内存解决
• 有序性 在本线程内观察所有的指令都是有序的，在本线程内观察其他线程所有操作都是无序的
  Java内存模型同各线程内指令从上至下操作，但多个线程并行的时候并不能保证
• 原子性 一个操作是不能被打断的要么全部执行，那么不执行
  java内存模型中，基本数据类型是原子性的，但针对long和double这种占8个字节的不是原子操作。不是原子操作在多并发的情况下不能保证线程安全。

以上是java内存模型中单线程情况下做的基本控制，但针对多线程环境下仍旧会发生许多问题，那么我们来看下如何解决？

如何保证可见性

java中针对可见性，可使用volatile关键字。为什么volatile能保证可见性呢？
我们来看下cpu和内存之间的通讯：
在应用程序的运行过程中cpu需要频繁的和内存进行交互，但是由于计数的发展cpu的速度比内存快许多，因此cpu设置了高速缓存（L1，L2，L3）等用来缓存主内存中的数据，这样解决了速度不一致的问题。但又引来了新的问题，就是数据的不一致性。

在多核CPU中，都有各自的高速缓存，当他们访问同一主内存时，如何保证数据的一致性呢？如果两各cpu都去操作同一主内存数据？
有些处理器提供了强内存模型，所有cpu都看在任意时间看到内存中相同的数据，这是硬件层面上的支持。

有些处理题提供弱内存模型，就是通过一些特殊的指令使各处理器遵循一些协议保证一致性如MSI，MSESI等
通常我们说的指的就是内存屏障，内存屏障分为load barrier读屏障和store barrier写屏障
通过内存屏障可以解决两个问题：

1. 解决不同cpu在执行不同线程时对同一个主存变量存储不一致的现象。强制将写缓冲区的数据写回主内存，并使读缓冲区的数据失效。
2. 禁止指令重排

使用volatile关键字修饰的变量，对于不同处理器下不同线程都是“可见的”，volatile修饰的对象通过在读写前后加上屏障保证一致性。针对不同操作系统对于屏障支持的不同jvm，屏蔽了这些差异通过jvm生成屏障的指令。

这里有个面试的问题？就是针对++volatitle修饰的变量时，是否是线程安全的。
其实知道了内存模型之后，我们就知道，volatile修饰的变量只能保证可见性并不能保证原子性

如何保证有序性

有序性的操作可以使用synchronized保证，但在多线程环境下，并不能保证其操作的原子性？
这里有个经典的面试题就是DCL写法

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

在这种单例模式的写法下，instance=new Singleton()包含了三条命令：

1. 为对象分配内存空间
2. 初始化对象
3. 将instance引用指向对象

这时候多线程环境下，可能会造成指令的重排序如果执行顺序变成1，3，2，那当线程1执行到3的时候instance！=null，此时如果线程2执行到语句会有返回错误的instance

如何保证数据的原子性

在java中有提供Atomit原子类可以实现，其内部机制采用CAS。

参考资料

深入理解JVM-内存模型（jmm）和GC
java的可见性、有序性和原子性
java内存模型