Java多线程基石—内存模型

news2025/3/15 17:04:19

 Java Memory Model Java内存模型(JMM),定义了线程如何与内存交互及线程间的可见性、有序性和原子性。

JMM屏蔽了各种硬件和操作系统的访问差异,保证Java程序在各种平台下对内存的访问都能保证一致效果。

1 JMM

可见性

一个线程对共享变量的修改,其他线程能立即感知。

原子性

操作不可中断,要么全部执行成功,要不完全不执行。

有序性

代码执行顺序与代码编写顺序一致,避免因指令重排带来的问题。

表 JMM的核心目标

1.1 内存结构

主内存

所有线程共享的内存区域,存储共享变量的原始值。

工作内存

每个线程私有的内存区域,保存该线程使用的共享变量副本。

表 JMM的内存结构

类型

作用域

介绍

lock

主内存

锁定,把一个变量标识为线程独占状态。

unlock

主内存

解锁,把一个处于锁定状态的变量释放。

read

主内存

读取,把一个变量的值从主内存传输到工作内存中。

load

工作内存

加载,把read操作的变量值保存到工作内存的变量副本中。

use

工作内存

使用,把工作内存中的变量值传输给执行引擎。

assign

工作内存

赋值,执行引擎的值存放到工作内存的变量副本中。

store

工作内存

存储,把一个工作内存变量副本的值传送到主内存中。

write

主内存

写入,把store操作的变量值保存到主内存的变量中。

表 JMM的8种内存交互行为

2 指令重排

编译器和处理器为了优化程序性能而对指令执行顺序进行重新排列的一种机制。

2.1 三个层级的指令重排

在保证单线程执行结果不变的前提下,指令重排序会发生在三个层级:

1、编译器重排序

Java编译器(javac、JIT)在生成字节码时,会调整无关指令顺序来提高寄存器利用率或减少指令缓存未命中。

2、处理器指令级并行重排序

CPU通过乱序执行和指令级并行动态调整指令执行顺序,来充分利用流水线资源。

3、内存系统重排序

由于CPU缓存、写缓冲区和缓存一致性协议(如MESI)的存在,可能会对指令重排。

2.2 指令重排序的约束

指令重排序在单线程环境下不会影响程序逻辑,但在多线程环境下可能会导致可见性、原子性和有序性问题。

2.2.1 数据依赖性约束

写后读

Read After Write,RAW。

例子: int a = 1; int b = a; // b依赖a的值 RAW

写后写

Write After Write,WAW。主要是防止多线程环境下出问题。

例子:int a =1; a =2; // 第二次写不能排到第一次写之前 WAW

读后写

Write After Read,WAR。

例子:int b = a; a = 3;

表 数据依赖类型

2.2.2 happens-before 规则

单程序顺序规则

单线程内代码的书写顺序决定操作顺序。

锁规则

对一个锁的解锁happens-before 后续对这个锁的加锁动作。

作用:确保锁释放前的修改对下一个锁持有者可见。

volatile规则

对一个volatile变量的写操作happens-before后续对这个变量的读操作。

作用:确保对volatile变量的修改对所有线程立即可见。

线程启动规则

线程的start()方法调用happens-before 该线程内的所有操作。

作用:确保父线程在启动子线程前的修改对子线程可见。

线程终止规则

线程中所有操作happens-before其他线程检测到该线程已终止。

作用:确保子线程的修改在join()后对父线程可见。

中断规则

对线程interrupt()方法调用happens-before被中断线程检测到中断事件。

对象终结规则

对象的构造函数执行结束happens-before它的finalize()方法被调用。

传递性

如果操作A happens-before操作B,且操作B happens-before操作C,则操作A happens-before 操作C。

表 happens-before 规则

happens-before 保障了可见性:如操作A happens-before 操作B,则A对共享变量的修改对B可见;

2.2.3 内存屏障

是用来禁止特定类型指令重排序的处理器指令,确保内存操作的可见性。

LoadLoad

禁止该屏障前的读操作与屏障后的读操作重排序。

StoreStore

禁止该屏障前的写操作与屏障后的写操作重排序。

LoadStore

禁止该屏障前的读操作与屏障后的写操作重排序。

StoreLoad

禁止该屏障前的写操作与屏障后的读操作重排序。(开销最大)

表 内存屏障类型

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2315559.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

从以太网 II 到 VLAN 和 Jumbo Frame:数据帧格式解读

以太网数据帧是计算机网络通信的基本单位,在不同的应用场景中,它的格式有所不同。根据协议标准和用途,以太网数据帧主要包括以太网 II 帧、IEEE 802.3 帧、IEEE 802.1Q VLAN 帧等七种主要类型。为了更好地理解以太网的通信机制,我…

X86 RouterOS 7.18 设置笔记六:端口映射(IPv4、IPv6)及回流问题

X86 j4125 4网口小主机折腾笔记五:PVE安装ROS RouterOS X86 RouterOS 7.18 设置笔记一:基础设置 X86 RouterOS 7.18 设置笔记二:网络基础设置(IPV4) X86 RouterOS 7.18 设置笔记三:防火墙设置(IPV4) X86 RouterOS 7.18 设置笔记四…

69.Harmonyos NEXT图片预览组件应用实践(二):电商、内容与办公场景

温馨提示:本篇博客的详细代码已发布到 git : https://gitcode.com/nutpi/HarmonyosNext 可以下载运行哦! Harmonyos NEXT图片预览组件应用实践(二):电商、内容与办公场景 文章目录 Harmonyos NEXT图片预览组件应用实践…

31.Harmonyos Next仿uv-ui 组件NumberBox 步进器组件异步操作处理

