Sistema de soporte para la simulación de arquitecturas y algoritmos distribuidos

Resum

UNO DE LOS PRINCIPALES PROBLEMAS A LOS QUE SE TIENEN QUE ENFRENTAR LOS DISEÑADORES DE ALGORITMOS DISTRIBUIDOS ES LA FORMA DE REALIZAR LA PRUEBA Y EVALUACION DE LOS MISMOS, ALGUNAS VECES SE PUEDE REALIZAR ESTA VALIDACION DE FORMA TEORICA, COMO EN EL CASO DE LOS ALGORITMOS DE TERMINACION DISTRIBUIDA. EN OTRAS, SIN EMBARGO, HAY QUE REALIZAR LA VALIDACION DE FORMA EXPERIMENTAL TAL COMO SUCEDE, POR EJEMPLO, CON LOS ALGORITMOS DE REPARTO DE CARGA. EL MARGEN DE LOS METODOS UTILIZADOS PARA REALIZAR LA VALIDACION DE FORMA EXPERIMENTAL ES MUY AMPLIO, E INCLUYE DESDE LA SIMULACION MATEMATICA HASTA LOS BANCOS DE PRUEBAS HARDWARE. EN EL PRIMER CASO SE REALIZAN MODELOS DEL SISTEMA Y DEL ALGORITMO BASADOS EN LAS CARACTERISTICAS CONOCIDAS DEL SISTEMA. EN EL SEGUNDO, EL MODELO ES "CASI" EL SISTEMA. EN ESTE TRABAJO SE HA DESARROLLADO UNA MAQUETA (SSAD) DE DOS NIVELES PARA REALIZAR LA VALIDACION DE ALGORITMOS DISTRIBUIDOS. LA MAQUETA PERMITE LA SIMULACION TANTO DE LA ARQUITECTURA COMO DE LAS COMUNICACIONES DEL SISTEMA A ESTUDIAR. EL DISEÑADOR PUEDE CONSTRUIR LOS ALGORITMOS SOBRE LA MAQUETA CON EL NIVEL DE ABSTRACCION EN EL CUAL ESTE REALIZANDO EL TRABAJO, Y SIN VERSE AFECTADO POR LAS CARACTERISTICAS DE LOS NIVELES INFERIORES DEL SISTEMA. LOS PROBLEMAS INTERNOS DEL ALGORITMO NO QUEDAN OCULTOS POR EL MODELO. EL FUNCIONAMIENTO DE LA MAQUETA ESTA DIVIDIDO EN DOS FASES. EN LA PRIMERA EL USUARIO ESPECIFICA INTERACTIVAMENTE LA ARQUITECTURA QUE DESEA SIMULAR (NODOS Y ENLACES). EN LA SEGUNDA, SE GENERAN TANTOS PROCESOS Y BUZONES COMO NODOS Y ENLACES UNIDIRECCIONALES SE INDICAN EN LA DESCRIPCION DE LA ARQUITECTURA. ESTA SEGUNDA FASE INCLUYE LA REPRESENTACION GRAFICA DE LA RED Y LA EJECUCION DE LOS ALGORITMOS QUE SE DESEA ESTUDIAR.