Skip to main content

Instant Replay debugging of concurrent logic programs

Kish Shen, Steve Gregory , Instant Replay debugging of concurrent logic programs. New Generation Computing, 14 (1). ISSN 0288-3635, pp. 79–107. January 1996. No electronic version available. External information


One problem with debugging (committed choice) concurrent logic programs is that their behaviour may be non-deterministic, in that successive executions of the same program may produce different results. We describe a scheme, based on the `Instant Replay' scheme developed for more conventional parallel languages, that allows us to reproduce the execution behaviour of a concurrent logic program on subsequent executions, so that the execution may be examined for debugging purposes. The properties of concurrent logic programming languages allow us to simplify our scheme greatly. We have demonstrated our scheme with KLIC, and KL1 on the PIM multiprocessors, but it can also be applied to other committed choice concurrent logic programming languages.

Bibtex entry.

Contact details

Publication Admin