你了解volatile关键字吗？

Java并发之volatile关键字

先介绍Java内存模型(JMM):

当声明共享变量为volatile后，对这个变量的读/写将会很特别。

volatile变量特性

• 可见性。对一个volatile变量的读，总是能看到(任意线程)对这个volatile变量最后的写入。
• 原子性(这个原子性和synchronized关键字的原子性有点不一样)。对任意单个volatile变量的读/写具有原子性，但类似于volatile ++ 这种复合操作不具有原子性。(而在synchronized同步块中的复合操作是具有原子性的)

示例

可见性示例

public class Demo {
	/* volatile */ boolean running = true; //对比一下有无volatile的情况下，整个程序运行结果的区别
	void m() {
		System.out.println("m start");
		while(running) {
			/*
			try {
				TimeUnit.MILLISECONDS.sleep(10);
			} catch (InterruptedException e) {
				e.printStackTrace();
			}*/
		}
		System.out.println("m end!");
	}
	
	public static void main(String[] args) {
		Demo d = new Demo();
		
		new Thread(d::m, "t1").start();
		
		try {
			TimeUnit.SECONDS.sleep(1);
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
		
		System.out.println("-----");
		
		d.running = false;
		
		
	}
	
}

volatile 关键字，使一个变量在多个线程间可见。A、B线程都用到一个变量，java默认是A线程中保留一份copy，这样如果B线程修改了该变量，则A线程未必知道。使用volatile关键字，会让所有线程都会读到变量的修改值。

在上面的代码中，running是存在于堆内存的t对象中，当线程t1开始运行的时候，会把running值从内存中读到t1线程的工作区，在运行过程中直接使用这个copy，并不会每次都去读取堆内存，这样，当主线程修改running的值之后，t1线程感知不到，所以不会停止运行。使用volatile，将会强制所有线程都去堆内存中读取running的值。

但是，
volatile并不能保证多个线程共同修改running变量时所带来的不一致问题，也就是说volatile不能替代synchronized。
如以下代码示例：

public class T {
	volatile int count = 0; 
	
	void m() {
		 int temp = 0;
		for(int i=0; i<10000; i++) {
			// ++ 操作不具备原子性(我将++替换成等价代码，容易看清)，所以会被打断，可以使用AtomicInteger的incrementAndGet()方法。也是自增，不过保证了原子性
//				count++;
			
			// 这个也不是原子操作，得先读count 再加1再赋值给count
			// 有可能进行到读取count的值（比如100）然后被另一个线程中断（加1后是101），此时恢复上一个线程，赋值给count=101，然后刷给主内存101（重复复制一遍）
			count = count + 1;
			
		}
			
			
	}
	
	
	
	public static void main(String[] args) {
		T t = new T();
		
		List<Thread> threads = new ArrayList<Thread>();
		
		for(int i=0; i<10; i++) {
			threads.add(new Thread(t::m, "thread-"+i));
		}
		
		threads.forEach((o)->o.start());
		
		threads.forEach((o)->{
			try {
				// 阻塞调用此方法的线程，等o执行完
				// 让所有线程加入到线程，是为了保证主线程最后输出的count值一定是所有线程执行完之后的
				o.join();
			} catch (InterruptedException e) {
				e.printStackTrace();
			}
		});
		
		System.out.println(t.count);
		
		
	}
	
}

运行这段代码发现结果并不等于10000，原因的话我在代码注释中解释了，这里再复述一遍：
在count = count + 1;这行代码中，有可能进行到读取count的值（比如100）然后被另一个线程中断（加1后是101），此时恢复上一个线程，赋值给count=101，然后刷给主内存101（重复赋值一遍）。

我当时结合JMM(Java内存模型)还是有点糊涂，后来读到Java并发编程的艺术这本书的volatile关键字的内存语义，再结合JMM,一下子就弄清了，emmm…

volatile 写-读的内存语义

volatile 写的内存语义：

• 当写一个volatile变量时，JVM会将该线程对应的本地内存中的共享变量值刷新到主内存中。

volatile 读的内存语义：

• 当读一个volatile变量时，JVM会将该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量，并将本地内存刷新值。

结合内存语义和JMM就能很好的理解volatile关键字了。另外，volatile是比synchronized轻量的，如果代码中只需要可见性，可以考虑使用volatile。