State Machine Safety

EN: State Machine Safety

Свойство безопасности Raft (Figure 3 в статье о Raft): если сервер применил запись лога с определённым индексом к своему state machine, ни один другой сервер никогда не применит другую запись с тем же индексом. Оно следует из свойств Log Matching и Leader Completeness, которые вместе гарантируют, что каждая зафиксированная запись идентична на всех репликах.