并发系列—volatile关键字初识

偏执的太偏执、 2022-05-25 12:22 248阅读 0赞

**PS:本文主要为梳理自己基于收集的资料从而对volatile关键字的一些理解做整理，初次收集、梳理肯定有所不足，后续会基于自己了解的深入而修整，如果你不幸看到该篇内容请仅做初步参考，切勿掉坑。**

[参考文章][Link 1]

volatile：用于修饰变量的关键字，操作该变量的时候将会第一时间读取到该变量最新被赋予的值，编译的时候执行位置不会发生改变。

单线程模式下：

x = 10;      //语句1
    y = 3;       //语句2
    y = x;       //语句3
    x++;         //语句4
    x = x + 1;   //语句5
    i=4;         //语句6

这几句代码大家都很熟悉了，结果自然是一目了然，但是在代码编译的时候虽然他的执行结果与我们所了解的一样但是执行的顺序可能会与我们现在所看到的有所不同，编译的时候基于**依赖性**的原因语句6与其他语句没有任何关联因此不一定在最后执行，语句2也有可能在语句1之前执行，这样编译后得到的结果如我们所预想的一样，但编译执行的顺序会有所变化。

x = 10;      //语句1
    y = 3;       //语句2
    y = x;       //语句3
    x++;         //语句4
    x = x + 1;   //语句5
    volatile i=4;         //语句6

此时**语句6**在定义赋值的时候使用了volatile关键字修饰，此时虽然它没有与其他代码有任何关联，但是编译执行的时候它一定是在最后执行，而上面代码的执行顺序则有可能会发生改变，如**语句2**在**语句1**之前执行，**语句5**在**语句4**之前执行。

关联性：x=10;y=x；此时x与y就存在了关联性。

**总结**：

某行代码使用volatile关键字修饰后它在编译运行时的顺序就不会被改变，编写位置在该行代码之前的代码不管是否存在关联性，编译运行时都会在该行代码之前执行，编写位置在该行代码之后的代码，都会在该行代码之后执行。

多线程模式下：

//线程1:
    context = loadContext();   //语句1
    inited = true;             //语句2
     
    //线程2:
    while(!inited ){
      sleep();
    }
    doSomethingwithconfig(context);

上面代码中，由于**语句1**和**语句2**没有数据依赖性，因此编译时可能会被重排序。假如发生了重排序，在线程1执行过程中先执行**语句2**，而此是线程2会以为初始化工作已经完成，那么就会跳出while循环，去执行doSomethingwithconfig(context)方法，而此时context并没有被初始化，就会导致程序出错。

***正常情况下代码编译后执行顺序的改变不会影响单线程执行的正确性，但是会影响多线程并发执行的正确性。***

//线程1
    volatile  boolean stop = false;  //语句1
    while(!stop){    //语句2
        doSomething();
    }
     
    //线程2
    stop = true;//语句1

此时若线程1先执行完语句1，此时线程2执行了它的语句1，此时线程1在执行语句2的时候获得的stop的值便是true了；它便不会进入循环执行doSomething();

总结：

> 当变量被volatile关键字修饰后，变量会在第一时间获取到被赋予的最新值。

[Link 1]: http://www.importnew.com/18126.html