pthread_cond_waitはmutexのロックを解除しません

Question

オンラインでMac OS Xでpthread_cond_waitという奇妙な証拠は見つかりませんでしたが、私にとっては最も簡単なテストでは失敗しているようです。

機能

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 documentation for pthread_cond_waitで説明します。

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