뮤텍스 잠금은 가장 간단한 스레드 동기화 메커니즘입니다. Python에서 제공하는 Condition 개체는 복잡한 스레드 동기화 문제를 지원합니다. 조건은 잠금과 유사한 획득 및 해제 방법 외에도 대기 및 알림 방법도 제공합니다. 스레드는 먼저 조건 변수를 획득한 다음 일부 조건을 결정합니다. 조건이 충족되지 않으면 대기하고, 조건이 충족되면 일부 처리를 수행하여 조건을 변경하고, 대기 상태에 있는 다른 스레드는 알림을 받은 후 조건을 다시 판단합니다. 이 프로세스는 복잡한 동기화 문제를 해결하기 위해 지속적으로 반복됩니다.
Condition 객체는 잠금(Lock/RLock)과 대기 풀을 유지한다고 생각하면 됩니다. 스레드는 획득을 통해 Condition 개체를 얻습니다. 대기 메서드가 호출되면 스레드는 Condition 내부의 잠금을 해제하고 차단된 상태로 진입합니다. 대기 풀에 기록됩니다. 알림 메서드가 호출되면 Condition 개체는 대기 풀에서 스레드를 선택하고 잠금 획득을 시도하기 위해 획득 메서드를 호출하도록 알립니다.
조건 개체의 생성자는 Lock/RLock 개체를 매개 변수로 허용할 수 있습니다. 지정하지 않으면 조건 개체가 내부적으로 RLock을 생성합니다.
Notify 메소드 외에도 Condition 객체는 대기 풀의 모든 스레드에 내부 잠금 획득을 시도하도록 알릴 수 있는 informAll 메소드도 제공합니다. 위 메커니즘으로 인해 대기 상태에 있는 스레드는 알림 메서드를 통해서만 깨울 수 있으므로, informAll의 기능은 스레드가 영원히 침묵하는 것을 방지하는 것입니다.
조건변수 동기화를 보여주는 고전적인 문제는 생산자와 소비자 문제입니다. 생산자 그룹(Producer)과 소비자 그룹(Consumer)이 시장을 통해 제품과 상호 작용한다고 가정합니다. 생산자의 "전략"은 시장에 남은 제품이 1,000개 미만이면 100개의 제품을 생산하여 시장에 출시하는 것이고, 소비자의 "전략"은 시장에 남은 제품이 100개보다 많으면 100개의 제품을 생산하는 것입니다. .3개 제품을 섭취하세요. 생산자와 소비자의 문제를 해결하기 위해 Condition을 사용하는 코드는 다음과 같습니다.
import threading import time class Producer(threading.Thread): def run(self): global count while True: if con.acquire(): if count > 1000: con.wait() else: count = count+100 msg = self.name+' produce 100, count=' + str(count) print msg con.notify() con.release() time.sleep(1) class Consumer(threading.Thread): def run(self): global count while True: if con.acquire(): if count < 100: con.wait() else: count = count-3 msg = self.name+' consume 3, count='+str(count) print msg con.notify() con.release() time.sleep(1) count = 500 con = threading.Condition() def test(): for i in range(2): p = Producer() p.start() for i in range(5): c = Consumer() c.start() if __name__ == '__main__': test()