Buenas noches, estaba leyendo las diapositivas sobre semáforos y me genero la siguiente duda:
En la imagen que se implementan los semáforos sin busy waiting, el procedimiento V() tiene la función de despertar a un proceso en caso de que haya alguno dormido, o aumentar el valor del semáforo.
Luego, en la segunda imagen que se quiere construir un semáforo de conteo en base a uno binario, el procedimiento V_cont() puede realizar ambas funcionalidades, despertar un proceso y aumentar el valor del semáforo.
¿Me podrían decir por qué ocurre esto último? V_cont() no debería o bien despertar un proceso, o bien aumentar el valor del semáforo?
Muchas gracias.