
In a world that's moving faster every day, where software verification is
essential to keep up with that pace, building increasingly specialized
harnesses, simulators, and test suites has become imperative.
A few weeks ago, we introduced Caraxes,
our test suite for simulating extreme scenarios and pushing the database to its
limits under all kinds of conditions: node failures, network issues, disk
contention, and more.
The results have been extremely valuable, helping us uncover issues in both
performance and correctness.
It's similar to putting an F1 car through different configurations in a
simulator before those failures happen during a race. It allows us to expose
the system to hundreds of hours of testing and exceptional conditions,
compressed into just a few hours.
This post is the second part. It tells what the dragon found, what we fixed,
and how the database is more robust today.