条件变量是线程另一可用的同步机制。条件变量给多个线程提供了一个会合的场所。条件变量与互斥量一起使用时,允许线程以无竞争的方式等待特定的条件发生。
条件本身是由互斥量保护的。线程在改变条件状态前必须首先锁住互斥量,其他线程在获得互斥量之前不会察觉到这种改变,因为必须锁定互斥量以后才能计算条件。
条件变量使用之前必须首先初始化
pthread_cond_t数据类型代表的条件变量可以用两种方式进行初始化,可以把常量PTHREAD_COND_INITIALIZER赋给静态分配的条件变量
静态初始化:pthread_cond_t cond = PTHREAD_COND_INITIALIZER
动态初始化: pthread_cond_init(&cond,NULL);
如果条件变量是动态分配的,可以使用pthread_cond_destroy函数对条件变量进行去除初始化。
条件有 创建、销毁,触发,广播,和等待5种操作
所有 API 的头文件
#include <pthread.h>
1、 创建和销毁条件变量
函数原型
//创建
int pthread_cond_init(pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);//销毁
// 返回:若成功返回0,否则返回错误编号
两个参数都是pthread_cond_t类型的指针
如果需要创建一个非默认属性的条件变量,则pthread_cont_init函数的attr参数设置为NULL。
2、等待
函数原型
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, cond struct timespec *restrict timeout);
// 返回:若成功返回0,否则返回错误编号
pthread_cond_wait等待条件变为真。如果在给定的时间内条件不能满足,那么会生成一个代表一个出错码的返回变量。传递给pthread_cond_wait的互斥量对条件进行保护,调用者把锁住的互斥量传给函数。
pthread_cond_timedwait函数的工作方式与pthread_cond_wait函数类似,只是多了一个timeout=。timeout指定了等待的时间,它是通过timespec结构指定。
3、触发和广播
触发表示唤醒任意一个等待该条件的线程,而广播表示唤醒所有等待该条件的线程。
函数原型
//触发
int pthread_cond_signal(pthread_cond_t cond);
//广播
int pthread_cond_broadcast(pthread_cond_t cond);
// 返回:若成功返回0,否则返回错误编号
这两个函数可以用于通知线程条件已经满足。pthread_cond_signal函数将唤醒等待该条件的某个线程,而pthread_cond_broadcast函数将唤醒等待该条件的所有进程。
注意:一定要在改变条件状态以后再给线程发信号。
4、示例代码
#include <stdio.h>
#include <pthread.h>
int p_data = 0;
pthread_mutex_t mutex; //定义互斥量
pthread_cond_t cond; //定义条件变量
//就算是线程一先运行,(线程一会等待)
//因为它没有互斥锁,所以也会被线程二竞争过去,线程二有锁
void *func1(void *arg)
{
while(1){
pthread_cond_wait(&cond,&mutex); //等待条件满足
printf("t1 p_data : %d\n",p_data++); //满足条件后,输出p_data
printf("=========================\n");
p_data = 0; //复位p_data,方便下一次使用
sleep(1);
}
}
void *func2(void *arg)
{
while(1){
pthread_mutex_lock(&mutex); //加锁
printf("t2 p_data : %d\n",p_data++); //打印值
if(p_data == 5){ //是否满足条件
pthread_cond_signal(&cond); //通知线程一条件已经满足
}
pthread_mutex_unlock(&mutex); //解锁
sleep(1);
}
}
int main()
{
int ret;
int param = 100;
pthread_t t1; //线程一
pthread_t t2; //线程二
pthread_mutex_init(&mutex,NULL); //创建互斥量
pthread_cond_init(&cond,NULL); //创建条件量
ret = pthread_create(&t1,NULL,func1,(void *)¶m);
ret = pthread_create(&t2,NULL,func2,(void *)¶m);
pthread_join(t1,NULL);
pthread_join(t2,NULL);
pthread_mutex_destroy(&mutex); //销毁互斥量
pthread_cond_destroy(&cond); //销毁条件量
return 0;
}
运行结果
从运行结果可以看出,刚开始一直是线程二在运行,到了p_data = 5 时,线程二通知线程一条件满足,所以线程一结束等待,打印了p_data的值。