java基础面试-Java 内存模型（JMM）相关介绍

embedded/2025/2/27 22:09:34/

Java 内存模型（JMM）详解：从入门到进阶

前言

在现代计算机体系中，多线程编程是一个绕不开的话题。而 Java 作为一门面向对象且支持并发的编程语言，在处理多线程问题时表现得尤为突出。然而，Java 的内存模型（Java Memory Model, JMM）却常常被开发者忽视或误解。理解 JMM 是掌握 Java 并发编程的关键，尤其是在解决线程安全、可见性和有序性等问题时。

本文将从零开始，详细介绍 Java 内存模型的核心概念、工作原理以及实际应用案例，帮助读者全面掌握这一知识点。

一、什么是 Java 内存模型（JMM）？

Java 内存模型是 Java 虚拟机（JVM）规范中的一部分，主要用于描述程序中各个变量如何被不同线程访问和修改的机制。它是 JVM 的核心组成部分之一，直接影响到多线程程序的行为。

简单来说，JMM 定义了以下几点：

  1. 内存划分：Java 程序运行时的内存布局。
  2. 可见性规则：一个线程对变量的修改如何被其他线程看到。
  3. 原子性规则：哪些操作是不可分割的（即原子操作）。
  4. 有序性规则：程序中操作的执行顺序是否可以重新排序。

二、Java 内存模型的核心概念

1. 主内存与工作内存

在 Java 中，内存主要分为两类：

  • 主内存（Main Memory）：也称为堆内存，是所有线程共享的一块内存区域。变量的值存储在这里。
  • 工作内存（Working Memory）：每个线程都有自己的工作内存，用于存放从主内存中拷贝的数据副本。

当一个线程需要访问或修改某个变量时，它首先会将该变量从主内存加载到自己的工作内存中进行操作。完成后，再将结果写回主内存。这种机制确保了多线程程序的高效运行。

示意图：

线程1 <-> 工作内存1 <-> 主内存
线程2 <-> 工作内存2 <-> 主内存
...
2. 内存间交互操作

为了保证数据的一致性，JMM 定义了以下几种内存间的交互操作：

  • load（加载）：将主内存中的变量值读取到工作内存中。
  • store（存储）：将工作内存中的变量值写回到主内存中。
  • read（读取）：从工作内存中读取变量的值。
  • write（写入）：将变量的值写入工作内存。

这些操作是原子性的，即它们不会被其他线程中断或分割。

三、Java 内存模型的核心特性

1. 原子性（Atomicity）

原子性是指一个操作要么完全执行，要么根本不执行。在 JMM 中，基本的读/写操作是原子性的。例如：

  • 对于 32 位整数的读取和存储操作是原子的。
  • 对于 64 位长整型（long）或双精度浮点数（double），JVM 实现可能会将其拆分为两次 32 位的操作，因此在某些情况下可能不是原子的。

示例代码：

java">int x = 10; // 原子操作
long y = 20L; // 可能是非原子操作（取决于 JVM 实现）
2. 可见性（Visibility）

可见性是指一个线程对共享变量的修改能够被其他线程看到。在 Java 中，如果不使用同步机制，线程之间的可见性问题可能会导致数据不一致。

示例代码：

java">public class VisibilityExample {private static boolean flag = false;public static void main(String[] args) throws InterruptedException {Thread t1 = new Thread(() -> {while (!flag) {// 空循环，等待 flag 被设置为 true}System.out.println("线程 t1 退出");});t1.start();Thread.sleep(1000);flag = true; // 修改共享变量System.out.println("main 线程设置 flag 为 true");}
}

在这个示例中，t1 线程可能永远不会退出，因为 flag 的修改并没有被线程 t1 观察到。为了确保可见性，可以使用 volatile 关键字：

java">private static volatile boolean flag = false; // 声明为 volatile
3. 有序性（Ordering）

