条件变量是利用线程间共享的
全局变量进行同步的一种机制,主要包括两个动作:一个线程等待"条件变量的条件成立"而挂起;另一个线程使"条件成立"(给出条件成立信号)。
为了防止竞争,条件变量的使用总是和一个互斥锁结合在一起。
等待和激发:
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)
int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime)
等待条件有两种方式:
条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait(),其中计时等待方式如果在给定时刻前条件没有满足,则返回ETIMEDOUT,结束等待,其中abstime以与time()
系统调用相同意义的绝对时间形式出现,0表示
格林尼治时间1970年1月1日0时0分0秒。
无论哪种等待方式,都必须和一个
互斥锁配合,以防止多个线程同时请求pthread_cond_wait()(或pthread_cond_timedwait(),下同)的
竞争条件(Race Condition)。
mutex互斥锁必须是普通锁(PTHREAD_MUTEX_TIMED_NP)或者适应锁(PTHREAD_MUTEX_ADAPTIVE_NP),且在调用pthread_cond_wait()前必须由本线程加锁(pthread_mutex_lock()),而在更新条件等待队列以前,mutex保持锁定状态,并在线程挂起进入等待前解锁。在条件满足从而离开pthread_cond_wait()之前,mutex将被重新加锁,以与进入pthread_cond_wait()前的加锁动作对应。阻塞时处于解锁状态。
激发条件有两种形式,
pthread_cond_signal()激活一个等待该条件的线程,存在多个等待线程时按入队顺序激活其中一个;而pthread_cond_broadcast()则激活所有等待线程。
使用案例:
pthread_mutex_lock (&mutex_analysis);
pthread_cond_wait (&cond_analysis, &mutex_analysis);
pthread_mutex_unlock (&mutex_analysis);
使用pthread_mutex_lock进行对本线程加锁,在pthread_cond_wait挂起等待需要满足的条件变量后,又对本线程进行解锁。当条件变量满足后,本线程又会被加锁,和进入pthread_cond_wait前的加锁动作是相同的。因此,需要再次对本线程进行解锁,要用到pthread_mutex_unlock函数。
信号激活:pthread_cond_signal (&cond_analysis);