欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

浅谈volatile关键字

程序员文章站 2022-09-27 23:12:11
volatile是一种轻量级的同步机制。它可以保证内存可见性以及防止指令重排序,但是不保证原子性 volatile和JMM机制是不可分割的,在谈volatile的时候有必要先了解以下JMM JMM(Java内存模型) JMM是一种抽象的概念模型,实际上并不存在。JMM主要可以将内存看成两块,一块是主 ......

volatile是一种轻量级的同步机制。它可以保证内存可见性以及防止指令重排序,但是不保证原子性

volatile和jmm机制是不可分割的,在谈volatile的时候有必要先了解以下jmm

jmm(java内存模型)

jmm是一种抽象的概念模型,实际上并不存在。jmm主要可以将内存看成两块,一块是主内存,用于存放共享变量,线程间共享。

一块是线程私有的工作内存,存放变量副本。每次线程生成的时候都会创建一个私有的工作内存。当线程要操作主内存中的共享

变量的时候需要先将变量复制到自己的工作内存中,在工作内存中对变量副本进行操作,操作完成后再同步回主内存。

浅谈volatile关键字

简单了解了jmm后我们就深入了解一下volatile是如何保证内存可见性,禁止指令重排序,又是为什么不保证原子性

内存可见性

由jmm模型我们可以看到,每个线程都是再各自的工作内存中进行工作,它们只知道自己把变量改成什么样了,并不知道其他线程把

变量改成什么样子了。这样会出现一种问题:假设主内存中有变量a的值为0,线程a读取变量a并且copy一份副本到自己的工作内存,

线程b也读取变量a且cope一份副本到自己的工作内存,线程a给变量a加上10,线程b给变量a加上20。那么我们期望的结果是最终主

内存中的变量a的值被同步成了30.但是由于线程a和线程b并不知道对方所作的修改,必定有一方将自己的变量副本同步进主内存的时

侯覆盖掉了另外一放的结果,主内存中变量a的值只会是10或者20。如下图所示。

浅谈volatile关键字

内存可见性就是每个线程可以感知到其他线程对该变量所做的修改,操作该变量时都会从主内存中取最新的值。还是拿上图的例子来说,

假设线程a对工作内存中的变量a操作完并且通过回主内存后,线程b立马感知该变化,然后从主内存中取出最新的变量a的值,即10,然后对

10加上20然后同步回主内存,那么最终结果就正确了。内存可见性就是一个线程对共享变量做出改变后其他线程能够立即感知该变化,并且从

主内存中获取最新值,然后进行操作。

 不保证原子性

那么volatile每次都是从主内存中获取最新的值进行操作为什么不保证原子性呢,每次都获取最新的值去操作那么结果不就肯定正确的吗。其实不然,

在这里我们要明确一个概念,每次线程在对工作内存中的变量副本操作完后要同步回主内存的时候,一时只能有一个线程同步,如果有多个线程要

往主内存中同步,也只有一个会成功,其他线程会被阻塞在外面,并且挂起。是不是很像对主内存上了一把锁呢。

对于i++这种操作,其实底层是被分成了三个指令来执行。

1 从主内存中拿到值到工作内存

2 对i进行累加

3 将累加后的值写入主内存

考虑这么一种情况,线程a和线程b同时对副本变量操作完了,并且都要同步回主内存,这时候只有一个线程能够通过成功,假设线程a成功获得了主

内存的操作权,线程b就被挂起,当线程a同步完毕后,我们都知道cpu速度是超级快的,这时线程b还没被通知到该变量已被更新时线程b就将变量

同步到主内存并且覆盖掉线程a的修改了。因此volatile不保证原子性。

要想保证原子性可以对累加操作上锁,或者使用atomic原子类

防止指令重排序

我们编写的代码都是被编译成字节码文件然后再去执行的,为了加快程序运行,编译器对指令进行了重排序,程序执行的顺序并不是和我们代码写的顺

序是一样的。比如 int a = 10,b = 20;我们期望的是a先赋值,b再赋值,但是最终执行的时候可能因为指令从排序导致了b先赋值,a后赋值。指令重排序

的前提是数据间不存在数据依赖性。在单线程环境中,不管指令如何重排序,编译器都会保证最后执行结果的正确性。但是在多线程的情况下,可能会出现

各个程序乱序执行,各个线程数据产生了不一致性,运行结果出错等问题。volatile通过加内存屏障进行指令重排序

 

内存可见性代码验证

/**
 *  可见性验证
 * @author chen
 *
 */

class mydate{
    //没有加volatile,线程a对date的修改没有通知到其他线程,主线程陷入死循环
    //private int date = 0;
    
    //加了volatile,线程a对date的修改通知到其他线程,主线程会更新自己的变量副本为最新值,不会陷入死循环
    private volatile int date = 0;
    
    public void setdate(int date) {
        this.date = date;
    }
    
    public int getdate() {
        return date;
    }
}

class mythread implements runnable{
    
    private mydate mydate;
    
    public void setmydate(mydate mydate) {
        this.mydate = mydate;
    }
    
    @override
    public void run() {
        system.out.println(thread.currentthread().getname()+"启动了。。。");
        try {
            thread.sleep(2000);
        } catch (interruptedexception e) {
            e.printstacktrace();
        }
        mydate.setdate(10);
        system.out.println(thread.currentthread().getname()+"结束了,date数据为:"+mydate.getdate());
    }
}

public class kejianxingtest {
    
    public static void main(string[] args) {
        mydate date = new mydate();
        
        mythread mythread = new mythread();
        mythread.setmydate(date);
        new thread(mythread,"线程a").start();
        
        while(date.getdate()==0) {
            //如果一直死循环就说明线程a对date的修改没有通知到主线程,及主线程工作
            //空间持有的变量副本还是date = 0
        }
        
        system.out.println("主线程结束,date数据为:" + date.getdate());
    }
}

 

不保证原子性代码验证

/**
 *      验证不保证原子性
 * @author chen
 *
 */
class mydate2{
    volatile int num = 0;
    
    //atomicinteger atomicinteger = new atomicinteger();
}

public class yuanzixingtest {
    
    public static void main(string[] args) {
        mydate2 mydate2 = new mydate2();
        
        for(int i = 1;i<=10;i++) {//10个线程,每个线程对num+1000,结果应该为10000
            new thread(()->{
                for(int j = 0;j<1000;j++) {
                    mydate2.num++;
                    //mydate2.atomicinteger.getandincrement();
                }
            },"线程" + i).start();
        }
        
        while(thread.activecount()>2) {//保证10个线程都执行完毕
            thread.yield();
        }
        system.out.println(mydate2.num);//结果<=10000
    }
}