Animación de Algoritmos Distribuidos para Detección de Terminación

Abstract

Se desarrolla una herramienta monoprocesadora que anima modelos de ejecución de los sistemas distribuidos con el fin de soportar el proceso didáctico en la enseñanza de los algoritmos distribuidos. Las animaciones desarrolladas se centran en la detección de terminación de los procesos distribuidos, permitiéndose la parametrización de variables como el volumen de actividades, la productividad y el grafo de comunicación del sistema. Los métodos de detección han sido clasificados en tres grupos respondiendo a ciertas igualdades fundamentales de la gran cantidad de propuestas que existen para el problema de terminación. Adicionalmente se realiza una comparación de las distintas implementaciones de los métodos hechos, en términos de los datos almacenados y mensajes utilizados. Con esto se crea un modelo básico que sirve como prototipo para el desarrollo posterior de los sistemas estudiados, o bien sistemas simuladores de éstos.