Multi-Paxos 로그의 중간 슬롯이 비었습니다. 언제 no-op을 제안하고 이전 수락값은 어떻게 보존하나요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

새 리더가 prepare 응답으로 슬롯별 수락값을 확인한 뒤 아무 보존할 값이 없는 빈 슬롯에 no-op을 제안할 수 있습니다. 이미 수락된 값이 있으면 최고 ballot의 값을 이어받는 규칙이 먼저입니다.

슬롯을 그냥 건너뛰면 상태 머신의 순차 적용이 깨질 수 있습니다. no-op도 합의로 선택해야 하며 메모리에만 채우지 않습니다. 리더 변경·늦은 accept·빈 슬롯 복구를 시험합니다.

이해가 드러나는 지점을 확인해 보세요.

새 리더가 prepare 응답으로 슬롯별 수락값을 확인한 뒤 아무 보존할 값이 없는 빈 슬롯에 no-op을 제안할 수 있습니다. 이미 수락된 값이 있으면 최고 ballot의 값을 이어받는 규칙이 먼저입니다.
리더 변경·늦은 accept·빈 슬롯 복구를 시험합니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: 새 리더가 prepare 응답으로 슬롯별 수락값을 확인한 뒤 아무 보존할 값이 없는 빈 슬롯에 no-op을 제안할 수 있습니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.