공유 불변식에 맞춘 동기화 도구 선택
필요한 보장과 상태 개수를 먼저 고정한 뒤 키워드를 고른다.
| 상태 모양 | 도구 | 대표 사례 |
|---|---|---|
| 단일 최신값 publish | volatile | stop flag |
| 독립 숫자 연산 | AtomicInteger | counter |
| 여러 field 검증·변경 | synchronized·Lock | 잔액·이력 |
| thread confined 결과 | join·snapshot | 부분합 |
핵심: 임계 영역은 가능한 짧되 불변식의 read-check-write를 쪼개지 않아야 한다.