"We might get outputs that are arbitrarily wrong, up to and including breaking program invariants"
"The outputs might never converge to correctness"
New release! Maelstrom 0.2.0 is a workbench for learning distributed systems by writing your own, in any language. Comes with a six-chapter tutorial in writing your own toy echo, gossip, CRDT, Datomic, and Raft systems. Powered by Jepsen and Elle! https://github.com/jepsen-io/maelstrom
New Jepsen release: 0.2.3. Super small, just a few bugfixes and performance improvements. Enjoy! https://github.com/jepsen-io/jepsen/releases/tag/0.2.3
Howdy guys, gals, and non-binary pals! Jepsen 0.2.2 is now available, with a slew of minor bugfixes, performance improvements, and new utility functions. Look out for a change to multi-fault nemesis scheduling: https://github.com/jepsen-io/jepsen/releases/tag/0.2.2
Giving a talk next week with the ScyllaDB folks, talking about Jepsen, transactional analysis, and all the cool bugs we found in Scylla. https://go.scylladb.com/wbn-jepsen-test-registration.html?utm_channel=Webinar&utm_so[%E2%80%A6]Partner&utm_medium=KK&utm_campaign=WBN-2021-01-28-Jepsen-Test
"Cobra: Making Transactional Key-Value Stores Verifiably Serializable"
Given black box trace of KV transactions determine if observed behaviors are serializable at scale (10K transactions)
Can you really say data loss is a *myth* if it's still the default behavior? https://developer.mongodb.com/article/everything-you-know-is-wrong#myth-7--mongodb-loses-data
Can you believe it?! We're adding ONE more speaker to #YOW20 and it's @aphyr!
We trust databases to store our data, but should we? Learn the basics of distributed systems testing & advice for testing your own systems in his keynote - Jepsen 13.
Happy to announce Jepsen 0.2.1 is now available: https://github.com/jepsen-io/jepsen/releases/tag/0.2.1
Jepsen's AWS Marketplace product (launches a whole Jepsen cluster in a few clicks) has been updated for Debian Buster, and now includes additional dependencies you'll want for running tests based on Elle. Happy testing!
Put a bunch of work into the Jepsen docker-compose setup, and I'm pleased to report it now gives you a full Debian Buster cluster with keys and dependencies out of the box--should be good for running the latest tests. Hopefully this helps!
Do you use Cassandra or another CQL-compatible database? I'd like to hear your perspective on adding things to a CQL set: https://docs.google.com/forms/d/e/1FAIpQLSc5EqGjHA6HwXcvm5Om0jfNjaiKybHLjeppB32K502Amdsa8g/viewform?usp=sf_link
A bug in Jepsen: from versions 0.1.2 to 0.2.0, the counter checker docstring incorrectly claimed to handle decrements, which could cause valid histories to be reported as failures. This did not affect official Jepsen reports, but other counter tests using decrements may have been affected: https://groups.google.com/u/1/a/jepsen.io/g/announce/c/GsQ6e2e-Mcs