"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson
Strange Loop ConferenceYouTube ↗
Further reading 1
Caption notes
FoundationDB makes randomness an input to a deterministic simulation. A failing schedule can be replayed, and separate checks look for nondeterminism inside the simulator itself.
Video or transcript source ↗Original passages · 2
the seed of that random number generator becomes part of the input of the programif those don't match exactly we know there was a determinism failure