CAP TheoremCAP 정리

CAP 정리는 분산 시스템에서 일관성(Consistency), 가용성(Availability), 분리 내성(Partition Tolerance) 세 가지를 동시에 모두 보장할 수 없다는 이론이다. 2000년 Eric Brewer가 제안했다.

세 가지 속성

CP vs AP 선택

네트워크 단절 발생 시:

CP 시스템 (일관성 우선):
→ 일관성 없는 데이터보다 응답 거부
→ MongoDB, HBase, ZooKeeper

AP 시스템 (가용성 우선):
→ 오래된 데이터라도 응답
→ Cassandra, DynamoDB, CouchDB

PACELC 확장

CAP의 한계: 실제로는 분리가 없을 때도 트레이드오프 존재

PACELC:
- 분리(P) 발생 시: A(가용성) vs C(일관성) 선택
- 정상(E, Else) 시: L(지연시간) vs C(일관성) 선택

관련 개념

• •분산 시스템 — CAP 정리의 적용 대상
• •NoSQL — 각 NoSQL의 CAP 위치가 다름
• •데이터베이스 트랜잭션 — ACID vs BASE

참고문헌

• •Brewer, E. (2000). Towards Robust Distributed Systems
• •Gilbert & Lynch (2002). Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services