조건 변수에 신호를 보내면 뮤텍스 소유권은 어떻게됩니까?

Question

1. 스레드 T1 뮤텍스 잠금 M 및 조건 C를 대기 (M해제).

2. 스레드 T2 뮤텍스 잠금 M 및 신호 조건 C.

문학에서 C가 신호되면, T1이 깨어 있음을 언급하고 M 재 취득하는 것. 이 M이 C 신호 전에 인수 한 이후

가 나는 T2에 무슨 일에 대한 의심 남아 있었다.

어떤 신호 전에 인수 한 M에 대한 T2 어떻게됩니까?

1. 는 T1 그것이 다시 가져 위해, 출시 M 만 T2 후 실행, 준비 만 차단 도착합니까?

2. 는 T1이 준비가 되하며 만약을 다시 가져 위해 T2가 발표됩니다 M까지 차단됩니다 동안 실행?

3. 그들은 단지 동시에 실행 T1 취득 M와, M 해제 과 T2 (또는도 취득?)

4. ?

Answer 1

조건 C가 신호를 보내면 스레드 T1을 깨우고, 잠그면 뮤텍스 M을 다시 획득해야합니다. 그러기 위해서는 T2가 먼저 M을 놓아야합니다.

따라서 T1은 신호에서 깨어 나고 M을 획득하기 위해 대기하고 T2는 M을 방출하고 T1은 M, T1 및 T2를 동시에 실행합니다.