Send

SEND: Simulador de Ejecuciones Distribuidas
Iyubanit Rodr´ ıguez-Ram´ ırez Centro de Investigaciones en Computaci´n (CIC ) o Instituto Tecnol´gico de Costa Rica o iyurodriguez@ic-itcr.ac.cr Esteban Meneses Centro de Investigaciones en Computaci´n (CIC ) o Instituto Tecnol´gico de Costa Rica o emeneses@ic-itcr.ac.cr Francisco J. Torres-Rojas Instituto Tecnol´gico de Costa Rica y o Universidad deCosta Rica torres@ic-itcr.ac.cr
Resumen La computaci´n distribuida y paralela es un ´rea ya madura de las ciencias computacionales. Sin embargo, o a dise˜ar, conceptualizar y probar distintas estrategias en esas ´reas sigue siendo un gran reto. La simulaci´n n a o de tales estrategias permite obtener retroalimentaci´n de las propiedades para ciertos modelos antes de ser o utilizados en la vidareal. SEND es un simulador de historias distribuidas que puede utilizar distintos tipos de relojes l´gicos para etiquetar los eventos y as´ estudiar las relaciones de causalidad. Este art´ o ı ıculo presenta algunas de los resultados de SEND y posibles perspectivas de desarrollo. Abstract Distributed and parallel computing conform a mature area of computer sciences. However, design, relizationand testing of such systems is still a burden. Simmulation is a useful technique for getting feedback about models before they get into real life. SEND is a distributed histories simmulator that can attach several types of logical clocks to events in different processes, in order to study the causal relationships among them. This paper is aimed to present some results about SEND and possibleperspectives about it. Palabras claves: Computaci´n Distribuida, Relojes L´gicos, Simulaci´n o o o

1.

Introducci´n o

La computaci´n distribuida y paralela permea muchos ´mbitos de la tecnolog´ y hasta hoy ha alcanzado o a ıa un importante grado de madurez. A pesar de eso, existen muchas dificultades para dise˜ar, conceptualizar y n probar los distintos mecanismos para tales sistemas. En esteart´ ıculo se presenta un mecanismo para simular historias distribuidas y as´ mitigar estos problemas. ı El simulador SEND se encarga de representar ejecuciones o historias distribuidas. Una historia distribuida est´ caracterizada por varios elementos. Los sitios o procesos que componen el sistema distribuido, los eventos a que se ejecutaron en cada uno de los procesos y la comunicaci´n entre estosprocesos por medio del env´ de o ıo mensajes. Un punto importante de SEND est´ en la colocaci´n de etiquetas de tiempo en los eventos. Estos sistemas a o permiten establecer ciertas relaciones de causalidad entre los eventos de los distintos procesos, de manera que algunas propiedades de la ejecuci´n distribuida puedan ser analizadas. o Los sistemas de etiquetas de tiempo utilizan relojes l´gicos.Existen muchos tipos de relojes. En este o art´ ıculo se explorar´n tres de ellos: relojes escalares, vectoriales y plausibles. De acuerdo a la complejidad de a cada sistema, m´s relaciones de causalidad se pueden determinar, pero tambi´n m´s costos computacionales a e a deben ser pagados. Dependiendo de los requerimientos del sistema distribuido, se debe escoger algunos de estos esquemas paraoptimizar el uso de los recursos.

Por simulaci´n se entender´ el proceso de dise˜ar un modelo de un sistema real, el cual sirve para analizar o a n el comportamiento de los distintos componentes del sistema. Las aplicaciones de la simulaci´n se encuentran o desde evaluar los requerimientos de hardware y software de un sistema computacional hasta analizar los sistemas financieros y econ´micos. oEs particularmente importante implementar un simulador de historias distribuidas, en tanto que se pueden dilucidar aspectos de dise˜o para la construcci´n de un sistema. SEND propone un esquema donde se pueden n o integrar m´ltiples escenarios para la representaci´n de ejecuciones. u o SEND es parte del proyecto de investigaci´n SPREAD que se lleva a cabo en el Centro de Investigaciones o en...