Pregunta 1B:
El principio de la bandera es un teorema que podemos usar para comprobar si está garantizado la exclusión mutua para dos procesos en un código concreto. Si dos procesos primero levantan sus banderas y después miran al otro lado por lo menos uno de los procesos ve la bandera del otro levantado.
Se puede comprobar con contradicción:
Asumimos P0 era el último en mirar
Entonces la bandera de P0 está levantada
Asumimos que P0 no ha visto la bandera de P1
Entonces P1 ha levantado la bandera Seguir leyendo “Problemas comunes en programación concurrente” »
