On the Hunt for Etcd Data Inconsistencies

This presentation by Marek Siarkowicz of Google delves into the challenges of detecting data inconsistencies in distributed systems like etcd. It highlights how conventional testing methods were insufficient for etcd, leading to the discovery of critical bugs. The talk then details the development of a new model-based testing framework that retroactively detected past issues and uncovered new ones, focusing on ensuring correctness under various conditions and preventing future data inconsistency bugs.