Chapter 6

동시성

동시성(concurrency) 이야기야. 현대 소프트웨어에서 동시성을 피할 수 없거든. 멀티코어 CPU, 분산 시스템, 비동기 I/O — 순차적으로만 생각하면 한계에 부딪히지. 20주년 기념판에서 가장 현실적으로 업데이트된 장이기도 해.

**시간적 결합(temporal coupling)**이란 "A가 끝나야 B를 시작할 수 있다"는 암묵적 의존성이야. 이게 왜 문제냐면, 실제로는 A와 B가 동시에 실행될 수 있는데도 순서를 강제하면 성능을 낭비하기 때문이지.

저자들이 제안하는 도구: **활동 다이어그램(activity diagram)**을 그려봐.

작업 흐름을 그려보면 어떤 작업이 병렬로 실행 가능한지 보여. 아침에 일어나서 커피 내리면서 토스트 굽는 것처럼 — 커피가 다 내려질 때까지 멍하니 서 있을 필요 없잖아.

동시성을 고려한 설계의 핵심:

동시성은 병렬성(parallelism)과 달라. 동시성은 "동시에 다룰 수 있는 것들의 구조"이고, 병렬성은 "실제로 동시에 실행하는 것"이야. 싱글 코어에서도 동시성 설계는 의미가 있지.

공유 메모리로 통신하지 말고, 통신으로 메모리를 공유해. Go 언어의 유명한 격언인데, 이 책에서도 같은 원칙을 말하거든.

두 프로세스가 같은 데이터를 읽고 쓰면 문제가 생기잖아. 경쟁 조건(race condition), 교착 상태(deadlock), 일관성 깨짐 — 동시성 버그의 클래식이지.

파이 가게 비유가 나와. 진열장에 파이가 하나 남았고, 두 명이 동시에 "파이 있나요?"를 물어봤어. 둘 다 "네"라는 답을 듣고 주문하지. 하지만 파이는 하나뿐이라 한 명은 실망해. "확인하는 것과 행동하는 것 사이에 틈이 있으면" 이런 일이 생기는 거야.

해결 방법들:

저자들의 기본 입장: 공유 상태를 최소화해. 가능하면 없애.

액터 모델은 동시성 문제를 우아하게 해결하는 패턴이야.

액터란:

Erlang이 이 모델의 대표 주자야. "수십만 개의 가벼운 프로세스가 메시지를 주고받는" 구조로 전화 교환기 같은 고가용성 시스템을 만들어냈거든.

액터 모델의 장점:

실무에서 쓸 수 있는 구현: Erlang/Elixir의 OTP, Akka(Java/Scala), Rust의 actix 등.

칠판(Blackboard) 시스템은 독특한 동시성 패턴이야.

비유: 형사들이 사건을 수사할 때 칠판에 단서를 적어놓지. 아무 형사나 와서 칠판을 보고, 새로운 단서를 추가하고, 기존 단서를 조합해서 새로운 추론을 해. 형사들끼리 직접 대화할 필요 없이 칠판을 통해 협업하는 셈이야.

소프트웨어에서 칠판 시스템:

워크플로 시스템, 규칙 엔진 같은 곳에서 유용하지. Apache Kafka 같은 메시지 브로커도 칠판의 변형으로 볼 수 있어.

칠판 시스템의 실용적 주의점: 디버깅이 어려워. 누가 언제 무슨 데이터를 썼는지 추적하기 어려우니 로깅과 모니터링을 철저히 해야 하거든.

정리

6장 읽고 기억할 거 세 가지: