1
paxos에서 모든 제안자는 제안서의 일련 번호를 독립적으로 생성합니다. 따라서 제안자가 더 높은 번호의 시퀀스 번호를 계속 생성한다고 가정 해 봅시다. 이 제안자는 다른 제안자 제안을 무효로하는 높은 시퀀스 번호를 생성하고 있기 때문에 제안자가 아니겠습니까? 즉, 한 제안자가 항상 지배적 인 지역에있을 가능성이 있습니까?paxos에서 시퀀스 번호를 추출하는 방법
paxos에서 모든 제안자는 제안서의 일련 번호를 독립적으로 생성합니다. 따라서 제안자가 더 높은 번호의 시퀀스 번호를 계속 생성한다고 가정 해 봅시다. 이 제안자는 다른 제안자 제안을 무효로하는 높은 시퀀스 번호를 생성하고 있기 때문에 제안자가 아니겠습니까? 즉, 한 제안자가 항상 지배적 인 지역에있을 가능성이 있습니까?paxos에서 시퀀스 번호를 추출하는 방법
제안자가 acting badly 인 경우 문제가 될 수 있습니다. 실제로 제안자는 시퀀서를 선택하기위한 간단한 프로토콜을 따릅니다.
예를 들어 한 시스템에서 허용 된 제안자 목록을 데이터와 함께 복제하여 모든 제안자가 p
위치를 유지하도록했습니다. 제안자는 항상 i
번째 시퀀스 번호 (seqno(i, p) = i * len(proposers) + p
)를 선택합니다. 따라서 모든 제안자는 선택할 수있는 일련의 고유 한 일련 번호를 가지고 있습니다.