深度分析Java内存模型

Java 内存模型（Java Memory Model, JMM）是 Java 并发编程的核心基石，它定义了多线程环境下线程如何与主内存（Main Memory）以及线程的本地内存（工作内存，Working Memory）交互的规则。JMM 的核心目标是解决并发编程中的三大难题：可见性（Visibility）、原子性（Atomicity）和有序性（Ordering）。

核心概念与背景

  1. 主内存 (Main Memory):
    • 存储所有共享变量（实例字段、静态字段、构成数组对象的元素）。
    • 所有线程都能访问（概念上）。
  2. 工作内存 (Working Memory - 线程私有):
    • 每个线程都有自己的工作内存。
    • 存储该线程使用的变量的主内存副本拷贝。
    • 线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，不能直接读写主内存中的变量。
    • 工作内存是 JMM 的一个抽象概念，它涵盖了 CPU 寄存器、各级缓存（L1, L2, L3）以及硬件和编译器优化（如指令重排序）带来的效果。
  3. 内存间交互操作： JMM 定义了 8 种原子操作（lock, unlock, read, load, use, assign, store, write）以及它们之间的顺序规则，来规范主内存和工作内存之间如何交换数据。这些规则非常底层，开发者通常通过更高级的关键字（如 volatile, synchronized, final）和 java.util.concurrent 工具包来间接利用这些规则。

JMM 解决的核心问题

  1. 可见性 (Visibility):

    • 问题： 一个线程修改了共享变量的值，其他线程不一定能立即看到这个修改。
    • 原因：
      • 修改可能只发生在某个 CPU 核心的缓存（工作内存的一部分）中，尚未写回主内存。
      • 即使写回主内存，其他 CPU 核心的缓存中可能还是旧的副本值。
    • JMM 解决方案：
      • volatile 关键字： 保证对该变量的写操作会立即刷新到主内存，且对该变量的读操作会从主内存重新加载最新值。强制保证可见性。
      • synchronized 关键字： 在进入同步块时，会清空工作内存中共享变量的副本，从主内存重新加载；在退出同步块（解锁）时，会将工作内存中修改过的共享变量刷新回主内存。保证进入和退出时的可见性。
      • final 关键字： 在对象构造完成后，被正确构造的对象的 final 字段的值对所有线程可见（无需同步）。
      • java.util.concurrent 工具类： 如 AtomicXxx 类、ConcurrentHashMap、CountDownLatch 等，内部都使用了特殊的机制（通常是 volatile 和 CAS）来保证可见性。

  2. 有序性 (Ordering) / 指令重排序：

    • 问题： 为了提高性能，编译器、处理器和运行时环境（JIT）会对指令进行重排序（Reordering）。在单线程下，这种重排序遵循 as-if-serial 语义（结果看起来和顺序执行一样），但在多线程下，可能导致程序行为出现不符合预期的结果。
    • 原因： 现代 CPU 架构（流水线、多级缓存、乱序执行）和编译器优化的必然结果。
    • JMM 解决方案：
      • volatile 关键字： 除了保证可见性，还通过插入内存屏障（Memory Barrier / Fence） 来禁止指令重排序。
        • 写 volatile 变量前的操作不能重排序到写之后（StoreStore + StoreLoad 屏障效果）。
        • 读 volatile 变量后的操作不能重排序到读之前（LoadLoad + LoadStore 屏障效果）。
      • synchronized 关键字： 同步块内的代码虽然可能被重排序，但不允许重排序到同步块之外。且进入（加锁）和退出（解锁）操作本身具有类似内存屏障的效果，保证临界区内的操作相对于其他线程是原子的且有序的（遵循 monitorenter 和 monitorexit 的语义）。
      • final 关键字： 在构造器内对 final 字段的写入，以及随后将被构造对象的引用赋值给一个引用变量，这两个操作不能被重排序（保证构造器结束时 final 字段的值对其他线程可见）。
      • happens-before 原则： JMM 的核心抽象，定义了一个操作**“先行发生”**于另一个操作的规则。如果操作 A happens-before 操作 B，那么 A 的结果对 B 可见，且 A 的执行顺序排在 B 之前（从可见性和顺序的角度看）。编译器/处理器必须遵守这些规则。volatile, synchronized, final, Thread.start(), Thread.join() 等语义都建立在 happens-before 原则之上。

  3. 原子性 (Atomicity):

    • 问题： 一个操作（如 i++）在底层可能是多个指令（load i, add 1, store i），如果多个线程同时执行这个操作，这些指令可能交错执行，导致结果不符合预期。
    • JMM 解决方案：
      • synchronized 关键字： 保证同步块内的代码在同一时刻只有一个线程执行，从而保证了操作的原子性。
      • java.util.concurrent.atomic 包： 提供了一系列使用硬件级别的原子指令（如 CAS - Compare-And-Swap）实现的原子类（AtomicInteger, AtomicLong, AtomicReference 等），用于实现单一共享变量的无锁原子操作。
      • 锁 (Lock 接口)： 显式锁（如 ReentrantLock）也提供了与 synchronized 类似的互斥和原子性保证。

