Skip to content

Blackhole resume image: sharpen the roll-back gate, latch on bridge walks, and close the two decline families #1064

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
youknowone merged 12 commits into from
Aug 6, 2026
Merged

Blackhole resume image: sharpen the roll-back gate, latch on bridge walks, and close the two decline families #1064

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
7c2ba25
jit, check.py: subtract journal-recoverable effects from the rolled-b…
youknowone Aug 5, 2026
7a0810e
jit, check.py: latch the vable-escape blackhole image on a bridge wal…
youknowone Aug 5, 2026
60458c6
jit: join the rollback-failure diag bump onto one line
youknowone Aug 5, 2026
bbff495
jit: label every decline exit of the blackhole latch and tag its call…
youknowone Aug 6, 2026
5009e20
jit: mark every canonical sub-jitcode descent as a transparent helper
youknowone Aug 6, 2026
eb0cc0d
jit: a same-py_pc boundary is not an out-of-order block transition
youknowone Aug 6, 2026
e3a078e
jit: stop tagging blackhole-image successes as declines
youknowone Aug 6, 2026
39b64c4
jit: end the vstack reorder region before the boundary that leaves it
youknowone Aug 6, 2026
a160e18
jit: model the exception-table handler edge as a CFG successor
youknowone Aug 6, 2026
4f79cda
jit: read the exception handler's py coordinate from co_exceptiontable
youknowone Aug 6, 2026
4297c96
jit: run prepare_trace_segmenting's third call on the walker path
youknowone Aug 6, 2026
4d07c85
jit: state and pin what bounds a transparent helper descent
youknowone Aug 6, 2026
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
3 changes: 3 additions & 0 deletions pyre/bench/fannkuch.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=22
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=5049
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fannkuch.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=22
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=5049
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fannkuch.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=22
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=5049
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_loop.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=189
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_loop.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=189
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_loop.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=189
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_recursive.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=3
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=406
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_recursive.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=3
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=406
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/fib_recursive.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=3
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=406
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/float_loop.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/float_loop.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/float_loop.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=1
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/inline_helper.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/inline_helper.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/inline_helper.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=1
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/int_loop.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/int_loop.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/int_loop.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=1
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nbody.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=5
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1547
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nbody.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=5
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1547
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nbody.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=5
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=1547
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nested_loop.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=201
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nested_loop.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=201
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/nested_loop.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=201
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/raise_catch_loop.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=201
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/raise_catch_loop.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=201
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/raise_catch_loop.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=1
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=201
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/spectral_norm.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=2
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=520
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/spectral_norm.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=2
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=520
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/spectral_norm.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=2
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
field_pos_attached_misplaced=0
field_pos_spec_misplaced=0
guard_failures=520
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/synth/blackhole_inlined_callee_local_after_escape.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=5
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=5
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/synth/blackhole_inlined_callee_local_after_escape.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=5
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=5
Expand Down
3 changes: 3 additions & 0 deletions pyre/bench/synth/blackhole_inlined_callee_local_after_escape.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,10 @@ bridges_compiled=0
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_blackhole_adopted_multi_frame=0
fbw_blackhole_adopted_single_frame=5
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=1
internal_compile_panics=0
loops_aborted=5
Expand Down
1 change: 1 addition & 0 deletions pyre/bench/synth/ca_bridge_multiframe_resume_double_call.cranelift.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=2592
internal_compile_panics=0
loops_aborted=0
Expand Down
1 change: 1 addition & 0 deletions pyre/bench/synth/ca_bridge_multiframe_resume_double_call.dynasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=2592
internal_compile_panics=0
loops_aborted=0
Expand Down
3 changes: 2 additions & 1 deletion pyre/bench/synth/ca_bridge_multiframe_resume_double_call.wasm.jitstats
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@ bridges_compiled=16
descr_set_absent=0
descr_set_ambiguous=0
descr_set_stale_absent=0
fbw_rolled_back_with_effects=1
fbw_rolled_back_with_effects=0
fbw_store_journal_rollback_failed=0
guard_failures=2581
internal_compile_panics=0
loops_aborted=1
Expand Down
Loading
Loading