【Java并发编程】测试volatile变量的多线程可见性

1. 使用volatile

• 定义一个类，实现Runnable接口，类中定义一个由volatile修饰的布尔成员变量。
• 重写run方法，在run方法中修改成员变量。

class ThreadDemo implements Runnable {
	private volatile boolean flag = false;
	
	@Override
	public void run() {
		try {
			Thread.sleep(200);
		} catch (InterruptedException e) {
		}
		flag = true;
		System.out.println("flag=" + isFlag());
	}

	public boolean isFlag() {
		return flag;
	}

	public void setFlag(boolean flag) {
		this.flag = flag;
	}
}

• 主函数中启动一个子线程，子线程中会修改成员变量，子线程对volatile变量的修改，会对主线程保持可见性，当主线程的while循环发现flag的布尔值变化为true后，执行打印输出。

public class TestVolatile {
	public static void main(String[] args) {
		ThreadDemo td = new ThreadDemo();
		new Thread(td).start();
		
		while(true){
			if(td.isFlag()){
				System.out.println("------------------");
				break;
			}
		}
	}
}

• 程序执行结果
  

2. 不使用volatile

• 不使用volatile的区别只需要去掉上述代码中的volatile，代码如下：

public class TestVolatile {
	
	public static void main(String[] args) {
		ThreadDemo td = new ThreadDemo();
		new Thread(td).start();
		while(true){
			if(td.isFlag()){
				System.out.println("------------------");
				break;
			}
		}
	}
}

class ThreadDemo implements Runnable {
	private boolean flag = false;

	@Override
	public void run() {
		try {
			Thread.sleep(200);
		} catch (InterruptedException e) {
		}
		flag = true;
		System.out.println("flag=" + isFlag());
	}
	public boolean isFlag() {
		return flag;
	}
	public void setFlag(boolean flag) {
		this.flag = flag;
	}
}

• 执行结果如下：
  
• 结论：当子线程中已经将flag值修改为true后，由于主线程对子线程的修改不可见，所以主线程还在while循环中。

volatile

• 内存可见性：

内存可见性（Memory Visibility）是指当某个线程正在使用对象状态而另一个线程在同时修改该状态，需要确保当一个线程修改了对象状态后，其他线程能够看到发生的状态变化。

• 可见性错误

可见性错误是指当读操作与写操作在不同的线程中执行时，我们无法确保执行读操作的线程能适时地看到其他线程写入的值，有时甚至是根本不可能的事情。

• volatile

Java 提供了一种稍弱的同步机制，即 volatile 变量，用来确保将变量的更新操作通知到其他线程。可以将 volatile 看做一个轻量级的锁，但是又与锁有些不同：
【1】对于多线程，不是一种互斥关系
【2】不能保证变量状态的“原子性操作”