파이썬 스레딩 프로그래밍 Semaphore vs BoundedSemaphore 차이와 사용처

🔗 스레딩 프로그래밍에서 세마포어란?

세마포어(Semaphore)는 운영체제와 프로그래밍에서 오래전부터 사용되어 온 동기화 기법 중 하나로, 여러 스레드가 동시에 공유 자원에 접근할 때 발생할 수 있는 충돌을 방지하는 도구입니다.
파이썬을 포함한 다양한 언어에서 제공되며, 멀티스레드 환경에서 자원의 안전한 사용을 보장합니다.

기본적으로 세마포어는 카운터 값을 가지고 있습니다.
이 카운터는 현재 동시에 접근할 수 있는 스레드의 수를 나타냅니다.
스레드가 자원을 사용하기 전에 acquire() 메서드를 호출하면 카운터가 감소하고, 사용을 마친 뒤 release() 메서드를 호출하면 카운터가 다시 증가합니다.
카운터가 0이 되면 더 이상 다른 스레드가 자원에 접근할 수 없고, acquire() 요청은 대기 상태가 됩니다.

💬 즉, 세마포어는 여러 스레드가 동시에 자원을 사용할 수 있도록 허용하면서도, 그 수를 제한하여 충돌을 예방하는 역할을 합니다.

예를 들어, 데이터베이스 연결 풀이 최대 5개까지 허용된다면 세마포어의 카운터를 5로 설정합니다.
각 스레드는 연결을 사용하기 전에 acquire()를 호출하여 카운터를 줄이고, 연결을 반납할 때 release()를 호출하여 카운터를 늘립니다.
이 과정을 통해 항상 5개 이하의 연결만 동시에 사용되도록 보장할 수 있습니다.

import threading
import time

semaphore = threading.Semaphore(3)

def worker(name):
    print(f"{name} 작업 대기 중...")
    with semaphore:  # acquire()와 release()를 자동 처리
        print(f"{name} 자원 사용 시작")
        time.sleep(2)
        print(f"{name} 자원 사용 종료")

threads = [threading.Thread(target=worker, args=(f"스레드{i}",)) for i in range(5)]

for t in threads:
    t.start()

for t in threads:
    t.join()

위 코드에서 동시에 최대 3개의 스레드만 자원을 사용할 수 있습니다.
나머지 스레드는 대기하다가 이전 스레드가 작업을 마치고 release()를 호출해야만 실행을 이어갈 수 있습니다.
이처럼 세마포어는 단순하지만 강력한 동기화 도구로, 다양한 멀티스레드 환경에서 필수적으로 활용됩니다.

🛠️ 파이썬 Semaphore 기본 동작 방식

파이썬에서 제공하는 threading.Semaphore는 동시 접근 가능한 자원의 수를 제어하기 위한 클래스입니다.
기본 생성 시 인자로 전달하는 숫자가 곧 초기 카운터 값이 되며, 이 값은 동시에 허용할 수 있는 스레드의 수를 의미합니다.

예를 들어 Semaphore(2)라고 설정하면, 최대 2개의 스레드가 동시에 자원을 사용할 수 있습니다.
스레드는 acquire()를 호출하여 자원 사용 권한을 얻고, 사용을 마친 뒤 release()를 호출하여 다시 반환합니다.
만약 카운터가 0이 되면 추가 스레드는 대기 상태로 들어갑니다.

• 🔑acquire() → 자원 사용 권한 요청, 카운터 감소
• 📤release() → 자원 사용 종료, 카운터 증가
• ⏳카운터가 0일 경우, 추가 요청 스레드는 대기

세마포어의 중요한 특징은 release() 호출에 별도의 제한이 없다는 점입니다.
즉, acquire() 호출 없이도 release()를 여러 번 호출하면 카운터 값이 계속 증가할 수 있습니다.
이 경우 실제 허용 가능한 자원의 수보다 더 많은 스레드가 동시에 접근하는 상황이 발생할 수 있습니다.

import threading

semaphore = threading.Semaphore(2)

print("초기 카운터:", semaphore._value)

semaphore.release()
print("release() 1회 호출 후:", semaphore._value)

semaphore.release()
print("release() 2회 호출 후:", semaphore._value)

위 코드에서 acquire() 없이 release()를 연속 호출하면 카운터 값이 의도치 않게 증가하는 것을 확인할 수 있습니다.
이 문제는 프로그램 로직에 버그를 유발할 수 있으므로, 실제 개발에서는 주의가 필요합니다.

