Solución ejercicio 2

     X = El proceso pasa a estado bloqueado.
     / = El proceso pasa a estado preparado.
     > = Fin de su ejecucion


     | #1| #2| #3|   |   | #4| #1| #2|   |   |   | #3| #4| #1|   |   |   |   |   |   |
   P1|---|---|---|   |   |---|---|---X   |   /   |---|---|--->   |   |   |   |   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |   |   |   | #1| #2|   |   |   | #3| #4| #1|   |   |   | #2| #3| #4| #1|   |   |
   P2|   |   |   |---|---X   /   |   |---|---|---|   |   |   |---|---|------->   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
     0   1   2   3   4   5   6   7   8   9   10  11  12  13  14  15  16  17  18  19  20

Observaciones:

• El proceso P1 comienza su ejecución hasta agotar su ventana de tiempo. Tras esto, el proceso P2 tiene su oportunidad de ejecución, pero bloquea al hacer el down del semáforo s2 cuyo contador vale 0 (instante de tiempo 5). El proceso P2 volverá a pasar a estado preparado en cuanto el proceso P1 realice up sobre el semáforo s2.
• La instrucción #1 se tiene que ejecutar en el intento de tercera iteración para comprobar la condición de fin del bucle.

--Pneira 09:24 10 may 2011 (UTC)

Comentarios de estudiantes

Duda acerca de semáforos

La operación down(s) verifica si el valor del semáforo es 0, si es así, añade el proceso a la lista de procesos bloqueados que tiene el semáforo y si no, contador--. Ahora bien:

¿No sería necesario verificar esta condición por ejemplo en el instante 8? Para verificar si hemos hecho un up que nos permita volver a poner el proceso en preparado. Con verificar me refiero volver a realizar la llamada.

--Josmorgav1 16:57 9 may 2011 (UTC) No entiendo bien tu pregunta, pero como aclaración te digo, que respecto al down(s) es correcta la definición que has dado. Para el caso del instante 8, realizas un up(s) que por definición, si no tiene procesos en la lista de semáforo, incrementa la variable (s++), en caso de tener algún proceso en esa lista, implica que estaría bloqueado, por lo cual, al hacer el up(s), se pone el proceso en modo preparado, y no se incrementa el contador, ya que al hacer up(s) permitimos que entre otro proceso en la sección crítica, pero a la vez, si está en la lista de semáforo, ya estamos "preparando" el proceso que entrará en la sección crítica, por eso se mantiene el semáforo con el valor que tenía antes del up(s). Espero que haya servido de aclaración, aunque el up(s) es un poco enredoso.

Ok gracias, me has respondido a la duda, el hecho de poner el estado en proceso preparado viene implicitamente dentro de la operacion UP. Muchas gracias.--Jorcalmar 17:11 9 may 2011 (UTC)