条件变量 condition variable

最新推荐文章于 2024-03-21 23:46:37 发布

纯属虚构

最新推荐文章于 2024-03-21 23:46:37 发布

阅读量1.2k

点赞数

本文链接：https://blog.csdn.net/fall221/article/details/50533224

版权

本文详细介绍了条件变量condition_variable的使用方法，包括如何实现无限和有限缓冲区，以及在多线程环境中的应用。同时，讨论了不使用条件变量的替代方案及其缺陷，并深入解析了pthread_cond_wait的工作机制，包括假唤醒的情况和处理方式。文章还涉及了信号处理、多进程支持和条件变量公平性的相关问题。

摘要由CSDN通过智能技术生成

条件变量 condition variable

怎么用

man pthread_cond_init
man pthread_cond_wait

注意：

必须和mutex一起用，必须先锁住mutex，再wait，否则的行为是未定义的。
不是信号安全的。因此不要在信号的handler里用
用同一个mutex，否则行为未定义

如何实现无限缓冲区

假设只有一个消费者，一个生产者

// 生产者
lock(&mutex)
queue.push()
if (queue.size() == 1) {
    pthread_cond_signal(&cond)
}
unlock(&mutex)

// 消费者
lock(&mutex)
while (queue.size() <= 0) {
    pthread_cond_wait(&cond, &mutex);
}
item = queue.pop()
unlock()

假设有多个生产者，多个消费者，则pthread_cond_signal的时候，只能唤醒一个消费者，并发程度不够，必须要把所有消费者都用上才行。方法是：
1. 不判断，直接pthread_cond_signal.会有点overhead，不过如果没有线程在等待的话，这个函数也没干啥。
2. 判断size()==1时，pthread_cond_broadcast.问题是，虽然广播了，全唤醒了，但只有1个线程抢到了，其他还是继续sleep。
3. 自己维护正在sleep的消费者的个数，来决定调用几次pthread_cond_signal。增加了维护负担。

如何实现有限缓冲区

跟无限缓冲区相比，这回，两个线程都要做signal和wait。理论上，用一个条件变量仍然可以实现：

// 生产者
lock(&mutex)
while (queue.size() >= N){
    pthread_cond_wait(&cond, &mutex)
}
queue.push()
if (queue.size() == 1) {
    pthread_cond_signal(&cond)
}
unlock(&mutex)

// 消费者
lock(&mutex)
while (queue.size() <= 0){