Sistemas operativos

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.