ProsymbABS: perfilador simbólico para objetos concurrentes

Abstract

ProsymbABS es una aplicación desarrollada para computar el consumo de recursos simbólicos obtenidos tras ejecutar programas ABS, los cuales están basados en el paradigma de los objetos concurrentes. Es simbólico puesto que ofrece una representación simbólica del consumo de recursos, contando, para ello, el número de objetos creados (incluyendo sus tipos),el número de llamadas a métodos y el número de instrucciones ejecutadas. La aplicación recibe el árbol sintáctico del código ABS compilado y trabaja sobre dicho árbol para calcular los distintos recursos consumidos por la ejecución del programa, como el número de objetos creados, los métodos ejecutados por cada objeto, el número de instrucciones ejecutadas y el tiempo de ejecución. Para facilitar el manejo de la herramienta hemos desarrollado un entorno basado en el banco de trabajo de “Eclipse” donde el programador puede escribir el código ABS y ver los resultados de la ejecución de ProsymbABS sobre ese código fácilmente.

ProsymbABS is an application developed to compute the symbolic resources consumed by the execution of ABS programs, based on the paradigm of concurrent objects. It is symbolic because it provides a symbolic representation of the resource consumption, by counting the number of objects created (including their types), the number of method calls and the number of instructions executed. The application receives the ABS syntax tree, from the compiled code, and executes it to calculate the different resources consumed by the program execution, as the number of objects created, the methods executed by each object, the number of instructions executed and the execution time. To facilitate the use of the tool, we have developed an execution environment based on "Eclipse's" workbench where the programmer can write the ABS code and see the result of the execution of that code with the ProsymbABS tool.