Luego de ver que está incorrecta la a me di cuenta que en realidad el problema es S pero aunque S esté inicializado en 2, qué pasa si TAM_BUFFER es 0? No habría posibilidad de que entre en deadlock?
hola,
en el caso de utilizar TAM_BUFFER como 0 no sería exactamente una situación de deadlock. Si tomamos la definición de deadlock de las diapositivas: "Un conjunto de procesos está en deadlock cuando cada uno espera por un recurso cuya liberación depende exclusivamente de otro proceso del mismo conjunto." notar que en este caso los procesos no dependen entre ellos sino de la realidad definida.
saludos
Se entiende, gracias!