[WIP] Systematic testing: Test the full KV + History + Consensus stack, with deterministic and randomly-explored interleavings - #8238

Draft

Eddy Ashton (eddyashton) wants to merge 12 commits into

mainfrom

agents/real-stack-concurrency-fuzz-testing-main

Commits on Sep 3, 2026

Add real-stack concurrency test suite for KV/Raft/History
Eddy Ashton (eddyashton)
committed
734011f
Add deterministic model-checked scheduler with labeled locks; reorganize into src/commit_concurrency

Eddy Ashton (eddyashton)
and
Copilot
committed
5150f96
Make every lock/unlock a scheduler decision point, not just contended ones

Eddy Ashton (eddyashton)
and
Copilot
committed
4b8a0ae
Fix this bug tag
Eddy Ashton (eddyashton)
committed
fd0eebb
TODO for useful state exploration
Eddy Ashton (eddyashton)
committed
5c270f7
Give ccf::pal::unique_lock real Clang thread-safety annotations

Eddy Ashton (eddyashton)
and
Copilot
committed
cb3bf88
Add a Requested event, rewrite describe() as an event stream, consolidate per-actor state

Eddy Ashton (eddyashton)
and
Copilot
committed
c39202e
Reframe NOTE_REJECTED_COMMIT_STALL comments now that #8242 fixes it upstream

Eddy Ashton (eddyashton)
and
Copilot
committed
401ea18
Rename model_checked/ to scheduled/, move remaining shared files into it

Eddy Ashton (eddyashton)
and
Copilot
committed
1c93d34
Retire CCF_STATIC_LIBRARY_BUILD; recompile ccf_kv/ccf_tasks sources directly

Eddy Ashton (eddyashton)
and
Copilot
committed
2c92d54
Replace SchedulerMutex type-substitution with link-time pthread_mutex interception

Eddy Ashton (eddyashton)
and
Copilot
committed
d305358

Commits on Sep 4, 2026

Merge remote-tracking branch 'origin/main' into agents/real-stack-concurrency-fuzz-testing-main
Eddy Ashton (eddyashton)
committed
344e89c