핵심 요약:
로그는 단순한 이벤트 기록이 아니라, 시스템 상태의 단일 진실로 작동할 수 있는 핵심 추상이다.
Kafka를 예시로, 로그는 데이터베이스·캐시·분석 시스템 등 이질적 구성 요소를 하나의 흐름으로 통합하며, 복구·스냅샷·재처리를 간결하게 해결할 수 있다.
현대적 아키텍처의 기반이 되는 CQRS나 이벤트 소싱 등은 모두 로그 중심의 사고에서 출발한다.

핵심 요약:
Roy Fielding이 제안한 REST는 URI, Stateless, Uniform Interface 등으로 대표되는 아키텍처 스타일이다.
HTTP의 본질을 활용해 느슨한 결합, 확장성, 캐시처리, 계층 구조 같은 특성들을 실현하며,웹 아키텍처의 설계 원칙을 명확히 정의했다.

핵심 요약:
소프트웨어의 복잡성 대부분은 '상태'와 '제어 흐름'에서 발생한다고 지적하며,
이를 줄이기 위해 선언형 프로그래밍과 함수형 모델의 사용을 권장한다.
명령형에서 선언형으로의 전환은 코드 오류율과 유지 보수 비용을 낮추는 열쇠가 될 수 있다.

핵심 요약:
CAP 정리는 네트워크 파티션이 있을 때만 일관성과 가용성을 동시에 만족할 수 없다는 원칙을 설명한다.
파티션은 피할 수 없는 현실이기 때문에, 대부분의 시스템은 일관성과 가용성 사이에서 균형을 잡는다.
또한 일관성과 가용성은 이분법이 아니라 스펙트럼이며, 실제 시스템에서는 다양한 중간 모델을 활용하고 있다.

핵심 요약:
Raft는 분산 합의를 Paxos보다 더 이해하기 쉽게 재설계한 알고리즘이다.
합의 과정을 리더 선출, 로그 복제, 안정성 보장 등 단계별로 분리해 명확히 설명하고,
단순하고 직관적인 리더 기반 설계를 통해 장애 복구와 일관된 상태 복제를 효과적으로 달성한다.
etcd, Consul 등 실전 시스템에서도 널리 채택되고 있다.