CAP 정리

분산 시스템에서 셋 중 둘만 고를 수 있다는 정리입니다.

정확히 이해할 점이 있습니다. 분할 내성은 선택 사항이 아닙니다. 네트워크는 반드시 끊기므로 여러 대로 나눈 시스템은 P 를 가져야 합니다.

그래서 실제 선택은 분할이 일어났을 때 무엇을 포기할지입니다.

흔한 실수: CA 시스템을 고를 수 있다고 답하는 것. 단일 노드가 아니면 CA 는 없습니다. 그리고 분할이 없는 평시에는 일관성과 가용성을 함께 가질 수 있어서, CAP 은 장애 시의 행동 규칙을 말하는 정리입니다.

CP 쪽 도구가 하는 일을 보면 이유가 보입니다. 분산 잠금이나 리더 선출은 틀린 답이 곧 사고입니다. 두 노드가 동시에 리더라고 믿으면 데이터가 갈라집니다. 그래서 확신이 없으면 응답하지 않습니다.

AP 쪽은 반대입니다. 좋아요 수나 방문자 통계가 잠시 어긋나도 서비스가 계속 도는 편이 낫습니다.

같은 시스템에서 설정으로 바꿀 수 있는 경우도 많습니다. 쓰기와 읽기의 정족수를 조절해 성향을 옮기는 방식입니다.

흔한 실수: 제품 이름으로 성향을 외우는 것. 대부분의 저장소는 설정으로 성향이 바뀝니다. 어떤 설정에서 어떻게 동작하는지로 말하는 편이 정확합니다.

시스템 전체를 하나로 정하지 않고 기능 단위로 나눠 정합니다.

그리고 대부분의 시간에는 분할이 없습니다. 그래서 실무에서 더 자주 마주치는 판단은 평시의 지연 대 일관성 쪽입니다. 정족수를 높이면 정확하지만 느려지고, 낮추면 빠르지만 어긋날 수 있습니다.

이것을 다루는 방식이 그래서 이렇습니다.

흔한 실수: 전 시스템을 강한 일관성으로 맞추는 것. 필요 없는 곳에서 지연과 가용성을 잃습니다.

ACID 의 대안으로 제시된 성질입니다. 강한 일관성을 포기하고 가용성을 취하는 쪽입니다.

두 번째 글자는 복제가 전파되는 동안 같은 값을 두 번 읽으면 다를 수 있다는 뜻입니다. 쓰기를 하지 않았는데도 조회 결과가 바뀝니다.

흔한 실수: BASE 를 "정합성을 포기한다"로 읽는 것. 포기가 아니라 언제 맞출지를 미루는 것입니다. 그래서 얼마나 걸려 수렴하는지, 그동안 사용자가 무엇을 볼 수 있는지를 설계해야 합니다.