Native-frame GC roots via LLVM statepoints, opt-in (#7173, #7174) - #7314

Merged

proggeramlug merged 54 commits into

mainfrom

exp/stackmap-viability

Aug 3, 2026

Commits on Aug 2, 2026

experiment(gc): prototype stack maps and statepoints
Ralph Küpper
committed
3aec3e2
research(gc): measure and reduce native safepoints
Ralph Küpper
committed
c5aead0
research(gc): x29-chain fast walker for native stack-map roots
Ralph Küpper
committed
416e6a6
docs: record x29-chain walker results and the plain-map Register-location finding
Ralph Küpper
committed
2e50534
research(gc): explicit-safepoint collection contract (PERRY_GC_SAFEPOINT_ONLY)
Ralph Küpper
committed
90169ac
docs: explicit-safepoint contract design, enforcement levels, and census bound
Ralph Küpper
committed
72f5980
research(gc): enforce the safepoint contract on the copying-minor path
Ralph Küpper
committed
ec9fcac
fix(gc): heal the safepoint contract through the shared scan override
Ralph Küpper
committed
faefb5d
fix(gc): delete the per-poll trigger drain from the safepoint contract
Ralph Küpper
committed
d038276
docs: record contract gate results and the three bugs the gates caught
Ralph Küpper
committed
f74c0ce
docs: quiet-host matrix results from the reserved M1 mini
Ralph Küpper
committed
1984a39
research(gc): delete the plain-map user mode; elide statepoints at noreturn sites
Ralph Küpper
committed
cda6ec0
docs: post-matrix follow-through - mode deletion, noreturn elision, metadata trajectory
Ralph Küpper
committed
a85c05f
research(gc): compact per-function root metadata (PERRY_COMPACT_ROOTS)
Ralph Küpper
committed
51dfa61
research(gc): delete the compact per-function mode - measured negative result
Ralph Küpper
committed
c98b956
docs: real-app remeasurement - metadata 3.83MB (below model floor), text recovery 150KB not 439KB, shadow is the measured three-axis optimum today
Ralph Küpper
committed
5fa1a06
docs: shadow-frame elision census - 7.7% of framed functions, 4.0% of shadow traffic; measured-and-not-pursued
Ralph Küpper
committed
03d0763
research(gc): second AllocNoReentry audit round - four admitted, two excluded with transitive-reentry evidence
Ralph Küpper
committed
b905b70
docs: second audit round measurements - batch 442->172 (-61%), real-app metadata 3.76MB
Ralph Küpper
committed
db3d0a6
research(gc): first RS4GC pipeline slice (PERRY_RS4GC, #7174) - 5/8 probes green
Ralph Küpper
committed
18f9489
research(gc): RS4GC slice fully gated - 16/16 with mem2reg-only placement
Ralph Küpper
committed
41978ad
docs: RS4GC real-app measurement - text 248KB below shadow, metadata within 3.1% of the audited bridge, smallest native arm
Ralph Küpper
committed
84e95eb
docs: RS4GC runtime and RSS cells - fastest arm measured, RSS flat; characterization table complete
Ralph Küpper
committed
9e7acb0
docs: measure the repsel-erasure projection - slope is ZERO for landed promotion classes
Ralph Küpper
committed
ecaafa9
research(gc): ELF/Linux stack-map scanner port (#7173) - compile-verified, runtime gates pending
Ralph Küpper
committed
1811988
fix(gc): SP-relative fast-chain reconstruction is Darwin-only
Ralph Küpper
committed
2cf567b
docs: Linux verification (8/8 both arches) and Pi 5 small-hardware timing - shadow +14.7% ahead; default-flip needs a Pi-class gate
Ralph Küpper
committed
aa6c037
docs: aarch64-Linux frame constant proven non-existent - FP offset varies per function; unwinder is the permanent Linux path
Ralph Küpper
committed
44ae2be
ci(gc): native-root probe matrix on Linux (#7173)
Ralph Küpper
committed
f5157f7
docs: decompose the Pi +14.7% - it is DWARF CFI parsing in the unwinder, not the statepoint model
Ralph Küpper
committed
96e42bc
docs: real-app scale finding - statepoint IR doubles and codegen-unit splitting does not scale
Ralph Küpper
committed
5ff7d7e
fix(gc): mark inline asm as gc-leaf-function under RS4GC (#7174)
Ralph Küpper
committed
6dad91a
fix(gc): RS4GC leaf-marks inline asm even in rootless functions (#7174)
Ralph Küpper
committed
9ddf92b
perf(codegen): emit each global into the units that reference it, not all of them
Ralph Küpper
committed
73824c6
style: cargo fmt
Ralph Küpper
committed
b6f024f
perf(gc): decode the prologue to recover SP, re-enabling the fast walker on Linux (#7173)
Ralph Küpper
committed
ea980ad
fix(codegen): close global-to-global references transitively when splitting units
Ralph Küpper
committed
f7940a2
perf(codegen): compile codegen units concurrently, bounded
Ralph Küpper
committed
c054599
perf(codegen): scope each unit's declarations to what it references
Ralph Küpper
committed
6f9939d
docs: Pi small-hardware gap closed and inverted (+14.72% -> -1.74%), with honest attribution
Ralph Küpper
committed
65e6430

Commits on Aug 3, 2026

gc: compact the stack map, closing the statepoint file-size gap
Ralph Küpper
committed
50c5229
gc: ship the compact map, measured -131 KB against the shadow stack
Ralph Küpper
committed
e768978
gc: fail loudly on an undecodable GC map, and skip compaction off Mach-O/ELF
Ralph Küpper
committed
d86d908
gc: refuse to re-encode a stack map whose roots use a foreign register base
Ralph Küpper
committed
50408a9
Merge origin/main: invoke-EH lands, so statepoints cover every function
Ralph Küpper
committed
96b20b8
gc: probe live roots across a throw, and record the RS4GC/landingpad gap
Ralph Küpper
committed
ef3f36c
gc: RS4GC accepts try functions (landingpad token), and fix a merge regression
Ralph Küpper
committed
f89fa1d
docs: correct the size claim — statepoints tie, not win, after the main merge
Ralph Küpper
committed
6f134d2
gc: unbreak the Linux build, and point the Linux gate at the compact map
Ralph Küpper
committed
e7a363c
gc: delete the unsound plain stack map — every root path now fails closed
Ralph Küpper
committed
a10e6c2
Merge remote-tracking branch 'origin/main' into exp/stackmap-viability
Ralph Küpper
committed
0972ed4
gc: retain the compact map on ELF, and make the gate runnable on main
Ralph Küpper
committed
76fda7f
docs: key the changelog fragment to the actual PR number (#7314)
Ralph Küpper
committed
ba879e0
gc: address CodeRabbit review — two hangs/holes, one real format gap
Ralph Küpper
committed
afd3ad3