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

最新推荐文章于 2024-08-10 21:11:16 发布

程序员志强

最新推荐文章于 2024-08-10 21:11:16 发布

阅读量864

点赞数 2

分类专栏： Java知识分享文章标签： java 并发编程后端多线程程序人生

本文链接：https://blog.csdn.net/Melodrammaaaaa/article/details/108647214

版权

本文探讨了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循环并打印，但是结果并非如此：