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

本文链接：https://blog.csdn.net/qq_28840229/article/details/79776063

本文通过实验探讨在多线程环境中，为何进程间同步使用条件变量时需要结合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