volatile关键字与内存模型

补发：2019-7-19 学习日记之Java基础

volatile关键字与内存模型

Java内存模型
在 Java 中，所有实例域、静态域 和 数组元素存储在堆内存中，堆内存在线程之间共享。局部变量、方法定义参数 和 异常处理器参数 不会在线程之间共享，它们不会有内存可见性问题，也不受内存模型的影响。
Java 线程之间的通信由 Java 内存模型（JMM）控制。JMM 决定了一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看，JMM 定义了线程与主内存之间的抽象关系：线程之间的共享变量存储在主内存中，每一个线程都有一个自己私有的本地内存，本地内存中存储了该变量以读／写共享变量的副本。本地内存是 JMM 的一个抽象概念，并不真实存在。

从上图来看，如果线程 A 和线程 B 要通信的话，要如下两个步骤：
1、线程 A 需要将本地内存 A 中的共享变量副本刷新到主内存去
2、线程 B 去主内存读取线程 A 之前已更新过的共享变量
步骤示意图：

1.volatile关键字的两层语义
　　一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：
　　1）保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。
　　2）禁止进行指令重排序。

用volatile修饰之后就变得不一样了：
　　第一：使用volatile关键字会强制将修改的值立即写入主存；
　　第二：使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）；

举例：

public class Test extends Thread {

   private boolean f = true;
// private volatile boolean f = true;
    public void setF(boolean f) {
        this.f = f;
    }

    public void run() {

        System.out.println("开始");
        while (f){

//            try {
//                Thread.sleep(0);
//            } catch (InterruptedException e) {
//                e.printStackTrace();
//            }
        }
        System.out.println("结束");
    }

    public static void  main(String[] args){

        Test t = new Test();
        t.start();

        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        t.setF(false); //线程t依旧在执行死循环，因为 f 的值没有刷入主存

		// 当 f 用volatile修饰时，执行t.setF(false);就会将 f 新的值强行刷入主存
		// 若不加 volatile修饰，但是在 while 循环内使用 Thread.sleep()使线程休眠时，线程再次进入就绪态的时候，f 也会刷入主存
    }
}

更牛逼的多线程知识