Una solución al problema del interbloqueo en sistemas distribuidos con modelo and de petición de recursos

• Autores: Federico Fariña Figueredo
• Directores de la Tesis: José Ramón Garitagoitia Padrones (dir. tes.)
• Lectura: En la Universidad Pública de Navarra ( España ) en 1997
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Vicente Cholvi Juan (secret.) , A. Álvarez (voc.) , Josep M. Bernabeu Aubán (voc.) , Sergio Arévalo Viñuales (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.