Re: Replay debuggers

"Xavier Leroy" <Xavier.Leroy@inria.fr>
14 Aug 2002 02:20:09 -0400

          From comp.compilers
Related articles
Replay debuggers dsha@tercom.ru (Dmitry Shaporenkov) (2002-08-10)
Re: Replay debuggers fjh@cs.mu.OZ.AU (Fergus Henderson) (2002-08-14)
Re: Replay debuggers Xavier.Leroy@inria.fr (Xavier Leroy) (2002-08-14)
Re: Replay debuggers tim_todman@hotmail.com (Tim Todman) (2002-08-23)
Re: Replay debuggers plakal@yumpee.org (Manoj Plakal) (2002-09-03)
| List of all articles for this month |
From: "Xavier Leroy" <Xavier.Leroy@inria.fr>
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 <dsha@tercom.ru> 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:
http://www.cs.pdx.edu/~apt/thesis.ps.Z


- Xavier Leroy
--
Home page: http://pauillac.inria.fr/~xleroy/


Post a followup to this message

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