一、条件变量
1. 条件变量基本概念
- 条件变量是线程同步的一种手段。条件变量用来自动阻塞一个线程,直到条件(predicate)满足被触发为止。通常情况下条件变量和互斥锁同时使用。
- 条件变量使我们可以睡眠等待某种条件出现。条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:一个或者多个线程等待"条件变量的条件成立"而挂起;另一个线程使"条件成立"信号。
- 条件变量是利用线程间共享全局变量进行同步的一种机制。条件变量上的基本操作有:触发条件(当条件变为 true 时);等待条件,挂起线程直到其他线程触发条件。
2.条件变量的特点
- 互斥锁的缺点是它只有两种状态:锁定和非锁定
- 条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足
- 条件变量内部是一个等待队列,放置等待的线程,线程在条件变量上等待和通知,互斥锁用来保护等待队列(对等待队列上锁),条件变量通常和互斥锁一起使用
- 条件变量允许线程等待特定条件发生,当条件不满足时,线程通常先进入阻塞状态,等待条件发生变化。一旦其它的某个线程改变了条件,可唤醒一个或多个阻塞的线程
- 具体的判断条件还需用户给出
- 条件变量数据类型: pthread_cond_t
3.条件变量的创建与销毁
#include <pthread.h>
//初始化条件变量
int pthread_cond_init(pthread_cond_t *restrict cond, pthread_condattr_t *restrict attr);
//销毁条件变量
int pthread_cond_destroy(pthread_cond_t *cond);
- 函数参数:
cond:条件变量
attr:条件变量属性 - 返回值:
成功,返回 0;出错,返回错误编号
注意:
初始化条件变量: 尽管POSIX标准中为条件变量定义了属性,但在Linux中没有实现,因此cond_attr值通常为NULL,且被忽略。
销毁条件变量:只有在没有线程在该条件变量上等待的时候才能销毁这个条件变量,否则返回错误编号。
4.条件变量的等待操作
#include <pthread.h>
//阻塞等待
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restric mutex);
//超时等待
int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict timeout);
struct timespec {
time_t tv_sec; /** seconds */
ong tv_nsec; /** nanoseconds */
};
-
函数参数:
cond:条件变量
mutex:互斥锁 -
返回值:成功,返回 0,出错,返回错误编号
-
互斥锁 mutex 是对条件变量 cond 的保护
-
线程由于调用 wait 函数阻塞,否则释放互斥锁
注意:
无论哪种等待方式,都必须和一个互斥锁配合,以防止多个线程同时请求(用 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()前的加锁动作对应。
5.条件变量的通知操作
#include <pthread.h>
//激活一个等待该条件的线程(存在多个等待线程时按入队顺序激活其中一个)
int pthread_cond_signal(pthread_cond_t *cond);
//激活所有等待线程
int pthread_cond_broadcast(pthread_cond_t *cond);
-
函数参数:
cond:条件变量 -
返回值:成功,返回 0;失败,返回错误编号
注意:这两个函数用于通知线程条件已经满足. 调用这两个函数, 也称向线程或条件发送信号. 必须注意, 一定要在改变条件状态以后再给线程发送信号。
说明:
1. pthread_cond_wait 自动解锁互斥量(如同执行了pthread_unlock_mutex),并等待条件变量触发。这时线程挂起,不占用CPU时间,直到条件变量被触发(变量为ture)。在调用 pthread_cond_wait之前,应用程序必须加锁互斥量。pthread_cond_wait函数返回前,自动重新对互斥量加锁(如同执行了pthread_lock_mutex)。
2. 互斥量的解锁和在条件变量上挂起都是自动进行的。因此,在条件变量被触发前,如果所有的线程都要对互斥量加锁,这种机制可保证在线程加锁互斥量和进入等待条件变量期间,条件变量不被触发。条件变量要和互斥量相联结,以避免出现条件竞争——个线程预备等待一个条件变量,当它在真正进入等待之前,另一个线程恰好触发了该条件(条件满足信号有可能在测试条件和调用pthread_cond_wait函数(block)之间被发出,从而造成无限制的等待)。
3. 条件变量函数不是异步信号安全的,不应当在信号处理程序中进行调用。特别要注意,如果在信号处理程序中调用 pthread_cond_signal 或 pthread_cond_boardcast 函数,可能导致调用线程死锁。
二、案例
1. 案例程序
一个线程负责计算结果,计算结果完成后,另外一个线程才获取结果。
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <unistd.h>
/** 两个线程定义的共享资源 */
typedef struct {
int res;
int is_wait; ///< 用户给出的用于判断的条件
pthread_cond_t cond; ///< 条件变量
pthread_mutex_t mutex; ///< 互斥锁:用来保护等待队列(对等待队列上锁)
}Result;
/** 计算并将结果放置在 Result 中的线程运行函数 */
void *set_fn(void *arg)
{
Result *r = (Result *)arg;
int i = 0;
int sum = 0;
for(; i <= 100; i++){
sum += i;
}
/** 将结果放置到 Result 中 */
r->res = sum;
pthread_mutex_lock(&r->mutex);
/** 判断获取结果的线程是否准备好 */
while(!r->is_wait){
pthread_mutex_unlock(&r->mutex);//如果去掉while循环里面的解锁与加锁,当此线程线运行时,获取线程就会移植阻塞
usleep(100);
pthread_mutex_lock(&r->mutex);
}
pthread_mutex_unlock(&r->mutex);
/** 通知唤醒等待的那个获取结果的线程 */
pthread_cond_broadcast(&r->cond);
return (void *)0;
}
/** 获得结果的线程运行函数 */
void *get_fn(void *arg)
{
Result *r = (Result *)arg;
/*对共享资源需要加锁,线程会变的安全,虽然is_wait仅仅在设置函数里面是判断,但加锁对线程安全是不可缺少的*/
/** 对两个线程共享的判断条件进行保护(加锁) */
/** 两个线程对判断条件的操作是互斥的 */
pthread_mutex_lock(&r->mutex);
/** 当线程启动后,将此变量设置为1,代表此线程已经准备好了 */
r->is_wait = 1;
/** 获取结果的线程等待,互斥锁对等待队列进行加锁,因为等待队列不光是一个线程操作,属于共享的资源 */
pthread_cond_wait(&r->cond, &r->mutex);
/** 被唤醒后 */
pthread_mutex_unlock(&r->mutex);//其实真正的解锁是解的线程等待函数里面的锁
/** 去获取计算结果 */
int res = r->res;
printf("0x%lx get sum is %d\n", pthread_self(), res);
return (void *)0;
}
int main(void)
{
int err;
pthread_t cal, get;
Result r;
r.is_wait = 0;
pthread_cond_init(&r.cond, NULL);
pthread_mutex_init(&r.mutex, NULL);
/** 启动获取结果的线程 */
if((err = pthread_create(&get, NULL, get_fn, (void *)&r)) != 0){
perror("pthread create error");
}
/** 启动计算结果的线程 */
if((err = pthread_create(&cal, NULL, set_fn, (void *)&r)) != 0){
perror("pthread create error");
}
pthread_join(cal, NULL);
pthread_join(get, NULL);
pthread_cond_destroy(&r.cond);
pthread_mutex_destroy(&r.mutex);
pthread_cond_destroy(&r.cond);
pthread_mutex_destroy(&r.mutex);
return 0;
}
可以看出,等待条件变量信号的用法约定一般是这样的:
…
pthread_mutex_lock(&mutex);
…
pthread_cond_wait (&cond, &mutex);
…
pthread_mutex_unlock (&mutex);
…
2.条件变量的 pthread_cond_wait(cond, mutex) 函数内部流程
- unlock(&mutex):释放锁
- lock(&mutex)
- 将线程自己插入到条件变量的等待队列中
- unlock(&mutex);
- 当前等待的线程阻塞 <<== 等待其他线程通知唤醒(signal 或 broadcast)
- 在唤醒后,lock(&mutex)
- 从等待队列中删除线程自己
3.案例的改进
一个线程计算结果,多个线程获取数据。
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <unistd.h>
/** 两个线程定义的共享资源 */
typedef struct {
int res;
int counter; ///< 用于统计获取结果线程的数量
pthread_cond_t cond; ///< 条件变量
pthread_mutex_t mutex; ///< 互斥锁
}Result;
/** 计算并将结果放置在 Result 中的线程运行函数 */
void *set_fn(void *arg)
{
Result *r = (Result *)arg;
int i = 0;
int sum = 0;
for(; i <= 100; i++){
sum += i;
}
/** 将结果放置到 Result 中 */
r->res = sum;
pthread_mutex_lock(&r->mutex);
/** 判断获取结果的线程是否达到指定的数量 */
while(r->counter < 2){
pthread_mutex_unlock(&r->mutex);
usleep(100);
pthread_mutex_lock(&r->mutex);
}
pthread_mutex_unlock(&r->mutex);
/** 通知唤醒等待的那个获取结果的线程 */
pthread_cond_broadcast(&r->cond);
return (void *)0;
}
/** 获得结果的线程运行函数 */
void *get_fn(void *arg)
{
Result *r = (Result *)arg;
/** 对两个线程共享的判断条件进行保护(加锁) */
/** 两个线程对判断条件的操作是互斥的 */
pthread_mutex_lock(&r->mutex);
/** 有一个线程准备好了,则计数器 +1 */
r->counter++;
/** 获取结果的线程等待 */
pthread_cond_wait(&r->cond, &r->mutex);
/** 被唤醒后 */
pthread_mutex_unlock(&r->mutex);
/** 去获取计算结果 */
int res = r->res;
printf("0x%lx get sum is %d\n", pthread_self(), res);
return (void *)0;
}
int main(void)
{
int err;
pthread_t cal, get1, get2;
Result r;
r.counter = 0;
pthread_cond_init(&r.cond, NULL);
pthread_mutex_init(&r.mutex, NULL);
/** 启动获取结果的线程 */
if((err = pthread_create(&get1, NULL, get_fn, (void *)&r)) != 0){
perror("pthread create error");
}
if((err = pthread_create(&get2, NULL, get_fn, (void *)&r)) != 0){
perror("pthread create error");
}
/** 启动计算结果的线程 */
if((err = pthread_create(&cal, NULL, set_fcal, NULL);
pthread_join(get1, NULL);
pthread_join(get2, NULL);
pthread_join(get2, NULL);
pthread_cond_destroy(&r.cond);
pthread_mutex_destroy(&r.mutex);
return 0;
}