Happens-Before 原则详解 (JMM 的灵魂)

JMM 通过 happens-before 关系来定义两个操作之间的内存可见性和顺序约束。如果操作 A happens-before 操作 B，那么：

  1. A 的结果对 B 可见。
  2. A 的执行顺序排在 B 之前（程序顺序规则下的基础，但允许编译器/处理器在满足约束下重排序）。

JMM 规定了以下天然的 happens-before 规则：

  1. 程序顺序规则 (Program Order Rule): 在单个线程内，按照程序代码的书写顺序，前面的操作 happens-before 后面的操作。（注意：这只是基础，实际执行可能重排序，但必须保证单线程执行结果一致）。
  2. 监视器锁规则 (Monitor Lock Rule): 对一个锁的解锁操作 happens-before 于后续对这个锁的加锁操作。
  3. volatile 变量规则 (volatile Variable Rule): 对一个 volatile 变量的写操作 happens-before 于后续对这个 volatile 变量的读操作。
  4. 线程启动规则 (Thread Start Rule): Thread.start() 调用 happens-before 于新线程中的任何操作。
  5. 线程终止规则 (Thread Termination Rule): 线程中的所有操作都 happens-before 于其他线程检测到该线程已经终止（如 Thread.join() 返回成功或 Thread.isAlive() 返回 false）。
  6. 中断规则 (Thread Interruption Rule): 对线程 interrupt() 方法的调用 happens-before 于被中断线程检测到中断事件的发生（如抛出 InterruptedException 或调用 Thread.interrupted()/isInterrupted()）。
  7. 对象终结规则 (Finalizer Rule): 一个对象的初始化完成（构造器执行结束）happens-before 于它的 finalize() 方法的开始。
  8. 传递性 (Transitivity): 如果 A happens-before B，且 B happens-before C，那么 A happens-before C。

happens-before 原则的精髓： 它不要求 A 操作一定要在 B 操作之前执行！它只要求，如果 A happens-before B，那么 A 操作产生的影响（修改共享变量、发送消息等）必须对 B 操作可见。编译器/处理器可以自由地进行重排序，只要这种重排序不违反 happens-before 规则。JMM 通过 happens-before 关系向程序员承诺可见性，同时允许底层进行必要的性能优化（重排序）。

JMM 与硬件内存架构的关系

  • JMM 是一个抽象模型，它屏蔽了不同硬件平台（x86, ARM, SPARC）内存模型的差异，为 Java 程序提供了一致的内存语义保证。
  • 硬件内存架构（如 CPU 缓存一致性协议 MESI）是实现 JMM 的基础。JMM 定义的规则（如 volatile 的写刷新、读加载）最终需要映射到具体的 CPU 指令（如内存屏障指令 mfence, lfence, sfence）和缓存一致性协议的操作上。
  • 不同的 CPU 架构对内存一致性的支持程度不同（内存模型的强度不同，如 x86 的 TSO 模型相对较强，ARM/POWER 的模型相对较弱）。JVM 需要在不同平台上插入适当类型和数量的内存屏障指令来实现 JMM 要求的语义（如 volatile 在 x86 上可能只需要 StoreLoad 屏障，而在 ARM 上可能需要更多屏障）。

