进程间同步之条件变量-用while循环判断的必要性

本文通过实验探讨在多线程环境中,为何进程间同步使用条件变量时需要结合while循环进行条件判断。实验展示了在队列操作中,当多个消费者线程竞争资源时,while循环能确保只有一个线程进入临界区,防止资源误用,保证同步的正确性。
摘要由CSDN通过智能技术生成

如果是多个线程都在等待这个条件,而同时只能有一个线程进行处理,此时就必须要再次条件判断,以使只有一个线程进入临界区处理。 这里做了个实验来说明:

我用到两个消费者一个生产者,判定条件是当队列不为空时发信号,消费者满足条件,开始消费时先打印队列的大小,然后pop一个产品。通过观察打印的队列大小来验证为什么需要再次判断。

while时:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <pthread.h>
#include<iostream>
#include<queue>
using namespace std;
/* 定义互斥量 */
pthread_mutex_t mtx;
/* 互斥量属性 */
pthread_mutexattr_t mtx_attr;

queue<int> products;
/* 条件变量 */
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;

void err_exit(const char *err_msg)
{
        printf("error:%s\n", err_msg);
        exit(1);
}

/* 线程函数 */
void *consumerThread1(void *arg)
{
        while (1)
        {
                /* 加锁 */
                pthread_mutex_lock(&mtx);

                /* 条件变量 */
                while (products.size() == 0)
                {
                        //cout << "子线程 1 等待产品..." << endl;
                        pthread_cond_wait(&cond, &mtx);
                }

                cout << "子线程 1 产品数:" << products.size()<< endl;

                products.pop();
                /* 解锁 */
                pthread_mutex_unlock(&mtx);

                sleep(1);
        }

        return NULL;
}
/* 线程函数 */
void *con
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值