Harmonyos Next仿uv-ui 组件NumberBox 步进器组件异步操作处理 文章目录 Harmonyos Next仿uv-ui 组件NumberBox 步进器组件异步操作处理1. 组件介绍2. 效果展示3. 异步操作处理3.1 异步初始化3.2 异步值更新 4. 完整示例代码5. 知识点讲解5.1 异步操作基础5.2 异步操作中的状态…

mac安装python没有环境变量怎么办?zsh: command not found: python

在mac电脑上,下载Python安装包进行安装之后,在终端中,输入python提示: zsh: command not found: python 一、原因分析 首先,这个问题不是因为python没有安装成功的原因,是因为python安装的时候,没有为我们添加环境变量导致的,所以我们只需要,在.zshrc配置文件中加上环…

使用DeepSeek制作可视化图表和流程图

用DeepSeek来制作可视化图表,搭配python、mermaid、html来实现可视化,我已经测试过好几种场景,都能实现自动化的代码生成,效果还是不错的,流程如下。 统计图表 (搭配Matplotlib来做) Python中的…

jmeter-sample

jmeter-sample http request:接口测试常用请求参数ParametersBody DataFiles Upload jdbc request配置JDBC Connection Configuration创建JDBC Requst请求 http request:接口测试常用 请求参数 Parameters 常见于get请求,与拼在接口后面是一样的效果:如…

C++之文字修仙小游戏

1 效果 1.1 截图 游戏运行: 存档: 1.2 游玩警告 注意!不要修改装备概率,装备的概率都是凑好的数字。如果想要速升,修改灵石数量 2 代码 2.1 代码大纲 1. 游戏框架与初始化 控制台操作:通过 gotoxy() …

MacOS 15.3.1 安装 GPG 提示Error: unknown or unsupported macOS version: :dunno

目录 1. 问题锁定 2. 更新 Homebrew 3. 切换到新的 Homebrew 源 4. 安装 GPG 5. 检查 macOS 版本兼容性 6. 使用 MacPorts 或其他包管理器 7. 创建密钥(生成 GPG 签名) 往期推荐 1. 问题锁定 通常是因为你的 Homebrew 版本较旧,或者你…

硬件驱动——51单片机:独立按键、中断、定时器/计数器

目录 一、独立按键 1.原理 2.封装函数 3.按键控制点灯 数码管 二、中断 1.原理 2.步骤 3.中断寄存器IE 4.控制寄存器TCON 5.打开外部中断0和1 三、定时器/计数器 1.原理 2.控制寄存器TCON 3.工作模式寄存器TMOD 4.按键控制频率的动态闪烁 一、独立按键 1…

P1259 黑白棋子的移动【java】【AC代码】

有 2n 个棋子排成一行,开始为位置白子全部在左边,黑子全部在右边,如下图为 n5 的情况: 移动棋子的规则是:每次必须同时移动相邻的两个棋子,颜色不限,可以左移也可以右移到空位上去,但…

67.Harmonyos NEXT 图片预览组件之性能优化策略

温馨提示:本篇博客的详细代码已发布到 git : https://gitcode.com/nutpi/HarmonyosNext 可以下载运行哦! Harmonyos NEXT 图片预览组件之性能优化策略 文章目录 Harmonyos NEXT 图片预览组件之性能优化策略效果预览一、性能优化概述1. 性能优化的关键指标…

Windows下安装Git客户端

① 官网地址:https://git-scm.com/。 ② Git的优势 大部分操作在本地完成,不需要联网;完整性保证;尽可能添加数据而不是删除或修改数据;分支操作非常快捷流畅;与Linux 命令全面兼容。 ③ Git的安装 从官网…

SAP IBP for Supply Chain Certification Guide (Parag Bakde, Rishabh Gupta)

SAP IBP for Supply Chain Certification Guide (Parag Bakde, Rishabh Gupta)

如何处理PHP中的日期和时间问题

如何处理PHP中的日期和时间问题 在PHP开发中,日期和时间的处理是一个常见且重要的任务。无论是记录用户操作时间、生成时间戳,还是进行日期计算,PHP提供了丰富的函数和类来帮助开发者高效处理这些需求。本文将详细介绍如何在PHP中处理日期和…

TDengine 使用最佳实践

简介 阅读本文档需要具备的基础知识: Linux系统的基础知识,及基本命令网络基础知识:TCP/UDP、http、RESTful、域名解析、FQDN/hostname、hosts、防火墙、四层/七层负载均衡 本文档的阅读对象有:架构师、研发工程师,…

Spring、Spring Boot、Spring Cloud 的区别与联系

1. Spring 框架 定位:轻量级的企业级应用开发框架,核心是 IoC(控制反转) 和 AOP(面向切面编程)。 核心功能: 依赖注入(DI):通过 Autowired、Component 等注解…

AutoGen-构建问答智能体

概述 如https://github.com/microsoft/autogen所述,autogen是一多智能体的框架,属于微软旗下的产品。 依靠AutoGen我们可以快速构建出一个多智能体应用,以满足我们各种业务场景。 环境说明 python,3.10AutoGen,0.4.2…

C语言实现括号匹配检查及栈的应用详解

目录 栈数据结构简介 C语言实现栈 栈的初始化 栈的销毁 栈的插入 栈的删除 栈的判空 获取栈顶数据 利用栈实现括号匹配检查 总结 在编程中,经常会遇到需要检查括号是否匹配的问题,比如在编译器中检查代码的语法正确性,或者在…

阿里云魔笔低代码应用开发平台快速搭建教程

AI低代码,大模型时代应用开发新范式 什么是魔笔 介绍什么是魔笔低代码应用开发平台。 魔笔是一款面向全端(Web、H5、全平台小程序、App)场景的模型驱动低代码开发平台,提供一站式的应用全生命周期管理,包括可视化开发…