对开发者的意义与最佳实践

  1. 理解基础： 深刻理解可见性、原子性、有序性问题以及 happens-before 原则是编写正确并发程序的基础。
  2. 优先使用高层工具： 优先使用 java.util.concurrent 包（如 ConcurrentHashMap, CopyOnWriteArrayList, CountDownLatch, CyclicBarrier, ExecutorService, Future）和原子类 (AtomicXxx)。这些工具由专家精心设计并测试，封装了复杂的同步细节和内存语义。
  3. 明智使用 synchronized： 在需要互斥访问共享状态或保证复合操作原子性时使用。注意锁的范围（粒度）和避免死锁。
  4. 理解 volatile 的适用场景： 仅用于保证单一共享变量的可见性和禁止特定重排序。典型的应用场景：
    • 状态标志 (boolean flag)
    • 一次性安全发布 (double-checked locking 模式中正确使用 volatile)
    • 独立观察结果（定期发布的观察结果）
    • volatile bean 模式（非常有限）
    • 开销较低的读-写锁策略（结合 CAS）
    • volatile 不能保证原子性！ volatile int i; i++ 仍然是非原子的。
  5. 安全发布 (Safe Publication): 确保一个对象被构造完成后，其状态才能被其他线程看到。常用方式：
    • 在静态初始化器中初始化对象引用。
    • 将引用存储到 volatile 字段或 AtomicReference 中。
    • 将引用存储到正确构造对象的 final 字段中。
    • 将引用存储到由锁（synchronized 或 Lock）保护的字段中。
  6. 避免过度同步： 不必要的同步会带来性能开销（锁竞争、上下文切换）和死锁风险。
  7. 使用不可变对象 (Immutable Objects): 不可变对象（所有字段为 final，构造后状态不变）天生线程安全，无需同步即可安全共享。
  8. 使用线程封闭 (Thread Confinement): 将对象限制在单个线程内使用（如 ThreadLocal），避免共享。
  9. 借助工具： 使用静态分析工具（如 FindBugs, Error Prone）和并发测试工具（如 JCStress）来帮助发现潜在的并发错误。

总结

Java 内存模型（JMM）是 Java 并发编程的理论核心，它通过定义主内存、工作内存的交互规则以及 happens-before 原则，为开发者提供了解决可见性、有序性和（部分）原子性问题的框架。理解 JMM 的抽象概念（尤其是 happens-before）以及其具体实现手段（volatile, synchronized, final, 内存屏障）是编写正确、高效并发程序的关键。在实际开发中，应优先使用 java.util.concurrent 包提供的高层并发工具，并遵循安全发布、不可变性、线程封闭等最佳实践来简化并发编程的复杂性并降低出错风险。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如若转载，请注明出处：http://www.pswp.cn/diannao/92622.shtml
繁体地址，请注明出处：http://hk.pswp.cn/diannao/92622.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

代码随想录算法训练营第五十二天|图论part3

代码随想录算法训练营第五十二天|图论part3

101. 孤岛的总面积 题目链接&#xff1a;101. 孤岛的总面积 文章讲解&#xff1a;代码随想录 思路&#xff1a; 与岛屿面积差不多&#xff0c;区别是再dfs的时候&#xff0c;如果碰到越界的&#xff0c;需要用一个符号标记这不是孤岛再continue #include <iostream> #i…
阅读更多...
前端实现 excel 数据导出，封装方法支持一次导出多个Sheet

前端实现 excel 数据导出，封装方法支持一次导出多个Sheet

一、前言 后台管理项目有时会有需要前端导出excel表格的功能&#xff0c;有时还需要导出多个sheet&#xff0c;并给每个sheet重新命名&#xff0c;下面我们就来实现一下。 二、实现效果图 三、实现步骤 1、 安装 命令行安装 xlsx 和 file-saver npm install xlsx -S npm i…
阅读更多...
【Lambda 表达式】返回值为什么是auto

【Lambda 表达式】返回值为什么是auto

一个例子&#xff1a; int x 10; auto add_x [x](int y) -> int {return x y; }; int result add_x(5); // 结果是 15lambda 是匿名类型&#xff0c;必须用 auto 来接收。&#xff08;必须写auto&#xff0c;不可省略&#xff09;内层 -> auto 是函数的返回类型自动推…
阅读更多...
【小董谈前端】【样式】 CSS与样式库：从实现工具到设计思维的跨越

