Tesis doctoral de Federico Fariña Figueredo
Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la posibilidad de aparicion de interbloqueos; estando en el que existe un conjunto de procesos que no pueden continuar con su ejecucion porque se encuentran a la espera de recursos concedidos a otros procesos del mismo conjunto. En este trabajo se presenta un alogaritmo que resuelve dicho problema en sistemas con modelo and de peticion de recursos (un proceso solicita un conjunto de recursos y permanece bloqueado hasta que le son asignados todos ellos). Recientemente se ha postulado la imposibilidad de resolver el problema del interbloqueo and de manera segura (sin resolver falsos interbloqueos). El alogaritmo que se demuestra en esta tesis demuestra que si es posible conseguir alogaritmos seguros (y que ademas progresen) en el modelo and, el alogaritmo presentado ha sido demostrado formalmente empleando el modelo formasl de automatas de entrada/salida palabras clave: interbloqueo; bloqueo mutuo; abrazo mortal; deteccion/resolucion de interbloqueos; modelo and; automatas de entrada/salida.
Datos académicos de la tesis doctoral «Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.«
- Título de la tesis: Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.
- Autor: Federico Fariña Figueredo
- Universidad: Pública de navarra
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Garitagoitia Padrones José Ramon
- Tribunal
- Presidente del tribunal: Isidro Ramos Salavert
- José Manuel Bernabéu Aubán (vocal)
- Angel Alvarez Rodriguez (vocal)
- Sergio Arevalo Viñuales (vocal)