Java内存模型(JMM)和volatile学习笔记

---

《深入理解JAVA虚拟机》

---

Java内存模型(Java Memory Model JMM)屏蔽掉各种硬件和OS的内存访问差异，实现各种平台访问结果一致性。

物理机内存模型

JMM和物理机的高速缓存模型很相似，如图：

JMM

几个概念：

主内存：JMM规定所有变量都存储在主内存中，主要对应堆中的对象实例数据部分（堆中还保存其他信息，不属于主内存），类比物理硬件的主内存；

工作内存：每个线程私有，对应虚拟机栈的部分区域，类比物理机中的高速缓存信息。

内存间互相操作

JMM定义了8种操作来完成，虚拟机需要保证每个操作都是原子性的，不可再分的

1.lock(锁定)：作用于主内存的变量，它把一个变量标识为一个线程独占的状态；

2.unlock(解锁)：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他想成锁定。

3.read(读取)：作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存，以便后续load动作的使用。

4.load(载入)：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存中的变量副本中。

5.use(使用)：作用于工作内存的变量，它把工作内存中的一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值得字节码指令时，将会执行这个操作。

6.assgin(赋值)：作用于工作内存的变量，它把一个从执行引擎收到的值赋值给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时会执行这个操作。

7.store(存储)：作用于工作内存的变量，它把工作内存中的一个变量的值传递给主内存中，以便后续的write操作使用。

8.write(写入)：作用于主内存的变量，它把store操作从工作内存中得到的变量值放入主内存的变量中。

图示如下：

 

 

JMM主要是围绕着原子性，可见性，有序性建立的

原子性：内存间的操作：read,load,assign,store,store,write由内存模型直接保证；

可见性：指一个线程修改了共享变量，其他线程可以立即知道这个修改；

有序性：java程序天然有序，线程间无序，Java提供关键字 volatile 和synchronized保证线程间有序；

volatile

volatile具有可见性和有序性

可见性指的是：JMM通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存实现可见性，无论普通变量和volatile都是这样，volatile特殊的一点是保证了新值可以立即同步到主内存，以及每次立即重主内存刷新。

volatile不具有原子性，会导致结果异常，如下案例：

public class VolatileAtomTest {

    public  static  volatile  int race = 0;

    public static  void increase(){
        race++;
    }

    public static void main(String[] args) {
        Thread[] threads = new Thread[20];
        for (int i = 0; i <20 ; i++) {
            threads[i] = new Thread(()->{
                for (int j = 0; j <10000 ; j++) {
                    increase();
                }
            });
            threads[i].start();
        }
        while (Thread.activeCount() > 1){
            Thread.yield();
        }
        System.out.println(race);
    }

}

 

结果会小于等于200000，原因就是race++不是原子性操作，这里就需要锁了。

此外，由于处理器对深入代码会有一个优化：指令重排序，就是在不影响执行结果的情况下，会对输入代码的执行顺序调整，在单个线程中是没问题的，但是在多线程中会导致bug，出现，例如下面的案例：

public class VolatileAtomTest {

    public  static   int race = 0; //volatile

    public static  void increase(){
        race++;
    }

    public static void main(String[] args) {
        Thread[] threads = new Thread[20];
        for (int i = 0; i <20 ; i++) {
            threads[i] = new Thread(()->{
                for (int j = 0; j <100 ; j++) {
                    increase();
                }
            });
            threads[i].start();
        }
        while (Thread.activeCount() > 1){
            Thread.yield();
        }
        System.out.println(race);
    }

}

在多次运行的情况下会出现 x=0,y=0的情况，这是因为

  a = 1;
  x = b;

和

                b = 1;
                y = a;

两个语句都在执行顺序调换位置了的情况下，会导致  x=0,y=0的情况，避免的方法就是 加入volatile，可以保证有序性。

此外：synchronized具有原子性，可见性，有序性，但是synchronized存在性能消费很大的问题。