关于条件变量

最近打算在写一个网络库，涉及到对mutex、condition的封装，再次使用Linux提供的接口，发现一个问题，使用condition的时候需要配合一个mutex来使用。

上面是关于pthread_cond_wait的man手册说明，意思就是再调用pthread_cond_wait之前需要把mutex上锁，pthread_cond_wait会自动解锁，然后等待条件变量被signal，执行线程会被挂起并不会消耗任何CPU时间，知道条件变量被signal。在返回到调用线程之前，pthread_cond_wait会重新获取锁（如果获取不到锁，会阻塞）。

我想要测试就是最后一点，如果在返回的时候获取不到锁，会不会阻塞，以及想知道为什么需要与一个mutex配合使用。

测试代码：

/*
* 测试pthread_cond_wait
*/
#include <unistd.h>
#include <pthread.h>

#include <stdio.h>

pthread_mutex_t mutex;
pthread_cond_t cond;

void* mutex_func(void *arg)
{
    // wait cond_func get the lock
    printf("lock after 5s
");
    sleep(5);
    pthread_mutex_lock(&mutex);

    pthread_cond_signal(&cond);

    printf("unlock after 5s
");
    sleep(5);
    pthread_mutex_unlock(&mutex);
}

void* cond_func(void *arg)
{
    // lock
    pthread_mutex_lock(&mutex);

    pthread_cond_wait(&cond, &mutex); // unlock and block
    printf("get signal
");

    pthread_mutex_unlock(&mutex);
    // acquire lock, will block
    printf("cond_func
");
}

int main(void)
{
    pthread_mutex_init(&mutex, NULL);
    pthread_cond_init(&cond, NULL);

    pthread_t pid1, pid2;
    pthread_create(&pid1, NULL, mutex_func, NULL);
    pthread_create(&pid2, NULL, cond_func, NULL);

    pthread_join(pid1, NULL);
    pthread_join(pid2, NULL);

    return 0;
}

输出结果：

结论：

根据输出结果可以知道，确实是它需要的mutex释放之后才从pthread_cond_wait返回的。此处可以推测（需要看源码验证）pthread_cond_wait是去查看某一个条件是否为真来决定是否返回的（那么就涉及到了race condition），所以需要使用mutex来保护。

源码验证：