有序性是指程序中操作的执行顺序是否与代码中的顺序一致。在多线程环境下，由于 CPU 的指令重排和内存系统的优化，操作的实际执行顺序可能与预期不同。

示例代码：

java">int x = 0;
boolean flag = false;// 线程1
x = 1; // 操作1
flag = true; // 操作2// 线程2
if (flag) { // 操作3System.out.println(x); // 操作4
}

在没有同步机制的情况下，线程2可能会先执行操作4（打印 x 的值），然后才执行操作3。这会导致输出结果不正确。

为了确保有序性，可以使用 synchronized 或 Lock 等同步机制：

java">// 线程1
synchronized (lock) {x = 1;flag = true;
}// 线程2
synchronized (lock) {if (flag) {System.out.println(x);}
}

四、Java 内存模型与线程安全

1. 线程安全问题的根源

在线程安全问题中，最常见的问题是由于多个线程同时修改共享变量而导致的数据不一致。JMM 的核心作用就是通过定义内存间交互规则和可见性规则，帮助开发者避免这些问题。

示例代码：

java">public class Counter {private int count = 0;public void increment() {count++;}public static void main(String[] args) throws InterruptedException {Counter counter = new Counter();Thread t1 = new Thread(() -> {for (int i = 0; i < 1000; i++) {counter.increment();}});Thread t2 = new Thread(() -> {for (int i = 0; i < 1000; i++) {counter.increment();}});t1.start();t2.start();t1.join();t2.join();System.out.println("最终计数：" + counter.count); // 可能小于 2000}
}

在这个示例中，count++ 操作并不是原子的。多个线程可能会同时读取和修改 count 的值，导致数据丢失。

解决方法：

使用 synchronized 或 Lock 对 increment 方法进行同步：

java">public void increment() {synchronized (this) { // 使用同步块count++;}
}

或者使用原子类（如 AtomicInteger）：

java">private AtomicInteger count = new AtomicInteger(0);public void increment() {count.incrementAndGet();
}
2. 常见的线程安全解决方案
  • 同步机制：通过 synchronized 关键字或 Lock 接口实现互斥访问。
  • 原子类：使用 java.util.concurrent.atomic 包中的类（如 AtomicInteger）来保证操作的原子性。
  • 无锁算法：在某些情况下，可以使用无锁算法（如 CAS 操作）来提高性能。

五、总结

Java 内存模型是理解多线程编程的核心。通过掌握 JMM 的核心概念（原子性、可见性和有序性），开发者可以更好地设计和实现线程安全的程序。在实际开发中，推荐使用 Java 提供的同步机制或无锁算法来避免常见的线程安全问题。

六、常见问题

  1. 什么是内存屏障？

    内存屏障（Memory Barrier）是一种用于控制指令重排和内存访问顺序的机制。它确保在屏障之前的所有操作都完成之后，才能执行屏障之后的操作。Java 中的 volatile 关键字会隐式地插入内存屏障。

  2. 为什么 long 和 double 的读写可能不是原子的？

    在 32 位 JVM 上，64 位的数据类型（如 long 和 double）会被拆分为两个 32 位的操作。因此，在某些情况下，这些操作可能不是原子的。

  3. 如何确保线程之间的可见性？

    可以使用 volatile 关键字或同步机制来确保线程之间的可见性。

  4. 什么是 ABA 问题？

    ABA 问题是由于内存重用导致的一个逻辑错误。例如，一个线程读取了一个值，另一个线程修改了这个值并将其改回原值，导致第一个线程认为没有变化发生。可以使用原子类中的带有版本号的字段（如 AtomicStampedReference）来解决这个问题。

  5. 如何避免指令重排？

    Java 提供了 synchronized 和 Lock 机制来控制指令重排。此外，volatile 关键字也会限制 JVM 的重排行为。

七、参考文档

  • Java 内存模型官方文档
  • Doug Lea 的《The Java Memory Model》

http://www.ppmy.cn/embedded/167642.html

