起因:今天在写一个volatile相关的Demo,本来想的是一个线程根据这个IS_STOP
去一直进行循环,直到另一个线程改变为true就中断。内存屏障的问题会导致虽然其他线程修改了值,但是原线程是不知道的,会继续循环,所以必须加volatile关键字来让其可见。按道理是这样的,但是突然发现把volatile删了也是正常停止了,愣了直接,难道不加也能可见?代码和结果如下:
import java.util.concurrent.TimeUnit;
public class VolatileDemo {
static boolean IS_STOP = false;
public static void main(String[] args) {
Thread t1 = new Thread(()->{
while (true){
System.out.println("正在执行");
if(IS_STOP){
System.out.println("停止执行");
break;
}
}
},"t1");
t1.start();
try{TimeUnit.SECONDS.sleep(1);}catch(Exception e){e.printStackTrace();}
Thread t2 = new Thread(()->{
IS_STOP = true;
},"t2");
t2.start();
}
}
经过:通过上面的图可以看到明明没有volatile关键字,但是t2修改那个值为true之后t1的循环还是正常停止了,JVM也正常退出,难道是之前学的不对?疑惑中我将所有的打印注释掉也试了试,竟然发现线程t1的循环又没有被中断了,jvm没有退出,如下图所示,这表示内存屏障确实存在:
再用java自带的线程可视化界面查看下线程信息,确实还在正常运行:
调查:那就肯定是System.out这块出问题了,猜想肯定是里面有啥处理把线程的工作区刷新了,导致虽然我没有写volatile,但是已经刷新值了,随即进入println的代码中进行查看,发现果然调用println()时里面使用了synchronized关键字,如图:
结论:没有volatile确实是会有内存屏障存在,但是如果其中使用的某些法方法里面使用了synchronized关键字,那么就会导致出现“好像不加volatile也行”的错觉。线程进行加锁时势必会先进行线程工作区的重置,从主存下载最新的值才能开始进行操作,解锁时也必须要把最新的值再次写回主存。就像一个项目现在交给你来干了,第一步肯定要先保证自己本地代码是最新的一样。