volatile如何保证有序性？内存屏障都不知道怎么拿offer呀

逃离我推掉我的手 2023-03-13 03:18 21阅读 0赞

在多线程的世界里，一共有三个问题：原子性问题、可见性问题、有序性问题。整个java并发体系也是围绕着如何解决这三个问题来设计的。volatile关键字也不例外，我们都知道它解决了可见性和有序性，但是不能保证原子性。这篇文章也主要基于其中一个特性，也就是研究一下volatile是如何保证有序性的。

**一、有序性**

**1、有序性案例**

有序性指的是：程序执行的顺序按照代码的先后顺序执行。我们可以先看一个被列举了一万次的代码：

int i = 0;              
    boolean flag = false;
    i = 1;                //语句1 
    flag = true;          //语句2

按照我们自己常规的想法，顺序应该从上往下依次执行，但是真实情况是：jvm会在真正执行这段代码的时候进行优化，发生指令的重排序。因此不能保证语句1一定在语句2先执行。

**2、数据依赖性**

上面的例子，你还会发现这样一个特点，就算是发生了指令的重排序，但是最后的结果总是正确的。我们再举一个例子：

int a = 10;    //语句1
    int r = 2;     //语句2
    a = a + 3;     //语句3
    r = a*a;       //语句4

这种情况会发生指令重排序吗？显然不会，原因是处理器在进行重排序时是会考虑指令之间的数据依赖性，如果一个指令2必须用到指令1的结果，那么处理器一定保证指令1在指令2执行。

**3、多线程问题**

这种数据的依赖性在单线程环境下一点问题没有，因为总能保证数据的正确，但是在多线程环境下就会出现错误。我们再举一个例子：

class Test { 
    	int a = 0;
    	boolean flag = false;
    	public void do1() { 
    		a = 1;                  // 1
    		flag = true;            // 2
    	}
    	public void do2() { 
    		if (flag) {              // 3
    			int i = a * a;      // 4
    		}
    	}
    }

上面的这段代码由于语句1和语句2没有数据依赖性，因此会发生指令重排。do2只要看到flag为true，就执行。因此可能的顺序是：

（1）语句1先于语句2：语句2->语句3->语句1->语句4。这时候的结果i=1。

（1）语句2先于语句1：语句2->语句3->语句4->语句1。这时候的结果i=0。

现在我们可以看到在多线程环境下如果发生了指令的重排序，会对结果造成影响。

上面一开始提到过，volatile可以保证有序性，也就是可以防止指令重排序。那么它是如何解决的呢？这就是内存屏障。因此我们从内存屏障讲起。

**二、内存屏障**

**1、什么是内存屏障**

内存屏障其实就是一个CPU指令，在硬件层面上来说可以扥为两种：Load Barrier 和 Store Barrier即读屏障和写屏障。主要有两个作用：

（1）阻止屏障两侧的指令重排序；

（2）强制把写缓冲区/高速缓存中的脏数据等写回主内存，让缓存中相应的数据失效。

在JVM层面上来说作用与上面的一样，但是种类可以分为四种：

<table> 
 <thead> 
  <tr> 
   <th>屏障类型</th> 
   <th>指令示例</th> 
   <th>说明</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>LoadLoad</td> 
   <td>Load1; LoadLoad; Load2</td> 
   <td>保证load1的读操作先于load2执行</td> 
  </tr> 
  <tr> 
   <td>StoreStore</td> 
   <td>Store1; StoreStore; Store2</td> 
   <td>保证store1的写操作先于store2执行，并刷新到主内存</td> 
  </tr> 
  <tr> 
   <td>LoadStore</td> 
   <td>Load1; LoadStore; Store2</td> 
   <td>保证load1的读操作结束先于load2的写操作执行</td> 
  </tr> 
  <tr> 
   <td>StoreLoad</td> 
   <td>Store1; StoreLoad; Load2</td> 
   <td>保证store1的写操作已刷新到主内存之后，load2及其后的读操作才能执行</td> 
  </tr> 
 </tbody> 
</table>

**2、volatile如何保证有序性？**

首先一个变量被volatile关键字修饰之后有两个作用：

（1）对于写操作：对变量更改完之后，要立刻写回到主存中。

（2）对于读操作：对变量读取的时候，要从主存中读，而不是缓存。

OK，现在针对上面JVM的四种内存屏障，应用到volatile身上。因此volatile也带有了这种效果。其实上面提到的这些内存屏障应用的效果，可以是用happen-before来总结归纳。

**3、内存屏障分类**

内存屏障有三种类型和一种伪类型：

（1）lfence：即读屏障(Load Barrier)，在读指令前插入读屏障，可以让高速缓存中的数据失效，重新从主内存加载数据，以保证读取的是最新的数据。

（2）sfence：即写屏障(Store Barrier)，在写指令之后插入写屏障，能让写入缓存的最新数据写回到主内存，以保证写入的数据立刻对其他线程可见。

（3）mfence，即全能屏障，具备ifence和sfence的能力。

（4）Lock前缀：Lock不是一种内存屏障，但是它能完成类似全能型内存屏障的功能。

为什么说Lock是一种伪类型的内存屏障，是因为内存屏障具有happen-before的效果，而Lock在一定程度上保证了先后执行的顺序，因此也叫做伪类型。比如，IO操作的指令，当指令不执行时，就具有了mfence的功能。