先看一段程序:
package concurrent;
class ThreadDemo implements Runnable{
private boolean flag = false;
public boolean isFlag() {
return flag;
}
public void setFlag(boolean flag) {
this.flag = flag;
}
@Override
public void run() {
try {
Thread.sleep(3000);
} catch (InterruptedException e) {
e.printStackTrace();
}
setFlag(true);
System.out.println("flag = "+flag);
}
}
public class TestVolatile {
public static void main(String[] args) {
ThreadDemo td = new ThreadDemo();
new Thread(td).start();
while(true){
if(td.isFlag()==true){
System.out.println("---------------");
break;
}
}
}
}
运行程序,输出结果如下:
如图所示,程序仅输出了“flag = true”,而没有输出“—————”。这说明在我们新建的线程中,flag已经被修改为了true,但是在main线程中,读取到的flag仍然为false。
实际上,这涉及到一个内存可见性的问题。当程序运行后,JVM会为每一个线程都分配一个独立的缓存用于提高效率,多个线程在操作主存中的共享数据时,其操作对彼此都是不可见的。
上面的程序示意图如下所示:
这明显是有问题的。怎么解决呢?一种办法是通过加上同步锁,修改while(true)块中的代码:
while (true) {
//加上同步锁,每次读取数据都会刷新缓存
synchronized (td) {
if (td.isFlag() == true) {
System.out.println("---------------");
break;
}
}
}
运行程序可以发现输出了“—————”:
但是,加上同步锁会使得程序的效率降低。另一种方式是使用volatile关键字修饰共享数据。当多个线程进行操作共享数据时,volatile关键字可以保证被修饰的内存中的数据是可见的。这相较于synchronized是一种较为轻量级的同步策略。我们现在去掉synchronized同步锁,使用volatile修饰共享数据flag:
private volatile boolean flag = false;
运行程序,发现也会输出“—————”:
volatile关键字确保了应用中的可视性。如果将一个域声明为volatile的,那么它就会告诉编译器不要执行任何移除读取和写入操作的优化,所以只要对这个域产生了写操作,那么所有的读操作都可以看到这个修改。即便使用了本地缓存,情况也是如此,volatile域会立即被写入到主存中,而读取操作就发生在主存中。
需要注意,volatile不具备“互斥性”(当一个线程访问volatile修饰的共享数据时,另一个线程也可以访问,只不过所有的访问都在主存中完成),也不能保证变量的“原子性”。使用volatile而不是synchronized的唯一安全的情况是类中只有一个可变的域,你的第一选择应该是使用synchronized,这是最安全的方式。