【小董谈前端】【样式】 CSS与样式库：从实现工具到设计思维的跨越

CSS与样式库&#xff1a;从实现工具到设计思维的跨越 一、CSS的本质&#xff1a;样式实现的「施工队」 CSS作为网页样式的描述语言&#xff0c;其核心能力在于&#xff1a; 精确控制元素的尺寸、位置、颜色实现响应式布局和动画效果与HTML/JavaScript协同完成交互体验 但CS…
阅读更多...
MTSC2025参会感悟：大模型 + CV 重构全终端 UI 检测技术体系

MTSC2025参会感悟：大模型 + CV 重构全终端 UI 检测技术体系

目录 一、传统 UI 自动化的困局：高成本与低效率的双重枷锁 1.1 根深蒂固的技术痛点 1.2 多维度质量挑战的叠加 二、Page eyes 1.0：纯视觉方案破解 UI 检测困局 2.1 纯视觉检测的核心理念 2.2 页面加载完成的智能判断 2.3 视觉模型驱动的异常检测 2.4 大模型赋能未知异…
阅读更多...
使用Claude Code从零到一打造一个现代化的GitHub Star项目管理器

使用Claude Code从零到一打造一个现代化的GitHub Star项目管理器

在日常的开发工作中&#xff0c;我们经常会在GitHub上star一些有用的项目库。随着时间的推移&#xff0c;star的项目越来越多&#xff0c;如何有效管理这些项目成为了一个痛点。 今天&#xff0c;分享我使用Claude Code从零构建的一个GitHub Star管理插件。项目背景与需求分析 …
阅读更多...
为什么 Linux 启动后还能升级内核？

为什么 Linux 启动后还能升级内核？

✅ 为什么 Linux 启动后还能升级内核&#xff1f; 简单结论&#xff1a; 因为 “安装/升级内核 ≠ 当前就使用该内核”&#xff0c;Linux允许你安装多个内核版本&#xff0c;并在下次启动时选择其中一个来加载运行。 &#x1f9e0; 举个现实生活类比 你在穿一件衣服&#xff08…
阅读更多...
Go语言实战案例-统计文件中每个字母出现频率

Go语言实战案例-统计文件中每个字母出现频率

以下是《Go语言100个实战案例》中的 文件与IO操作篇 - 案例19&#xff1a;统计文件中每个字母出现频率 的完整内容。本案例适合用来练习文件读取、字符处理、map统计等基础技能。&#x1f3af; 案例目标读取一个本地文本文件&#xff0c;统计并打印出其中每个英文字母&#xff…
阅读更多...
Notepad++工具操作技巧

Notepad++工具操作技巧

1、notepad -> ctrlf -> 替换(正则表达式) -> $-a ->每行的行尾加a&#xff1b; 2、notepad -> ctrlf -> 替换(正则表达式) -> ^-a ->每行的行首加a &#xff1b; 3、按住alt切换为列模式 4、删除空行-不包括有空格符号的空行 查找替代 查找目标…
阅读更多...
领码课堂 | Java与AI的“硬核“交响曲：当企业级工程思维遇上智能时代

领码课堂 | Java与AI的“硬核“交响曲：当企业级工程思维遇上智能时代

摘要 &#x1f680; 在AI工业化落地的深水区&#xff0c;Java正以其独特的工程化优势成为中流砥柱。本文系统解构Java在AI项目全生命周期中的技术矩阵&#xff0c;通过"三阶性能优化模型"、"微服务化AI部署架构"等原创方法论&#xff0c;结合大模型部署、M…
阅读更多...
面经 - 基于Linux的高性能在线OJ平台

面经 - 基于Linux的高性能在线OJ平台

真实面试环境中&#xff0c;被问到的相关问题&#xff0c;感兴趣的可以看下1. 这个项目是你独立完成的吗&#xff1f;团队中你的职责是什么&#xff1f;是的&#xff0c;这个项目是我独立完成的&#xff0c;从需求分析、系统设计到项目部署都我做的。重点工作包括&#xff1a;使…
阅读更多...
Ubuntu 20.04 上安装 SPDK

