volatile关键字

  先看一段程序:

package concurrent;

class ThreadDemo implements Runnable{

    private boolean flag = false;


    public boolean isFlag() {
        return flag;
    }


    public void setFlag(boolean flag) {
        this.flag = flag;
    }


    @Override
    public void run() {

        try {
            Thread.sleep(3000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        setFlag(true);
        System.out.println("flag = "+flag);

    }

}

public class TestVolatile {

    public static void main(String[] args) {

        ThreadDemo td = new ThreadDemo();
        new Thread(td).start();

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

    }

}

  运行程序,输出结果如下:
  
  image_1b8he3vvp1aes19qp1cr7ricng29.png-98.2kB
  
  如图所示,程序仅输出了“flag = true”,而没有输出“—————”。这说明在我们新建的线程中,flag已经被修改为了true,但是在main线程中,读取到的flag仍然为false。
  实际上,这涉及到一个内存可见性的问题。当程序运行后,JVM会为每一个线程都分配一个独立的缓存用于提高效率,多个线程在操作主存中的共享数据时,其操作对彼此都是不可见的。
  
  上面的程序示意图如下所示:
  
  image_1b8hf055v5dk13fg1qc58l01o7v9.png-286.7kB
  
  这明显是有问题的。怎么解决呢?一种办法是通过加上同步锁,修改while(true)块中的代码:

while (true) {
            //加上同步锁,每次读取数据都会刷新缓存
            synchronized (td) {
                if (td.isFlag() == true) {
                    System.out.println("---------------");
                    break;
                }
            }
        }

  运行程序可以发现输出了“—————”:
  
  image_1b8hfc121ea8103eko6sv916nlm.png-63.3kB
  
  但是,加上同步锁会使得程序的效率降低。另一种方式是使用volatile关键字修饰共享数据。当多个线程进行操作共享数据时,volatile关键字可以保证被修饰的内存中的数据是可见的。这相较于synchronized是一种较为轻量级的同步策略。我们现在去掉synchronized同步锁,使用volatile修饰共享数据flag:

private volatile boolean flag = false;

  运行程序,发现也会输出“—————”:
  
  image_1b8hflpelrer12do16q91la014l513.png-68.2kB
  
  volatile关键字确保了应用中的可视性。如果将一个域声明为volatile的,那么它就会告诉编译器不要执行任何移除读取和写入操作的优化,所以只要对这个域产生了写操作,那么所有的读操作都可以看到这个修改。即便使用了本地缓存,情况也是如此,volatile域会立即被写入到主存中,而读取操作就发生在主存中。
  需要注意,volatile不具备“互斥性”(当一个线程访问volatile修饰的共享数据时,另一个线程也可以访问,只不过所有的访问都在主存中完成),也不能保证变量的“原子性”。使用volatile而不是synchronized的唯一安全的情况是类中只有一个可变的域,你的第一选择应该是使用synchronized,这是最安全的方式。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值