volatile之保证可见性

volatile之保证可见性

volatile介绍

Java 语言提供了一种轻量级的同步机制，即 volatile 变量，也叫轻量级锁，用来确保将变量的更新操作通知到其他线程。

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

下面我们先来介绍下volatile保证可见性,首先需要了解下JMM

JMM

JMM（Java内存模型 Java Memory Model,简称JMM）它本身是一个抽象的概念并不是真实存在的，JMM描述是一组规则或者说规范，通过这组规范定义了程序中各个变量(实例字段、静态字段、构成数组对象的元素)的访问方式。

在 JDK1.2 之前， JMM实现总是从主存（即共享内存）读取变量，是不需要进⾏特别的注意的。⽽在当前的 Java 内存模型下，线程可以把变量保存本地内存（⽐如机器的寄存器）中，⽽不是直接在主存中进⾏读写。这就可能造成⼀个线程在主存中修改了⼀个变量的值，⽽另外⼀个线程还继续使⽤它在寄存器中的变量值的拷⻉，造成数据的不⼀致。

JMM关于同步的规定：

1.线程解锁前，必须把共享变量的值更新会主内存。

2.线程加锁前，必须读取主内存中的最新值到自己的工作内存。

3.加锁解锁是同一把锁。

• JVM运行程序的实体是线程，每个线程创建时JVM都会为其创建一个工作内存，工作内存是线程私有的区域，而JMM规定所有变量都存储在主内存中。

• 主内存是线程共享内存区域，所有线程都可以访问，但是线程对变量对的操作必须在工作内存中进行。

• 首先要将变量从主内存拷贝的自己的内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存中的变量拷贝副本，因此不同的线程间无法访问对方的工作内存，线程间的通信必须通过主内存来完成。

总结一下，线程操作主内存中的数据要经历以下过程

1. 从主内存中拷贝副本到工作内存中
2. 操作该副本
3. 操作完成后将变量写回到内存中

那么假如线程A将数据修改为99写入到主内存当中，但是由于线程B拷贝的副本是原来tickets=100的时候拷贝的，线程B并不知道A修改了主内存中的tickets,那么就需要有一种机制,修改完写回要及时通知给其他线程，这种机制就是JMM的可见性

访问过程图

代码证明volatile保证了可见性

public class Solution {

    public static void main(String[] args) {
        MyTask myTask = new MyTask();
        new Thread(() -> myTask.sell(), "线程A").start();
        while (myTask.tickets == 100) {

        }
        System.out.println("main~~~~~~");
    }
}

class MyTask {
    volatile int tickets = 100;

    public void sell() {
        System.out.println(Thread.currentThread().getName() + "\t start~~~");
        try {
            TimeUnit.SECONDS.sleep(3);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        tickets--;
        System.out.println(Thread.currentThread().getName() + "\t update ok and tickets =" + tickets);
    }
}
复制代码

1.先看下不加volatile的情况

int tickets = 100;
复制代码

可以看到main线程此时不知道tickets已经修改为99一直卡在while循环

2.加了volatile的情况

volatile int tickets = 100;
复制代码