Ejercicio de implementación de semáforos (pseudocódigo)

En primer lugar, Feliz Navidad a todos.

Me gustaría presentar aquí un ejercicio en el que estoy trabajando y luego darles una posible solución.

“Un grupo de estudiantes está estudiando para un examen. Los estudiantes solo pueden estudiar mientras comen pizza. Además, si un estudiante descubre que no hay pizza, duerme hasta que llegue una nueva pizza. El primer estudiante que descubre que su grupo no tiene pizza llama a una pizzería para pedir otra pizza antes de irse a dormir. Cada pizza tiene S porciones. Ninguna porción de pizza puede ser consumida por más de un estudiante. Completa el código para sincronizar e implementar los dos siguientes hilos, estudiantes() y entrega_de_pizza(). Tu solución debe evitar los bloqueos, con manejo de variables y semáforos”.

Tenemos que colocar nuestro código en las secciones comentadas a continuación.

En consecuencia, mi solución es la siguiente:

int slices=0;

//int i = 0;

//void Estudiar();

//void hacerPizza();

//sem produce = 0;

//sem consume = 0;

Sem mutex=1;

bool primero = true, hayPizza = false;

estudiantes() {
    while(TRUE) {
        wait(mutex);
        while(!hayPizza) {
            if(slices > 0) {
                slices--;
                hayPizza = true;
            }
            else {
                if(primero) {
                    //signal(mutex);
                    //signal(produce);
                    primero = false;
                }
                //else {
                    //pause();
                    //}
            }
        }
        //wait(consume);
        //signal(mutex);
        Estudiar();
        hayPizza = false;
    }
}

entrega_de_pizza() {
    while(TRUE) {
        //wait(produce);
        //wait(mutex);
        hacerPizza();
        slices = S;
        primero=true;
        //for (i = 0; i < S; i++) {
        //      signal(consume);
        //}
        signal(mutex);
    }
}

¿Me falta algo en este problema del productor-consumidor? ¿Alguna opinión sobre mi código?

Muchas gracias de antemano.