Get the latest tech news
Deterministic Simulation Testing in Rust: A Theater of State Machines
How we designed our database for complete control over concurrency, time, randomness, and failure injection.
The confidence this provides in system correctness is transformative: developers can ship complex features at full speed, knowing that DST will catch any subtle regressions before they reach production. However, writing a new codebase from scratch gave us a golden opportunity to claim the responsibility of full control over concurrency, time, randomness, and failure injection. Confident in our decision, we chose to architect our new database as a set of state machines, heavily inspired by the actor-based concurrency model outlined in the sled simulation guide.
Or read this on Hacker News
