Java 平台历代特性
Java 9 模块化，JDK 只依赖于 PATH 不依赖于 CLASSPATH。
https://magicliang.github.io/2020/03/01/Java-%E5%B9%B3%E5%8F%B0%E5%8E%86%E4%BB%A3%E7%89%B9%E6%80%A7/
All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.
Related Articles
2026-01-19
线程安全与锁优化
版本说明：本文主要基于 JDK 6 ~ JDK 14 的 HotSpot 虚拟机实现。需要注意的是，从 JDK 15 开始，偏向锁已被默认关闭并标记为废弃（JEP 374）。如果你使用的是 JDK 15+，文中关于偏向锁的内容仅作为历史参考。 线程安全 什么是线程安全 “当多个线程访问一个对象时，如果不用考虑这些线程在运行时环境下的调度和交替执行，也不需要进行额外的同步，或者在调用方法进行任何其他的协调操作，调用这个对象的行为都可以获得正确的结果，那么这个对象就是线程安全的。” 相对的线程安全，可以分成五个等级。但在深入讨论线程安全的分类之前，我们需要先理解 Java 内存模型——它是理解线程安全问题的理论基础。 Java 内存模型基础 Java 内存模型（Java Memory Model，JMM）是 Java 语言规范的一部分，定义了多线程程序中共享变量的访问规则。理解 JMM 是理解线程安全问题的基础。 为什么需要内存模型？ 现代计算机系统中，CPU 与主内存之间存在巨大的速度差异。为了弥补这一差距，硬件层面引入了多级缓存（L1、L2、L3 Cache）。这带来了一个问...
2020-04-05
Spring AOP 笔记
AOP 全景概览 核心问题定义 面向切面编程（Aspect-Oriented Programming，AOP）的核心目标是将横切关注点（Cross-cutting Concerns）从业务逻辑中分离出来。横切关注点是指那些散布在系统多个模块中的通用功能，如日志记录、事务管理、安全检查、性能监控等。在传统的面向对象编程中，这些功能往往需要在多个类中重复实现，导致代码冗余和耦合度增加。AOP 通过将这些横切关注点模块化为切面（Aspect），在不修改原有业务逻辑代码的情况下，实现对目标对象的增强。 核心概念速查表 概念 定义 Aspect 切面，横跨多个类的模块化关注点，通常由多个 Pointcut 和 Advice 组成 JoinPoint 连接点，程序执行过程中的特定位置，在 Spring AOP 中通常指方法执行点 Pointcut 切点，匹配 JoinPoint 的谓词表达式，定义 Advice 在何处执行 Advice 通知，切面在特定 JoinPoint 执行的动作，包括 Before、After、Around、AfterReturning、Af...
2019-09-02
Java 服务 OOM 排查全链路（Linux 内核 + JVM 工具链 + 问题分析）
Java 进程的 OOM 跨两层：Linux 内核的 OOM Killer 在物理内存或 cgroup limit 触及时 kill 进程，事后只能从 dmesg 还原；JVM 的 OutOfMemoryError 在堆/元空间/直接内存耗尽时抛异常，常带堆栈和 dump。两层工具栈不同：Linux 侧看 dmesg、cgroup、内核参数，JVM 侧看 jstat、jmap、jstack、arthas、JFR、gperftools。 一、Linux 层：OOM Killer 机制 Linux 内核有个 OOM (Out of Memory) Killer 的机制，可以在系统内存不足的时候，通过主动杀死一些进程来释放更多的内存空间。 很多时候，可以 ping 通一台服务器，但无法 ssh 上去，因为 sshd 被 OOM Killer 杀掉了。ping 能 ping 通，是因为处在内核态协议栈还能工作，发出回送报文。sshd 则因为是用户态进程，直接被干掉了。 OOM Killer 工作流程 OOM Killer 的完整工作流程如下： graph TD A[系统内存不足]...
2022-01-12
Java中的条件编译
一个流传已久的传说 在中文 Java 圈子里有这样一段传说：Google（或某家硅谷大厂）有一种「Java 条件编译」技术，可以在同一份源码里写「测试开关打开时才走的代码」，非生产流水线编译时整段代码都在，可以照常调试；上了生产、关掉开关，被 if 包围的那段 Java 代码就会被编译器当成死代码，从字节码里直接抹掉，线上绝对跑不到。 这段传说混杂了三个独立的问题： Java 是否真的存在「if 块在生产编译时从字节码消失」这种机制？ 这是 Google 独有的私货，还是标准 Java 的能力？ 如果代码真的被编译器去除，那调试还能怎么做？ 回答它们需要三种证据：JLS §14.21、§13.4.9、§15.28 的规范条文给出语言契约；一组可复现的 javap 字节码实验给出实证；feature switch 工业谱系（javac 死代码消除、BuildConfig.DEBUG + R8、Manifold 预处理器、AspectJ 类加载织入、OpenFeature 运行时开关、HotSpot C2 运行时死分支折叠）给出工程参照系。 文中代码示例基准 Java 8，字节...
2019-09-05
重述双亲委派模型
何时加载类 根据 Java 语言规范（JLS §12.4），类或接口在首次主动使用时才会被初始化。主动使用包括以下情况： 遇到 new、getstatic、putstatic、invokestatic 等字节码指令时。这些指令分别对应创建对象实例、读取或设置静态字段、调用静态方法。 对类进行反射调用时，如 Class.forName() 或 Method.invoke()。 初始化某个类的子类时，父类会先被初始化（但父类接口不会）。 虚拟机启动时会先加载设置的主类，即包含 main() 方法的类。 使用 java.lang.invoke 包的动态语言支持特性时，如 MethodHandle 调用。 需要注意的是，被动引用（如通过数组引用、常量引用、访问子类的静态字段等）不会触发类初始化。 从 Java 到 cpp 源码分析 双亲委派模型的工作流程 双亲委派模型的核心逻辑在 java.lang.ClassLoader.loadClass(String name, boolean resolve) 方法中： 123456789101112131415161718192021222...
2026-05-20
小步语义：把程序执行拆成一步一步的规约
上一篇写了大步语义。大步语义像一次函数调用：给它程序和环境，它直接返回最终环境。小步语义换了观察角度：程序运行时会经历一串中间配置，每一步只做一个局部变化。 这个视角很适合 Java 程序员理解调试器、解释器、状态机和工作流引擎。断点、单步执行、重试、恢复、超时保护，都依赖“当前程序状态可以被保存，下一步可以被明确计算”。 本文继续使用上一篇的小语言，补上小步语义（small-step semantics）。核心目标很直接：把一个完整程序改写成一台可推进的机器。 程序状态变成机器配置 小步语义关心的是配置之间的变化。 1(statement, environment) -> (next_statement, next_environment) statement 是剩余要执行的程序，environment 是当前变量绑定。每执行一步，语句可能变小，环境也可能变化。 例如： 12(x = 1 + 2, {}) -> (x = 3, {})(x = 3, {}) -> (do-nothing, &...
