Java学习手册：volatile

---

在用Java语言编写的程序中，有时为了提高程序的运行效率，编译器会自动对其进行优化，把经常被访问的变量缓存起来，程序在读取这个变量时有可能会直接从缓存（例如寄存器）中来读取这个值，而不会去内存中读取。这样做的一个好处是提高了程序的运行效率，但当遇到多线程编程时，变量的值可能因为别的线程而改变了，而该缓存的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致。

volatile是一个类型修饰符，它是被设计用来修饰不同线程访问和修改的变量。被volatile类型定义的变量，系统每次用到它时都是直接从对应的内存当中提取，而不会利用缓存。在使用了volatile修饰成员变量后，所有线程在任何时候所看到变量的值都是相同的。

package com.haobi;

public class MyThread implements Runnable{
	private volatile Boolean flag;
	public void stop() {
		flag = false;
	}
	public void run() {
		while(flag) {
			;
		}
	}
}
// 
以上代码是用来停止线程的常用方法，如果boolean类型的变量flag没有被声明为volatile，那么，当这个线程的run方法在判断flag值时，
使用的有可能是缓存中的值，此时就不能及时地获取其他线程对flag所做的操作，因此会导致线程不能够及时地停止。

需要注意的是，由于volatile不能保证操作的原子性，因此，一般情况下volatile不能代替sychronized。此外，使用volatile会阻止编译器对代码的优化，因此会降低程序的执行效率。所以，能不使用volatile就尽量不要使用。

---

一、volatile为什么不能保证原子性？

如果一个变量被volatile修饰了，那么肯定可以保证每次读取这个变量值的时候得到的值是最新的，但是一旦需要对变量进行自增这样的非原子操作，就不会保证这个变量的原子性了。

举个栗子：
一个变量i被volatile修饰，两个线程想对这个变量修改，都对其进行自增操作也就是i++，i++的过程可以分为三步，首先获取i的值，其次对i的值进行加1，最后将得到的新值写会到缓存中。

线程A首先得到了i的初始值100，但是还没来得及修改，就阻塞了，这时线程B开始了，它也得到了i的值，由于i的值未被修改，即使是被volatile修饰，主存的变量还没变化，那么线程B得到的值也是100，之后对其进行加1操作，得到101后，将新值写入到缓存中，再刷入主存中。根据可见性的原则，这个主存的值可以被其他线程可见。

问题来了，线程A已经读取到了i的值为100，也就是说读取的这个原子操作已经结束了，所以这个可见性来的有点晚，线程A阻塞结束后，继续将100这个值加1，得到101，再将值写到缓存，最后刷入主存，所以即便是volatile具有可见性，也不能保证对它修饰的变量具有原子性。

---