3 ms·
> Antithesis has created the holy grail for testing distributed systems: a bespoke hypervisor that deterministically simulates an entire set of Docker container
by figassis 3y ago
> Antithesis has created the holy grail for testing distributed systems: a bespoke hypervisor that deterministically simulates an entire set of Docker containers and injects faults, created by the same people who made FoundationDB.
I remember the Antithesis founder was having a hard time explaining what exactly they did.
- mamidon 3y agoI remember that too, the ambiguity for me was how their fuzzing was good enough to explore an arbitrary state space efficiently enough. The deterministic hypervisor is 'simple' enough albeit a pretty heavy engineering lift.
- nlavezzo 3y agoOne of the cool tricks we can use is that since the testing is all fully deterministic, once we find an interesting point in a test run - even if it is “deep” into the run time wise - our system can start many new branches of test runs off of that moment or moments just prior. So it is much more efficient than having to re-do the work to get to that rare interesting moment for each new branch.