Gracias por las respuestas. Pero no entendí está última, me ayudan a entender? :).
Por un lado, no veo porque estaría mal que Vcont() se ejecute indefinidamente, porque en si los semáforos de conteo permiten que se ejecute tantas veces como se quiera el V.
El mal uso del semáforo es otra cosa, pero en si los de conteo no limitan el uso de las ejecuciones del V.
Y lo de la inanición como se daría?. Tampoco lo estaría viendo.
Desde ya muchísimas gracias si me pueden ayudar a ver las cosas.