Distributed-systems

WhatsApp이 2백만 TCP 연결을 하나의 서버에서 처리한 비결. Actor 모델의 수학적 기반부터 Erlang OTP, Akka, Microsoft Orleans까지 — Let it crash 철학과 수백만 동시성의 비밀을 720줄로 완전 분석한다.

DynamoDB, Cassandra, Memcached가 노드 추가/제거 시 데이터 이동을 최소화하는 비밀, Consistent Hashing을 완전 정복한다. 기본 아이디어부터 가상 노드(vnode), Jump Hash, Rendezvous Hashing, 실전 구현까지 700줄로 깊이 있게 다룬다.

CRDT의 모든 것! Conflict-free Replicated Data Types 원리, State-based vs Operation-based, 기본 CRDT(G-Counter/PN-Counter/G-Set/2P-Set/LWW-Register), 고급(Sequence/RGA/Yjs), 로컬 우선 소프트웨어, Automerge/Yjs 비교, Figma/Linear 사례.

Cassandra, Consul, Redis Cluster가 어떻게 수천 대 노드의 상태를 동기화하는가? Gossip 프로토콜의 수학적 원리부터 SWIM, HyParView, Merkle Tree 기반 anti-entropy, 실전 시스템까지 720줄로 깊이 있게 파헤친다.

분산 시스템에서 "무엇이 먼저 일어났는가"를 어떻게 알 수 있을까? Lamport Clock, Vector Clock, Hybrid Logical Clock부터 Linearizability, Sequential, Causal, Eventual Consistency까지 — 이론과 실전을 720줄로 깊이 있게 다룬다.

etcd, Consul, CockroachDB, TiDB가 모두 Raft를 쓰는 이유는 이해하기 쉽기 때문이다. Leader Election, Log Replication, Safety Property, Membership Change, Snapshot까지 — 실전 시스템 분석과 함께 700줄로 깊이 있게 파헤친다.

분산 시스템의 모든 것! CAP/PACELC 정리, 합의 알고리즘(Raft/Paxos), 복제 전략(리더-팔로워/멀티리더/무리더), 일관성 모델(강한/최종/인과), 분산 클럭(Lamport/Vector), 장애 모델(비잔틴/크래시), 분산 트랜잭션(2PC/3PC/Saga).

분산 시스템의 모든 것! CAP/PACELC 정리, 합의 알고리즘(Raft/Paxos), 일관성 모델(Strong/Eventual/Causal), 복제(Leader-Follower/Multi-Leader/Leaderless), 파티셔닝, 분산 트랜잭션(2PC/3PC), 시계(Lamport/Vector Clock)까지.

Netflix는 2.6억 사용자를, Uber는 페타바이트 실시간 데이터를 비동기로 처리한다. CQRS, Saga(Choreography vs Orchestration), Event Sourcing, Outbox, 멱등성, DLQ까지 — 시니어 백엔드 개발자가 반드시 알아야 할 비동기 패턴 완전 가이드.

Kafka 4.0 KRaft GA, RabbitMQ 4.2 스트림 필터링, Pulsar 4.1, NATS 2.11 — 2025년 메시지 큐 6종 완전 비교. 아키텍처, 벤치마크(Kafka 1M msgs/s vs RabbitMQ 50K), 가격, Spring Boot 연동까지 실전 선택 가이드.

토스뱅크 Real-Time Data 팀의 Kafka & Streaming Data Engineer JD를 완전 분석합니다. Kafka Broker 운영, Spring Boot Kafka Client, Active-Active 이중화, CDC, Flink, ClickHouse까지 — 합격을 위한 기술스택 학습 로드맵과 면접 준비 전략.

토스뱅크 ML Service Team의 ML Backend Engineer JD를 완전 분석합니다. 견고한 서버 아키텍처, 대규모 트래픽 처리, AI 모델 서빙, K8s 운영, MSA 분산 추적까지 — 합격을 위한 기술스택 학습 로드맵과 면접 준비 전략.

etcd의 핵심 아키텍처를 분석합니다. Raft 합의 알고리즘의 리더 선출, 로그 복제, 안전성 보장 메커니즘부터 EtcdServer, raftNode, apply loop 등 내부 구조, BoltDB 기반 MVCC 키-값 저장소, Watch 메커니즘까지 상세히 다룹니다.

etcd 클러스터 운영의 핵심을 다룹니다. 멤버 관리(추가, 제거, Learner 승격), 스냅샷과 백업/복원, 재해 복구(쿼럼 손실 복구, 데이터 손상 대응), 성능 튜닝(디스크 지연, 네트워크, 스냅샷 카운트) 등을 설명합니다.

etcd와 Kubernetes API Server의 통합을 분석합니다. kube-apiserver의 etcd 사용 방식(storage backend, codec, transformer), 키 계층 구조(/registry/ prefix), API Server의 Watch Cache(cacher, watchCache), etcd 사이징, Encryption at rest 구성을 다룹니다.

etcd의 스토리지 엔진을 심층 분석합니다. BoltDB의 B+ 트리 구조, 페이지 타입, 트랜잭션 모델부터 MVCC의 revision, key index, generation 개념, 컴팩션과 디프래그멘테이션, 백엔드 배치 최적화까지 다룹니다.

etcd의 Watch와 Lease 메커니즘을 심층 분석합니다. Watchable Store 내부 구조, 이벤트 히스토리와 생성 과정, gRPC 스트리밍, compacted revision 처리부터 Lease의 grant/revoke/keepalive, TTL 구현, Kubernetes에서의 활용(리더 선출, 노드 하트비트)까지 다룹니다.

eBPF 기술과 OpenTelemetry 표준화의 결합으로, 2026년 관찰가능성은 근본적으로 변화하고 있습니다. 제로 계측(zero-instrumentation) 트레이싱, AI 기반 근본원인 분석, 비용 최적화된 관찰가능성 스택이 표준이 되어, 엔지니어들은 이제 "왜"의 질문에 즉시 답할 수 있습니다.

분산 시스템에서 상호 배제를 보장하는 분산 락 구현 패턴을 비교합니다. Redis Redlock 알고리즘과 Martin Kleppmann의 비판, ZooKeeper 임시 순차 노드, etcd Lease 기반 락까지 정합성·가용성·성능 트레이드오프를 실전 코드와 장애 사례로 분석합니다.

셀 기반 아키텍처의 핵심 원리인 Bulkhead 패턴과 장애 폭발 반경(Blast Radius) 최소화 전략, 셀 라우팅 설계, AWS/Kubernetes 기반 구현, Slack·DoorDash 실제 적용 사례, 그리고 운영 트러블슈팅까지 다루는 종합 가이드.

MongoDB Sharding의 아키텍처와 샤드 키 전략을 실습합니다. Range/Hashed/Zone Sharding, 청크 분할과 밸런싱, 운영 시 주의사항까지 핸즈온으로 다룹니다.