Início do programa:

O programa inicia com um buffer de 8 espaços na memória, já disparando as duas threads, uma para o produtor e outra para o consumidor.

O produtor:

O produtor é iniciado com uma lista de 23 (0-22) elementos (produto), letras de a-z para adicionar no buffer. Sua primeira ação é testar o acesso às variáveis que controlam a quantidade de espaço livre e de espaço ocupado, para ver se estão liberadas para uso, só aí então verificar se deve prosseguir produzindo ou se deve entrar em modo de espera:


Se buffer estiver cheio, entra em modo de espera, até que o consumidor mande um sinal dizendo que há espaço livre no buffer. Repare que, quando o programa chega em pthread_cond_wait(&status_produtor, &mutex_status_buff), ele entra em modo de espera, pois essa é a função que coloca o processo neste estado, e só vai prosseguir quando receber um sinal, e quando isso acontecer já muda seu status para ACORDADO e libera as variáveis.

Se buffer estiver com posições livres, já libera as variáveis e segue para o próximo passo, que é preencher o buffer propriamente dito:


Nessa parte o sistema bloqueia as variáveis de controle de buffer, Empty e Full, busca a próxima posição livre da fila de escrita. Repare que se a fila estiver vazia, e há espaço livre no buffer, quer dizer que é o início do programa, a fila poderia ser iniciada antes das threads serem disparadas, mas para ficar de um melhor entendimento, a meu ver, optei por essa forma. Em seguida adiciona nova posição escrita (Ocupada) para a fila de leitura, e por fim, escreve o "produzido" na posição ocupada, mandando uma mensagem logo depois para avisar que há produção na fila.


Antes de finalizar o processo o produtor verifica se o consumidor não está em período de espera, se estiver, é por que não havia nada no buffer quando ele executou, e agora o produtor deve enviar um sinal dizendo que há produção no buffer, para que o consumidor possa consumir. Se o consumidor não estiver em espera ele passa direto, liberando as variáveis bloqueadas. Pronto! acabou as verificações do produtor na primeira execução, agora ele reinicia o processo, até encerrar a produção. Depois de encerrar a produção:


A última ação do produtor, antes de "ir embora", é avisar que acabou, setando o status de processamento para ACABADO. Assim quando consumidor chegar ao último item produzido poderá encerrar seu trabalho.