Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

zeigt die einzelnen Werte der Variablen innerhalb der Komponenten eines
XVSM Cores an, und diese können auch geändert werden. Des Weiteren stellt
der XVSM-Editor eine einfache Monitoringfunktion bereit. Auch auf die
Erweiterbarkeit des XVSM wurde eingegangen und eine Technik integriert,
mit der man den Inhalt von selbst geschriebenen Aspekten oder
Koordinatoren anzeigen kann. Der entwickelte Prototyp wurde an Hand von
Ergebnissen der untersuchten verwandten Arbeiten und einer Literaturrecherche
kreiert. Mit Hilfe des Editors ist es sehr einfach eine Konfiguration von
einem XVSM Core zu laden, zu bearbeiten, und diese auf weitere XVSM Cores
zu verteilen. Das Erstellen einer Konfiguration ist in diesem Fall auch weniger
fehleranfällig, da der Benutzer nur bestimmte vorgegebene Komponenten
hinzufügen oder entfernen kann. Der besondere Nutzen dieser Lösung liegt
darin, dass man die Visualisierung und die Verteilung der Konfiguration in
einem einzigen Editor auf einfache Art und Weise erledigen kann.
Patrick Sabin
Implementing a Reversible Debugger for Python
Studium: Masterstudium Software Engineering & Internet Computing
Betreuer: Ao.Univ.Prof. Dr. Martin Ertl
There are two different methods of implementing a reversible debugger, i.e.,
a debugger which can run the program forwards and backwards. The first one
is the logging-based approach, which records the state of the program after
every instruction and allows inspection after the program has finished
running. The second one is the replay-based approach, where the debugger
runs the debuggee interactively. For this purpose it makes periodic snapshots.
The debugger runs the debuggee backwards by restoring a previous snapshot
and then running the program forward until it reaches the desired
position. In this thesis, I show that it is possible to implement a reversible debugger
by continuous snapshotting of the program state. There are indeed
some challenges with using such a feature. For example, there are non-deterministic
instructions, which execute differently each instance the interpreter
executes them, e.g., a function, which returns the system time. Therefore I
present some methods of treating these problems. Accompanying this thesis,
I have developed a proof-of-concept implementation of a reversible
debugger called epdb for the Python programming language, which solves
most of the problems of reversible debugging. In order to support reversible
debugging of programs which have non-deterministic instructions in it, I
introduce the new concept of timelines. With timelines, the user can decide
which execution path he wants to take. I also introduce stateful resource
management to support the management of the external state. This allows
the user to investigate the environment corresponding to the actual position
inside the program, when he executes the program backwards.
57