111. 스레드 취소 (Thread Cancellation) - 비동기식 취소, 지연 취소

핵심 인사이트 (3줄 요약)

본질: 스레드 취소(Thread Cancellation)는 한 스레드가 다른 스레드의 실행을 중단시키는 메커니즘이다. 비동기식 취소(즉시 중단)과 지연 취소(취소 점점에서만 중단) 두 방식이 있으며, 지연 취소가 안전하고 실무적으로 선호된다.

가치: 긴 시간 실행되는 I/O 작업이나 무한 루프를 중단해야 하는 서버 환경에서 필수적이며, 지연 취소를 사용하면 자원(메모리, 파일 핸들, 락)을 안전하게 정리할 수 있다.

윙합: pthread_cancel()은 POSIX 표준 API이며, C++20의 std::stop_token, Java의 Thread.interrupt(), Go의 context.Cancel() 등으로 각 언어어에서 유사한 기법이 제공된다.

Ⅰ. 개요 및 필요성

개념: 스레드 취소는 취소 요청(request)이 설정된 타겟 스레드를 종료시키는 기법이다. 비동기식 취소는 타겟 스레드의 어느 시점에서든 즉시 SIGCANCEL 시그널을 전송하여 강제 중단하며, 지연 취소는 타겟 스레드가 취소 점점에 도달했을 때만 종료를 수행한다.
💡 비유: 스레드 취소는 "작업 취소 버튼"과 같다. 비동기식은 "강제 종료" 버튼(데이터 손실 가능), 지연 취소는 "안전 종료" 버튼(현재 작업 완료 후 종료)이다.

┌────────────────────────────────────────────────────────────────┐
│         비동기식 vs 지연 취소 비교                             │
├────────────────────────────────────────────────────────────────┤
│                                                                │
│  비동기식 취소 (PTHREAD_CANCEL_ASYNCHRONOUS):                  │
│  취소 요청 ──▶ 타겟 스레드에 SIGCANCEL 전송                    │
│             ──▶ 타겟 스레드 즉시 종료                          │
│                                                                │
│  리스크:                                                       │
│  ┌──────────────────────────────────────┐                      │
│  │ void* worker(void* arg) {            │                      │
│  │   lock(&mutex);      ◀── 락 획득        │                   │
│  │   data = process();  ◀── 중간에 종료!    │                  │
│  │   unlock(&mutex);  ◀── 영원 안 됨       │ ▶ 데드락          │
│  │ }                                     │                     │
│  └──────────────────────────────────────┘                      │
│                                                                │
│  지연 취소 (PTHREAD_CANCEL_DEFERRED, 기본):                    │
│  취소 요청 ──▶ 타겟 스레드에 플래그 설정                       │
│             ──▶ 타겟 스레드가 취소 점점 도달 시                │
│                ──▶ 안전하게 종료 (락 해제 등)                  │
│                                                                │
│  안전:                                                         │
│  ┌──────────────────────────────────────┐                      │
│  │ void* worker(void* arg) {            │                      │
│  │   while (!cancelled) {               │                      │
│  │     lock(&mutex);                   │                       │
│  │     data = process();                │                      │
│  │     unlock(&mutex);                 │ ▶ 안전 종료           │
│  │   }                                      │                  │
│  │   cleanup();                           │                    │
│  │ }                                     │                     │
│  └──────────────────────────────────────┘                      │
└────────────────────────────────────────────────────────────────┘

[다이어그램 해설] 비동기식 취소에서는 락을 획득한 상태에서 스레드가 강제 종료되므로 락이 영원 해제되지 않아 데드락(Deadlock)이 발생한다. 반면 지연 취소에서는 스레드가 루프 내에서 pthread_testcancel()이나 취소 점점(예: pthread_cond_wait() 등)에 도달할 때만 종료하므로, 락 해제와 자원 정리(cleanup)를 보장할 수 있다. 이 때문에 POSIX에서는 지연 취소를 기본값으로 사용한다.

📢 섹션 요약 비유: 비동기식 취소는 "전화 중에 선을 끊는 것"과 같고, 지연 취소는 "통화가 끝나는 대기 후 끊는 것"과 같습니다.

Ⅱ. 아키텍처 및 핵심 원리

요소명	역할	특징
pthread_cancel()	취소 요청 전송	타겟 스레드에 취소 플래그 설정
pthread_testcancel()	취소 점점 검사	지연 취소 시 명시적 검사 지점
취소 점점	커널이 자동 검사하는 지점	pthread_cond_wait() 등 블로킹 API
cleanup handler	취소 시 정리 함수	pthread_cleanup_push/pop로 등록

📢 섹션 요약 비유: 지연 취소는 "안전벨트"를 거쳐야만 홈에 들어가는 시스템과 같습니다.

Ⅲ. 융합 비교

비교 항목	비동기식 취소	지연 취소
응답성	즉시 (μs 단위)	취소 점점까지 지연
안전성	위험 (자원 유출, 데드락)	안전 (정리 보장)
구현 복잡도	단순	루프 내 검사 필요
POSIX 기본값	아님	예 (기본)

📢 섹션 요약 비유: 항상 "안전"을 선택하세요. 응답성이 중요하다면 취소 점점을 더 자주 확인하도록 설계하면 양쪽의 장점을 모두 가질 수 있습니다.

Ⅳ. 실무 적용

안티패턴

취소 시 뮤텍스 해제 누락: 지연 취소에서도 cleanup handler 내에 lock 해제를 넣지 않으면 뮤텍스가 영원 해제되지 않는다.
📢 섹션 요약 비유: "작업 취소 시 정리 안 함"은 "퇴사 후 책상 정리 안 함"과 같습니다. 다음 사람이 사용할 수 없게 됩니다.

Ⅴ. 기대효과 및 결론

📢 섹션 요약 비유: 지연 취소는 "안전 장치가 된 작업 중단 시스템"입니다. 타이머를 설정해두면 자원 누수 없이 안전하게 중단할 수 있습니다.

📌 관련 개념 맵 (Knowledge Graph)

개념 명칭	관계 설명
취소 점점	지연 취소의 핵심. 블로킹 API가 자동 취소 점점
뮤텍스 / 데드락	비동기식 취소의 주요 리스크. cleanup으로 방지
SIGCANCEL	비동기식 취소에 사용되는 시그널
cleanup handler	취소 시 자원 정리를 보장하는 메커니즘

👶 어린이를 위한 3줄 비유 설명

스레드 취소는 "프로그램의 정지 버튼"이에요. 오래 돌고 있는 작업을 멈추고 싶을 때 누르는 거죠.
위험한 방법으로 "즉시 정지"하면 데이터가 망가질 수 있고, 안전한 방법으로 "안전할 때까지 기다렸다 정지"하면 데이터를 안전하게 지킬 수 있어요.
항상 안전한 방법을 쓰고, 작업을 멈추기 전에 꼭 정리(clean up)하는 습관을 들이는 게 중요해요!