JMM和volatile可见性的综合统一验证

JMM  java 内存模型

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

1. 保证可见性
2. 不保证原子性
3. 禁止指令重排

是一种抽象的概念并不真实存在，它描述的一组规范或规则，通过这组规范定义了程序中的各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式。

JMM关于同步的规定

1. 线程解锁前，必须把共享变量的值刷新到主内存
2. 线程加锁前，必须读取主内存的最新值到自己的工作内存
3. 加锁解锁是同一把锁

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

JMM所在位置

JMM的可见性

代码demo如下

import java.util.concurrent.TimeUnit;

class MyData{
    volatile int number = 0;
    public void addTO60(){
        this.number = 60;
    }
}

/**
 * 1.验证volatile的可见性
 *1.1假如int number =0 ；number变量之前没有添加volatile修饰，没有可见性,加过之后，及时通知了main线程
 */
public class VolatileDemo {
    public static void main(String[] args) {
        MyData myData = new MyData();
        new Thread(()->{
            System.out.println(Thread.currentThread().getName()+"\t come in ");
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            myData.addTO60();
            System.out.println(Thread.currentThread().getName()+"\t update number value "+myData.number);
        },"AAA").start();

        while (myData.number == 0){
        }
        System.out.println(Thread.currentThread().getName()+"\t main is over");
    }
}