faultline 0.1.1 сократил переключение лидера etcd/raft с 1,25 с до 343 мс

Инструмент детерминированного симуляционного тестирования faultline 0.1.1 для Go получил харнесс для etcd/raft v3.7.0. С ElectionTick 3 вместо 10 переключение лидера при крахе сократилось с 1,25 с до 343 мс, безопасность проверена на 500 сидах, а тест на 200 сидов выявил медленный сценарий с 1,78 с.

• ElectionTick снижен с 10 до 3 при тике 100 мс
• 500 сидов с разрывами, крахами и дрейфом часов не нарушили безопасность raft
• Тест на 200 сидов упал на 45-м: новый лидер через 1,78 с
• Повтор прогона по сиду воспроизводит события точно по виртуальному времени