November 18, 2019 | San Diego, California
View More Details & Register Here
Back To Schedule
Monday, November 18 • 1:19pm - 1:26pm
Unlucky Simulation - Andrew Noyes, Snowflake Computing

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Foundationdb's correctness testing involves using a fair PRNG in a simulation to make decisions that the application cannot control such as when messages get delivered, when machines reboot, and when processes crash. The idea is that with a sufficiently large number of simulations we achieve adequate code coverage. However, most of these simulations do not actually increase code coverage.

In this talk, we evaluate the use of a coverage-guided fuzzer as a "random" number generator for simulation and compare the compute resources required for catching rare bugs.


Andrew Noyes

Software Engineer, Snowflake Computing
Andrew is a software engineer working at Snowflake Computing on FoundationDB development.

Monday November 18, 2019 1:19pm - 1:26pm PST
Grand Ballroom 5
  Lightning Talk
  • Session Slides Included Yes