From fa4ee6861bf92b2e9eb8a5606539920912174041 Mon Sep 17 00:00:00 2001
From: pjh456 <147148383@qq.com>
Date: Fri, 11 Sep 2026 13:32:23 +0000
Subject: [PATCH] =?UTF-8?q?refactor:=20BuiltinWorld=20P=20=E5=AD=97?=
 =?UTF-8?q?=E6=AE=B5=E6=9E=9A=E4=B8=BE=E6=8A=BD=E7=BB=9F=E4=B8=80=E5=85=A5?=
 =?UTF-8?q?=E5=8F=A3=20all=5Fp=5Ffields=E2=80=94=E2=80=94session=20?=
 =?UTF-8?q?=E6=94=B6=E5=B0=BE=E6=B8=85=E5=8D=95=E5=8D=95=E7=82=B9=E7=BB=B4?=
 =?UTF-8?q?=E6=8A=A4=EF=BC=8C=E6=96=B0=E5=A2=9E=E5=AD=97=E6=AE=B5=E4=B8=8D?=
 =?UTF-8?q?=E5=86=8D=E6=BC=8F=E8=A1=8C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/oxide_kernel/src/builtin.rs | 67 +++++++++++++++++-------------
 1 file changed, 38 insertions(+), 29 deletions(-)

diff --git a/crates/oxide_kernel/src/builtin.rs b/crates/oxide_kernel/src/builtin.rs
index b31501ba..f2c9d924 100644
--- a/crates/oxide_kernel/src/builtin.rs
+++ b/crates/oxide_kernel/src/builtin.rs
@@ -877,36 +877,14 @@ impl BuiltinWorld {
         }
     }
 
-    /// 释放本 world 拥有的全部手工堆数据。
-    ///
-    /// # 口径
-    /// 1. `Box::into_raw` 持有的函数/宿主对象（登记表）：先释放其堆外属性区，
-    ///    再释放对象本体；
-    /// 2. 全部 P 对象字段（原型/构造器家族、迭代器原型族、stub 族、console）
-    ///    的堆外属性区——对象本体随 Arc 引用归零释放。
+    /// 枚举本 world 全部固定 P 对象字段（按结构体字段序，含迭代器原型族、
+    /// stub 之外的全部命名空间对象与 console）。
     ///
     /// # 注意事项
-    /// 仅由 session 收尾调用（`KernelSession` 的 `Drop` 与 session 替换前），
-    /// 幂等：登记表按值取走，属性区释放后置空。选择性重建（dirty rebuild）
-    /// 不走本路径：登记表整体并入新 world（`inherit_leaked_objects`），仍由
-    /// session 收尾统一释放；被替换家族的旧 P 字段属性区在重建点
-    /// （`release_replaced_family_heaps`）恰好释放一次，与本路径对象集不相交，
-    /// 不双放。
-    pub fn teardown_heap_data(&self) {
-        for ptr in self.leaked_objects.borrow_mut().drain(..) {
-            if ptr.is_null() {
-                continue;
-            }
-            // SAFETY: ptr 是绑定层 Box::into_raw 产物，session 存活期内有效，
-            // 此处恰好释放一次（登记表按值取走，重入时表已空）。
-            unsafe {
-                let obj = &mut *ptr;
-                obj.release_raw_heap();
-                drop(Box::from_raw(ptr));
-            }
-        }
-        // P 字段逐一枚举：新增字段须在此同步补一行，否则收尾时属性区永久泄漏。
-        for p in [
+    /// session 收尾（`teardown_heap_data`）的 P 字段枚举唯一入口：`BuiltinWorld`
+    /// 新增 P 字段须在此同步补一行，否则收尾时该字段属性区永久泄漏。
+    pub(crate) fn all_p_fields(&self) -> [&P<JsObject>; 100] {
+        [
             &self.object_proto,
             &self.array_proto,
             &self.function_proto,
@@ -1007,7 +985,38 @@ impl BuiltinWorld {
             &self.disposable_stack_proto,
             &self.async_disposable_stack_proto,
             &self.console_object,
-        ] {
+        ]
+    }
+
+    /// 释放本 world 拥有的全部手工堆数据。
+    ///
+    /// # 口径
+    /// 1. `Box::into_raw` 持有的函数/宿主对象（登记表）：先释放其堆外属性区，
+    ///    再释放对象本体；
+    /// 2. 全部 P 对象字段（`all_p_fields` 枚举 + stub 族）的堆外属性区——
+    ///    对象本体随 Arc 引用归零释放。
+    ///
+    /// # 注意事项
+    /// 仅由 session 收尾调用（`KernelSession` 的 `Drop` 与 session 替换前），
+    /// 幂等：登记表按值取走，属性区释放后置空。选择性重建（dirty rebuild）
+    /// 不走本路径：登记表整体并入新 world（`inherit_leaked_objects`），仍由
+    /// session 收尾统一释放；被替换家族的旧 P 字段属性区在重建点
+    /// （`release_replaced_family_heaps`）恰好释放一次，与本路径对象集不相交，
+    /// 不双放。
+    pub fn teardown_heap_data(&self) {
+        for ptr in self.leaked_objects.borrow_mut().drain(..) {
+            if ptr.is_null() {
+                continue;
+            }
+            // SAFETY: ptr 是绑定层 Box::into_raw 产物，session 存活期内有效，
+            // 此处恰好释放一次（登记表按值取走，重入时表已空）。
+            unsafe {
+                let obj = &mut *ptr;
+                obj.release_raw_heap();
+                drop(Box::from_raw(ptr));
+            }
+        }
+        for p in self.all_p_fields() {
             // SAFETY: p 是本 world 的 P 对象，属性区仅在此释放并置空（幂等）。
             unsafe {
                 (&mut *p.as_mut_ptr()).release_raw_heap();