Depuración reversible en Erlang

Abstract

[ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil para localizar el origen de un error. Por otro lado, la técnica establece relaciones causales entre las acciones de los procesos concurrentes, lo que permite que el programador se centre solo en determinadas acciones en lugar de explorar las trazas completas (lo que normalmente es inabordable). Actualmente, se dispone ya de un primer prototipo de depurador reversible para el lenguaje Erlang. En este caso, los programas se compilan a Core Erlang, por lo que el depurador trabaja a este nivel. Aunque esto tiene varias ventajas (Core Erlang es una versión simplificada de Erlang), hace que el código fuente mostrado por la herramienta sea menos comprensible para el usuario. En este trabajo, se plantea el desarrollo de un depurador reversible para Erlang sin realizar la traducción intermedia a Core Erlang.