Algoritmo del banquero

El Algoritmo del banquero, en sistemas operativos es una forma de evitar el interbloqueo, propuesta por primera vez por Edsger Dijkstra. Es un acercamiento teórico para evitar los interbloqueos en la planificación de recursos. Requiere conocer con anticipación los recursos que serán utilizados por todos los procesos. Esto último generalmente no puede ser satisfecho en la práctica.

Este algoritmo usualmente es explicado usando la analogía con el funcionamiento de un banco. Los clientes representan a los procesos, que tienen un crédito límite, y el dinero representa a los recursos. El banquero es el sistema operativo.

El banco confía en que no tendrá que permitir a todos sus clientes la utilización de todo su crédito a la vez. El banco también asume que si un cliente maximiza su crédito será capaz de terminar sus negocios y devolver el dinero a la entidad, permitiendo servir a otros clientes.

El algoritmo mantiene al sistema en un estado seguro. Un sistema se encuentra en un estado seguro si existe un orden en que pueden concederse las peticiones de recursos a todos los procesos, previniendo el interbloqueo. El algoritmo del banquero funciona encontrando estados de este tipo.

Los procesos piden recursos, y son complacidos siempre y cuando el sistema se mantenga en un estado seguro después de la concesión. De lo contrario, el proceso es suspendido hasta que otro proceso libere recursos suficientes.

En términos más formales, un sistema se encuentra en un estado seguro si existe una secuencia segura. Una secuencia segura es una sucesión de procesos, ${displaystyle <P_{1}}$,..., ${displaystyle P_{n}>}$, donde para un proceso ${displaystyle P_{i}}$, el pedido de recursos puede ser satisfecho con los recursos disponibles sumados los recursos que están siendo utilizados por ${displaystyle P_{j}}$, donde j < i. Si no hay suficientes recursos para el proceso ${displaystyle P_{i}}$, debe esperar hasta que algún proceso ${displaystyle P_{j}}$ termine su ejecución y libere sus recursos. Entonces podrá ${displaystyle P_{i}}$ tomar los recursos necesarios, utilizarlos y terminar su ejecución. Al suceder esto, el proceso ${displaystyle P}$_i+1 puede tomar los recursos que necesite, y así sucesivamente. Si una secuencia de este tipo no existe, el sistema se dice que está en un estado inseguro, aunque esto no implica que esté bloqueado.

Así, el uso de este tipo de algoritmo permite impedir el interbloqueo, pero supone una serie de restricciones:

Se deben utilizar cuatro estructuras de datos para implementar el algoritmo del banquero. Estas codifican el estado del sistema de asignación de recursos. Sea n, el número de procesos del sistema, m el número de tipos de recursos. Se necesita:

En términos de complejidad, el algoritmo del banquero es de orden O(n² × m), donde n es el número de procesos y m la cantidad de recursos.

Es un algoritmo que determina si el sistema está en un estado seguro y sin que haya que molestar a un recurso .

Este algoritmo determina si un pedido de recursos puede ser satisfecho de forma segura. Es ejecutado por el sistema cada vez que llega una petición de recursos por parte de un proceso.