Diferencia entre revisiones de «Solución ejercicio 7»

De Wiki de Sistemas Operativos
Saltar a: navegación, buscar
(Ejercicio 7 (Semáforos y comunicación) propuesta de solución)
Línea 35: Línea 35:
  
 
     Nota: La solución que estaba antes propuesta no tenia relación con el ejercicio 7.Esta solucion todavía no ha sido revisada por Pablo.
 
     Nota: La solución que estaba antes propuesta no tenia relación con el ejercicio 7.Esta solucion todavía no ha sido revisada por Pablo.
 +
 +
[[Usuario:jesgonbel|jesgonbel]] Esta es la solución que he obtenido al cambiar los cerrojos por semáforos:
 +
 +
Inicialmente s1=1 y s2=0
 +
 +
Hilo 1:
 +
<source lang="c">
 +
for (int i = 0; i<2; i++){ //#1
 +
  down(s1);              //#2
 +
  f();                    //#3
 +
  up(s2);                //#4
 +
}
 +
</source>
 +
 +
Hilo 2:
 +
<source lang="c">
 +
for (int i = 0; i<2; i++){ //#1
 +
  down(s2);              //#2
 +
  f();                    //#3
 +
  up(s1);                //#4
 +
}
 +
</source>
 +
          X: El proceso es bloqueado por el semáforo.
 +
          /: El proceso pasa a estado preparado.
 +
          >: El proceso termina su ejecución.
 +
 +
 +
    | #1| #2| #3|  |  | #4| #1| #2|  |  |  | #3| #4| #1|  |  |  |  |
 +
  h1|---|---|---|  |  |---|---|---X  |  /  |---|---|--->  |  |  |  |
 +
    |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 +
    |  |  |  | #1| #2|  |  |  | #3| #4| #1|  |  |  | #2| #3| #4| #1|
 +
  h2|  |  |  |---|---X  /  |  |---|---|---|  |  |  |---|---|---|---|
 +
    |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 +
    |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 +
    0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18

Revisión del 04:12 7 dic 2011

Hilo h1

for (int i = 0; i<2; i++){ //#1
   while(cerrojo_p2);      //#2
      cerrojo_p1 = 1;      //#3
      f();                 //#4
      cerrojo_p1 = 0;      //#5
 
}

Hilo h2

for (int i = 0; i<2; i++){ //#1
   while(cerrojo_p1);      //#2
      cerrojo_p2 = 1;      //#3
      f();                 //#4
      cerrojo_p2 = 0;      //#5
 
}
     > = Fin de su ejecucion


    | #1| #2| #3|   |   |   | #4| #5| #1|   |   |   | #2| #2| #2|   |   |   | #2| #3| #4|   |   |   | #5| #1|   |
  h1|---|---|---|   |   |   |---|---|---|   |   |   |---|---|---|   |   |   |---|---|---|   |   |   |---|--->   |
    |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
    |   |   |   | #1| #2| #2|   |   |   | #2| #3| #4|   |   |   | #5| #1| #2|   |   |   | #3| #4| #5|   |   | #1|
  h2|   |   |   |---|---|---|   |   |   |---|---|---|   |   |   |---|---|---|   |   |   |---|---|---|   |   |--->
    |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
    |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
    0   1   2   3   4   5   6   7   8   9   10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27
    Nota: La solución que estaba antes propuesta no tenia relación con el ejercicio 7.Esta solucion todavía no ha sido revisada por Pablo.

jesgonbel Esta es la solución que he obtenido al cambiar los cerrojos por semáforos:

Inicialmente s1=1 y s2=0

Hilo 1:

for (int i = 0; i<2; i++){ //#1
   down(s1);               //#2
   f();                    //#3
   up(s2);                 //#4
}

Hilo 2:

for (int i = 0; i<2; i++){ //#1
   down(s2);               //#2
   f();                    //#3
   up(s1);                 //#4
}
          X: El proceso es bloqueado por el semáforo.
          /: El proceso pasa a estado preparado.
          >: El proceso termina su ejecución.


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