JEP 423：G1 的区域固定机制已集成至 JDK 22

JEP 423（G1 的区域固定机制）已成功集成至 JDK 22。该提案旨在通过为 G1 垃圾收集器引入区域固定机制，显著减少垃圾收集（GC）延迟。这一机制允许在主要和次要垃圾收集操作期间固定任意内存区域，从而避免在执行 JNI 关键区域时完全禁用垃圾收集。

背景与问题

JEP 423 解决了 Java 与非托管语言（如 C 和 C++）互操作性中的一个长期挑战。JNI（Java 原生接口）是实现这种互操作性的关键组件，它允许 Java 应用程序调用其他语言编写的原生应用程序和库，并支持双向调用。JNI 提供了获取和释放 Java 对象直接指针的函数，这些函数必须成对使用。在获取和释放指针之间执行的代码被称为关键区域，在此期间，JVM 必须确保垃圾收集器不会移动关联的 Java 对象。

传统的 G1 垃圾收集器在这些关键区域期间会完全禁用垃圾收集，导致显著的延迟问题。这种做法通常会引发线程阻塞、不必要的内存不足情况，甚至在某些极端情况下导致虚拟机提前关闭。

区域固定机制

JEP 423 通过引入区域固定机制，从根本上改变了这一做法。该机制允许 G1 在垃圾收集操作期间固定包含关键对象的特定内存区域，而不是完全禁用垃圾收集。具体实现方式是为每个区域维护一个关键对象计数，获取关键对象时增加计数，释放时减少计数。当计数不为零时，该区域被视为固定，不会在垃圾收集操作中被回收。这确保了关键对象不会被移动，从而消除了禁用垃圾收集的需求，显著减少了延迟。

技术优势与影响

区域固定机制的引入是 Java 垃圾收集机制的一项重大进步。它旨在解决延迟问题，并确保在没有活动 JNI 关键区域时，垃圾收集暂停时间不会受到影响。即使存在活动关键区域，延迟的增加也保持在最小范围内。该机制在主要和次要垃圾收集操作中的实现展示了其鲁棒性。

潜在风险与假设

JEP 423 也指出了潜在风险和假设。一个主要风险是，如果应用程序同时固定多个区域，可能导致堆内存耗尽。尽管没有直接的解决方案，但 Shenandoah 垃圾收集器已经实现了类似的机制，经验表明这一风险是可管理的。

结论

JEP 423 为 OpenJDK 中的 G1 垃圾收集器引入了一项重要的技术改进。通过实施区域固定机制，该更新解决了与 JNI 关键区域相关的延迟问题，从而优化了 JVM 在与非托管语言交互时的垃圾收集处理。这一进展体现了 OpenJDK 在提升 Java 性能和互操作性方面的持续努力。