feat: size-routing fix for phase-crossing allocations#8

Closed

Barnadrot wants to merge 21 commits into

mainfrom

feat/size-routing

Commits on May 6, 2026

feat: size-routing fix for phase-crossing allocations

Barnadrot
and
claude
committed
chore: remove findings.tsv (audit trail lives in PR #8 body)

Barnadrot
and
claude
committed
style: cargo fmt on test files

Barnadrot
and
claude
committed
test(exp5): scenario 5 — realloc across phase boundary corrupts retained Vec

Barnadrot
and
claude
committed
test(exp5): scenario 3 — panic without end_phase leaves arena active

Barnadrot
and
claude
committed
test(exp5): scenario 2 — per-worker deque buffer growth across phase

Barnadrot
and
claude
committed
test(exp5): scenario 6 — concurrent begin_phase/end_phase across threads

Barnadrot
and
claude
committed
test(exp5): scenario 1 — crossbeam-epoch deferred garbage (empirical)

Barnadrot
and
claude
committed
test(exp5): scenario 4 — thread pool build during active phase

Barnadrot
and
claude
committed
test(exp5): bonus — Arc<T> refcount corrupted across phase boundary

Barnadrot
and
claude
committed
test(exp5): bonus — HashMap retained across phase corrupted

Barnadrot
and
claude
committed
test(exp5): bonus — Box<dyn Trait> data corrupted, vtable preserved

Barnadrot
and
claude
committed
feat: PhaseGuard RAII for panic-safe phase boundaries (fixes F17)

Barnadrot
and
claude
committed
docs: warn about F16-family retention hazards in begin_phase

Barnadrot
and
claude
committed
test: move F16-family contract-violation tests off feat/size-routing

Barnadrot
and
claude
committed
fix: sticky-System routing in realloc

Barnadrot
and
claude
committed
docs: rewrite module-level intro for the two-allocator model

Barnadrot
and
claude
committed
docs(README): usage section covers two-allocator model + env vars

Barnadrot
and
claude
committed
fix(test): cross_thread_begin_phase platform-aware assertion

Barnadrot
and
claude
committed
fix(test): cap recursion depth at 256 to fit macOS debug stack

Barnadrot
and
claude
committed
fix(test): serialize test_phase_guard tests via file-local mutex

Barnadrot
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: size-routing fix for phase-crossing allocations#8

feat: size-routing fix for phase-crossing allocations#8
Barnadrot wants to merge 21 commits into
mainfrom
feat/size-routing

Commits on May 6, 2026

feat: size-routing fix for phase-crossing allocations

chore: remove findings.tsv (audit trail lives in PR #8 body)

style: cargo fmt on test files

test(exp5): scenario 5 — realloc across phase boundary corrupts retained Vec

test(exp5): scenario 3 — panic without end_phase leaves arena active

test(exp5): scenario 2 — per-worker deque buffer growth across phase

test(exp5): scenario 6 — concurrent begin_phase/end_phase across threads

test(exp5): scenario 1 — crossbeam-epoch deferred garbage (empirical)

test(exp5): scenario 4 — thread pool build during active phase

test(exp5): bonus — Arc<T> refcount corrupted across phase boundary

test(exp5): bonus — HashMap retained across phase corrupted

test(exp5): bonus — Box<dyn Trait> data corrupted, vtable preserved

feat: PhaseGuard RAII for panic-safe phase boundaries (fixes F17)

docs: warn about F16-family retention hazards in begin_phase

test: move F16-family contract-violation tests off feat/size-routing

fix: sticky-System routing in realloc

docs: rewrite module-level intro for the two-allocator model

docs(README): usage section covers two-allocator model + env vars

fix(test): cross_thread_begin_phase platform-aware assertion

fix(test): cap recursion depth at 256 to fit macOS debug stack

fix(test): serialize test_phase_guard tests via file-local mutex