Give ParparVM real weak and soft references - #5732

Merged

shai-almog merged 30 commits into

masterfrom

parparvm-weak-references

Sep 9, 2026

Commits on Sep 8, 2026

Give ParparVM real weak and soft references

shai-almog
and
claude
committed
24517c5
Make reference field access atomic, and decide aliases together

shai-almog
and
claude
committed
8a28f0e
Release soft referents on allocation failure, and stop losing touches

shai-almog
and
claude
committed
b5f53d8
Retain a referent discovery could not record, and load it once

shai-almog
and
claude
committed
d012f91
Process references to a fixpoint, and register the get() barrier

shai-almog
and
claude
committed
67b1bdf
Let the emergency clear soft referents without the discovery list

shai-almog
and
claude
committed
4cc739b
Hold the SATB registration across the referent load

shai-almog
and
claude
committed
67f8b86
Finish the referent's atomic accesses, and stop clearing after a dropped log entry

shai-almog
and
claude
committed
b343356
Count take-side SATB losses, and stop clearing when SATB is compiled out

shai-almog
and
claude
committed
aa8cdaf
Stop the verifier being blind to referents, and close a heap overflow

shai-almog
and
claude
committed
99504d0
Retain discovered referents when a dropped log abandons the clear pass

shai-almog
and
claude
committed
be618fc
Measure what the Reference.get() load barrier actually costs

shai-almog
and
claude
committed
8bffa85
Close the remaining reference-clearing races, and fix the no-BiBOP build

shai-almog
and
claude
committed
00c02d4
Define the GC epoch mirror unconditionally instead of working around it

shai-almog
and
claude
committed
a12f741
Serialize emergency recovery slots, and stop the epoch mirror going stale

shai-almog
and
claude
committed
c27e1e7
Retain rather than clear on the capped SATB termination path

shai-almog
and
claude
committed
d4bbc9b
Recover references when the final SATB take loses its batch

shai-almog
and
claude
committed
653713d
Re-arm the SATB barrier before tracing recovered referents

shai-almog
and
claude
committed
ffb8d6f
Track emergency slots when deciding the retain fixpoint

shai-almog
and
claude
committed
ba514a7
Consume the touch stamp when the emergency path retains an unrecorded reference

shai-almog
and
claude
committed
79a2b66
Export SoftReference to the supported API, and retain under the barrier at the cap

shai-almog
and
claude
committed
9dccb84
Resolve unrecorded referents before reading them, and stop self-test3 going stale

shai-almog
and
claude
committed
3065b6a
Delete the duplicated retain walk, and make the self-test rebuild fail loudly

shai-almog
and
claude
committed
a64e25a
Let drop recovery reclaim what the emergency condemned, and delete the last copy

shai-almog
and
claude
committed
a41b4a4
Quiesce before reading touch stamps in drop recovery, and spare live referents

shai-almog
and
claude
committed
4c0292a
Guard the recovery's header read, and record what it clears

shai-almog
and
claude
committed
a11dae2
Do no reference work in a program that has no references

shai-almog
and
claude
committed
6d3cf63
Nursery promotion, two silent gates, and a baseline the rename broke

shai-almog
and
claude
committed
1c8ab03
The emergency reclaim retained everything it condemned

shai-almog
and
claude
committed
7385cc9
Record why the porting layer still hands back a WeakReference

shai-almog
and
claude
committed
8d59483

Navigation Menu

Uh oh!

Give ParparVM real weak and soft references - #5732

Give ParparVM real weak and soft references#5732
shai-almog merged 30 commits into
masterfrom
parparvm-weak-references

Commits on Sep 8, 2026

Give ParparVM real weak and soft references

Make reference field access atomic, and decide aliases together

Release soft referents on allocation failure, and stop losing touches

Retain a referent discovery could not record, and load it once

Process references to a fixpoint, and register the get() barrier

Let the emergency clear soft referents without the discovery list

Hold the SATB registration across the referent load

Finish the referent's atomic accesses, and stop clearing after a dropped log entry

Count take-side SATB losses, and stop clearing when SATB is compiled out

Stop the verifier being blind to referents, and close a heap overflow

Retain discovered referents when a dropped log abandons the clear pass

Measure what the Reference.get() load barrier actually costs

Close the remaining reference-clearing races, and fix the no-BiBOP build

Define the GC epoch mirror unconditionally instead of working around it

Serialize emergency recovery slots, and stop the epoch mirror going stale

Retain rather than clear on the capped SATB termination path

Recover references when the final SATB take loses its batch

Re-arm the SATB barrier before tracing recovered referents

Track emergency slots when deciding the retain fixpoint

Consume the touch stamp when the emergency path retains an unrecorded reference

Export SoftReference to the supported API, and retain under the barrier at the cap

Resolve unrecorded referents before reading them, and stop self-test3 going stale

Delete the duplicated retain walk, and make the self-test rebuild fail loudly

Let drop recovery reclaim what the emergency condemned, and delete the last copy

Quiesce before reading touch stamps in drop recovery, and spare live referents

Guard the recovery's header read, and record what it clears

Do no reference work in a program that has no references

Nursery promotion, two silent gates, and a baseline the rename broke

The emergency reclaim retained everything it condemned

Record why the porting layer still hands back a WeakReference