QuickJS-NG 中的 FinalizationRegistry 与垃圾回收机制问题分析

背景介绍

FinalizationRegistry 是 JavaScript 中一个相对较新的 API，它允许开发者注册对象在被垃圾回收时执行回调函数。这个功能在某些特殊场景下非常有用，比如资源清理、内存监控等。然而在 QuickJS-NG 项目中，用户报告了一个关于 FinalizationRegistry 与垃圾回收机制配合工作异常的问题。

问题现象

用户提供了一个简单的测试用例，展示了在 QuickJS-NG 中 FinalizationRegistry 的行为与预期不符：

(async () => {
  const loggingFinalizer = new FinalizationRegistry((x) => { 
    console.log('FINALIZING', x) 
  });

  {
    let obj = { name: 'John' };
    loggingFinalizer.register(obj, obj.name);
    obj = null;
  }

  if ('tjs' in globalThis) globalThis.tjs.engine.gc.run();
  if ('gc' in globalThis) globalThis.gc();

  await new Promise((r) => setTimeout(r, 1000));
})();

按照 JavaScript 规范，这段代码应该输出"FINALIZING John"，但在 QuickJS-NG 中却没有任何输出，程序直接退出。相比之下，在 Deno 环境下（使用 V8 引擎）运行相同的代码则表现正常。

技术分析

FinalizationRegistry 的工作原理

FinalizationRegistry 是 ES2021 引入的特性，它提供了一种机制来观察对象何时被垃圾回收。其核心工作流程是：

1. 创建一个 FinalizationRegistry 实例，并指定回调函数
2. 使用 register() 方法注册需要监视的对象
3. 当注册的对象变得不可达时，垃圾回收器会在某个时刻调用注册的回调

QuickJS-NG 的实现差异

QuickJS-NG 是基于 QuickJS 的增强版本，而 QuickJS 本身是一个轻量级的 JavaScript 引擎。与 V8 这样的全功能引擎相比，它在垃圾回收和 FinalizationRegistry 的实现上可能有以下差异：

1. 垃圾回收策略不同：QuickJS 可能采用了不同的垃圾回收算法，导致对象回收的时机与 V8 不同
2. FinalizationRegistry 实现完整性：轻量级引擎可能没有完全实现规范中的所有边缘情况
3. 强制GC的差异：不同引擎暴露给JavaScript的GC接口可能有不同的行为

问题根源

从代码提交记录来看，这个问题已经被修复。修复可能涉及以下方面：

1. 确保 FinalizationRegistry 回调在对象被回收时正确触发
2. 改进垃圾回收器与 FinalizationRegistry 的集成
3. 修正强制GC操作对FinalizationRegistry的影响

解决方案与最佳实践

对于遇到类似问题的开发者，可以考虑以下建议：

1. 明确GC行为：不同JavaScript引擎的垃圾回收行为可能不同，不要依赖特定的GC时机
2. 谨慎使用FinalizationRegistry：这个API本身就有不确定性，规范不保证回调何时执行
3. 替代方案：对于资源清理等场景，考虑使用显式的dispose模式或try-finally
4. 测试多环境：在依赖GC相关特性时，需要在目标环境中充分测试

总结

QuickJS-NG 作为一个轻量级 JavaScript 引擎，在实现 ECMAScript 新特性时可能会与主流引擎存在行为差异。这次 FinalizationRegistry 的问题展示了垃圾回收相关API实现的复杂性。开发者在使用这些高级特性时应当注意引擎差异，并关注项目的更新以获取问题修复。

这个案例也提醒我们，JavaScript 生态中不同引擎的实现差异仍然是需要关注的问题，特别是在使用较新或较高级的语言特性时。