`pthread_cond_signal`을 호출하기 전에`pthread_mutex_unlock`이 호출되는 이유는 무엇입니까? 다중 프로그래밍의 예술에서

Question

,

1 #include <pthread.h> 
2 #define QSIZE 16 
3 typedef struct { 
4  int buf[QSIZE]; 
5  long head, tail; 
6  pthread_mutex_t *mutex; 
7  pthread_cond_t *notFull, *notEmpty; 
8 } queue; 
9 void queue_enq(queue* q, int item) { 
10  // lock object 
11  pthread_mutex_lock (q->mutex); 
12  // wait while full 
13  while (q->tail - q->head == QSIZE) { 
14   pthread_cond_wait (q->notFull, q->mutex); 
15  } 
16  q->buf[q->tail % QSIZE] = item; 
17  q->tail++; 
18  // release lock 
19  pthread_mutex_unlock (q->mutex); 
20  // inform waiting dequeuers 
21  pthread_cond_signal (q->notEmpty); 
22 } 

와 유닉스 환경

void 
enqueue_msg(struct msg *mp) 
{ 

    pthread_mutex_lock(&qlock); 
    mp->m_next = workq; 
    workq = mp; 
    pthread_mutex_unlock(&qlock); 
    pthread_cond_signal(&qready); 

} 

왜 고급 프로그래밍에서

는 pthread_mutex_unlock는 pthread_cond_signal를 호출하기 전에이라고?

In Java, unlocking is called after calling signal. 왜 차이가 있습니까?

감사합니다.

Answer 1

는 pthread_cond_signal 경우 뮤텍스의 잠금이 해제되기 전에, 당신이 웨이터 (첫 번째 예제에서 'dequeuer이') 즉시 깨어 뮤텍스 전에 뮤텍스 을 잠글 시도에 의해 잠금 해제 할 가능성을 소개 호출했다 신호 스레드. dequeuer가해야할 첫 번째 작업은 뮤텍스를 잠그는 것임을 알고 있기 때문에 스레드 경합과 결과적인 (불필요한) 컨텍스트 전환을 거의 권장합니다.

시그널링 전에 뮤텍스를 잠금 해제하면이 경쟁 소스가 제거됩니다.