pthread_cond_wait 不解锁互斥体

Question

我在网上找不到任何证据表明 pthread_cond_wait 在 Mac OS X 上很奇怪，但对我来说，它似乎没有通过最简单的测试。

该函数

int pthread_cond_wait(pthread_cond_t *, pthread_mutex_t * );

应该解锁互斥锁参数 #2，然后等待在条件参数 #1 上发送信号。我编写了一个简单的程序来测试这一点，并测试虚假唤醒：

#include <stdio.h>
#include <pthread.h>

pthread_t spin_thread;
pthread_mutex_t spin_mutex;
pthread_cond_t spin_cond;

int actual = 0;

void *condspin( void *v ) {
    int expected = 0;
    for ( ;; ) {
        if ( actual != expected ) printf( "unexpected %d\n", actual );
        else printf( "expected %d\n", actual );
        pthread_mutex_lock( &spin_mutex );
        printf( "locked\n" );
        expected = actual + 1;
        pthread_cond_wait( &spin_cond, &spin_mutex );
    }
    return NULL;
}

int main( int argc, char ** argv ) {
    pthread_mutex_init( &spin_mutex, NULL );
    pthread_cond_init( &spin_cond, NULL );
    pthread_create( &spin_thread, NULL, &condspin, NULL );

    for ( ;; ) {
        getchar();
        pthread_cond_signal( &spin_cond );
        printf( "signaled\n" );
        ++ actual;
    }
    return 0;
}

但它只获取锁一次。为了简单起见，主线程甚至不尝试获取锁。

Shadow:~ dkrauss$ cc condwait.c -o condwait
Shadow:~ dkrauss$ ./condwait 
expected 0
locked

signaled
expected 1

signaled

signaled

如果我在 pthread_cond_wait 之后添加 pthread_mutex_unlock，它的行为将按预期进行。 （或者只用一半的锁定机制就可以达到您的预期。）那么，有什么作用呢？

Answer 1

pthread_cond_wait 在互斥体被唤醒时重新获取互斥体。使用 pthreads 互斥体的标准模式是：

pthread_mutex_lock(&mutex);
// init work...
while (!some_condition)
    pthread_cond_wait(&cond, &mutex);
// finishing work...
pthread_mutex_unlock(&mutex);

此行为在 的 SUS 文档中进行了描述pthread_cond_wait 为：

Upon successful return, the mutex has been locked and is owned by the calling thread.