강의

이 강의에서는 Java에서의 스레드 상호 교착 상태(deadlock)가 무엇인지, 왜 발생하는지, 그리고 이를 위해 필요한 네 가지 조건이 무엇인지 살펴봅니다. 실습 예제로 synchronized를 사용해 문제를 재현한 뒤, 예방 전략을 학습합니다: 자원 획득의 일관된 순서, 타임아웃이 있는 ReentrantLock.tryLock 사용, 임계 구역 축소, 불필요한 중첩 락 지양. 또한 Thread Dump와 jstack을 통한 진단, BLOCKED/ WAITING 상태 식별 방법을 보여주고, 체크리스트와 흔한 실수로 마무리합니다.

경쟁 상태의 이상 동작인 Livelock과 Starvation을 살펴봅니다: Deadlock과 무엇이 다른지, 코드와 로그에서는 어떻게 보이는지. Java 예제 포함: “예의 바른 작업자들”(활성 교착, livelock)과 우선순위, 불공정 락 때문에 생기는 기아. 문제를 발견하는 법(로깅, Thread dump, VisualVM, Java Mission Control)과 예방하는 법: 재시도 전 랜덤 지연 추가( Thread.sleep), 논블로킹 알고리즘, ReentrantLock의 fairness 플래그( new ReentrantLock(true))로 공정 락 사용, 신중한 임계 구역 설계, setPriority()와 synchronized 남용 지양.

이 강의에서는 일반 컬렉션 ( ArrayList, HashMap)이 멀티스레드 환경에서 왜 위험한지, 그리고 패키지 java.util.concurrent가 제공하는 스레드 안전한 대안들인 ConcurrentHashMap, CopyOnWriteArrayList, ConcurrentLinkedQueue, 스킵 리스트 기반 구조와 BlockingQueue를 살펴봅니다. merge, putIfAbsent, computeIfAbsent 같은 원자적 연산을 논의하고, Collections.synchronizedMap과 비교하며, 실전 예제와 흔한 실수들(약한 일관성 이터레이터, 비원자적 연산 시퀀스 등)도 다룹니다.

왜 인크리먼트 i ++가 멀티스레드에서 제대로 동작하지 않는지, 원자적 연산이 무엇이며 이를 java.util.concurrent.atomic 패키지가 어떻게 제공하는지. AtomicInteger와 AtomicReference, incrementAndGet(), compareAndSet(...) 메서드, 내부 메커니즘 CAS(Compare-And-Swap), 그리고 언제 synchronized를 선택하고 언제 — LongAdder를 선택하는 것이 좋은지까지 다룹니다. 마지막에는 전형적인 실수들 — 복합 연산, ABA 문제, 중첩 객체의 스레드 안전성 — 을 정리합니다.

Thread Dump를 jstack, VisualVM 및 IDE로 찍고 읽는 방법, 스레드 상태( RUNNABLE, BLOCKED, WAITING)를 식별하고 상호 교착을 찾는 법을 다룹니다. 또한 Java Mission Control과 Java Flight Recorder에서의 스레드 모니터링, 로깅 실무(스레드 이름, synchronized 진입/이탈), 락 최소화, CountDownLatch로 동시성 테스트, 실제 데드락 케이스 분석을 살펴봅니다. 마지막에는 흔한 실수와 피하는 방법을 정리합니다.