파이썬 멀티스레딩 마스터: GIL 완전 정복과 실전 예제

파이썬은 워크로드 가속을 위해 멀티프로세싱과 멀티스레딩을 모두 제공합니다. 이 가이드는 견고한 스레드 기반 애플리케이션 생성, 전역 인터프리터 락(GIL)의 뉘앙스, 데드락과 레이스 컨디션 같은 흔한 함정 회피법을 안내합니다.

스레드란 무엇인가?

스레드는 단일 프로세스 내의 가벼운 실행 단위입니다. 스레드는 프로세스의 메모리 공간을 공유하여 효율적인 데이터 교환을 가능케 하며, 운영체제가 하나 이상의 CPU 코어에서 동시 실행을 위해 스케줄링합니다.

프로세스란 무엇인가?

프로세스는 독립적인 프로그램 인스턴스입니다. 브라우저나 텍스트 에디터 같은 애플리케이션을 실행하면 OS는 자체 코드, 데이터, 메모리 맵을 가진 별도 프로세스를 생성합니다.

파이썬 멀티스레딩 기초

파이썬의 threading 모듈은 스레드 관리를 위한 고수준 API를 제공하며, 레거시 _thread 모듈은 하위 호환성용으로만 유지됩니다. 스레드는 I/O 바운드 작업에 적합하며, CPU 바운드 작업은 multiprocessing 모듈을 사용해 GIL을 우회해야 합니다.

스레드: 공유 메모리, 경량
프로세스: 격리된 메모리, 무거움
GIL: 파이썬 바이트코드 실행을 보호하는 뮤텍스

멀티스레딩을 언제 사용할까?

네트워크 요청, 파일 I/O, 데이터베이스 호출 등 여러 I/O 집약적 작업을 동시에 수행해야 할 때 멀티스레딩이 빛을 발합니다. 잘 설계된 스레드는 새로운 프로세스 생성 오버헤드 없이 응답성과 처리량을 향상시킵니다.

스레딩을 위한 주요 파이썬 모듈

_thread – 저수준, 사용 중단
threading – 현대적이고 기능 풍부하며 권장되는 선택

`threading` 모듈 사용

threading 모듈은 Thread 클래스, 동기화 프리미티브(Lock, RLock, Semaphore, Condition, Event, Barrier), activeCount(), enumerate() 같은 유틸리티 함수를 제공합니다. 아래는 스레드 생성과 동기화를 보여주는 최소 예제입니다.

import time
import _thread

def thread_test(name, wait):
    for i in range(4):
        time.sleep(wait)
        print(f"Running {name}")
    print(f"{name} has finished execution")

if __name__ == "__main__":
    _thread.start_new_thread(thread_test, ("First Thread", 1))
    _thread.start_new_thread(thread_test, ("Second Thread", 2))
    _thread.start_new_thread(thread_test, ("Third Thread", 3))

이 코드를 실행하면 병렬 실행을 보여주는 인터리빙된 출력이 나옵니다.

파이썬 멀티스레딩 마스터: GIL 완전 정복과 실전 예제

설명

time과 레거시 _thread 모듈 임포트
thread_test 정의: 작업 수행 및 진행상황 로깅
start_new_thread로 세 개의 독립 스레드 실행

현대적 스레딩: `threading.Thread`

실제로는 threading.Thread를 서브클래싱하고 run() 메서드를 오버라이드합니다. 다음 예제는 이전 동작을 고수준 API로 구현합니다.

import time
import threading

class ThreadTester(threading.Thread):
    def __init__(self, name, delay):
        super().__init__()
        self.name = name
        self.delay = delay

    def run(self):
        for _ in range(4):
            time.sleep(self.delay)
            print(f"Running {self.name}")
        print(f"{self.name} has finished execution")

if __name__ == "__main__":
    threads = [
        ThreadTester("First Thread", 1),
        ThreadTester("Second Thread", 2),
        ThreadTester("Third Thread", 3),
    ]
    for t in threads:
        t.start()
    for t in threads:
        t.join()

출력:

파이썬 멀티스레딩 마스터: GIL 완전 정복과 실전 예제

설명

Thread 서브클래싱으로 스레드 행동 캡슐화
__init__ 오버라이드로 스레드별 데이터 저장
run 오버라이드로 작업 정의
인스턴스화, 시작, 조인으로 각 스레드 관리

흔한 스레딩 함정

데드락

데드락은 두 개 이상의 스레드가 서로가 가진 자원을 무기한 기다릴 때 발생합니다. 고전적 예시: 식사하는 철학자 문제 – 다섯 철학자가 다섯 포크를 두고 경쟁하며, 각자 두 포크가 있어야 식사 가능. 모두 오른쪽 포크를 먼저 집으면 순환 대기가 발생해 모든 진행이 중단됩니다.

레이스 컨디션

여러 스레드가 적절한 조정 없이 공유 데이터를 수정하면 최종 상태가 예측 불가능해집니다. 예:

i = 0
for _ in range(100):
    print(i)
    i += 1

이 루프를 병렬 스레드에서 실행하면 증감이 겹쳐 뒤섞인 시퀀스가 생성될 수 있습니다.

스레드 동기화

threading 모듈은 여러 동기화 프리미티브를 제공합니다. 가장 기본은 Lock으로, 공유 자원에 대한 독점적 접근을 보장합니다.

import threading
lock = threading.Lock()

def worker(name):
    for _ in range(5):
        lock.acquire()
        print(f"{name} acquired lock")
        # 임계 영역
        lock.release()

if __name__ == "__main__":
    t1 = threading.Thread(target=worker, args=("Thread A",))
    t2 = threading.Thread(target=worker, args=("Thread B",))
    t1.start(); t2.start()
    t1.join(); t2.join()

출력은 임계 영역에 대한 직렬화된 접근을 보여줍니다.

파이썬 멀티스레딩 마스터: GIL 완전 정복과 실전 예제