Задача о курильщиках

#include <pthread.h> 
#include <stdlib.h> 
#include <stdio.h> 
#include <unistd.h>
 
int ingr[3];//наличие ингридиентов
int choice=0;
pthread_mutex_t sync1;
pthread_cond_t con;
 
 
 
void* makler()
{   
    int a;
    int i;
    while(1)
    {
    pthread_mutex_lock(&sync1);
    while (choice==0) pthread_cond_wait(&con,&sync1);
    
    for (i = 0; i<3; i++)
    {
    ingr[i] = 0;//ингридиентов у посредника нет
    }
    
    choice = rand ()%3+1;//выбор курильщика у которого ингридиенты браться не будут    
    
    for (i = 0; i<3; i++)
    {
    if (i!=(choice-1))
    ingr[i]= 1;//берем ингридиент
    }
    
    switch(choice)
    {
        case 1: printf("Makler takes paper and lighter\n"); break;        
        case 2: printf("Makler takes tobacco and lighter\n"); break;          
        case 3: printf("Makler takes tobacco and paper\n"); break;
    }
    
    pthread_cond_signal(&con);
                
    pthread_mutex_unlock(&sync1);
    }
}
 
void* first_smoker()
{
    while(1)
    {
    pthread_mutex_lock(&sync1);
    while (choice==0) pthread_mutex_lock(&sync1);
    pthread_cond_wait(&con,&sync1);      
        printf("Smoking first smoker\n"); 
    pthread_cond_signal(&con);              
    pthread_mutex_unlock(&sync1);
    }
}
 
void* second_smoker()
{
    while(1)
    {
    pthread_mutex_lock(&sync1);
    if (choice==2) pthread_cond_wait(&con,&sync1);      
        printf("Smoking second smoker\n"); 
    pthread_cond_signal(&con);              
    pthread_mutex_unlock(&sync1);
    }
}
 
void* third_smoker()
{
    while(1)
    {
    pthread_mutex_lock(&sync1);
    if (choice==3) pthread_cond_wait(&con,&sync1);      
        printf("Smoking third smoker\n"); 
    pthread_cond_signal(&con);              
    pthread_mutex_unlock(&sync1);
    }
}
 
main()
{
    
    pthread_t mk,fs,ss,ts;
    pthread_attr_t attr;
    pthread_attr_init(&attr);
    pthread_mutex_init(&sync1,NULL);
    pthread_cond_init(&con,NULL);
    pthread_create(&mk,&attr,makler, NULL);
    pthread_create(&fs,&attr,first_smoker,NULL);    
    pthread_create(&ss,&attr,second_smoker,NULL);   
    pthread_create(&ts,&attr,third_smoker,NULL);
    pthread_join(mk,NULL);
    pthread_join(fs,NULL);
    pthread_join(ss,NULL);
    pthread_join(ts,NULL);
    for(;;){};
}