条件变量是线程可用的另一种同步机制。条件变量给多个线程提供了一个会合的场所。条件变量与互斥量一起使用时,允许线程以无竞争的方式等待特定的条件发生。
条件本身是由互斥量保护的。线程在改变条件状态之前必须首先锁住互斥量。其他线程在获得互斥量之前不会察觉到这种变化,因为互斥量必须在锁定以后才能计算条件。
在使用条件变量之前必须先初始化条件变量。
在释放条件变量底层的内存空间之前,可以使用pthread_cond_destroy函数对条件变量今次那个反初始化(deinitialize)。
#include <pthread.h> int pthread_cond_init(pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr); int pthread_cond_destroy(pthread_cond_t *cond) 两个函数的返回值:若成功,返回0;否则,返回错误编号 |
---|
attr置空时条件变量属性为默认。
使用pthread_cond_wait等待条件变量变为真。
#include<pthread.h> int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t * restrict mutex); int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict tsptr); 两个函数的返回值:若成功,返回0;否则,返回错误编号 |
---|
传递给pthread_cond_wait的互斥量对条件进行保护。调用者把锁住的互斥量传给函数,函数然后自动把调用线程放到等待条件的线程列表上,对互斥量解锁。pthread_cond_wait返回时,互斥量再次被锁住。
pthread_cond_timedwait函数的功能与pthread_cond_wait函数相似,只是多了一个超时(tsptr)。超时值指定了我们愿意等待多上时间,是一个绝对时间。
可以用clock_gettime函数获取timespec结构表示的当前时间。但是目前并不是所有的平台都支持这个函数,一次,也可以用另一个函数gettimeofday获取timeval结构表示的当前时间,然后把这个时间转换成timespec结构。
如果超时到期条件还是没有出现,pthread_cond_timedwait将重新获取互斥量,然后返回错误ETIMEOUT 。从pthread_cond_wait或者pthread_cond_timedwait调用成功返回时,线程需要重新计算条件,因为另一个线程可能已经在运行并改变了条件。
有两个函数可以用于通知线程条件已经满足。pthread_cond_signal函数至少能够唤醒一个等待该条件的线程,而pthread_cond_broadcast函数则能唤醒等待该条件的所有线程。
#include <pthread.h> int pthread_cond_signal(pthread_cond_t *cond); int pthread_cond_broadcast(pthread_cond_t *cond); 两个函数的返回值:若成功,返回0;否则,返回错误编号 |
---|
在调用pthread_cond_signal或者pthread_cond_broadcast时,我们说这是在给线程或者条件发信号。必须注意,一定要在改变条件状态以后再给线程发信号。