3 ms·
Joran from the TigerBeetle team here! TigerBeetle uses Deterministic Simulation Testing to test and keep testing these paths. Fuzzing and static allocation are
by _vvhw 4y ago
Joran from the TigerBeetle team here!
TigerBeetle uses Deterministic Simulation Testing to test and keep testing these paths. Fuzzing and static allocation are force multipliers when applied together, because you can now flush out leaks and deadlocks in testing, rather than letting these spillover into production.
Without static allocation, it's a little harder to find leaks in testing, because the limits that would define a leak are not explicit.
- polskibus 4y agoCan you provide some pointers regarding the simulation testing for more information?
- _vvhw 4y agoSure! Here's an overview with references to the simulator source, and links to resources from FoundationDB and Dropbox: https://github.com/tigerbeetledb/tigerbeetle/blob/main/docs/HACKING.md#simulation-tests https://github.com/tigerbeetledb/tigerbeetle/blob/main/docs/... We also have a $20k bounty that you can take part in, where you can run the simulator yourself.