volatile 关键字

1.某个线程修改了被volatile关键字修饰变量是,根据数据一致性的协议,
通过信号量,更改其他线程的高速缓存中volatile关键字修饰变量状态为无效状态,
其他线程如果需要重写读取该变量会再次从主内存中读取,而不是读取自己的高速缓存中的。

2.被volatile关键字修饰变量不会指令重排序。

注意:volatile 不是原子性的,所以不能保证并发问题
如:volatile 修饰一个变量 i = ,0,开辟十个线程,执行1000次i++,结果是不能保证值为1000,

public class VolatileTest {
    public volatile int inc = 0;
    public void increase() {
        inc++;
    }
    public static void main(String[] args) throws InterruptedException {
        final VolatileTest test = new VolatileTest();
        for (int i = 0; i < 10; i++) {
            new Thread(() -> {
                for (int j = 0; j < 1000; j++)
                    test.increase();
            }).start();
        }
        //保证前面的线程都执行完
        Thread.sleep(3000);
        System.out.println(test.inc);
    }
}

多次运行main函数,你会发现结果永远都不会为10000,都是小于10000。可能有这样的疑问,volatile保证了共享数据的可见性,线程1修改了inc变量线程2会重新从主内存中重新读,这样就能保证inc++的正确性了啊,可为什么没有得到我们预期的结果呢?

在之前已经讲述过inc++这样的操作不是一个原子性操作,它分为读、加加、写。一种情况,当线程1读取了inc的值,还没有修改,线程2也读取了,线程1修改完了,通知线程2将线程的缓存的 inc的值无效需要重读,可这时它不需要读取inc ,它仍执行写操作,然后赋值给主线程,这时数据就会出现问题。

所以volatile不能保证原子性 。这时需要用锁来保证,在increase方法加上synchronized,重新运行打印的结果为10000 。

public synchronized void increase() {
        inc++;
}

参考文章:https://blog.csdn.net/forezp/article/details/77580491

推荐阅读更多精彩内容