Java高并发系列(四)——轻量级同步机制volatile

一、volatile介绍

volatile翻译为“不稳定”，使用volatile修饰的变量代表这个变量易变化（即被其他线程更改），volatile保证这个变量能准确而且一致地变量。与锁相同的是volatile可以保证可见性和有序性；不同之处在于，在原子性方面，volatile只能够保证变量写操作的原子性，不能保证读操作的原子性（比如volatile变量++操作）。

二、volatile作用

• 保障变量可见性
  volatile变量的修改能够及时地一致更新在各缓存的变量值。
• 保证操作有序性
  volatile变量操作不会被编译器或处理器重排序。
• 保障long/double类型变量读和写操作的原子性
  由于某些32位JVM上对long/double类型变量写操作不是原子性地，因此Java语言规范特别地规定对long/double类型volatile也具有原子性。

三、volatile原理

1. volatile读写内存语义

• 读：读取一个volatile变量时，JMM会把该线程对应的本地内存置为无效，线程接下来从主存中重新获取该变量的值
• 写：写一个volatile变量时，JMM会把该线程对应的修改后的本地内存中的共享变量值刷新到主存中。

2. volatile变量读内存语义实现
   ①在每个volatile读操作后面加入一个LoadLoad内存屏障
   ②在每个volatile读操作后面加入一个LoadStore内存屏障
   

3. volatile变量写内存语义实现
   ①在每个volatile写操作前面加入一个StoreStore内存屏障
   ②在每个volatile写操作后面加入一个StoreLoad内存屏障
   
   StoreStore：保证屏障之前的所有普通写在volatile写之前已经刷新到主存。
   StoreLoad：避免volatile写与后面可能有的volatile读/写操作重排序。

4. 实际执行时，只要能保证volatile的读写内存语义，那么编译器可以根据具体请看省略不必要的屏障以提高性能。

	//样例
	class demo{
		int a;
		volatile int val1;
		volatile int val2;
		void readAndWrite(){
			int a = val1;
			int j = val2;
			a = i + j;
			val1 = i + 1;
			val2 = j * 2;
		}
	}

四、volatile开销

volatile关键字常常被称为轻量级锁。一个很重要的原因是，volatile关键字的使用不会引起上下文切换，因此volatile的开销要比锁小。
volatile读变量由于每次都需要从高速缓存或者主存中读取，而无法暂存在寄存器中，因此访问不够高效，开销比读普通变量大。
volatile写变量会使该操作以及之前的任何写操作结果与其他处理器同步，因此volatile变量写操作靠性介于写普通变量和写临界区之间。

五、下篇

Java高并发系列(五)——实现线程安全的单例模式

参考书目：

• 《Java多线程编程实战》
• 《深入理解Java内存模型》