volatile之保证可见性
volatile介绍
Java 语言提供了一种轻量级的同步机制,即 volatile 变量,也叫轻量级锁,用来确保将变量的更新操作通知到其他线程。
- volatile保证可见性
- volatile不保证原子性
- volatile禁止指令重排
下面我们先来介绍下volatile保证可见性,首先需要了解下JMM
JMM
JMM(Java内存模型 Java Memory Model,简称JMM)它本身是一个抽象的概念并不是真实存在的,JMM描述是一组规则或者说规范,通过这组规范定义了程序中各个变量(实例字段、静态字段、构成数组对象的元素)的访问方式。
在 JDK1.2 之前, JMM实现总是从主存(即共享内存)读取变量,是不需要进⾏特别的注意的。⽽在当前的 Java 内存模型下,线程可以把变量保存本地内存(⽐如机器的寄存器)中,⽽不是直接在主存中进⾏读写。这就可能造成⼀个线程在主存中修改了⼀个变量的值,⽽另外⼀个线程还继续使⽤它在寄存器中的变量值的拷⻉,造成数据的不⼀致。
JMM关于同步的规定:
1.线程解锁前,必须把共享变量的值更新会主内存。
2.线程加锁前,必须读取主内存中的最新值到自己的工作内存。
3.加锁解锁是同一把锁。
-
JVM运行程序的实体是线程,每个线程创建时JVM都会为其创建一个工作内存,工作内存是线程私有的区域,而JMM规定所有变量都存储在主内存中。
-
主内存是线程共享内存区域,所有线程都可以访问,但是线程对变量对的操作必须在工作内存中进行。
-
首先要将变量从主内存拷贝的自己的内存空间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的变量拷贝副本,因此不同的线程间无法访问对方的工作内存,线程间的通信必须通过主内存来完成。
总结一下,线程操作主内存中的数据要经历以下过程
- 从主内存中拷贝副本到工作内存中
- 操作该副本
- 操作完成后将变量写回到内存中
那么假如线程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;
复制代码