Desarrollo de una representación gráfica de las trazas de ejecución

Abstract

[ES] El depurador reversible con consistencia causal CauDEr ha sido desarrollado por el grupo MiST en la UPV en colaboración con las universidades de Bolonia y Nagoya cuyo objetivo es resolver algunos errores de concurrencia que no son resueltos por defecto en lenguajes basados en el actor, como Erlang. CauDEr devuelve unas trazas en formato de texto que para el posterior análisis de la ejecución de la traza no es del todo práctico ni escalable, por tanto, se presenta la implementación de una herramienta que transforme dichos logs en otros logs compatibles con el formato ShiViz, aplicación que permitirá de forma gráfica e interactiva visualizar los logs en un diagrama espaciotemporal.

[EN] The Causal-Consistent Reversible Debugger for Erlang CauDEr has been developed by the MiST group in the UPV in collaboration with the universities of Bologna and Nagoya whose objective is to avoid some concurrency errors that are not avoided by default on programming language based on the actor model, like Erlang. CauDEr returns traces in text format so that the subsequent analysis of the execution of the traces is not entirely practical or scalable, therefore, the implementation of a tool that transforms these logs into other logs compatible with the ShiViz format is presented, an application that will allow logs to be displayed graphically and interactively in a space-time diagram.

[CA] El depurador reversible amb consistència causal CauDEr ha sigut desenvolupat pel grup MiST al a UPV en col·laboració amb les universitats de Bolonya i Nagoya objectiu el qual és resoldre errors de concurrència que no són resolts per defecte en llenguatges basats en l’actor, com Erlang. CauDEr retorna unes traces en format text que per al posterior anàlisi de l’execució de la traça no és d’el tot pràctic ni escalable, per tant, es presenta la implementación d’una eina que transformi aquests logs en altres logs compatibles amb el format ShiViz, aplicación que permetrà de forma gràfica i interactiva visualitzar els logs en un diagrama espaitemporal.