13.3 Reconfiguration 2
Seif Haridi · 20:08 · Watch on YouTube
복제된 상태 머신을 안전하게 재구성하려면 이전 구성 Cᵢ을 특수한 "정지" 명령으로 중지하고, 그 최종 명령 시퀀스가 다음 구성 Cᵢ₊₁의 시작점이 됩니다. 라운드 번호는 (구성 번호, 로컬 라운드) 쌍으로 확장되므로, 모든 구성이 함께 하나의 Paxos 스타일 투표 배열처럼 작동하고 통상적인 안전 논증이 여전히 성립합니다. 이 강의는 또한 구성 간 상태 전달과 여러 최적화를 다룹니다:...