Repository navigation

gc: a stack-map record must belong to the function the ip is in (#7314 follow-up) - #7319

Merged

proggeramlug merged 56 commits into

mainfrom

gc/7314-followup-cross-function-match

Aug 3, 2026

Merged

gc: a stack-map record must belong to the function the ip is in (#7314 follow-up)#7319
proggeramlug merged 56 commits into
mainfrom
gc/7314-followup-cross-function-match

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
- Merge remote-tracking branch 'origin/main' into exp/stackmap-viability
  Ralph Küpper
  committed
  055d414
- gc: a stack-map record must belong to the function the ip is in
  Ralph Küpper
  committed
  48c553a

Commits

Commits on Aug 2, 2026

Commits on Aug 3, 2026