Reaching Zen in Your Coordination Layer Distributed systems are hard and unfortunately often less perfect than we would hope. This talk shows a concrete example: Elasticsearch's cluster coordination system, called Zen Discovery, got a rewrite in version 7.0. Starting from a formal model, the coordination layer was rebuilt to address multiple issues discovered over the [...]