Breaking Things Before Production Does

Anatomy of an impossible bug: Unleashing deterministic simulation and surviving metastable failures. Talk 1: Pick your Circle: Suffering for Your Sins at Machine Speed So you put a proxy in front of MySQL or Postgres, and it uses CDC to incrementally maintain partial result sets so you can use it as a cache without application code changes. What could go wrong? Luckily, SQL and caching are both simple problem domains with straightforward semantics, so this is easy to test and verify. Just kidding: testing SQL is hell, and in this talk Dante will guide us through the 9 circles of the database inferno, focusing on 2 real Readyset bugs found via absurdly overengineered testing methods. Yes, there will be multiple coinciding race windows. Yes, there will be deterministic simulation testing (Antithesis), a Prolog-inspired query generator (Dante), cache invalidation, and off-by-one errors. And yes, the Ninth Circle, reserved for those guilty of treachery and betrayal, is rife with distributed consensus protocols. Talk 2: Analysis for better resilience Distributed systems have complicated…