⚙️ BoundedSemaphore의 특징과 장점

파이썬의 BoundedSemaphore는 기본 Semaphore의 동작 방식을 유지하면서도 중요한 안정성을 추가한 버전입니다.
가장 큰 차이는 release() 호출 시, 초기 설정된 최대 카운터 값을 초과하지 않도록 자동으로 검사한다는 점입니다.

즉, 개발자가 실수로 release()를 여러 번 호출하더라도, BoundedSemaphore는 ValueError 예외를 발생시켜 프로그램에 문제가 생기는 것을 막아줍니다.
이 덕분에 자원 관리 로직이 꼬이는 것을 사전에 방지할 수 있습니다.

💬 BoundedSemaphore는 실수를 용납하지 않고, 안전한 멀티스레드 프로그래밍을 가능하게 해주는 보호 장치 역할을 합니다.

import threading

bounded = threading.BoundedSemaphore(2)

print("초기 카운터:", bounded._value)

bounded.release()  # 정상 작동 (카운터 최대값까지 허용)
bounded.release()  # 여기서 ValueError 발생

위 코드에서 release()를 반복 호출하면 두 번째 release()에서 ValueError 예외가 발생합니다.
이는 BoundedSemaphore가 잘못된 자원 해제를 막아주고 있음을 보여주는 대표적인 예시입니다.

따라서 개발 규모가 커지고 스레드 수가 많아질수록 일반 Semaphore보다 BoundedSemaphore를 사용하는 것이 바람직합니다.
특히, 여러 명이 함께 개발하는 프로젝트에서는 실수 가능성을 줄이고, 예상치 못한 동작을 예방할 수 있다는 점에서 더 안전한 선택이 됩니다.

🔌 Semaphore vs BoundedSemaphore 차이 비교

Semaphore와 BoundedSemaphore는 기본적인 동작 원리는 동일하지만, release() 메서드의 동작에서 중요한 차이가 있습니다.
일반 Semaphore는 release() 호출에 제한이 없어 카운터 값이 무한정 증가할 수 있는 반면, BoundedSemaphore는 초과된 release() 호출을 엄격히 막아 안정성을 제공합니다.

아래 표는 두 클래스의 차이점을 정리한 것입니다.

결국 두 클래스의 선택은 상황에 따라 달라집니다.
테스트용이나 빠른 프로토타입 단계에서는 일반 Semaphore를 사용할 수 있지만, 실제 운영 환경에서는 BoundedSemaphore가 더 안전한 선택임을 기억해야 합니다.

💡 상황별 올바른 세마포어 선택 가이드

멀티스레드 프로그래밍에서는 상황에 따라 Semaphore와 BoundedSemaphore 중 어떤 것을 선택할지 고민해야 합니다.
두 클래스 모두 자원 접근을 제어하지만, 프로젝트의 성격과 규모에 따라 최적의 선택은 달라질 수 있습니다.

🧩 간단한 테스트 및 실험적 코드

작은 규모의 프로젝트나 빠르게 검증해야 하는 테스트 코드에서는 Semaphore를 사용하는 것이 무방합니다.
이 경우 실수 가능성도 적고, 과도한 release() 호출로 인한 문제도 쉽게 파악할 수 있습니다.

🏗️ 협업 프로젝트와 운영 환경

여러 개발자가 동시에 코드를 작성하는 협업 프로젝트나 실제 서비스 운영 환경에서는 BoundedSemaphore를 사용하는 것이 안전합니다.
이 경우 release() 남용을 막아주므로, 개발자가 실수해도 프로그램 전체 안정성을 해치지 않습니다.

📊 실제 사용 사례

예를 들어, 웹 크롤러를 작성할 때는 동시에 몇 개의 요청만 보내도록 제어해야 합니다.
이 경우 단순 제어만 필요하다면 Semaphore로 충분합니다.
반면, 데이터베이스 커넥션 풀을 관리하는 경우에는 release() 실수로 커넥션 수가 잘못 관리되면 심각한 문제가 발생할 수 있으므로 BoundedSemaphore를 사용하는 것이 더 적절합니다.

결국 두 도구는 대체 관계가 아니라 보완 관계라고 볼 수 있습니다.
개발 상황에 맞게 적절히 선택하고 활용하는 것이 중요하며, 특히 협업 환경에서는 안정성을 보장하는 BoundedSemaphore 사용을 권장합니다.

❓ 자주 묻는 질문 (FAQ)