Parallel scheduler & selection policy

43 memories · 24 remembered, 19 forgotten (56% kept).

Label: Written by llm:claude-sonnet-5-5 on 2026-10-15T04:36:16Z. Change it with angr-memories topics label 26 "<label>".
Key prefixes: invariant 10 · parallel 5 · avoid 3 · ds 3
Nearest the centre: selection-policy-seam-limits, decision-v1-single-threaded, parallel-drain-depth-ground-truth, invariant-selection-order-determinism, snapshot-resume-spread-is-dump-side, faorh-cadet-parallel-serde-thrash-root-cause

Members

avoid-per-crossing-cost-without-warmup-split
avoid-uniform-page-policy-rust-sync
claripy-depth-guard-debug-stack-calibration
coverage-guided-policy-m9fpp
directed-policy-a32jl4
ds-directed-search-greedy-trap
ds-instr-reconvergence-counters
invariant-directed-beam-partial-selection
invariant-offload-serde-budget-gate
invariant-offthread-dealloc-confined-to-native-workers
invariant-parallel-terminal-summaries
invariant-perf-warmup-split-gate
invariant-scheduler-serde-budget
invariant-selection-order-determinism
invariant-solver-ctx-owner-thread-teardown
invariant-summarized-disposition-splits
parallel-cliff-was-bimodal-not-superlinear
parallel-drain-depth-ground-truth
parallel-snapshot-load-sensitivity
pyo3-unsendable-drop-content-independent
selection-policy-seam-limits
serde-json-unbounded-depth-for-rustbv
snapshot-resume-spread-is-dump-side
warm-process-exploration-divergence
audit-pyo3-send-sync-2026-06-01
avoid-vacuous-offload-test-serde-budget
decision-v1-single-threaded
deep-loop-harness-recipe
ds-spike3-nogo-decision
faorh-cadet-collapse-is-intra-wave
faorh-cadet-parallel-serde-thrash-root-cause
find-directed-policy-lnzcu
invariant-z3-thread-local-blocks-state-migration
loop-head-policy-caplg
parallel-stats-aggregation
parallel-worker-stack-overflow-root-cause
reconvergence-collision-report-a32jl3
scheduler-policy-propagation
scheduler-selection-policy-seam
selection-policy-matrix-verdict-0r5y3
selection-policy-seam
smxp-slice-1-dfs-length-limiter-recipe
xel4-bfs-vs-dfs-spike-result