Antithesis нашёл баги в КАЖДОЙ реализации Raft, которую тестировал

Команда Antithesis (включая исследователей из CMU) прогнала автоматическое тестирование по множеству популярных Raft-реализаций — включая HashiCorp и Aeron. Баги нашлись в каждой.

Формально верифицированный протокол ≠ корректная реализация. Отчёт подробный и жёсткий. Если вы пишете или используете consensus-системы — обязательно прочитайте. Классический пример, почему «мы прочитали paper» недостаточно.

🔗 https://antithesis.com/blog/2026/finding-bugs-in-raft-implementations/

#DistributedSystems #Raft #Consensus #Testing #Reliability