Project: Debugging of non-deterministic programs.
- project duration
- 01-OCT-01 – 30-SEP-02
- The cyclic debugging of parallel programs requires the ability to re-execute a program which is not easy if the program contains non-determinism (e.g., multithreaded programs). This project aims at solving two problems: the reproduction of the program input (by storing it), and the re-execution of long-running programs (by taking checkpoints).