相关文章

48.日常算法

48.日常算法

1.面试题 03.06. 动物收容所 题目来源 动物收容所。有家动物收容所只收容狗与猫&#xff0c;且严格遵守“先进先出”的原则。在收养该收容所的动物时&#xff0c;收养人只能收养所有动物中“最老”&#xff08;由其进入收容所的时间长短而定&#xff09;的动物&#xff0c;或…
阅读更多...
如何在 WPS 中集成 DeepSeek

如何在 WPS 中集成 DeepSeek

如何在 WPS 中集成 DeepSeek&#xff1a;从零基础到高阶开发的完整指南 DeepSeek 作为国内领先的 AI 办公助手&#xff0c;与 WPS 的深度整合可显著提升文档处理效率。本文提供 ​4 种集成方案&#xff0c;覆盖从「小白用户」到「企业开发者」的全场景需求&#xff0c;并包含 …
阅读更多...
Apache Pinpoint工具介绍

Apache Pinpoint工具介绍

Apache Pinpoint&#xff1a;分布式系统性能分析与链路追踪 一、Pinpoint 简介 Apache Pinpoint 是一个开源的 分布式追踪系统&#xff0c;专为微服务架构设计&#xff0c;支持 HTTP、RPC、MQTT 等协议的调用链追踪。其核心功能包括&#xff1a; 链路可视化&#xff1a;展示…
阅读更多...
【代码解读】阿里最新开源视频生成模型 Wan 2.1 实现解析

【代码解读】阿里最新开源视频生成模型 Wan 2.1 实现解析

昨晚阿里巴巴开源了最新视频生成模型的代码和权重&#xff0c;从给出的 demo 效果来看还是非常惊艳的。这个模型目前也是在 VBench 榜单上排到了第一名&#xff0c;超越了 Sora 以及 HunyuanVideo 等一系列知名方法。 从官方给出的方法架构图来说&#xff0c;Wan 2.1 并没有使…
阅读更多...
LangChain构建行业知识库实践：从架构设计到生产部署全指南

LangChain构建行业知识库实践：从架构设计到生产部署全指南

文章目录 引言：行业知识库的进化挑战一、系统架构设计1.1 核心组件拓扑1.2 模块化设计原则二、关键技术实现2.1 文档预处理流水线2.2 混合检索增强三、领域适配优化3.1 医学知识图谱融合3.2 检索结果重排序算法四、生产环境部署4.1 性能优化方案4.2 安全防护体系五、评估与调优…
阅读更多...
马士兵java面试八股文及答案

马士兵java面试八股文及答案

马士兵java面试八股文及答案 Java面向对象有哪些特征&#xff0c;如何应用HashMap原理是什么&#xff0c;在jdk1.7和1.8中有什么区别ArrayList和LinkedList有什么区别高并发中的集合有哪些问题jdk1.8的新特性有哪些 一、接口的默认方法二、Lambda 表达式三、函数式接口四、方法…
阅读更多...
根据经纬度获取时区并返回当前时间

根据经纬度获取时区并返回当前时间

我使用的是 NodaTime 可以按照程序包或者引用dll文件 引用命名空间 using NodaTime; using NodaTime.TimeZones; 代码 var systemClock SystemClock.Instance; var timeZoneDb TzdbDateTimeZoneSource.Default; var timeZone timeZoneDb.ForId(timeZoneId); var n…
阅读更多...
Pytest中5种不同的方法解析JSON数据

Pytest中5种不同的方法解析JSON数据

关注开源优测不迷路 大数据测试过程、策略及挑战 测试框架原理&#xff0c;构建成功的基石 在自动化测试工作之前&#xff0c;你应该知道的10条建议 在自动化测试中&#xff0c;重要的不是工具 JavaScript 对象表示法&#xff08;JSON&#xff09;可以说是网络上最流行的数据交…
阅读更多...
最新文章

Copyright @ 2022~2023