Producer - Consumer Problem in Multi-Threading in C (Condition Variables) - c

Question

I am trying to solve the problem of consumer-producer with condition variables,
i just want to know if my code resolves the problem correctly.
PS:i can put while(1) instead of while(x<100) but i want to see the execution and check if there is missed numbers,
my code:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <pthread.h>
#include <unistd.h>
#include <time.h>
#define THREAD_NUM 2
pthread_cond_t full;
pthread_cond_t empty;
pthread_mutex_t mutexBuffer;
int buffer[10];
int count = 0;//the index of where the consume/produce should be in the buffer
void* producer(void* args) {
// int i=1;
int x = 1;
while (x<100)
{
// Produce
// Add to the buffer
pthread_mutex_lock(&mutexBuffer);
if (count<10)
{
buffer[count]= x;
count++;
pthread_cond_signal(&empty);
x++;
}
else
{
pthread_cond_wait(&full,&mutexBuffer);
buffer[count]= x;
count++;
x++;
}
pthread_mutex_unlock(&mutexBuffer);
}
}
void* consumer(void* args) {
int cpt=0;//to stop the while after execution 100 times
while (1) {
int y=-1;
// Remove from the buffer
pthread_mutex_lock(&mutexBuffer);
if (count>0)
{
y = buffer[count - 1];
count--;
pthread_cond_signal(&full);
}
else
{
pthread_cond_wait(&empty,&mutexBuffer);
y = buffer[count - 1];
count--;
printf("nothing is lost!\n");
}
printf("Got %d\n", y);
cpt++;
pthread_mutex_unlock(&mutexBuffer);
if(cpt==99)break;
}
}
int main(int argc, char* argv[]) {
srand(time(NULL));
pthread_t th[THREAD_NUM];
pthread_mutex_init(&mutexBuffer, NULL);
int i;
for (i = 0; i < THREAD_NUM; i++) {
if (i%2==0) {
if (pthread_create(&th[i], NULL, &producer, NULL) != 0) {
perror("Failed to create thread");
}
} else {
if (pthread_create(&th[i], NULL, &consumer, NULL) != 0) {
perror("Failed to create thread");
}
}
}
for (i = 0; i < THREAD_NUM; i++) {
if (pthread_join(th[i], NULL) != 0) {
perror("Failed to join thread");
}
}
pthread_mutex_destroy(&mutexBuffer);
return 0;
}
and i have a question also,When using semaphore is better than condition variable,or the inverse?