Embed Size (px)
Citation preview
Bloqueo mutuo y estrategias (3)
Dr. Alonso Ramírez Manzanares26 y 28 de Nov-2010
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Menos unidades disponibles de las necesarias
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Menos unidades disponibles de las necesarias Estados
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Menos unidades disponibles de las necesarias Estados
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Menos unidades disponibles de las necesarias Estados
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Menos unidades disponibles de las necesarias Estados
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estados Seguro:Existe una secuencia de estados que conduce a una situacion donde todos los clientes obtiene su máximo
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estados Seguro:Existe una secuencia de estados que conduce a una situacion donde todos los clientes obtiene su máximo
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estados Seguro:Existe una secuencia de estados que conduce a una situacion donde todos los clientes obtiene su máximo
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estado inseguro:Si todos piden su máximo, tenemos un bloqueo mutuo!
Estrategias para evitar bloqueo mutuo
El algoritmo del banquero para un solo recurso:
Estado inseguro:Si todos piden su máximo, tenemos un bloqueo mutuo!
Estrategias para evitar bloqueo mutuo
En el algoritmo del banquero:
Un estado inseguro no necesariamente lleva a un bloque mutuo, pero no podemos arriesgarnos a que suceda.
Por lo tanto el algoritmo es:
Para cada peticion ver si conduce a un estado seguro.
Si si, se concede la petición, si no, se pospone.
Estrategias para evitar bloqueo mutuo
En el algoritmo del banquero, ¿Cómo se verifica que un estado es seguro?
Se verifica si se tienen sifucientes recursos para satisfacer al cliente que está mas cerca de su máximo (el que necesita menos dinero)
Si los tiene, se supone que ese préstamo ya fué pagado, y a continuación se verifica el cliente que ahora está mas cerca de su límite, y asi sucesivamente para todos.
Si todos los prestamos pueden cubrirse (tarde o temprano) es estado es seguro.
Trayectorias de recursosTenemos 2 proces A y B, con una secuencia de instrucciones Ii, compartiendo 2 recursos diferentes.
Estrategias para evitar bloqueo mutuo
En el algoritmo del banquero para N recursos con varias instancias del mismo recurso:
Se van guardando 2 matrices, por proceso se contabilizan recursos asignados y recursos que aún se van a necesitar:
E =ExistentesP = Poseidos
A = Disponibles
Estrategias para evitar bloqueo mutuo
En el algoritmo del banquero para N recursos con varias instancias del mismo recurso. La verificación de ESTADO SEGURO es ahora:
1) Buscar una fila R en las peticiones cuyos requerimientos sean <= que el vector A en todas las entradas (Si no existe, el estado no es seguro). Si hay varios candidatos, tomar uno al azar.
2) Suponga que el proceso elegido solicita todos los recursos que necesita y termina. Marque ese proceso como terminado y agregue todos sus recursos al vector A.
3) Repita pasos 1 y 2 hasta que todos los procesos se marquen como terminados o bien no se pueda cumplir 1).
ProblemasEn la práctica no sabemos a priori que recursos (máximos) require cada proceso.
El número de procesos y el número de recursos varía dinámicamente en el tiempo.
Para aplcaciones específicas, hay algoritmos excelentes, por ejemplo en bases de datos, donde se usan candados para asegurar todos los registros, uno por uno, y si no se logra, se liberan todos los anteriores y se comienza de nuevo.
