线程同步与互斥（二）--条件变量

如果现在在等待一个信号。如果该信号被设置，则继续运行。如果没有条件变量，我们将会不停的去查询该信号是否被设置，这样就会浪费大量的cpu。而通过使用条件变量，我们就可以将等待信号的线程阻塞，直到有信号的时候再去唤醒它。
条件变量的类型是pthread_cond_t。
下面简单说一下如何使用条件变量。

声明pthread_cond_t变量后，调用pthread_cond_init()函数，第一个参数为之前声明的变量。第二个参数在Linux中不起作用。

声明一个pthread_mutex_t变量，并调用pthread_mutex_init()初始化。

调用pthread_cond_signal()，发出信号。如果此时有线程在等待该信号，那么该线程将会唤醒。如果没有，该信号就会别忽略。如果想唤醒所有等待该信号的线程，调用pthread_cond_broadcast()。

调用pthread_cond_wait()等待信号。如果没有信号，线程将会阻塞，直到有信号。该函数的第一个参数是条件变量，第二个参数是一个mutex。在调用该函数之前必须先获得互斥量。如果线程阻塞，互斥量将立刻会被释放。

下面介绍一个这几个函数：

函数pthread_cond_init（）被用来初始化一个条件变量。

它的原型为： 　　
（动态方式调用pthread_cond_init()函数）

int pthread_cond_init(pthread_cond_t *restrict cond,const pthread_condattr_t *restrict attr);
//动态方式调用pthread_cond_init()函数
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
//静态方式使用PTHREAD_COND_INITIALIZER常量

参数：
（1）cond是一个指向结构pthread_cond_t的指针，
（2）cond_attr是一个指向结构pthread_condattr_t的指针。
结构pthread_condattr_t是条件变量的属性结构，和互斥锁一样我们可以用它来设置条件变量是进程内可用还是进程间可用，默认值是PTHREAD_ PROCESS_PRIVATE，即此条件变量被同一进程内的各个线程使用；如果选择为PTHREAD_PROCESS_SHARED则为多个进程间各线程公用。

注意初始化条件变量只有未被使用时才能重新初始化或被释放。

返回值：函数成功返回0；任何其他返回值都表示错误。

注销一个条件变量需要调用pthread_cond_destroy()，只有在没有线程在该条件变量上等待的时候才能注销这个条件变量，否则返回EBUSY。因为Linux实现的条件变量没有分配什么资源，所以 注销动作只包括检查是否有等待线程。

函数原型：

int pthread_cond_destroy(pthread_cond_t *cond);

等待：

函数原型：

int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)；//无条件等待

 int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex,const struct timespec *abstime)；//计时等待

一个线程可以调用 pthread_cond_wait在一个Condition Variable上阻塞等待,这个函数做以下三步操作:
1. 释放Mutex

2. 阻塞等待

3. 当被唤醒时,重新获得Mutex并返回 pthread_cond_timedwait函数还有一个额外的参数可以设定等待超时,如果到达了abstime所指定的时刻仍然没有别的线程来唤醒当前线程,就返回ETIMEDOUT。

等待条件有两种方式：无条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait()，其中计时等待方式如果在给定时刻前条件没有满足，则返回ETIMEOUT，结束等待，其中abstime以与time()系统调用相同意义的绝对时间形式出现，0表示格林尼治时间1970年1月1日0时0分0秒。

无论哪种等待方式，都必须和一个互斥锁配合，以防止多个线程同时请求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()前的加锁动作对应。

激发：

函数原型：

int pthread_cond_broadcast(pthread_cond_t *cond);
      //激活一个等待该条件的线程，强调一个，存在多个等待线程时按入队顺序激活其中一个
int pthread_cond_signal(pthread_cond_t *cond);
      //激活所有等待线程