Sistemas operativos

More documents

Recommendations

Info

Algoritmo del banquero ► Vectores de longitud m: Libres[j] Libres[j = número n mero de ejemplares no asignados del recurso Rj. Máxima ximak [j] [j = número n mero máximo m ximo de ejemplares del recurso Rj que puede necesitar simultáneamente simult neamente el proceso Pk. Asignación Asignaci k [j] [j = número n mero de ejemplares del recurso Rj que tiene asignados el proceso Pk. Solicitud k [j] [j = número n mero de ejemplares del recurso Rj que solicita el proceso Pk. ► Conceder una solicitud implica: Libres = Libres – Solicitud k Asignación Asignaci k = Asignación Asignaci k + Solicitud Solicitud k
Algoritmo del banquero ► La verificación verificaci n del estado trata de construir una secuencia segura. En evasión evasi n simulamos el caso peor Solicitud k = Máxima ximak – Asignación Asignaci k . El vector Disponibles, Disponibles, de longitud m, acumulará acumular los recursos libres y los asignados a los procesos anteriores en la secuencia segura. El vector Incluido, Incluido, de n componentes booleanas, booleanas, indicará indicar si los distintos procesos ya se han incluido en la secuencia segura. Procedimiento: ► Disponibles = Libres ► Incluido = {falso, falso, falso, …, , falso} ► Repetir por siempre: Buscar k tal que ► (Incluido[k Incluido[k] ] = falso) Y ► (Solicitud Solicitudk [j] ≤ Disponibles[j], Disponibles[j], 1≤j≤m) 1 m) Si existe ese k, entonces ► Incluido[k] Incluido[k] = verdadero ► Disponibles = Disponibles + Asignaci Si no, salir del bucle Asignación k ► Si existe k tal que Incluido[k] Incluido[k] = falso, el estado es inseguro. ► En caso contrario, es seguro.
Page 1 and 2: Sistemas operativos Tema 6: Interbl
Page 3 and 4: Interbloqueo ► Procesos acceden a
Page 5 and 6: Grafo de asignación asignaci n de
Page 7 and 8: Condiciones de interbloqueo ► 4 c
Page 9 and 10: Prevención Prevenci n de interbloq
Page 11 and 12: Prevención Prevenci n de interbloq
Page 13 and 14: Evasión Evasi n de interbloqueos
Page 15 and 16: Estados seguros ► Para un sistema
Page 17 and 18: Ejemplo ► Un único nico recurso
Page 19 and 20: Algoritmos para evitar interbloqueo
Page 21 and 22: Algoritmos de seguridad ► Se trat
Page 23: Algoritmos de seguridad ►Si Si ex
Page 27 and 28: Detección Detecci n de interbloque
Page 29: Fin

Sistemas operativos

Create successful ePaper yourself

Delete template?

Save as template?