Алгоритм изменения вида и paxos
Мне было интересно, какова связь между алгоритмом изменения вида и Paxos? В моих примечаниях к лекции говорится, что "участники в каждом представлении соглашаются с первичным, которое позже управляет процессом репликации". Каково мнение в этом контексте и как Паксос относится к этому?
1 ответ
Понятие "представление" в paxos применимо в сценариях, где количество узлов (предлагающих / принимающих / обучающихся) является динамическим.
Представьте себе сценарий, в котором узлы обнаруживают друг друга через широковещательную рассылку UDP при запуске. В любой момент времени вы можете иметь переменное количество работающих узлов. Каждый раз, когда меняется это "количество узлов", это указывает на новое представление.
Почему это важно, потому что в такой динамичной среде, как вы определяете размер кворума для приема сообщений? Добавляя монотонно увеличивающийся ViewNumber к ProposalNumber (также называемый Viewstamp), это позволяет аккуратно обнаруживать изменения в "представлении" или количестве узлов.
Вся концепция представления / репликации придумана в статье: