diff --git a/crates/oxide_vm/src/session_gc.rs b/crates/oxide_vm/src/session_gc.rs index 37b4ccc..79f39ad 100644 --- a/crates/oxide_vm/src/session_gc.rs +++ b/crates/oxide_vm/src/session_gc.rs @@ -564,6 +564,11 @@ impl SessionGc { vm.gc_state.session_bytes_allocated = object_bytes; let freed_bytes = self.sweep_session_strings(vm); + // 恢复 mark 位不变量:mark 之后必由清位收尾(与 sweep 末尾同点清位)。 + // 残留 marked 对象会让下一次完整收集(reset 路径)的 mark DFS 短路漏标, + // 其字符串边不进 live_strings → 存活串被误释放 → 存活对象持悬垂指针。 + self.clear_all_marks(vm); + let elapsed = start.elapsed(); self.total_collections += 1; self.last_collection_duration_us = elapsed.as_micros() as u64; @@ -1357,6 +1362,35 @@ mod tests { assert!(vm.gc_state.session_string_ptrs.contains(&live.as_string_ptr_mut())); } + #[test] + fn strings_only_then_full_collect_keeps_object_strings_live() { + // strings-only 收集后接完整收集(reset 路径):strings-only 残留的 mark 位 + // 不得使完整收集的 mark DFS 短路漏标,存活对象属性中的串须跨收集存活。 + let mut vm = vm_with_threshold(1); + let obj = plain_object(&mut vm); + let s = vm.new_string_owned("kept".repeat(8)); + let s_ptr = s.as_string_ptr_mut(); + unsafe { + (*obj).set_prop_at(0, s); + } + let obj_session = vm.promote_object(obj); + vm.regs[0] = JsValue::from_js_object(obj_session); + + // 第一轮 strings-only:对象被 mark 置位,修复前该位残留至完整收集。 + vm.maybe_collect_session_strings(); + assert!(vm.gc_state.session_string_ptrs.contains(&s_ptr)); + + // 完整收集(reset 的 maybe_collect 路径):对象搬移、字符串地址稳定。 + let mut gc = std::mem::take(&mut vm.gc_state.session_gc); + gc.collect(&mut vm); + vm.gc_state.session_gc = gc; + + // 存活对象经重写仍可达其串:串未被误释放,内容可读。 + assert!(vm.gc_state.session_string_ptrs.contains(&s_ptr)); + assert_eq!(unsafe { (*s_ptr).as_str() }, "kept".repeat(8)); + assert_eq!(unsafe { (*vm.regs[0].as_js_object_ptr()).get_prop_at(0) }, s); + } + #[test] fn strings_only_collection_byte_accounting_matches_survivors() { let mut vm = vm_with_threshold(1); diff --git a/crates/oxide_vm/tests/gc_runtime_tests.rs b/crates/oxide_vm/tests/gc_runtime_tests.rs index 1233294..8332948 100644 --- a/crates/oxide_vm/tests/gc_runtime_tests.rs +++ b/crates/oxide_vm/tests/gc_runtime_tests.rs @@ -62,6 +62,24 @@ fn reset_preserves_session_strings_after_runtime_gc() { assert_eq!(text, "xy"); } +/// strings-only 收集后 reset 完整收集:global 子树中 session 对象属性里的串 +/// 跨两次收集存活(strings-only 残留 mark 位不得短路完整收集的 mark DFS)。 +#[test] +fn strings_only_then_reset_keeps_global_subtree_strings() { + let mut vm = vm_with_threshold(4096); + let first = compile( + "globalThis.kept = { s: 'he' + 'llo' }; var t; for (var i = 0; i < 500000; i++) { t = 'x' + i; } 0", + ); + vm.run(&first).expect("run1"); + assert!(vm.session_gc_stats().total_collections > 0, "run1 应触发执行期字符串 GC"); + vm.reset(); + + let second = compile("globalThis.kept.s"); + let result = vm.run(&second).expect("run2"); + let text = vm.lookup_str(result).expect("kept.s 应为字符串").to_string(); + assert_eq!(text, "hello"); +} + /// full_reset 清空 session 内存:执行期回收释放过的死串不与完全重置的 /// 整体释放路径重复释放(无双重释放崩溃),重置后引擎可继续运行。 #[test]