首页 > 代码库 > volatile关键字与内存可见性

volatile关键字与内存可见性

前言

首先,我们使用多线程的目的在于提高程序的效率,但是如果使用不当,不仅不能提高效率,反而会使程序的性能更低,因为多线程涉及到线程之间的调度、CPU上下文的切换以及包括线程的创建、销毁和同步等等,开销比单线程大,因此需谨慎使用多线程。

在jdk1.5以后,提供了一个强大的java.util.current包,这个包中提供了大量的应用于线程的工具类。

下面开始介绍volatile关键字和内存可见性,虽然volatile是在jdk1.5之前就有的,但还是想放在这里讲一下。

举例说明

首先,我们先看一段小程序。

 1 package com.ccfdod.juc;
 2 
 3 public class TestVolatile {
 4     public static void main(String[] args) {
 5         ThreadDemo td = new ThreadDemo();
 6         new Thread(td).start();
 7         
 8         while(true) {
 9             if (td.isFlag()) {
10                 System.out.println("--------------");
11                 break;
12             }
13         }
14     }
15 }
16 
17 class ThreadDemo implements Runnable {
18     private boolean flag = false;
19 
20     @Override
21     public void run() {
22         try {
23             Thread.sleep(200);
24         } catch (InterruptedException e) {
25             e.printStackTrace();
26         }
27         flag = true;
28         System.out.println("flag = " + isFlag());
29     }
30 
31     public boolean isFlag() {
32         return flag;
33     }
34 
35     public void setFlag(boolean flag) {
36         this.flag = flag;
37     }
38 }

程序运行结果:

flag = true

并且程序不会停止。

按理来说,应该会在td线程修改flag值后,主线程会打印出“--------------”,但是为什么没有出现预期效果呢?下面来分析这段程序,涉及到内存可见性问题。

内存可见性问题

当程序运行时,JVM会为每一个执行任务的线程分配一个独立的缓存空间,用于提高效率。

技术分享

不难理解,程序开始执行时,由于线程td修改flag操作之前,sleep了200ms,td线程和main线程获取到的flag都为false,但为什么td线程将flag改为true后,main线程没有打印出“--------------”呢?原因在于:while(true)是执行效率很高,使得main线程没有时间再次从主存中获取flag的值,因此程序在td线程将flag修改为true后,没有停止运行的原因。其实在while(true)后面稍微延迟一点(比如说,打印一句话),都会使main线程将主存中的flag=true读取。

产生这种情况的原因就在于,两个线程在操作共享数据时,对共享数据的操作是彼此不可见的。

那么为了不让这种问题出现,怎么解决呢?

一、使用synchronized同步锁

while(true) {
    synchronized (td) {
        if (td.isFlag()) {
            System.out.println("--------------");
            break;        
        }
    }
}

使用synchronized同步锁能保证数据的及时更新。但是效率太低。

二、使用volatile关键字

当多个线程进行操作共享数据时,可以保证内存中的数据可见。底层原理:内存栅栏。使用volatile关键字修饰时,可理解为对数据的操作都在主存中进行。

private volatile boolean flag = false;

相较于synchronized是一种较为轻量级的同步策略。

注意:

  • volatile不具备“互斥性”
  • volatile不能保证变量的“原子性”

关于“原子性”的问题将在下一篇博客中讨论。

volatile关键字与内存可见性