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