Log Matching

EN: Log Matching

Свойство безопасности Raft, состоящее из двух гарантий: (1) если две записи лога на разных серверах имеют одинаковые index и term, они содержат одну и ту же команду; (2) если эти записи совпадают, все предшествующие записи в обоих логах также идентичны. Гарантия (1) следует из того, что лидер записывает не более одной записи на каждый index в данном term; гарантия (2) поддерживается проверкой согласованности AppendEntries, отклоняющей записи, у которых не совпадают index и term предыдущей записи.