JAVA多线程中数据一致性的问题

最新推荐文章于 2024-07-23 14:40:31 发布

grantpole

最新推荐文章于 2024-07-23 14:40:31 发布

阅读量1.6k

点赞数

文章标签： java jvm 开发语言

本文链接：https://blog.csdn.net/lomodays207/article/details/130469165

版权

本文探讨了多线程编程中共享变量的一致性问题，分析了由于CPU缓存和重排序导致的数据不一致现象。Java内存模型的Happens-before规则被提出以确保线程间的正确执行顺序，从而解决并发环境下的数据一致性问题。文章还提到了并发控制的重要性，以防止数据错误和损坏。

摘要由CSDN通过智能技术生成

多线程中数据一致性的问题

说到一致性，除了在并发编程中保证共享变量数据的一致性之外，还有数据库的 ACID 中的 C（Consistency 一致性）、分布式系统的 CAP 理论中的 C（Consistency 一致性）。

并发编程是一种重要的程序设计方式，可提高程序的性能和效率。然而，由于并发线程之间的执行是交替进行的，因此共享变量的一致性问题是非常重要的。本文将讨论共享变量的一致性问题，并提供一些解决思路。

先通过一个经典的案例来说明下多线程操作共享变量可能出现的问题，假设我们有两个线程（线程 1 和线程 2）分别执行下面的方法count()，x 是共享变量：

代码

//代码1
public class Example {
    int x = 0;
    public void count() {
        x++;                     //1
        System.out.println(x)//2
    }
}

如果两个线程同时运行，两个线程的变量的值可能会出现以下三种结果：

Java 内存模型

2,1 和 1,2 的结果我们很好理解，那为什么会出现以上 1,1 的结果呢？

我们知道，Java 采用共享内存模型来实现多线程之间的信息交换和数据同步。在解释为什么会出现这样的结果之前，我们先通过下图来简单了解下 Java 的内存模型，程序在运行时，局部变量将会存放在虚拟机栈中，而共享变量将会被保存在堆内存中。

由于局部变量是跟随线程的创建而创建，线程的销毁而销毁，所以存放在栈中，Java 栈数据不是所有线程共享的，所以不需要关心其数据的一致性。

共享变量存储在堆内存或方法区中，数据是线程共享的。而堆内存中的共享变量在被不同线程操作时，会被加载到自己的工作内存中，也就是 CPU 中的高速缓存。

CPU 缓存可以分为一级缓存（L1）、二级缓存（L2）和三级缓存（L3），每一级缓存中所储存的全部数据都是下一级缓存的一部分。当 CPU 要读取一个缓存数据时，首先会从一级缓存中查找；如果没有找到，再从二级缓存中查找；如果还是没有找到，就从三级缓存或内存中查找。

如果是单核 CPU 运行多线程，多个线程同时访问进程中的共享数据，CPU 将共享变量加载到高速缓存后，不同线程在访问缓存数据的时候，都会映射到相同的缓存位置，这样即使发生线程的切换，缓存仍然不会失效。

如果是多核 CPU 运行多线程，每个核都有一个 L1 缓存，如果多个线程运行在不同的内核上访问共享变量时，每个内核的 L1 缓存将会缓存一份共享变量，这时就会产生数据不一致的问题。

了解完内存模型之后，结合以上解释，我们就可以回过头来看看第一段代码中的运行结果是如何产生的了。看到这里，相信你可以理解图中 1,1 的运行结果了。

重排序

除此之外，在 Java 内存模型中，还存在重排序的问题。请看以下代码：


//代码1
public class Example {
    int x = 0;
    boolean flag = false;
    public void writer() {
        x = 1;                //1
        flag = true;          //2
    }

    public void reader() {
        if (flag) {           //3
             int r1 = x;      //4
             System.out.println(r1==x)
        }
    }
}