Condition Variable 에서의 lock 문제

Question

안녕하세요 Rookiss 님 좋은 강의 감사합니다. 다름이 아닌 condition variable 에서 producer ( ) 코드 에서 { { unique_lock guard(m); q.push(100); } //생략 } 이렇게 unique_lock 을 걸어주게 되고, Consumer 측에서는 { while (true) { unique_lock lock(m); // 생략 } } 여기서 궁금한게, thread1(producer) , thread2(consumer) 시, thread1 에서 mutex m 을 unique_lock 으로 잠가주게 되고, thread2 에서 mutex m 을 또 unique_lock 으로 잠가주게 되어, 재귀적으로 lock 이 일어나게 되는데, 왜 오류가 일어나지 않는지 궁금합니다. ps ) unique_lock 으로 인자를 주어, 처음부터 lock을 안걸어줄 수도 있는데, 그냥 mutex m 만 인자로 넘길시 , 바로 생성자에서 lock 을 걸어버린다고 찾아보았습니다. 헌데, 여기서는 재귀 lock 이 일어난것 처럼 보여서, 제가 잘 이해하지 못한 부분이 있는지 여쭤봅니다.

Rookiss · Answer

각자 다른 쓰레드에서 동일한 락을 거는 행위라서
상호배타적 접근이이 보장되는 상황이지
[재귀적]으로 락이 일어나는 상황은 아닙니다.
(즉 서로 동시에 unique_lock으로 락을 걸어도 하나는 기다리게 됨)
예를 들어 재귀적으로 락을 거는 문제의 경우는 다음과 같습니다.

void A()
{
Lock걸기
B();
Lock풀기
}

void B()
{
Lock걸기
A();
Lock풀기
}