条件变量

最新推荐文章于 2024-03-11 12:16:24 发布

u013322907

最新推荐文章于 2024-03-11 12:16:24 发布

阅读量374

点赞数

分类专栏： Linux

Linux 专栏收录该内容

22 篇文章 1 订阅

订阅专栏

http://www.cnblogs.com/aicro/archive/2009/06/26/1512001.html

条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足，它常和互斥锁一起使用。使用时，条件变量被用来阻塞一个线程，当条件不满足时，线程往往解开相应的互斥锁并等待条件发生变化。一旦其它的某个线程改变了条件变量，它将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并重新测试条件是否满足。一般说来，条件变量被用来进行线承间的同步。

1.条件变量的结构为pthread_cond_t (相当于windows中的事件的作用)

2.条件变量的初始化

int pthread_cond_init __P ((pthread_cond_t *__cond,__const pthread_condattr_t *__cond_attr));
　　其中cond是一个指向结构pthread_cond_t的指针，cond_attr是一个指向结构pthread_condattr_t的指针。结构pthread_condattr_t是条件变量的属性结构，和互斥锁一样我们可以用它来设置条件变量是进程内可用还是进程间可用，默认值是PTHREAD_ PROCESS_PRIVATE，即此条件变量被同一进程内的各个线程使用。注意初始化条件变量只有未被使用时才能重新初始化或被释放。

3.条件变量的释放

释放一个条件变量的函数为pthread_cond_ destroy（pthread_cond_t cond）

4.条件变量的等待

（1）函数pthread_cond_wait（）使线程阻塞在一个条件变量上。

先释放由mutex指向的互斥锁，然后将当前线程(用t1表示）阻塞，即将线程t1挂到与cond指向的条件变量相关的等待队列上

(wait的内部操作：一进入wait状态就unclock，在wait结束前lock)

它的函数原型为：
　　extern int pthread_cond_wait_P ((pthread_cond_t *__cond,pthread_mutex_t *__mutex));
　　线程解开mutex指向的锁并被条件变量cond阻塞。线程可以被函数pthread_cond_signal和函数pthread_cond_broadcast唤醒，但是要注意的是，条件变量只是起阻塞和唤醒线程的作用，具体的判断条件还需用户给出，例如一个变量是否为0等等，这一点我们从后面的例子中可以看到。线程被唤醒后，它将重新检查判断条件是否满足，如果还不满足，一般说来线程应该仍阻塞在这里，被等待被下一次唤醒。这个过程一般用while语句实现。
　　（2）另一个用来阻塞线程的函数是pthread_cond_timedwait（），它的原型为：
　　extern int pthread_cond_timedwait_P (pthread_cond_t *__cond,

pthread_mutex_t *__mutex, __const struct timespec *__abstime);
　　它比函数pthread_cond_wait（）多了一个时间参数，经历abstime段时间后，即使条件变量不满足，阻塞也被解除。

5.条件变量的解除改变

函数pthread_cond_signal（）的原型为：
　　extern int pthread_cond_signal_P ((pthread_cond_t *__cond));
　　它用来释放被阻塞在条件变量cond上的一个线程。多个线程阻塞在此条件变量上时，哪一个线程被唤醒是由线程的调度策略所决定的。要注意的是，必须用保护条件变量的互斥锁来保护这个函数，否则条件满足信号又可能在测试条件和调用pthread_cond_wait函数之间被发出，从而造成无限制的等待。

6.下面是使用函数pthread_cond_wait（）和函数pthread_cond_signal（）的一个简单的例子。
pthread_mutex_t mutex;
pthread_cond_t cond;
unsigned count;
decrement_count　() {
pthread_mutex_lock (&mutex);
while(count==0) //此处while的意义
pthread_cond_wait( &cond, &mutex);
count=count -1;
pthread_mutex_unlock (&mutex);
}

increment_count(){
pthread_mutex_lock(&mutex);
if(count==0)
pthread_cond_signal(&cond);
count=count+1;
pthread_mutex_unlock(&mutex);
}
　　

count值为0时，decrement函数在pthread_cond_wait处被阻塞，并解开互斥锁mutex。此时，当调用到函数increment_count时，pthread_cond_signal（）函数改变条件变量，告知decrement_count（）停止阻塞。

备注：

pthread_cond_wait 执行的流程首先将这个mutex解锁, 然后等待条件变量被唤醒, 如果没有被唤醒, 该线程将一直休眠, 也就是说, 该线程将一直阻塞在这个pthread_cond_wait调用中, 而当此线程被唤醒时, 将自动将这个mutex加锁，然后再进行条件变量判断（原因是“惊群效应”，如果是多个线程都在等待这个条件，而同时只能有一个线程进行处理，此时就必须要再次条件判断，以使只有一个线程进入临界区处理。），如果满足，则线程继续执行，最后解锁，

也就是说pthread_cond_wait实际上可以看作是以下几个动作的合体:
解锁线程锁
等待线程唤醒，并且条件为true
加锁线程锁.

pthread_cond_signal仅仅负责唤醒正在阻塞在同一条件变量上的一个线程，如果存在多个线程，系统自动根据调度策略决定唤醒其中的一个线程，在多处理器上，该函数是可能同时唤醒多个线程，同时该函数与锁操作无关，解锁是由pthread_mutex_unlock(&mutex)完成

唤醒丢失问题
在线程并没有阻塞在条件变量上时，调用pthread_cond_signal或pthread_cond_broadcast函数可能会引起唤醒丢失问题。

唤醒丢失往往会在下面的情况下发生：

一个线程调用pthread_cond_signal或pthread_cond_broadcast函数；
另一个线程正处在测试条件变量和调用pthread_cond_wait函数之间；
没有线程正在处在阻塞等待的状态下。