일관성과 가용성 — CAP 정리와 분산 패턴