[PYTHON] Deadlock을 디버깅하기 위한 시니어만의 5가지 전략과 해결 방법

데드락(Deadlock, 교착 상태)

 

멀티스레딩 환경에서 개발자를 가장 괴롭히는 문제 중 하나는 단연 데드락(Deadlock, 교착 상태)입니다. 프로그램이 아무런 에러 메시지 없이 멈춰버리는 이 현상은 단순한 로그 확인만으로는 원인을 파악하기 매우 어렵습니다. 본 포스팅에서는 주니어 단계를 넘어선 시니어 엔지니어들이 파이썬 환경에서 데드락을 어떻게 정의하고, 어떤 도구를 사용하여 해결하는지 그 차별화된 디버깅 전략을 5가지 핵심 단계로 나누어 설명합니다.

---

1. 데드락의 발생 원인: 4가지 필수 조건

데드락은 단순히 운이 나빠서 발생하는 것이 아니라, 다음의 4가지 조건이 동시에 충족될 때 발생합니다. 이를 이해하는 것이 디버깅의 첫걸음입니다.

• 상호 배제(Mutual Exclusion): 자원은 한 번에 한 스레드만 사용할 수 있음.

점유와 대기(Hold and Wait):

최소한 하나의 자원을 점유한 채 다른 자원을 기다림.
• 비선점(No Preemption): 다른 스레드의 자원을 강제로 뺏을 수 없음.
• 환형 대기(Circular Wait): 각 스레드가 순환적으로 다음 스레드가 요구하는 자원을 점유함.

---

2. 시니어의 전략: 디버깅 및 해결 방법 비교

일반적인 출력(Print) 디버깅과 시니어급에서 활용하는 프로파일링 기법의 차이를 아래 표를 통해 확인해 보시기 바랍니다.

비교 항목	일반적인 접근 (Junior)	시니어의 전략 (Senior)
분석 방식	코드 눈으로 훑기, print() 삽입	스레드 덤프 분석 및 콜 스택 추적
활용 도구	기본 IDE 디버거	faulthandler, py-spy, gdb
해결 접근	Lock 순서 임의 변경	컨텍스트 매니저 및 타임아웃 도입
예방책	경험에 의존	정적 분석 도구 및 락 계층 구조 설계

---

3. 핵심 디버깅 전략 05: 실무 해결 가이드

① faulthandler 모듈 활용

파이썬 3.3부터 기본 포함된 faulthandler는 프로세스가 중단되었을 때 현재 실행 중인 모든 스레드의 트레이스백을 출력해 줍니다. SIGUSR1 시그널을 등록하여 실행 중인 앱의 상태를 즉시 확인할 수 있습니다.

② py-spy를 통한 Non-intrusive 분석

실행 중인 프로덕션 환경에 영향을 주지 않고 데드락을 확인해야 한다면 py-spy가 정답입니다. 프로세스를 중단시키지 않고도 스레드들이 어디서 대기 중인지 시각적으로 보여줍니다.

③ 타임아웃(Timeout) 설정의 생활화

시니어는 절대 lock.acquire()를 무한정 대기시키지 않습니다. lock.acquire(timeout=5)와 같이 타임아웃을 설정하여 데드락 발생 시 시스템이 완전히 멈추는 것을 방지하고 로그를 남기도록 설계합니다.

④ Lock 계층 구조(Lock Hierarchy) 수립

여러 개의 락을 사용해야 한다면, 반드시 정해진 순서대로만 락을 획득하도록 규칙을 정합니다. 환형 대기(Circular Wait)를 원천 차단하는 가장 강력한 해결 방법입니다.

⑤ 재진입 가능 락(RLock) 검토

동일한 스레드가 이미 획득한 락을 다시 획득하려고 할 때 발생하는 자가 데드락(Self-deadlock)은 threading.RLock을 사용하여 해결할 수 있습니다.

---

4. Sample Example: 데드락 재현 및 해결 코드

아래 코드는 전형적인 환형 대기 데드락 상황과 이를 타임아웃으로 안전하게 해결하는 방식을 보여줍니다.

import threading
import time

lock_a = threading.Lock()
lock_b = threading.Lock()

def resource_worker_1():
    # 잘못된 방식: Lock A -> B 순서
    with lock_a:
        print("Worker 1: Lock A 획득")
        time.sleep(1)
        print("Worker 1: Lock B 대기 중...")
        # 여기서 데드락 발생 가능성 높음
        if lock_b.acquire(timeout=2):
            try:
                print("Worker 1: Lock B 획득")
            finally:
                lock_b.release()
        else:
            print("Worker 1: 타임아웃 발생! 데드락 회피")

def resource_worker_2():
    # 시니어의 해결책: 항상 동일한 순서(A -> B)로 획득하거나 타임아웃 사용
    with lock_a:  # 순서를 lock_b -> lock_a로 하면 데드락 발생
        print("Worker 2: Lock A 획득")
        time.sleep(1)
        with lock_b:
            print("Worker 2: Lock B 획득")

# 실행부
t1 = threading.Thread(target=resource_worker_1)
t2 = threading.Thread(target=resource_worker_2)

t1.start()
t2.start()
t1.join()
t2.join()

---

5. 결론: 견고한 시스템을 위한 제언

데드락 디버깅은 단순히 코드를 수정하는 과정이 아니라, 시스템의 동시성 모델을 다시 점검하는 과정입니다. 시니어 개발자는 락의 범위를 최소화하고, 가능한 경우 큐(Queue)와 같은 고수준 추상화 객체를 사용하여 직접적인 락 관리를 피합니다. 오늘 소개한 전략들을 통해 여러분의 파이썬 어플리케이션이 더욱 안정적으로 운영되기를 바랍니다.

---

6. 내용의 출처 (Sources)

• Python Documentation: threading — Thread-based parallelism
• Python Documentation: faulthandler — Dump the Python traceback
• "Effective Python: 90 Specific Ways to Write Better Python" by Brett Slatkin
• Py-spy GitHub Repository (Open Source Profiler)