En el proceso que durmió, por lo tanto, es necesario cambiar la instrucción "if" por "while", para que al despertar compruebe nuevamente la condición, y de no ser cierta vuelva a llamar a "cond_wait".