linux条件变量

        互斥量用于上锁，条件变量则用于等待，这两种类型的同步都是需要的。

        条件变量是线程可用的另一种同步机制。条件变量与互斥量一起使用，允许线程以无竞争的方式等待特定的条件发生。

        条件本身是由互斥量保护的。线程在改变条件状态之前必须首先锁住互斥量。其他线程在获得互斥量之前不会察觉到这种改变，因为互斥量必须在锁定以后才能计算条件。

        每个条件变量总是有一个互斥锁与之关联。我们调用pthread_cond_wait等待某个条件为真时，还会指定其条件变量的地址和所关联的互斥锁的地址。

初始化及销毁：

int pthread_cond_init(pthread_cond_t *cond, const pthread_condattr_t *attr);

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 mytex,const struct timespec *abstime);

        传递给pthread_cond_wait的互斥量对条件进行保护。调用者把锁住的互斥量传给该函数，函数然后自动把调用线程放到等待条件的线程列表上，对互斥量解锁。
        pthread_cond_wait返回时，互斥量再次被锁住。

        注意：当pthread_cond_wait返回时，我们总是再次测试相应条件成立与否，因为可能发生虚假唤醒(期待的条件尚不成立时的唤醒)。

 

条件变量通知：

int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);

一个demo：

#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;/*初始化互斥锁*/
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;/*初始化条件变量*/

void *thread1(void *);
void *thread2(void *);

int i=1;
int main(void)
{
	pthread_t t_a;
	pthread_t t_b;

	pthread_create(&t_a,NULL,thread2,(void *)NULL);/*创建进程t_a*/
	pthread_create(&t_b,NULL,thread1,(void *)NULL); /*创建进程t_b*/
	pthread_join(t_b, NULL);/*等待进程t_b结束*/
	pthread_mutex_destroy(&mutex);
	pthread_cond_destroy(&cond);
	exit(0);
}

void *thread1(void *junk)
{
	for(i=1;i<=9;i++) 
	{
		pthread_mutex_lock(&mutex);/*锁住互斥量*/
		if(i%3==0)
			pthread_cond_signal(&cond);/*条件改变，发送信号，通知t_b进程*/
		else        
			printf("thread1 i=%d\n",i);
		pthread_mutex_unlock(&mutex);/*解锁互斥量*/
		sleep(1);
	}
}

void *thread2(void *junk)
{
	while(i<9)
	{
		pthread_mutex_lock(&mutex);
		pthread_cond_wait(&cond,&mutex);/*等待*/
		printf("thread2 i=%d\n",i);
		pthread_mutex_unlock(&mutex);
		sleep(1);
	}
}

虚假唤醒(spurious wakeup)

虚假唤醒(spurious wakeup)在采用条件等待时，我们使用的是：

while(条件不满足)
{  
   condition_wait(cond, mutex);  
}  
// 而不是:  
If( 条件不满足 )
{  
   Condition_wait(cond,mutex);  
}   

这是因为可能会存在虚假唤醒”spurious wakeup”的情况。

也就是说，即使没有线程调用condition_signal, 原先调用condition_wait的函数也可能会返回。此时线程被唤醒了，但是条件并不满足，这个时候如果不对条件进行检查而往下执行，就可能会导致后续的处理出现错误。

虚假唤醒在linux的多处理器系统中/在程序接收到信号时可能回发生。在Windows系统和JAVA虚拟机上也存在。在系统设计时应该可以避免虚假唤醒，但是这会影响条件变量的执行效率，而既然通过while循环就能避免虚假唤醒造成的错误，因此程序的逻辑就变成了while循环的情况。