Условные переменные. Синхронизация потоков

#include <iostream>
#include <pthread.h>
#include <semaphore.h>
#include <cstdlib>     /* srand, rand */
#include <ctime>       /* time */
 
using namespace std;
 
enum { STATE_A, STATE_B } state = STATE_A;
 
const int amountP = 13; //philosopher
bool forks[amountP];
 
pthread_cond_t Waiter1;
pthread_cond_t Waiter2;
pthread_mutex_t mutChair[amountP]; //mutex chair
 
 
bool goToSetWaiter(const int numMan)
{
    while (state != STATE_A)
        pthread_cond_wait(&Waiter1, &mutChair[numMan]);
 
 
    int leftNum = (amountP + numMan - 1) % amountP;
    int rightNum = (amountP + numMan + 1) % amountP;
 
    bool fl = (!forks[leftNum] && !forks[rightNum]);
    if( fl )
    {
        forks[leftNum] = true;
        forks[rightNum] = true;
 
        cout << "food " << numMan << endl;
    }
 
    state = STATE_B;
    pthread_cond_signal(&Waiter2);
 
    return fl;
}
 
void goToGetWaiter(const int numMan)
{
    while (state != STATE_B)
        pthread_cond_wait(&Waiter2, &mutChair[numMan]);
 
    int leftNum = (amountP + numMan - 1) % amountP;
    int rightNum = (amountP + numMan + 1) % amountP;
 
    forks[leftNum] = false;
    forks[rightNum] = false;
 
    cout << "exit " << numMan << endl;
 
    state = STATE_A;
    pthread_cond_signal(&Waiter1);
}
 
void *ingestion(void *arg)
{
    const int numberMan = rand() % amountP; //у каждого какой то свой номер
    pthread_mutex_lock(&mutChair[numberMan]); //сел на стул
 
    bool fl;
 
    do
    {
        fl = goToSetWaiter(numberMan);
    }while( !fl ); //официант разрулит кто может есть, а кто нет, остальные ждут официанта, кому тот не может выдать 2 вилки
 
    goToGetWaiter(numberMan); //после того как поели отдают официанту указ забрать вилки
    pthread_mutex_unlock(&mutChair[numberMan]); //встал со стула
 
    return NULL;
}
 
int main()
{
    /* initialize random seed: */
    srand (time(NULL));
 
    pthread_t thread[amountP];
 
    for(int i = 0; i < amountP; ++i){
        forks[i] = false;
    }
 
    while( true )
    {
        for(int i = 0; i < amountP; ++i)
        { //пусть по 5 философов заходят
            pthread_create(&thread[i], NULL, ingestion, NULL);
        }
 
        for(int i = 0; i < amountP; ++i)
        {
            pthread_join(thread[i], NULL);
        }
    }
 
    return 0;
}