Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions changelog.d/8557-holders-scanner-latch-frontier.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
### Fixed

- **GC holders census: pin the two per-thread scanner latches that left `main`
red.** #8545 taught `scripts/gc_runtime_root_holders.py` to parse
`perry_thread_local!` declarations, and #8552 replaced process-global scanner
registration latches with per-thread `Cell<bool>` ones. Each change is correct
in isolation; together the census gained sight of two latches that no verdict
covered (`messaging.rs`'s `GC_SCANNER_REGISTERED`, `native_this_alias.rs`'s
`SCANNER_REGISTERED`), and an unclassified holder fails the gate by design.

Both are idempotence flags for `ensure_*_scanner_registered()` — they store a
boolean, never an address — so they are pinned on the identity-ratcheted
frontier. That placement is forced rather than chosen: they are rule T (the
census cannot see through the type) and the gate rejects a `holders` verdict
for a rule-T declaration as stale.
8 changes: 8 additions & 0 deletions scripts/gc_runtime_root_holders.json
Original file line number Diff line number Diff line change
Expand Up @@ -703,6 +703,10 @@
"file": "crates/perry-runtime/src/map.rs",
"name": "TEST_FORCE_HELPER_GC"
},
{
"file": "crates/perry-runtime/src/messaging.rs",
"name": "GC_SCANNER_REGISTERED"
},
{
"file": "crates/perry-runtime/src/module_require/path_registry.rs",
"name": "MODULE_PATH_REGISTRY",
Expand Down Expand Up @@ -892,6 +896,10 @@
"file": "crates/perry-runtime/src/object/native_this_alias.rs",
"name": "ALIAS_ACTIVE"
},
{
"file": "crates/perry-runtime/src/object/native_this_alias.rs",
"name": "SCANNER_REGISTERED"
},
{
"file": "crates/perry-runtime/src/object/prop_plan.rs",
"name": "READ_PLAN_CACHE"
Expand Down
Loading