docs(tests): correct ownership and reader failure explanations
This commit is contained in:
@@ -16,7 +16,7 @@ impl ObjectPayload for Proxy {
|
||||
fn kind_name(&self) -> &'static str {
|
||||
"proxy"
|
||||
}
|
||||
/// Heap 分配/替换时记录一条拥有边,确保被代理存储或自引用 Cell 存活。
|
||||
/// Heap 分配/替换 Proxy 时记录后端存储边,释放门面或改指后端时归还该边。
|
||||
fn trace(&self, visit: &mut dyn FnMut(ObjectRef)) {
|
||||
visit(self.0);
|
||||
}
|
||||
@@ -107,7 +107,7 @@ fn cyclic_and_foreign_attribute_storage_fail_without_mutating_fields() {
|
||||
// 异堆即使槽号相同也必须报 ForeignHandle,不当成普通缺字段。
|
||||
let other = ObjectStore::new().unwrap();
|
||||
assert_eq!(other.attribute_path(proxy), Err(VmError::ForeignHandle));
|
||||
// 归还后端外部根后仍由 Proxy 的载荷边维持存活。
|
||||
// Proxy 已改为自引用,不再持有 storage;归还其唯一外部根即可回收后端。
|
||||
store.release(storage).unwrap();
|
||||
store.release(proxy).unwrap();
|
||||
// 外部根释放后只有 Proxy 自环残留,显式回收恰好一个对象。
|
||||
@@ -130,7 +130,7 @@ impl ObjectPayload for ReflectiveType {
|
||||
fn allows_attributes(&self) -> bool {
|
||||
true
|
||||
}
|
||||
/// Heap 分配/替换时记录一条拥有边,确保被代理存储或自引用 Cell 存活。
|
||||
/// Heap 分配反射载荷时记录 self_cell 强边,与稍后 Cell 反向持边构成测试环。
|
||||
fn trace(&self, visit: &mut dyn FnMut(ObjectRef)) {
|
||||
visit(self.0);
|
||||
}
|
||||
|
||||
@@ -169,7 +169,7 @@ fn read_only_scopes_block_existing_container_and_type_writes_but_allow_fresh_res
|
||||
store.set_attr(fresh, "value", objects::Value::Nil).unwrap();
|
||||
// Record 不原地赋值,只读引用重绑定可以返回 false 而不修改旧对象。
|
||||
assert!(!store.assign_from(record, fresh).unwrap());
|
||||
// 嵌套层快照/区间只影响自身,结束必须按 LIFO。
|
||||
// 内层重新快照所有存活对象,fresh 此时也受保护;结束必须按 LIFO。
|
||||
let nested = store.begin_read_only();
|
||||
assert!(
|
||||
store
|
||||
@@ -206,12 +206,12 @@ fn read_tracking_regions_repeat_shared_reads_and_preserve_enclosing_dependencies
|
||||
// 第二对象仅在内层首次读取,外层集合也必须包含它。
|
||||
let second = store.new_object().unwrap();
|
||||
assert!(store.begin_read_tracking().is_err());
|
||||
// 进入时快照已有对象,之后分配的 fresh 不在本层保护集合。
|
||||
// 进入时把 first、second 列为已有对象,后面的读取才会成为本层依赖。
|
||||
let scope = store.begin_read_only();
|
||||
// 外层区间开始后,其内所有读取都要包含在最终结果中。
|
||||
let outer = store.begin_read_tracking().unwrap();
|
||||
store.object(first).unwrap();
|
||||
// 嵌套层快照/区间只影响自身,结束必须按 LIFO。
|
||||
// 子区间嵌套不另建对象保护快照;其读取同时传播给 outer,结束仍须按 LIFO。
|
||||
let nested = store.begin_read_tracking().unwrap();
|
||||
store.object(first).unwrap();
|
||||
store.object(second).unwrap();
|
||||
@@ -232,8 +232,8 @@ fn read_tracking_regions_repeat_shared_reads_and_preserve_enclosing_dependencies
|
||||
// 整个调用结束后未完成区间已丢弃,不能再拿旧令牌结束。
|
||||
assert!(store.end_read_tracking(1).is_err());
|
||||
assert!(!store.is_read_only());
|
||||
// 移除一函数仅减一条代码边,另一函数仍保留代码和常量。
|
||||
// first 没有内部拥有边,归还唯一外部根后可立即回收;借用读取记录不会保活它。
|
||||
store.release(first).unwrap();
|
||||
// 最后一个函数释放后,代码/全局/常量无根链一起回收。
|
||||
// second 同样独立归还唯一根;本场景没有函数、代码对象或对象互引环。
|
||||
store.release(second).unwrap();
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user