使用 pthreads 和信号量的生产者消费者同步错误

Question

我使用 pthreads 和信号量编写了一个简单的生产者消费者。有时我会出现乱序（消费者在生产者生产之前消费）输出。请帮我找出问题所在。我已经使用各种来源和教程验证了逻辑，但仍然得到了不希望的结果。

    #include <iostream>
    #include <pthread.h>
    #include <semaphore.h>
    #include <string>
    #include <sstream>
    #include <unistd.h>
    #include "pthread_barrier.hpp"

    sem_t empty;
    sem_t full;
    sem_t lock;
    pthread_mutex_t wlock;

    pthread_barrier_t pbarrier;
    pthread_barrier_t cbarrier;

    pthread_attr_t tattr;

    #define BUFF_SIZE 100

    volatile bool buffer[BUFF_SIZE];
    int prodIterator = 0;
    int consIterator = 0;

    void *Producer(void *args)
    {   
        pthread_barrier_wait(&pbarrier);
        while(1) {
            sem_wait(&empty);
            sem_wait(&lock);
            buffer[prodIterator] = true;
            pthread_mutex_lock(&wlock);
            std::stringstream str;
            std::cout<<"producer produced = "<<prodIterator<<"\n";
            pthread_mutex_unlock(&wlock);
            prodIterator = (++prodIterator)% BUFF_SIZE;
            sem_post(&lock);
            sem_post(&full);
            sleep(1);
        }
    }

    void *Consumer(void *args)
    {
        pthread_barrier_wait(&cbarrier);
        while(1) {
            sem_wait(&full);
            sem_wait(&lock);
            buffer[consIterator] = false;
            pthread_mutex_lock(&wlock);
            std::cout<<"Consumer consumed = "<<consIterator<<"\n";
            pthread_mutex_unlock(&wlock);
            consIterator = (++consIterator)% BUFF_SIZE;
            sem_post(&lock);
            sem_post(&empty);
            sleep(1);
        }   
    }


    int main()
    {
        sem_init(&empty, 0, BUFF_SIZE);
        sem_init(&full, 0, 0);
        sem_init(&lock, 0, 1);

        pthread_mutex_init(&wlock, NULL);

        pthread_t prod[10];
        pthread_t cons[10];

        unsigned pcount = 5;
        unsigned ccount = 2;
        pthread_barrier_init(&pbarrier, NULL, pcount);
        pthread_barrier_init(&cbarrier, NULL, ccount);

        pthread_attr_init(&tattr);
        pthread_attr_setdetachstate(&tattr, PTHREAD_CREATE_DETACHED);

        for(int i=0;i<5;i++) {
            pthread_create(&prod[i], &tattr, Producer, NULL);
        }

        for(int i=0;i<2;i++) {
            pthread_create(&cons[i], &tattr, Consumer, NULL);
        }

        pthread_exit(NULL);
    }

Answer 1

我找到问题了。我正在使用 mac osx 并且 mac osx 不支持 unnmaed emaphores。它只支持命名信号量。因此，为了代替在我的代码中使用未命名的信号量，我需要将其替换为命名的信号量以使代码正常工作。 OSX 对 pthreads 的支持很差。它也不支持 pthread 屏障。所以我需要用以下内容替换信号量初始化行：

           full = sem_open("/semaphore1", O_CREAT, 0777, 1);
           empty = sem_open("/semaphore2", O_CREAT, 0777, 1);
           lock = sem_open("/semaphore3", O_CREAT, 0777, 1);

           and the declaration of semaphore variables needed be replace by :

           sem_t *empty;
           sem_t *full;
           sem_t *lock;

           very poor support indeed for pthreads in mac osx

使用 pthreads 和信号量的生产者消费者同步错误

synchronization error in producer consumer using pthreads and semaphore

c++

synchronization

pthreads

semaphore

producer-consumer