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|   |   |   |   |   |   |   |
   p1|---|---|---|   |   |---|---|---X   |   /   |---|--->   |   |   |   |   |   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |   |   |   | #1| #2|   |   |   | #3| #4| #1|   |   | #2| #3| #4|   |   |   |   |
   p2|   |   |   |---|---X   /   |   |---|---|---|   |   |---|---|--->   |   |   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
     0   1   2   3   4   5   6   7   8   9   10  11  12  13  14  15  16  17  18  19  20

El proceso P1 comienza su ejecucion hasta agotar su ventana de tiempo , luego el proceso P2 bloquea al hacer el down(s2) ya que el semaforo s2 tiene el valor 0 , y como sabemos de los semaforos el proceso se bloquea hasta que no se vuelva a hacer un up(s2). P1 comienza y al hacer un up(s2) pasa p2 a estado preparado , luego al final de la ventana bloquea al hacer down(s1) ya que el contador en ese momento vale 0. Comienza la ejecucion p2 que estaba en estado preparado en el instante T = 10 hace un up(s1) por lo tanto p1 pasa a esta preparado. P1 se ejecuta y finaliza su ejecucion , y luego P2 se ejecuta y finaliza su ejecucion.

--DvS 013 15:30 9 may 2011 (UTC) : las ultimas instrucciones #1 de ambos programas deben ejecutarse para poder ver que i==2 y finalizar el bucle for, no?¿

      / : bloqueado,  @: preparado, >: fin del programa, X : se ejecuta el planificador

       |i1=0       |i2=0   |    i1=1   |       i2=1|       i1=2|           i2=2|
       | #1| #2| #3|   |   | #4| #1| #2|   |   |   | #3| #4| #1|   |   |   |   |
P1     |---|---|---|   |   |---|---|---/   |   @   |---|---|--->   |   |   |   |
s1     | 1 | 0                             | 0                         | 1     |
       |   |   |   | #1| #2|   |   |   | #3| #4| #1|   |   |   | #2| #3| #4| #1|
P2     |   |   |   |---|---/   @   |   |---|---|---|   |   |   |---|---|---|--->
s2     | 0                 | 0                         | 1     | 0             |
planif X   |   |   X   |   X   |   |   X   |   |   X   |   |   X   |   |   X   |
       |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
       0   1   2   3   4   5   6   7   8   9   10  11  12  13  14  15  16  17  18

--Josmorgav1 15:38 9 may 2011 (UTC) Es correcto, la instrucción #1 si no la ejecuta, no hace la comprobación para continuar o salir del bucle, yo también he hecho el ejercicio en papel, y me da la misma solución que a David Martin.