Re: Replay debuggers

"Xavier Leroy" <>
14 Aug 2002 02:20:09 -0400

          From comp.compilers

Related articles
Replay debuggers (Dmitry Shaporenkov) (2002-08-10)
Re: Replay debuggers (Fergus Henderson) (2002-08-14)
Re: Replay debuggers (Xavier Leroy) (2002-08-14)
Re: Replay debuggers (Tim Todman) (2002-08-23)
Re: Replay debuggers (Manoj Plakal) (2002-09-03)
| List of all articles for this month |

From: "Xavier Leroy" <>
Newsgroups: comp.compilers
Date: 14 Aug 2002 02:20:09 -0400
Organization: INRIA Rocquencourt, projet Cristal
References: 02-08-030
Keywords: debug
Posted-Date: 14 Aug 2002 02:20:08 EDT
In-reply-to: "Dmitry Shaporenkov"'s message of 10 Aug 2002 02:04:37 -0400

Dmitry Shaporenkov <> writes:

> I'm interesting in information about replay debuggers (i.e., debuggers
> that allow 'backward execution' of debugging program by checkpointing
> of its state and restoring an old state later), especially
> implementation techniques on various platforms. The only example I
> currently know is ocamldebug, but it heavily relies on the presence of
> fork() system call and therefore seems to be not portable.

Actually, the OCaml replay debugger was inspired by Andrew Tolmach's
replay debugger for SML/NJ, which implements checkpointing using call/cc
(call-with-current-continuation) instead of fork(). This is described
in Tolmach's PhD thesis:

- Xavier Leroy
Home page:

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.