Jepsen and Capela, Inc worked together to test early builds of Capela, an unreleased distributed programming environment. Our analysis found twenty-two issues, including four problems in Capela’s programming language semantics, fourteen crashes or non-fatal panics, severe performance degradation after roughly a minute of operation, and three safety issues: partitions ignoring their initial values, sporadically vanishing, and losing committed writes. Capela fixed two of the language issues—the others remain under investigation.

Kaivalya Apte interviewed Kyle Kingsbury for The GeekNarrator Podcast. We talk about common bugs in distributed systems, type I vs type II errors, ensuring correctness in Jepsen itself, LLMs, experimental techniques, formal verification, and more.

Jepsen’s 17th conference talk, “ACID Jazz”, is now available on YouTube. This talk was presented at Antithesis’ BugBash conference, in Washington, DC, and covers research on MySQL 8.0.34, Datomic Pro 1.0.7075, and Bufstream 0.1.0.

Antithesis and Jepsen are proud to present a glossary for distributed systems reliability. We hope this will be helpful for engineers, testers, and students!

TigerBeetle is a distributed OLTP database for financial transactions. We worked with TigerBeetle to test versions 0.16.11 through 0.16.30, and found seven crashes, elevated latencies during single-node failures, and requests which were retried forever. We found only two safety issues: missing results for queries with multiple predicates, and incorrect timestamps in a debugging API. As of version 0.16.45, TigerBeetle had addressed every issue, except for indefinite retries.