ScyllaDB and Jepsen Tests

The Jepsen framework is a tool for testing databases, combining fault injection, generative testing, and sophisticated safety checkers to find concurrency bugs and availability issues. We worked with the ScyllaDB team to identify multiple safety issues in ScyllaDB's lightweight transactions (LWT) layer, including split-brain behavior and write loss in healthy clusters. In this talk, we'll discuss testing techniques more generally, and what we found (and what was fixed!) in ScyllaDB.