条件等待时线程间同步的另一种方法
线程经常会遇到这种情况:要想继续执行,可能依赖某种条件。如果条件不满足,它能做的事情就是等待,等到条件满足为止。通常条件的达成很可能取决于另一个线程,比如生产者-消费者模型。当另外一个线程发现条件符合的时候,它会选择一个时机去通知等待在这个条件的线程。有两种可能的方式,一种是唤醒一个线程,一种是广播,唤醒其他所有等待队列上的线程。
为什么要有条件等待?
可以考虑一下生产者-消费者模型。假设没有条件变量:生产者和消费者共享一个使用队列,为了完成生产和消费的功能那就必须使用轮询交替的方式来实现,消费进程会一直循环这个执行流程。这样会极大的浪费效率
pthread_mutex_t m = PTHREAD_MUTEX_INITIALIZER;
int WaitForTrue()
{
pthread_mutex_lock(&m);
while (condition is false)//条件不满足
{
pthread_mutex_unlock(&m);//解锁等待其他线程改变共享数据
sleep(n);//睡眠n秒后再次加锁验证条件是否满足
pthread_mutex_lock(&m);
}
}
条件变量的提出
这样自然而然就提出了条件变量,当线程试图访问共享资源时,如果资源不足时就将该线程挂入到等待队列,线程进入睡眠状态,等待条件的满足,一旦条件满足,线程就可以立即唤醒,把共享资源的锁释放交给其他线程。其他线程处理后,如果有资源的到来就会唤醒对应的等待队列的线程。