Ubuntu 20.04 上安装 SPDK

以下是在 Ubuntu 20.04 上安装 SPDK (Storage Performance Development Kit) 的完整步骤&#xff1a;1. 系统准备# 更新系统 sudo apt update sudo apt upgrade -y# 安装基础依赖 sudo apt install -y git make gcc g libssl-dev libaio-dev libnuma-dev \pkg-config python3 p…
阅读更多...
解决WPS图片在Excel表格中无法打开

解决WPS图片在Excel表格中无法打开

若出现无法打开的情况&#xff0c;还请回到WPS中&#xff0c;点击图片&#xff0c;右键&#xff1a;转化为浮动图片保存&#xff0c;然后便能正常打开&#xff01;
阅读更多...
【Ollama】open-webui部署模型

【Ollama】open-webui部署模型

目录 一、本地部署Ollama 1.1 进入官网复安装命令 1.2 执行安装命令 1.3 验证是否安装成功 二、启动Ollama服务 三、运行模型 方法一&#xff1a;拉取模型镜像 方法二&#xff1a;拉取本地模型 四、使用Open WebUI 部署模型 4.1 创建虚拟环境 4.2 安装依赖 4.3 运行…
阅读更多...
C#文件操作（创建、读取、修改）

C#文件操作（创建、读取、修改）

判断文件是否存在 不存在则创建默认文件 并写入默认值/// <summary>/// 判断文件是否存在 不存在则创建默认文件 并写入默认值/// </summary>public void IsConfigFileExist(){try{// 获取应用程序的当前工作目录。string fileName System.IO.Directory.GetCurr…
阅读更多...
基于阿里云平台的文章评价模型训练与应用全流程指南

基于阿里云平台的文章评价模型训练与应用全流程指南

基于阿里云平台的文章评价模型训练与应用全流程指南 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家&#xff0c;觉得好请收藏。点击跳转到网站。 1. 项目概述 1.1 项目背景 在当今信息爆炸的时代&…
阅读更多...
AI 及开发领域动态与资源汇总(2025年7月24日)

AI 及开发领域动态与资源汇总(2025年7月24日)

AI 项目、工具及动态汇总 项目/产品名称核心功能/简介主要特点/亮点相关链接Supervision一个流行的计算机视觉工具库&#xff0c;用于加速计算机视觉应用的构建。模型无关&#xff0c;可与多种主流库集成&#xff1b;提供丰富的可定制标注工具&#xff1b;支持多种数据集操作和…
阅读更多...
C专题8：文件操作1

C专题8：文件操作1

1.C语言中的文件是什么?所谓文件&#xff08;file&#xff09;一般指存储在外部介质上数据的集合&#xff0c;比如我们经常使用的txt、bmp、jpg、exe、rmvb等等。这些文件各有各的用途&#xff0c;我们通常将它们存放在磁盘或者可移动盘等介质中。文件无非就是一段数据的集合&…
阅读更多...
Opencv C# 重叠 粘连 Overlap 轮廓分割 (不知道不知道)

Opencv C# 重叠 粘连 Overlap 轮廓分割 (不知道不知道)

先上效果图一种基于凹陷检测重叠轮廓分割的方法这两个星期压力大的一批&#xff0c;心脏都给干得乱跳了&#xff0c;现在高血压心率不齐贫血。兄弟们保重身体啊。简单说下逻辑&#xff1a;前处理&#xff1a;的噼里啪啦我就不说了&#xff0c;根据样品来(灰度&#xff0c;滤波&…
阅读更多...
CentOS7 安装 rust 1.82.0

CentOS7 安装 rust 1.82.0

CentOS7 安装 rust 1.82.0 我在CentOS7.9中安装rust遇到报错版本低&#xff0c;再升级版本的过程中遇到诸多问题&#xff0c;简单记录。 遇到的问题 提示版本低 centos7 安装 ERROR: Rust 1.75.0 or newer required.Rust version 1.72.1 was found.原因是 CentOS7 的默认的软件…
阅读更多...
最新文章

Copyright @ 2022~2023