Resumen de Una solución al problema del interbloqueo en sistemas distribuidos con modelo and de petición de recursos
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.
