https://1984.lsi.us.es/wiki-ssoo/api.php?action=feedcontributions&feedformat=atom&user=Abrcorram
Wiki de Sistemas Operativos - Contribuciones del usuario [es]
2026-05-17T02:14:34Z
Contribuciones del usuario
MediaWiki 1.29.0
https://1984.lsi.us.es/wiki-ssoo/index.php?title=Soluci%C3%B3n_Ejercicio_2_-_Tema_8&diff=4774
Solución Ejercicio 2 - Tema 8
2020-04-14T15:00:28Z
<p>Abrcorram: /* Solución Ejercicio 2 - Tema 8 */</p>
<hr />
<div>==== Solución Ejercicio 2 - Tema 8 ====<br />
<br />
Para poder resolver este ejercicio debemos ver que la suma recAsig + recDisp >= recMax se cumple para todos los recursos de cada proceso, si esto se da entonces estamos ante una configuración de estado seguro.<br />
Para ello seguimos el algoritmo visto en clase.<br />
<br />
Teniendo el siguiente vector de recursos disponibles nos disponemos a comprobar si se pueden ejecutar todos los procesos:<br />
<br />
'''[1 1 0]'''<br />
<br />
Primero comprobamos si se puede ejecutar P1:<br />
<br />
R1: recAsig = 3, recDisp = 1 ---> recAsig + recDisp = 4, ¿4 >= recMax = 0?---> '''OK'''<br />
<br />
R2: recAsig = 0, recDisp = 1 ---> recAsig + recDisp = 1, ¿1 >= recMax = 2?---> '''NO'''<br />
<br />
Comprabomos si se puede ejecutar P2:<br />
<br />
R1: recAsig = 0, recDisp = 1 ---> recAsig + recDisp = 1, ¿1 >= recMax = 1?---> '''OK'''<br />
<br />
R2: recAsig = 2, recDisp = 1 ---> recAsig + recDisp = 3, ¿3 >= recMax = 0?---> '''OK'''<br />
<br />
R3: recAsig = 1, recDisp = 0 ---> recAsig + recDisp = 1, ¿1 >= recMax = 0?---> '''OK'''<br />
<br />
'''Se ejecuta en primer lugar P2''', ahora este proceso libera todos los recursos que tiene asignado y por tanto el vector de recursos disponibles quedaría:<br />
<br />
'''[1 3 1]'''<br />
<br />
Comprobamos si se puede ejecutar P1 pero con el nuevo vector.<br />
<br />
R1: recAsig = 3, recDisp = 1 ---> recAsig + recDisp = 4, ¿4 >= recMax = 0?---> '''OK'''<br />
<br />
R2: recAsig = 0, recDisp = 3 ---> recAsig + recDisp = 3, ¿3 >= recMax = 2?---> '''OK'''<br />
<br />
R3: recAsig = 2, recDisp = 1 ---> recAsig + recDisp = 3, ¿3 >= recMax = 0?---> '''OK'''<br />
<br />
'''Se ejecuta el proceso P1''', se liberan los recursos asignados a este proceso y el vector de recursos disponibles queda:<br />
<br />
'''[5 3 3]'''<br />
<br />
Comprobamos si se puede ejecutar P3 pero con el nuevo vector.<br />
<br />
R1: recAsig = 1, recDisp = 4 ---> recAsig + recDisp = 5, ¿5 >= recMax = 0?---> '''OK'''<br />
<br />
R2: recAsig = 0, recDisp = 3 ---> recAsig + recDisp = 3, ¿3 >= recMax = 0?---> '''OK'''<br />
<br />
R3: recAsig = 0, recDisp = 3 ---> recAsig + recDisp = 3, ¿3 >= recMax = 1?---> '''OK'''<br />
<br />
Por tanto, al no producirse interbloqueos podemos decir que '''es una configuración de estado seguro'''.<br />
<br />
[[Usuario:Cripolgon|Cripolgon]]</div>
Abrcorram