概述
与互斥锁不同,条件变量是用来等待而不是用来上锁的。条件变量用来自动阻塞一个线程,直到某特殊情况发生为止。通常条件变量和互斥锁同时使用
。
条件变量使我们可以睡眠等待某种条件出现。条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:
1.一个线程等待"条件变量的条件成立"而挂起;
2.另一个线程使 “条件成立”(给出条件成立信号)
想象一种情况,我创建一个线程去执行下雨收衣服的工作,但是大多数时候天气都是晴天,只有下雨天这个线程才会去工作,那么我就需要这个线程睡眠,不要浪费CPU 资源,等下雨时我再叫醒它起来工作就行了,线程条件变量就是扮演这样一个角色。
条件的检测是在互斥锁的保护下进行的。线程在改变条件状态之前必须首先锁住互斥量。如果一个条件为假,一个线程自动阻塞,并释放等待状态改变的互斥锁。如果另一个线程改变了条件,它发信号给关联的条件变量,唤醒一个或多个等待它的线程,重新获得互斥锁,重新评价条件。如果两进程共享可读写的内存,条件变量 可以被用来实现这两进程间的线程同步。
在 linux 的 pthread 中使用条件变量的类型为:pthread_cond_t 表示一个条件变量
typedef union{struct __pthread_mutex_s __data ;char __size [ __SIZEOF_PTHREAD_MUTEX_T ];long int __align ;} pthread_mutex_t ;
对线程条件变量的操作可以有
1.初始化条件变量
2.销毁条件变量
3.等待条件变量(线程睡眠)
4.唤醒等待条件变量的线程
初始化条件变量
动态初始化(pthread_cond_init)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_init(pthread_cond_t *restrict cond,const pthread_condattr_t *restrict attr);
作用:
初始化线程条件变量 cond
参数含义:
cond:线程条件变量
attr:线程条件变量的属性,为空表示默认属性
返回值:
成功返回 0,
失败返回错误号
静态初始化
在 linux 中使用静态存储区中的
PTHREAD_COND_INITIALIZER
就可以对条件变量完成静
态初始化
/* Conditional variable handling. */#define PTHREAD_COND_INITIALIZER { { { 0 }, { 0 }, { 0 , 0 }, { 0 , 0 }, 0 , 0 , { 0 , 0 } } }
如下:
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
销毁条件变量(pthread_cond_destroy)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_destroy(pthread_cond_t *cond);
作用:
销毁线程条件变量 cond
参数含义:
cond:
线程条件变量
返回值:
成功返回 0,
失败返回错误号
等待一个条件变量(线程睡眠)
阻塞等待(pthread_cond_wait)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_wait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex);
作用:
阻塞等待条件变量 cond
的值,线程进入睡眠状态并解锁,直到被条件变量唤醒
参数含义:
cond:线程条件变量
mutex:互斥锁
返回值:
成功返回 0,
失败返回错误号
备注:
1.因为条件变量本身是一个“共享资源”,为了避免竞争,需要一个线程互斥锁来保护
它
2.在 pthread_cond_wait/pthread_cond_timewait 需要把锁住的互斥锁传入函数,在函数内部实现的时候,线程让出 CPU(休眠)前,释放传入的互斥锁,然后再休眠
3.休眠到直到条件发生(被唤醒),被唤醒的时候,再次重新锁住传入的锁(不会带锁休眠),也就是说线程在睡眠的时候会解锁,在被唤醒时会去获取锁
限时等待(pthread_cond_timedwait)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_timedwait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex,const struct timespec *restrict abstime);
作用:
限时等待条件变量 cond
的值,线程进入睡眠状态并解锁,直到被条件变量唤醒或到达绝对时间 abstime
参数含义:
cond:线程条件变量
mutex:互斥锁
abstime: 是一个绝对时间(当前时间+等待时间),表示超过这个时间将直接返回
返回值:
成功返回 0,
失败返回错误号
唤醒等待条件变量的线程
唤醒所有等待该条件变量的线程(pthread_cond_broadcast)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_broadcast(pthread_cond_t *cond);
作用:
唤醒所有等待条件变量 cond
的线程
参数含义:
cond:线程条件变量
返回值:
成功返回 0,
失败返回错误号
唤醒一个等待该条件变量的线程(pthread_cond_signal)
头文件:
#include <pthread.h>
函数原型:
int pthread_cond_signal(pthread_cond_t *cond);
作用:
激活一个等待该条件 cond
的线程,存在多个等待线程时按入队顺序激活其中一个;
参数含义:
cond:线程条件变量
返回值:
成功返回 0,
失败返回错误号
备注:
在生产者消费者模型中,如果生产者一次性可以产出多个任务,那么用
pthread_cond_broadcast 好一点,如果溢出只产生一个任务,那么使用pthread_cond_signal 好一点
使用示例
#include <stdio.h>
#include <pthread.h>
static pthread_t thread1;
static pthread_t thread2;
//静态初始化
static pthread_mutex_t lock=PTHREAD_MUTEX_INITIALIZER;
static pthread_cond_t cond=PTHREAD_COND_INITIALIZER;
void *function1()
{
while(1)
{
pthread_mutex_lock(&lock);
printf("===== 线程 1 进入睡眠 ====\n");
pthread_cond_wait(&cond,&lock);
printf("==== 线程 1 唤醒 ====\n");
pthread_mutex_unlock(&lock);
}
}
void *function2()
{
while(1)
{
pthread_mutex_lock(&lock);
printf("===== 线程 2 进入睡眠 ====\n");
pthread_cond_wait(&cond,&lock);
printf("==== 线程 2 唤醒 ====\n");
pthread_mutex_unlock(&lock);
}
}
int main()
{
int i=0;
if(-1==pthread_create(&thread1,NULL,function1,NULL))
{
printf("thread_create1 fail!\n");
pthread_detach(thread1);
}
if(-1==pthread_create(&thread2,NULL,function2,NULL))
{
printf("thread_create fail!\n");
pthread_detach(thread1);
}
while(1)
{
sleep(2);
i++;
printf("\n 第%d 次唤醒\n",i);
pthread_mutex_lock(&lock);
if(-1==pthread_cond_signal(&cond))
{
printf("pthread_cond_broadcast error!\n");
}
pthread_mutex_unlock(&lock);
}
return 0;
}