Resumen de Un algoritmo óptimo para la detección y resolución de interbloqueos en sistemas distribuidos
La tesis trata el problema de la detección y resolución de interbloqueos en sistemas distribuídos basados en el modelo de petición único recurso, Los algoritmos propuestos para manejar este problema habitualmente tratan de resolver todos los interbloqueos sin abortar procesos que no se encuentren interbloqueados. En este trabajo se demuestra que en esas condiciones se requieren al menos Omega(2) mensajes para resolver un interbloqueo formado por n nodos. Además, se propone un algoritmo óptimo en número de mensajes que mejora notablemente las medidas de complejidad de las propuestas previas.
El algoritmo propuesto sólo envía 2N-I mensajes en un máximo de n/2 +I pasos, mientras que la mejor de las propuestas previas envía O(n²) mensajes en N pasos.
