volatile--共享数据必须保证可见性

时间:2021-10-30 16:48:09

在Effective Java中看到的,试了一下,有点意思,考查的知识点是volatile关键字。

下面这段代码,预期是打印it takes xxxx miliseconds. 。但实际上,陷入了死循环。

 public class ThreadNeverStop {

     private static boolean stopRequested;

     public static void main(String[] args) throws InterruptedException {
Thread backgroundThread = new Thread(new Runnable() { @Override
public void run() {
long start = System.currentTimeMillis();
while (!stopRequested) {
//whatever
}
long end = System.currentTimeMillis();
System.out.println("it takes " + (end - start) + " miliseconds.");
}
}); backgroundThread.start(); Thread.sleep(1000L); stopRequested = true;
}
}

学习过Java内存模型就会知道,这是因为stopRequested这个域,在主线程和backgroundThread中各有备份。当主线程执行完毕,将新值刷到主内存中,backgroundThread并没有从主内存获取最新的值,导致一直判断为false.

最直接的方法是使用同步,但还有更简洁,轻量的方法,那就是使用volatile。volatile关键字修改的共享变量,线程在访问时,会向主内存获取最新的值。

之前一直认为【如果不需要原子性,对于共享变量可以不用volatile,反正线程执行完一定会刷新到主内存】,忘记了可能另外的线程同时甚至更早已经获取了共享变量的值,没有继续从主内存中获取最新的值。为了确保共享变量修改后,可以知会到其他线程,并且其他线程在使用到共享变量时能够主动向主内存获取最新值,应该要使用volatile。