11.8 The final Sequence Paxos Algorithm
Seif Haridi · 11:46 · Watch on YouTube
시퀀스 팩소스 알고리즘 전체가 두 개의 슬라이드에 맞습니다. 이는 완전히 비동기 모델에서 FIFO 완벽한 링크를 통해 실행되며 일관된 복제 로그를 구축합니다. 안전성에는 고유하고 단조 증가하는 리더 투표만 필요합니다. 생존성에는 부분 동기 상태에서만 유지되는 투표 기반 리더 선택도 필요합니다. 즉, 리더가 충분히 오래 제자리에 있어야 합니다.