java并发编程之volatile原理

java volatile内存语义

java的volatile关键字比锁要轻量级，volatile保证了内存可见性。java语言规范中对volatile的要求是：一个线程对volatile变量的写，其他线程必须马上能看到，也就是说，对volatile变量的读能读到最新值。java是一门跨平台的语言，而各种处理器都提供了不同的内存模型，所以java提供了JMM屏蔽各种处理器内存模型的差异，让程序员在不同的操作系统下编写代码时，看见的是一个一样的内存模型。而volatile是JMM中用来解决内存可见性的，所以在不同的处理器下面，volatile的底层实现都不一样。

内存屏障

大部分处理器都至少提供了一种粗粒度的内存屏障，通常称之为栅栏（Fence），它保证了栅栏前的load和store指令会在栅栏后的load和store指令之前执行。无论在什么处理器上面，这都是很耗时的操作（和原子指令差不多，可能更耗资源），所以大部分处理器支持更加细粒度的屏障指令

下面是一些通常分类的屏障指令，但是在一些强内存模型的处理器上面，有些指令并不会导致操作

1. LoadLoad：LoadLoad屏障前的读操作会在LoadLoad屏障之后的读操作之前执行
2. StoreStore：StoreStore屏障前的写操作会在StoreStore屏障之后的写操作之前执行
3. LoadStore：LoadStore屏障前的读操作会在LoadStore屏障之后的写操作之前执行
4. StoreLoad：StoreLoad屏障前的写操作会在StoreLoad屏障之后的读操作之前执行，并保证store的数据对load可见

下面是jmm对volatile变量添加内存屏障的机制

	第二个操作	第二个操作	第二个操作	第二个操作
第一个操作	普通读	普通写	volatile读	volatile写
普通读				LoadStore
普通写				StoreStore
volatile读	LoadLoad	LoadStore	LoadLoad	LoadStore
volatile写			StoreLoad	StoreStore

下面用代码来说明jmm是如何放置内存屏障的

public class VolatileDemo{
  int a,b;
  volatile int volatileA,volatileB;
  void demo(){
    int i,j;

	i = a; //load a
	j = b; //load b
	i = volatileA; //load volatileA
	//LoadLoad
	j = volatileB; //load volatileB
	//LoadStore
	a = i; //store a
	b = j; //store b
	//StoreStore
	volatileA = i; //store volatileA
	//StoreStore
	volatileB = j; //store volatileB
	//StoreLoad
	i = volatileA; //load volatileA
	//LoadLoad
	j = b; //load b
	volatileA = i; //store volatileA
	//StoreLoad
	//return
  }
}

在方法return之前的StoreLoad指令是因为编译器不知道return之后是否有volatile load操作。

java在x86平台实现volatile的原理

由于Intel x86是强内存模型，所以相对其他处理器而言实现volatile比较容易，所以本文讲java是如何在x86处理器上实现volatile的。在java并发编程之CPU缓存一致性和内存屏障这篇文章中我们介绍了Intel x86架构的处理器的内存体系，x86处理器保证了loadload、storestore、loadstore操作不会重排序，因此java在x86处理器实现volatile的内存语义，只需要在volatile写和volatile读指令之间放置StoreLoad屏障指令即可，而x86提供了该指令（mFence），但是java并没有使用该指令，而是使用了和该指令效果一样的lock指令。上述放置屏障指令的例子在x86就变得简单了：

public class VolatileDemo{
  int a,b;
  volatile int volatileA,volatileB;
  void demo(){
    int i,j;

	i = a; //load a
	j = b; //load b
	i = volatileA; //load volatileA
	j = volatileB; //load volatileB
	a = i; //store a
	b = j; //store b
	volatileA = i; //store volatileA
	volatileB = j; //store volatileB
	//StoreLoad
	i = volatileA; //load volatileA
	j = b; //load b
	volatileA = i; //store volatileA
	//StoreLoad
	//return
  }
}