Linux - Duda con semáforos

Muy buenos días.

Estoy un poco perdido con el asunto de los semáforos y quisiera por favor, que me echárais una mano:

Tengo dos semáforos s1 y s2 inicializados a 2. HacerA y HacerB son tareas con tiempo de ejecución indefinido:

Proceso A

while (cierto){
wait (s2);
HacerA ();
printf("a");
signal(s1);
}

Proceso B

while (cierto) {
wait (s1);
signal(s2);
HacerB ();
printf("b");
}

¿Es posible una salida aaab? ¿y una salida aaaab?

No comprendo nada del enunciado y no se por donde meterle mano. Muchas gracias por adelantado.

Si entiendes cómo funcionan los semáforos, lo que tienes que hacer es una traza, es decir, cogerte todas (o casi todas) las posibilidades de ejecución entre los dos hilos.

Te recomiendo que para el ejercicio este concreto lo hagas a la inversa. Sabiendo la solución que te piden, mira a ver si hay algún flujo de ejecución que de ese resultado.

Salu2