Java类初始化死锁与线程安全机制解析

Java类初始化死锁是一种隐蔽而致命的并发问题：当多个线程并发触发存在循环依赖的类（如ClassA静态块中访问ClassB，而ClassB又反向依赖ClassA）时，JVM为每个类隐式加锁的机制会形成跨类锁等待环路，导致线程永久阻塞；它无法通过常规synchronized或异常处理规避，定位只能依靠jstack线程dump识别“waiting to lock”与“locked”地址间的循环引用，而根治之道在于打破循环依赖——通过提取工具类、改用懒汉Holder模式、接口常量或运行时单例等设计手段，将静态初始化逻辑移出clinit，避免在类加载阶段埋下死锁陷阱。

类初始化时多个线程同时触发 会卡住

Java 虚拟机规范要求：每个类的 方法（即静态初始化块和静态变量赋值组成的合成方法）在首次主动使用该类时，必须由且仅由一个线程执行，其余线程阻塞等待。这不是 Java 代码层面的 synchronized，而是 JVM 级别的隐式同步 —— 但这个机制只对「同一个类」生效。一旦初始化过程里又去主动使用另一个尚未初始化的类，而那个类的 又反过来依赖当前类，死锁就发生了。

常见错误现象：Thread A 在初始化 ClassA 时，执行到某行静态代码，触发了 ClassB 的首次主动使用；与此同时，Thread B 先一步开始初始化 ClassB，并在其 中访问了 ClassA.SOME_STATIC_FIELD —— 这时两个线程各自持有一个类的初始化锁，又在等对方释放，永久挂起。

• 典型触发场景：互相引用的静态常量、静态工厂方法中 new 了对方类型的实例、静态块里调用了对方的静态方法
• 注意「主动使用」的定义：访问静态字段（非 final 或虽 final 但未在编译期确定值）、调用静态方法、反射获取 Class、子类初始化（导致父类先初始化）等
• final 基本类型静态字段若在声明时直接赋字面量值（如 static final int X = 42;），会被视为「编译期常量」，不触发类初始化 —— 这是少数能绕过死锁的例外

怎么快速定位是不是 死锁

线程 dump 是唯一靠谱手段。用 jstack 抓取后，搜索 java.lang.ClassLoader.loadClass、java.lang.Class.forName 或直接看线程状态是否为 BLOCKED 并持有类似 java/lang/Class@0x... 的锁。

• 关键线索：多个线程堆栈都停在 at java.lang.Class.forName(Native Method) 或 at java.lang.ClassLoader.loadClass(ClassLoader.java:...)，且锁对象指向不同 Class 的 Class 对象
• 重点关注「waiting to lock」和「locked java/lang/Class@...」这两行的地址是否形成环路（比如 A 等 B 的锁，B 等 A 的锁）
• IDEA 的「Threads」视图或 JConsole 的线程面板也能可视化看到 BLOCKED 状态，但无法自动识别环，仍需人工比对锁地址

不是普通方法，不能加 synchronized 或 try-catch

是 JVM 自动生成、不可见、不可重载、不可显式调用的方法。你写的任何 synchronized 块、try-catch、日志语句，都只是它内部的字节码指令 —— 它本身的执行控制权完全交给了 JVM 的类加载器锁协议。

• 不要试图在静态块里做耗时操作（如读文件、网络请求、数据库连接），因为整个类初始化期间，所有对该类的主动使用都会被阻塞
• 也不能在 中抛出异常后指望「下次再试」：JVM 会把该类标记为「初始化失败」，后续任何使用都会直接抛 NoClassDefFoundError，而不是重试
• 如果必须延迟初始化，改用「懒汉式 Holder 类」或 java.util.concurrent.ConcurrentHashMap + computeIfAbsent，避开静态块

最稳妥的破局方式：拆掉循环依赖

没有银弹。所谓「避免死锁」不是靠加锁顺序技巧，而是让至少一个类的初始化不依赖另一个类的「主动使用」。

• 把互相引用的静态逻辑下沉到独立工具类，由双方按需调用，而非在 中直接触发
• 将某个类的静态字段改为非 static，用单例模式封装，首次访问时才初始化（注意双重检查锁要加 volatile）
• 如果只是想共享常量，用接口定义 public interface Constants { static final String X = "a"; } —— 接口的字段访问不触发接口初始化（JVM 规范特例）

真正麻烦的从来不是理解 的语义，而是当项目跑着跑着突然卡住，而你得从几百个类里找出哪两个静态块在暗地里手拉手互相等待 —— 那时候，线程 dump 和一点耐心，比任何文档都管用。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Java类初始化死锁与线程安全机制解析》文章吧，也可关注golang学习网公众号了解相关技术文章。