Java并发编程之volatile关键字详解

猿界零零七

于 2021-12-05 10:47:59 发布

阅读量460

点赞数

分类专栏： java 文章标签： java 并发编程

本文链接：https://blog.csdn.net/flychuer/article/details/121717283

版权

java 专栏收录该内容

14 篇文章 0 订阅

订阅专栏

volatile是Java语言提供的一个关键字，可用来修饰变量，用来确保将变量的更新操作通知到其他线程。当把变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其他内存操作一起重排序。volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，因此在读取volatile类型的变量时总会返回最新写入的值。

volatile的使用与Java内存模型（JMM）有很大关系，不熟悉JMM的，请查看：Java并发编程之Java内存模型

注：下文中提到的本地内存，在其它书籍和文章中也叫做工作内存。

首先，我们引入一个例子说明volatile的作用。

package demo6;

public class Mythread {

	private static boolean flag = false;

	public static void main(String[] args) throws InterruptedException {

		new Thread(() -> {
			System.out.println("等待资源");
			while (!flag) {
			}
			System.out.println("SUCCESS");
		}).start();

		//保证第一个线程限制性
		Thread.sleep(1000);

		new Thread(() -> {
			System.out.println("准备资源");
			flag = true;
			System.out.println("准备完成");
		}).start();

	}

}

在上面的例子，开启了两个线程（线程A、B），线程A等待共享变量flag变为true后，继续执行；线程B负责将共享变量的值变为true。预期结果是线程B执行后，将flag变为true，然后线程A感知到flag值发生变化，从而跳出死循环。下面我们看下结果：

可以看出，结果和我们想象的不一样，线程B执行完成，线程A并没有发现flag值发生变化，因此没有跳出循环，一直在执行。

出现这种情况的原因就是，在JMM中有一块主内存，所有线程共享主内存。在线程执行期间，将主内存中共享的变量拷贝一份到工作内存中，而每个线程都有一个工作内存，并且是互相不可见的（不能相互访问）。因此线程B将flag的值修改后，线程A是不知道的。

这里写图片描述

为什么会出现这个问题呢？怎样解决这个问题呢？

这个问题就是并发编程可见性的问题，出现这个问题的原因是因为线程对变量的操作都是在本地内存中变量副本，主内存中的变量没有发生变化，所以其它内存感知不到。

可以使用volatile关键字，当然也可以用其他方式（synchronized、final、Lock、原子类型等），本篇重点介绍volatile关键字的使用。

再看一个例子

package demo6;

public class Mythread {

	private static volatile boolean flag = false;

	public static void main(String[] args) throws InterruptedException {

		new Thread(() -> {
			System.out.println("等待资源");
			while (!flag) {
			}
			System.out.println("SUCCESS");
		}).start();

		//保证第一个线程限制性
		Thread.sleep(1000);

		new Thread(() -> {
			System.out.println("准备资源");
			flag = true;
			System.out.println("准备完成");
		}).start();

	}

}

在本例中，共享变量flag的前面加上了volatile关键字，这次的执行结果又如何呢？