pthread_mutex_lock（）能否在pthread_cond_wait（）解除阻止之前解除阻止？

Question

假设一个线程在条件变量上阻塞：

pthread_mutex_lock (mutex);
do_something ();
pthread_cond_wait(cond, mutex); // [1]
do_something_else ();
pthread_mutex_unlock (mutex);

互斥锁被解锁，尝试锁定互斥锁的其他线程被解锁：

pthread_mutex_lock (mutex);
do_some_work ();
pthread_cond_signal (cond);
pthread_mutex_unlock (mutex);

同时还有另一个线程正在等待获取关键部分的所有权：

pthread_mutex_lock (mutex); // [2]
do_some_random_work ();
pthread_mutex_unlock (mutex);

现在的问题是：调用pthread_cond_signal（）时，是否保证pthread_cond_wait（）[1]将在pthread_mutex_lock（）[2]之前解除阻塞？

POSIX规范似乎没有说明这种情况。

Answer 1

不，不是。

pthread_cond_signal（）的描述有时被写成

当每个线程由于pthread_cond_signal（）或pthread_cond_broadcast（）从其对pthread_cond_wait（）或pthread_cond_timedwait（）的调用返回而解除阻塞时，该线程拥有其调用pthread_cond_wait（）或pthread_cond_timedwait（）的互斥锁。被解除阻止的线程根据调度策略（如果适用）争夺互斥锁，就好像每个线程都调用了pthread_mutex_lock（）。

（摘自此链接）

如你所见，它的措辞是“好像每个人都叫pthread_mutex_lock（）”。因此，与来自另一个线程的实际pthread_mutex_lock调用相比，这个隐含pthread_mutex_lock调用没有优先级。