验证volatile的可见性

背景:volatile关键词有可见性,就是在并发情况下能够看到其他线程修改某个变量。
此次就是验证它的可见性

1、看个最简单的代码

public class VolatileTest extends Thread {
    private static  boolean flag = false;
    @Override
    public void run() {
        while (!flag) ;
    }
    public static void main(String[] args) throws Exception {
        new VolatileTest().start();
        Thread.sleep(2000);
        flag = true;
    }
}

分析1:VolatileTest就是一个线程,创建了它的对象,然后启动线程。主线程休息了2s,后将flag设置成true。结果就是你会发现不管怎么样,他都会死循环。
分析2:死循环的原因是主线程修改了变量,这个线程没有感知到,因为当前线程没有进行计算或IO等操作,该线程处于忙等待,一直占用处理资源,调度器也不会切换当前线程,造成了死循环。
分析3: 当你对变量用volatile修饰,发现过一会就结束了,不会死循环,此时就验证了volatile在并发情况下的可见性。

2、为什么有时候始终验证不了可见性?

这也是我最懵逼的,其实就是需要了解线程的切换和操作系统调度器的调度时机。
剖析原因及其本质:
1、刚才那段简单的代码,如果你加了计算操作等,那么它过一会就回结束不会死循环。
因为调度器此时发生了调度,切换到了其他线程,那么再切回当前线程它肯定是读取最新的值,就结束了,但是这个并没有验证可见性。
调度器为什么会被调度?
线程在每次循环迭代时都会执行一次输出操作,这会导致线程的工作负载增加,从而使其更容易被调度器切换到其他线程上。

你可能感兴趣的:(java,jvm,开发语言)