분산 시스템에서 강한 일관성(Strong Consistency)과 결과적 일관성(Eventual Consistency) 중 하나를 선택해야 할 때, CAP 이론 외에 비즈니스 요구사항, 시스템 성능, 개발 복잡성 측면에서 어떤 트레이드오프를 고려해야 하는지 구체적인 시나리오를 들어 설명하고, 중간 단계의 일관성 모델(예: Causal, Read-Your-Writes)이 실제 시스템에서 어떻게 활용될 수 있는지 설명해주세요.
힌트 · 강한 일관성은 높은 지연 시간과 가용성 저하를 초래할 수 있고, 결과적 일관성은 개발 복잡성과 데이터 불일치 기간을 관리해야 합니다. 비즈니스 크리티컬리티, 사용자 경험, 시스템 부하를 기준으로 적절한 모델을 선택해야 합니다.
모범답안
면접관님, 분산 시스템에서 일관성 모델을 선택하는 것은 단순히 CAP 이론만을 고려할 문제는 아니라고 생각합니다. 비즈니스 요구사항, 시스템 성능, 개발 복잡성 등 다양한 요소를 종합적으로 고려해야 합니다.
예를 들어, 은행 계좌 이체 시스템처럼 높은 정확성이 요구되는 경우에는 강한 일관성을 선택해야 합니다. 약간의 지연이나 가용성 저하가 발생하더라도 데이터의 정확성을 보장하는 것이 중요하기 때문입니다. 반면, 소셜 미디어의 게시물 좋아요 수와 같이 상대적으로 중요도가 낮은 데이터는 결과적 일관성을 선택할 수 있습니다. 사용자 경험을 위해 빠른 응답 속도를 유지하고, 데이터 불일치 기간은 감수할 수 있습니다.
중간 단계의 일관성 모델도 유용하게 활용될 수 있습니다. 예를 들어, "Read-Your-Writes" 일관성은 사용자가 자신의 글을 게시한 직후에는 항상 최신 글을 볼 수 있도록 보장합니다. 이는 사용자 경험을 향상시키는 데 도움이 됩니다. "Causal Consistency"는 인과 관계가 있는 이벤트는 순서대로 보이도록 보장하여 데이터의 논리적인 흐름을 유지합니다. 이러한 중간 단계의 일관성 모델은 강한 일관성과 결과적 일관성의 장점을 절충하여 시스템의 요구사항에 맞게 적용할 수 있습니다.
읽었다면, 이제 직접 답해볼 차례예요
패스잇 앱에서 이 질문에 말로 답하면 AI가 꼬리질문까지 이어가며 1:1 코칭합니다.
함께 보는 분산 시스템 면접 질문
- 마이크로서비스 아키텍처에서 서비스 디스커버리(Service Discovery)가 필요한 이유를 설명하고, 클라이언트 측 디스커버리(Client-side Discovery)와 서버 측 디스커버리(Server-side Discovery) 방식의 동작 원리와 장단점을 비교해 주세요.
- Raft나 Paxos와 같은 분산 합의 알고리즘을 실제 프로덕션 환경에 적용할 때, 이론적인 이해를 넘어 어떤 실질적인 도전 과제에 직면할 수 있으며, 이를 해결하기 위한 설계 및 운영 전략은 무엇인지 설명해주세요. (예: 네트워크 파티션, 노드 장애 복구 시간, 리더 선출 오버헤드 등)
- 마이크로서비스 아키텍처에서 여러 서비스에 걸친 비즈니스 트랜잭션의 ACID 속성을 보장하기 위해 2PC(Two-Phase Commit)가 아닌 Saga 패턴을 적용하는 경우가 많습니다. Saga 패턴의 종류(Choreography vs Orchestration)와 각각의 장단점을 설명하고, 실제 시스템에서 Saga를 구현할 때 고려해야 할 보상 트랜잭션(Compensation Transaction) 설계 및 실패 처리 전략에 대해 구체적으로 설명해주세요.
- 대규모 분산 시스템에서 캐시를 효과적으로 활용하기 위해 캐시 무효화(Cache Invalidation) 전략은 매우 중요합니다. Read-through, Write-through, Write-back과 같은 기본적인 캐싱 전략 외에, 분산 환경에서 캐시 일관성을 유지하기 위한 구체적인 무효화 기법(예: Cache-aside with TTL, Publisher/Subscriber model, Versioning)들을 설명하고, 각 전략의 장단점 및 적합한 사용 시나리오를 비교 분석해주세요.
- 마이크로서비스 아키텍처에서 수많은 서비스 간의 호출 흐름을 파악하고 성능 병목을 진단하기 위해 분산 트레이싱(Distributed Tracing)은 필수적입니다. OpenTelemetry와 같은 표준을 사용하여 분산 트레이싱 시스템을 설계하고 구축할 때, 어떤 구성 요소(Span, Trace, Context Propagation 등)가 필요하며, 데이터 수집, 저장, 분석 과정에서 발생할 수 있는 주요 기술적 난관(예: 샘플링 전략, 오버헤드, 상관관계 분석)과 해결 방안에 대해 설명해주세요.
- 분산 시스템에서 리더(Leader)는 특정 역할을 수행하며 시스템의 일관성이나 가용성을 보장하는 데 중요합니다. 리더 선출(Leader Election) 알고리즘(예: Bully, Ring, Zookeeper/Etcd 기반)의 동작 원리를 설명하고, 실제 프로덕션 환경에서 리더 장애 발생 시 시스템의 가용성과 데이터 일관성을 빠르게 복구하기 위한 전략(예: 쿼럼(Quorum) 구성, Watchdog, 펜싱(Fencing))에 대해 구체적인 사례를 들어 설명해주세요.