web-dev-qa-db-ja.com

pthread条件変数を使用する場合

pthreadの質問：

条件変数は、他のスレッドがpthread_cond_notifyを呼び出す前にpthread_cond_waitが呼び出された場合にのみ機能するようです。待機する前に何らかの形で通知が発生した場合、待機はスタックします。

私の質問は：いつ条件変数を使用すべきか？

スケジューラーはスレッドをプリエンプトすることができ、待機する前に通知が行われる場合があります。

セマフォの待機にはこの問題はありません。これらにはカウンタがあります。

条件変数はセマフォよりも優れているのはいつですか？

テストは次のとおりです。

**** file condvar.c

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

// ******
// test of conditional variables;
// if cond-var is notified before wait starts, then wait never wakes up !!!
// better to use semaphores than this crap.
// ******

pthread_mutex_t cond_var_lock =  PTHREAD_MUTEX_INITIALIZER; 
pthread_cond_t cond_var = PTHREAD_COND_INITIALIZER;

int wait_first = 1;

void *tfunc(void *arg)
{
(void) arg;

if (!wait_first)
    sleep(1);

fprintf(stderr,"on enter cond_var_lock %lx\n", pthread_self());
pthread_mutex_lock( &cond_var_lock);
fprintf(stderr,"before pthread_cond_wait %lx\n", pthread_self());
pthread_cond_wait( &cond_var, &cond_var_lock);
fprintf(stderr,"after pthread_cond_wait %lx\n", pthread_self());
pthread_mutex_unlock( &cond_var_lock);
fprintf(stderr,"after exit cond_var_lock %lx\n", pthread_self());

return 0;
}

int main(int argc, char *argv[])
{
pthread_t th;

if (argc > 0) 
    wait_first = atoi( argv[1] );

if (wait_first)
{
    fprintf(stderr,"********* Wait first ***********\n");
} else {
    fprintf(stderr,"********* Notify first *********\n");
}


pthread_create( &th, 0, tfunc, 0 );

if (wait_first)
{
    sleep(1);
} 

fprintf(stderr, "! on enter cond_var_lock %lx\n", pthread_self());
pthread_mutex_lock( &cond_var_lock);
fprintf(stderr, "! before pthread_cond_signal %lx\n", pthread_self());
pthread_cond_signal( &cond_var );
fprintf(stderr, "! after pthread_cond_signal %lx\n", pthread_self());
pthread_mutex_unlock( &cond_var_lock);
fprintf(stderr, "! after exit cond_var_lock %lx\n", pthread_self());

sleep(5);
return 0;    
}

**** file test.sh

#!/bin/sh

set -e
set -x

gcc condvar.c -o condvar -lpthread

./condvar 1

./condvar 0

**** test output

Output:

+ gcc condvar.c -o condvar -lpthread
+ ./condvar 1
********* Wait first ***********
on enter cond_var_lock b7779b70
before pthread_cond_wait b7779b70
! on enter cond_var_lock b777a6c0
! before pthread_cond_signal b777a6c0
! after pthread_cond_signal b777a6c0
! after exit cond_var_lock b777a6c0
after pthread_cond_wait b7779b70
after exit cond_var_lock b7779b70
+ ./condvar 0
********* Notify first *********
! on enter cond_var_lock b785c6c0
! before pthread_cond_signal b785c6c0
! after pthread_cond_signal b785c6c0
! after exit cond_var_lock b785c6c0
on enter cond_var_lock b785bb70
before pthread_cond_wait b785bb70
clinuxpthreads
17
MichaelMoser

条件変数は、待機して通知を受ける場所として使用する必要があります。それらは状態そのものではなく、イベントでもありません。条件は、周囲のプログラミングロジックに含まれています。条件変数の典型的な使用パターンは

// safely examine the condition, prevent other threads from
// altering it
pthread_mutex_lock (&lock);
while ( SOME-CONDITION is false)
    pthread_cond_wait (&cond, &lock);

// Do whatever you need to do when condition becomes true
do_stuff();
pthread_mutex_unlock (&lock);

一方、条件変数を通知するスレッドは、通常次のようになります

// ensure we have exclusive access to whathever comprises the condition
pthread_mutex_lock (&lock);

ALTER-CONDITION

// Wakeup at least one of the threads that are waiting on the condition (if any)
pthread_cond_signal (&cond);

// allow others to proceed
pthread_mutex_unlock (&lock)
44
chill