0

0

在Java中什么是有序性_Java指令重排原理解析

P粉602998670

P粉602998670

发布时间:2026-01-04 19:55:20

|

697人浏览过

|

来源于php中文网

原创

有序性指单线程下执行结果“看似”按代码顺序,实则编译器、处理器、内存系统三层可重排;dcl单例因new非原子且赋值重排致未初始化对象泄露,须用volatile加内存屏障修复。

在java中什么是有序性_java指令重排原理解析

有序性不是“代码怎么写就怎么执行”

Java里的有序性,指的是程序执行结果在单线程下看起来“像按代码顺序执行的”,但实际指令可能被重排。这不是bug,而是JVM和CPU为提升性能做的主动优化——只要不破坏as-if-serial语义(即单线程行为不变),编译器、JIT、处理器都可调整指令顺序。

指令重排发生在哪三层?关键区别是什么

重排不是凭空发生的,它分三个明确层级,每一层的控制手段和影响范围完全不同:

  • 编译器重排javac 或 JIT 把 a = 1; flag = true; 换成 flag = true; a = 1;,前提是两者无数据依赖;这类重排在字节码阶段就定型了,javap -c 可验证
  • 处理器重排:x86 CPU 的乱序执行(Out-of-Order Execution)会让 store 写操作延迟、“读缓存”提前,即使字节码顺序正确,另一线程也可能看到 flag == truea == 0
  • 内存系统重排:因写缓冲区(Store Buffer)和缓存一致性协议(如MESI),一个线程写完 instance 后,另一个线程可能仍从本地缓存读到 null——这“看起来像重排”,实则是可见性问题

为什么双重检查锁(DCL)单例会出错?

经典问题:Singleton.getInstance() 中的 instance = new Singleton() 不是原子操作,会被拆成三步:allocateinvokeConstructorassign。JIT 可能将第3步(赋值)提到第2步(构造)之前,导致其他线程拿到未初始化完成的对象引用。

if (instance == null) {
    synchronized (Singleton.class) {
        if (instance == null) {
            instance = new Singleton(); // ← 这里可能被重排!
        }
    }
}

修复方式只有一条硬规则:必须用 volatile 修饰 instance。因为 volatile 写操作插入内存屏障(StoreStore + StoreLoad),禁止其前后的普通读写被重排穿过它,同时保证可见性。

Q.AI视频生成工具
Q.AI视频生成工具

支持一分钟生成专业级短视频,多种生成方式,AI视频脚本,在线云编辑,画面自由替换,热门配音媲美真人音色,更多强大功能尽在QAI

下载

立即学习Java免费学习笔记(深入)”;

怎么验证或限制重排?别靠猜,要靠工具和语义

你无法“关掉”重排,但可以约束它。关键不是阻止,而是建立正确的 happens-before 关系:

  • 加锁(synchronized)天然提供锁内操作与锁外操作之间的顺序约束
  • volatile 字段的读写自带 LoadLoad/StoreStore 等内存屏障
  • Thread.start()Thread.join() 隐含跨线程的 happens-before
  • 避免仅靠“变量非null”做判断——比如 if (obj != null) obj.toString() 在未同步场景下极危险

真正容易被忽略的点:重排本身不可见,错误往往表现为偶发的 NullPointerException、字段值为默认值(0 / null / false)、对象部分初始化等——这些都不是JVM bug,而是你没用对同步原语。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

254

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1089

2024.03.01

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

846

2023.08.22

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

75

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

765

2023.08.10

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

99

2025.12.01

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

22

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

48

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

93

2026.03.06

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.3万人学习

C# 教程
C# 教程

共94课时 | 11.1万人学习

Java 教程
Java 教程

共578课时 | 80.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号