为什么在调用 `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 }

来自 Unix 环境中的高级编程

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_cond_signal之前先调用pthread_mutex_unlock？

In Java, unlocking is called after calling signal. 那么为什么会有区别呢？

谢谢。

Answer 1

如果要在互斥锁解锁之前调用pthread_cond_signal，您会引入服务员（第一个示例中的“出队”）将立即唤醒并尝试在互斥锁解锁之前锁定互斥锁的可能性由信号线程解锁。因为您知道 dequeuer 需要做的第一件事就是锁定互斥锁，所以您几乎是在鼓励线程争用和由此产生的（不必要的）上下文切换。

在发出信号之前解锁互斥锁可以消除这种争用源。