TST-11

Concurrency Race Harness

Force interleavings with barriers and fault injection to reproduce races in reservations, counters, and caches.

• Status: planned
• Proof: code
• Tier: focused-exhibit
• Roles: ai-engineer, backend-engineer, full-stack-engineer

← All projects