volatile特性之可见性

volatile是java虚拟机提供的轻量级的同步机制

主要有三大特性:
1、保证可见性
2、不保证原子性
3、禁止指令重排序
如果要深入了解volatile以及三大特性，需要先从JMM谈起

JMM ( Java Memory Model Java内存模型)

JMM本身是一种抽象的概念，并不真实存在，它描述的是一组规则或者规范，通过这组规范，定义了程序中的各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式。
JMM关于同步的规定
1、线程解锁前，必须要把共享变量的值刷新回主内存
2、线程加锁前，必须读取主内存的最新值到自己的工作内存
3、加锁解锁是同一把锁

JVM运行程序的实体是线程，而每个线程创建时，JVM都会为它创建一个工作内存（也叫做栈空间），工作内存是每个线程的私有数据区域，而Java内存模型中规定所有变量都存储在主内存，主内存是共享内存区域，所有线程都可以访问，但是线程对变量的操作（读取、赋值等）必须在工作内存中进行，首先要将变量从主内存拷贝到自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程的工作内存中存储着主内存的变量副本，不同线程之间无法访问对方的工作内存，线程之间的通信（传值）必须通过主内存来完成，简要访问过程如下图

JMM的三大特性:
1、可见性
2、原子性
3、有序性
JMM的特性1：可见性 ，举个栗子 – 由上图可知，各个线程之间不能互相访问，假如此时主内存中存储 Integer s = 7, 线程A、B 获取到主内存中的s并拷贝存储副本，线程A 将 自己工作内存中的 s副本修改为 10 并写回主内存，线程B知道自己工作内存中的副本s已经过期，并且去重新拷贝 s 的值为10的副本 。叫做JMM的可见性，若不保证可见性，线程B中拷贝的副本s依旧为 7。

	题外话
	  这样就引发出另外一个问题 JMM 是通过什么样的机制，让线程B知道工作内存中的 s副本过期了呢？
	  思考：网络中的三种通讯模式：单播、广播、组播 ，那么JMM也是利用类似的机制去实现通知其它线程中的副本变量吗？经过查找资料
	  JVM会向处理器发送一条lock前缀的指令，将这个缓存中的变量回写到系统主存中。但是就算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作就会有问题，所以在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议。
      缓存一致性协议：每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器要对这个数据进行修改操作的时候，会强制重新从系统内存里把数据读到处理器缓存里。

可见性代码验证demo

import lombok.Data;

/**
 * @author z 
 * @date 2020-04-10
 */
@Data
public class Num {

    private int num = 0;

    public Integer addNum(){
      return this.num = 60;
    }
}

import lombok.extern.slf4j.Slf4j;

import java.util.concurrent.TimeUnit;

/**
 * @author z
 * @date 2020-04-10
 * 验证 volatile可见性
 */
@Slf4j
public class VolatileDemo {

    public static void main(String[] args){
        Num num = new Num();
        new Thread(() -> {
            // 开启线程 A
            log.info(Thread.currentThread().getName() + "\t:start");
            try {
                // 线程sleep 3秒钟
                TimeUnit.SECONDS.sleep(3);
                // 修改A 的值
                log.info(String.format("结果：%s", num.addNum()));
            } catch (Exception e) {
                e.printStackTrace();
            }
        }, "A").start();

        // 主线程 仅获取 num 不做任何处理时 预期结果 程序不会停止
        while (num.getNum() == 0) {
        }
        log.info(Thread.currentThread().getName() + "\tmission is over\t" + num.getNum());
    }
}

程序执行结果，未停止

num 使用关键字 volatile 修饰，程序正常执行完毕

private volatile int num = 0

如下图