Diferencia entre revisiones de «Solución de los ejercicios de concurrencia»

De Wiki de Sistemas Operativos
Saltar a: navegación, buscar
(Corregido Observación)
(revisión del profesor)
Línea 1: Línea 1:
−
 
−
      | #1| #2| #3|  |  |  | #4| #1| #2|  |  |  | #3| #4|#1-El programa ya termina
 
−
H1    |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |  |  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |  |  |  | #1| #2| #2|  |  |  | #2| #2| #2|  |  |  | #2| #3| #4| #1| #2| #3| #4| El programa termina.
 
−
H2    |  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|---|  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
−
      0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20
 
−
 
−
 
−
En este ejercicio, el hilo 2 se queda esperando continuamente a que el hilo 1 libere el cerrojo para poder acceder a la función.
 
−
El programa finaliza en el hilo 1 cuando llega dos veces a la instrucción 4 (bucle for).
 
−
 
−
Modificación:
 
−
 
−
Solución:
 
−
 
−
 
−
      | #1| #2| #3|  |  |  | #4| #1| #2|  |  |  | #3| #4| > |  |  |  |  |  |  |  |
 
−
H1    |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |  |  |  |  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |  |  |  | #1| __| __|  |  |  | __| __| __|  |  |  | #2| #3| #4| #1| #2| #3| #4|
 
−
H2    |  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|---|---|---|---|
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
−
      0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20 21  22
 
−
 
−
Posible solución:
 
−
 
−
Los hilos comparten variables por lo que la variable i está siendo compartida por ambos hilos. Además, al ser los cerrojos un control de concurrencia de espera activa, tiene que comprobar continuamente la condición que me permite acceder a la sección crítica. En un bucle for, el incremento se hace una vez realizada la iteración, por lo que tendrá que comprobar en la instrucción 1 si el contador cumple la condición o no. Dicho esto y si no me equivoco la solución sería la siguiente--[[Usuario:Jherrera|Jherrera]]:
 
−
 
−
      | #1| #2| #3|  |  |  | #4| #1| #2|  |  |  | #3| #4| #1|  |  |  |  |  |
 
−
H1    |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |  |  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |  |  |  | #1| #2| #2|  |  |  | #2| #2| #2|  |  |  | #2| #3| #4| #1|  |
 
−
H2    |  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|---|  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
−
      0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20
 
−
 
−
 
−
Posible solución2: Lo que explicas esta muy bien, pero creo que la condición que expones en tu apartado es i=<2, cuando el ejercicio pide i<2. Por lo que habria que cortar un trozo, ¿no?
 
−
 
−
      | #1| #2| #3|  |  |  | #4| #1| #1|  |  |  |  |  |  |  |  |  |  |  |
 
−
H1    |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |  |  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |  |  |  | #1| #2| #2|  |  |  | #2| #3| #4|  |  |  |  |  |  |  |  |
 
−
H2    |  |  |  |---|---|---|  |  |  |---|---|---|  |  |  |---|---|---|---|  |
 
−
      |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
 
−
      |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
−
      0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20
 
−
 
−
Yo creo que esta bien ya que es i<2 y empieza con i = 0  --[[Usuario:Luidela1|Luidela1]] 15:35 9 may 2011 (UTC)
 
−
 
−
 
−
Observación:
 
−
--> Me parece que al ser dos hilos diferentes,aunque compartan el mismo código, las variables son individuales para cada hilo, con lo que cada hilo hace el bucle for completo,quedando la siguiente solución:
 
−
 
 
       | #1| #2| #3|  |  |  | #4| #1| #2|  |  |  | #3| #4| #1|  |  |  |  |  |  |  |  |
 
       | #1| #2| #3|  |  |  | #4| #1| #2|  |  |  | #3| #4| #1|  |  |  |  |  |  |  |  |
 
  H1    |<--|---|---|  |  |  |---|---|---|  |  |  |---|---|-->|  |  |  |  |  |  |  |  |
 
  H1    |<--|---|---|  |  |  |---|---|---|  |  |  |---|---|-->|  |  |  |  |  |  |  |  |
Línea 66: Línea 7:
 
       |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
       |___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
 
       0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20 21  22  23
 
       0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20 21  22  23
−
[[Usuario:JCGarrido|JCGarrido]]
+
 
 +
Algunas observaciones:
 +
* Los hilos '''no''' comparten la variable ''i''. Esta variable se trata de una variable local, por tanto, no es una variable que ambos hilos compartan. Únicamente las variables globales son compartidas por dos o más hilos.
 +
* Al ser los cerrojos un control de concurrencia de espera activa, se comprueba continuamente la condición que nos permite acceder a la sección crítica.
 +
 
 +
--[[Usuario:Pneira|Pneira]] 07:33 10 may 2011 (UTC)

Revisión del 09:33 10 may 2011

      | #1| #2| #3|   |   |   | #4| #1| #2|   |   |   | #3| #4| #1|   |   |   |   |   |   |   |   |
H1    |<--|---|---|   |   |   |---|---|---|   |   |   |---|---|-->|   |   |   |   |   |   |   |   |
      |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
      |   |   |   | #1| #2| #2|   |   |   | #2| #2| #2|   |   |   | #2| #3| #4| #1| #2| #3| #4| #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

Algunas observaciones:

  • Los hilos no comparten la variable i. Esta variable se trata de una variable local, por tanto, no es una variable que ambos hilos compartan. Únicamente las variables globales son compartidas por dos o más hilos.
  • Al ser los cerrojos un control de concurrencia de espera activa, se comprueba continuamente la condición que nos permite acceder a la sección crítica.

--Pneira 07:33 10 may 2011 (UTC)

Obtenido de «https://1984.lsi.us.es/wiki-ssoo/index.php?title=Solución_de_los_ejercicios_de_concurrencia&oldid=784»