Ese ejercicio está pensado para resolver con una tarea auxiliar "Puente". Por eso es que usa 4 semáforos distintos, sirven para comunicarse/sincronizarse con esa tarea auxiliar.
El problema se puede resolver sin tarea auxiliar pero en ese caso no tiene mucho sentido el código propuesto para las tareas.
La solución no debe tener busy waiting.
Saludos,
Gustavo