Что происходит в этой ситуации?
Насколько я понимаю: 2 последователя применили «плохую» запись, и когда сетевой раздел исправится, они перезапишут эту запись историей большинства лидеров. Но это нарушает линеаризацию.
????
Вы путаете репликацию с обязательством. Простое копирование записи в меньшинство этого кластера не нарушает линеаризуемость. Важно, когда это изменение считается совершенным. Поскольку лидер на стороне меньшинства раздела не может реплицировать изменение в большую часть кластера, он никогда не зафиксирует изменение и никогда не подтвердит клиенту, что изменение было сохранено. Кроме того, незафиксированное изменение никогда не будет применено к конечному автомату ни на одном узле. Таким образом, перезапись незафиксированных изменений при восстановлении раздела не нарушает никаких гарантий.
Гарантии будут нарушены только в том случае, если лидер увеличит commitIndex и подтвердит запись после репликации только в меньшинство кластера.
