吃透Java并发:volatile是怎么保证可见性的

本文探讨了Java中volatile关键字如何保证可见性和有序性。通过分析CPU多核缓存架构,讲解了MESI协议和总线嗅探机制,揭示了volatile防止缓存不一致的方法。同时,文章指出volatile无法保证原子性,并举例说明了一些可能导致混淆的现象及其原因。
摘要由CSDN通过智能技术生成

前言

volatile关键字能够保证可见性和有序性,但是volatile为什么能够保证可见性和有序性?为什么volatile又不能保证原子性?
今天,我们从CPU多核缓存架构出发,结合MESI缓存一致性协议来深入剖析一下,volatile的原理。

问题的出现

我们先通过一个例子来看看,可见性导致的线程安全问题:

public class Main {

    static int a = 0;

    public static void main(String[] args)  throws Exception {
        Thread t1 = new Thread(new Runnable() {
            @Override
            public void run() {
                while (a == 0) {

                }
                System.out.println("T1得知a = 1");
            }
        });

        Thread t2 = new Thread(new Runnable() {
            @Override
            public void run() {
                try {
                    Thread.sleep(1000);
                    a = 1;
                    System.out.println("T2修改a = 1");
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        });
        t1.start();
        t2.start();
    }
}

线程T2再休眠1秒之后,修改了a的值为1,此时T1应该退出while循环并打印,但是结果并非如此:

T1没有退出循环,程序也就不会结束。但是如果对a使用volatile关键字修饰就会解决该问

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值