Distintas aproximaciones 'tipo Banquero' para la evitación 
de bloqueos en sistemas concurrentes

Dr. Joaquín Ezpeleta (DIIS, Universidad de Zaragoza)

Fecha: 2003-02-28
Hora: 12:00
Lugar: Seminario del DIIS en el Edificio Ada Byron, María de Luna 1, Zaragoza
Resumen:

Una amplia gama de sistemas concurrentes comparten una estructura en la que un conjunto de procesos deben competir por el uso de un conjunto
(limitado) de recursos: procesos en ejecución en un sistema operativo, transacciones en una base de datos, órdenes de producción en un sistema de producción, tareas en un sistema "work-flow", etc. De una manera genérica, estos sistemas se denominan "Resource Allocation Systems". Si la gestión en el uso de los recursos no se hace adecuadamente, la ejecución entrelazada de las distintas tareas puede dar lugar a situaciones de bloqueo, en las que la ejecución de un conjunto de tareas, una vez empezada, no puede terminar. En el marco de los sistemas operativos, Dijkstra propuso una solución al problema en 1965, que denominó el "algoritmo del banquero", y que se encuadra en el conjunto de soluciones que adoptan una perspectiva de "evitación de bloqueos". El objetivo del seminario es presentar distintas generalizaciones y adaptaciones de las ideas subyacentes en el algoritmo del banquero para resolver de manera eficiente los problemas de bloqueos en clases específicas de sistemas, aprovechando la información sobre la estructura de los procesos involucrados.

http://diis.unizar.es