왜 분산 시스템은 "동의"하는 것만으로도 어려운가? FLP 불가능성 정리의 충격, Lamport의 Paxos와 그 이해 불가능성, Raft가 바꾼 판도, ZooKeeper의 ZAB, KRaft의 탄생, Byzantine Fault Tolerance, CRDT의 합의 없는 수렴 — 모든 분산 시스템의 진짜 심장을 파헤친다.
Spring WebFlux의 리액티브 프로그래밍부터 Kafka 스트리밍, ZooKeeper에서 KRaft로의 전환, SSE/WebSocket/gRPC Streaming API까지 — 실시간 데이터 처리 아키텍처를 위한 개발자 완전 가이드. 벤치마크, 코드 예제, 아키텍처 패턴 총정리.
분산 시스템에서 상호 배제를 보장하는 분산 락 구현 패턴을 비교합니다. Redis Redlock 알고리즘과 Martin Kleppmann의 비판, ZooKeeper 임시 순차 노드, etcd Lease 기반 락까지 정합성·가용성·성능 트레이드오프를 실전 코드와 장애 사례로 분석합니다.