Jepsen test

Есть интересные ребята, которые сделали утилиту тестирующую гарантии в БД и брокерах сообщений, в докладе недавнем в гараже про кворумные очереди я использовал их тестирование rabbitmq:
https://aphyr.com/posts/315-jepsen-rabbitmq

Потом я глянул там интересный доклад, где они рассказывают о том как устроен jepsen и каким образом проводится тестирование + разносят немного опенсорсных либ, включая то что MySQL не держит repeatable read, просто потому что...
https://www.youtube.com/watch?v=v8cG2hh10SQ

В общем интересные штуки, если хотите погрузиться в проблемы распределенных систем и узнать тонкости и ньюансы работы с отказоустойчивостью