파티션 시나리오

분할이 발생하면 일관성과 가용성이 충돌한다

네트워크 분할 중에는 replica가 서로의 최신 쓰기를 확인하지 못한다. quorum을 못 채우면 일관성 또는 가용성 중 하나를 낮춰야 한다.

RejectAcceptRepair
1 분할 A와 B가 heartbeat와 replication ack를 잃음
2 요청 클라이언트가 A에 write quorum을 요구
3 선택 quorum 실패 시 reject 또는 local accept 선택
4 복구 버전 벡터, timestamp, 수동 병합으로 수렴
일관성 우선 quorum 없으면 쓰기 거절, stale read 차단
가용성 우선 local write 허용 뒤 conflict resolution 수행