Java并发编程：Java内存模型（内存模型，硬件内存架构，共享对象的可见性，竞态条件）

用心去追梦

于 2024-08-15 10:54:15 发布

阅读量627

点赞数 11

文章标签： java 架构 spring

本文链接：https://blog.csdn.net/qq_33240556/article/details/141216704

版权

Java内存模型（Java Memory Model, JMM）是Java并发编程中一个非常重要的概念。它定义了Java程序中各种变量（线程共享变量）的访问规则，以及在并发环境下如何保证数据的一致性和可见性。下面我将详细介绍Java内存模型的关键概念，包括内存模型本身、硬件内存架构的影响、共享对象的可见性以及如何避免竞态条件。

Java内存模型

定义：
Java内存模型定义了程序中的所有变量（线程共享变量）的访问规则和范围，以及在并发环境下如何保证数据的一致性和可见性。

特点：

主内存与工作内存：JMM将内存划分为主内存（Main Memory）和工作内存（Working Memory）。
线程私有：每个线程都有自己的工作内存，其中保存了该线程使用到的变量的副本。
线程共享：主内存中保存着程序中所有变量的最新值，所有线程都可以访问。

主内存与工作内存

主内存：

存储着程序中所有变量的最新值。
所有线程都可以访问主内存。

工作内存：

每个线程都有自己的工作内存。
工作内存中保存了该线程使用到的变量的副本。
线程对变量的所有操作都发生在自己的工作内存中，然后将修改后的值刷新回主内存。

硬件内存架构

定义：
硬件内存架构是指计算机系统中如何组织和管理内存资源。现代计算机系统通常具有多级缓存结构，这会对程序的行为产生影响。

特点：

多级缓存：CPU缓存通常分为L1、L2和L3等不同级别，每一级缓存的速度和容量都不相同。
缓存一致性：不同级别的缓存需要保持数据的一致性。
缓存行：缓存以缓存行的形式存储数据，通常包含64字节。

共享对象的可见性

定义：
在多线程环境中，一个线程对共享变量的修改需要对其他线程可见，这就是所谓的可见性问题。

特点：

同步机制：通过synchronized关键字、volatile关键字、Lock接口等同步机制来保证可见性。
发生顺序：通过happens-before规则来定义发生顺序，确保操作的顺序性。

竞态条件

定义：
竞态条件指的是多个线程在没有适当同步的情况下访问共享资源，导致结果取决于线程执行的顺序。这种条件通常会导致不可预测的行为和程序错误。

特点：

非确定性：结果依赖于线程的执行顺序。
难以调试：竞态条件通常只在特定的执行路径下才会出现，这使得它们很难被发现和修复。
数据不一致性：可能导致共享资源的状态变得不可预测或不一致。

示例

下面是一个简单的Java示例，演示了如何使用volatile关键字来确保共享变量的可见性：

public class VolatileExample {
    private volatile boolean flag = false;

    public static void main(String[] args) throws InterruptedException {
        VolatileExample example = new VolatileExample();
        Thread writerThread = new Thread(() -> {
            System.out.println("Writer thread starting...");
            example.flag = true; // 修改flag
            System.out.println("Writer thread finished setting flag.");
        });

        Thread readerThread = new Thread(() -> {
            while (!example.flag) {
                // 等待flag变为true
                Thread.yield(); // 让出CPU时间片
            }
            System.out.println("Reader thread detected flag as true.");
        });

        writerThread.start();
        readerThread.start();

        writerThread.join(); // 等待writerThread结束
        readerThread.join(); // 等待readerThread结束
    }
}