Re: [RFA/RFC] Add dump and load command to process record and replay

[Eli Zaretskii <eliz@gnu.org>]

> From: Hui Zhu <teawater@gmail.com>
> Date: Sun, 30 Aug 2009 11:20:32 +0800
> Cc: Michael Snyder <msnyder@vmware.com>, gdb-patches@sourceware.org
> 
> > This all needs to be said in the manual (in a form suitable for the
> > manual, omitting the technicalities and describing this from user
> > perspective).  We cannot just say "dump record log to core file".  So
> > I hereby revoke my approval of the patch for the manual.
> >
> 
> Agree with you, Eli.  Do you have more better words on it?  You know
> my poor english.  :)

Something like this:

  @kindex record dump
  @kindex rec dump
  @item record dump [@var{file}]
  @itemx rec dump [@var{file}]
  Dump the execution records of the inferior process to the named
  @var{file}.  If not specified, @var{file} defaults to
  @file{gdb_record.@var{pid}}, where @var{pid} is is the PID of the
  inferior process.

  The file created by this command is actually a kind of core file,
  with an extra section that holds the recorded execution log.  The
  sections usually present in a core file capture the state of the
  inferior before the recording started, so that the file produced by
  this command can be used to replay the entire recorded session
  without the need to restore the initial state by some other means.