Differences between revisions 42 and 43
Revision 42 as of 2012-08-18 21:33:24
Size: 9817
Editor: ppp-71-139-20-156
Comment: NEWS file is not specific, i assume linux
Revision 43 as of 2013-06-17 17:33:39
Size: 9805
Editor: TomTromey
Comment: add ongoing-work category link
Deletions are marked like this. Additions are marked like this.
Line 143: Line 143:
 . '' CategoryHomepage ''
OngoingWork

Process Record and Replay

Process record and replay is a gdb feature first appearing in the gdb 7.0 release (September 2009).

For supported architectures and OS/ABIs, this feature allows the user to record the execution of a program being debugged by gdb, and then "play back" the recorded execution, deterministicly and repeatedly if desired.

Process record and replay also supports gdb's reverse debugging commands, so that during replay it is possible to debug the program backward as well as forward.

GDB Reverse Debug and Process Record Target.pdf is a slide that show the internals of process record.

Process record and replay now has a tutorial.

Supported Targets

Process record and replay is currently supported for the following gdb targets:

  • i386-linux
  • amd64-linux
  • moxie-elf / moxie-linux
  • arm-linux

How it works

Process record and replay works by logging the execution of each machine instruction in the child process (the program being debugged), together with each corresponding change in machine state (the values of memory and registers). By successively "undoing" each change in machine state, in reverse order, it is possible to revert the state of the program to an arbitrary point earlier in the execution. Then, by "redoing" the changes in the original order, the program state can be moved forward again.

User commands

The following gdb commands are defined for process record / replay:

  • "target record" (or simply "record", for short)

Start process record/replay (ie. start recording the subsequent execution of the child process). You must start debugging the program (with the "run" command) before using this command to start recording. You can start recording at any point after the child process has been started (eg. at a breakpoint).

  • "record stop"

Stop process record/replay (ie. cease recording the program execution), and discard any existing execution log. The child process is not terminated, and you may continue to debug it normally.

  • "record delete"

Discard the existing execution log, and begin recording a new log.

  • "set record insn-number-max"

Set the maximum number of instruction executions that will be recorded (ie. the size of the process record log buffer). Zero means unlimited. Default is 200,000.

  • "set record stop-at-limit"

Controls the behavior when the buffer becomes full. If "on", gdb will stop and ask the user what to do. If "off", the buffer acts as a circular buffer, deleting the oldest records to make room for new ones. Default is "on".

  • "info record"

Show various statistics about the state of process record and its in-memory execution log buffer.

Testing

To run the gdb reverse-debugging tests with process record and replay, you need a board description file "precord.exp", which should look like this:

# Testing programs using process record/replay (precord)
load_base_board_description "unix"
set_board_info gdb,can_reverse 1
set_board_info gdb,use_precord 1

And put "precord.exp" to the "baseboards" directory of dejagnu (/usr/share/dejagnu/baseboards).

Then the "make check" command will look like this:

make check RUNTESTFLAGS="--target_board precord (test file or files)"

For example: make check RUNTESTFLAGS="--target_board=precord break-reverse.exp consecutive-reverse.exp"

At the time of this writing, the reverse debugging tests include:

  • break-reverse.exp
  • consecutive-reverse.exp
  • finish-reverse.exp
  • i386-reverse.exp
  • i386-sse-reverse.exp
  • i387-env-reverse.exp
  • i387-stack-reverse.exp
  • machinestate.exp
  • sigall-reverse.exp
  • solib-reverse.exp
  • step-reverse.exp
  • until-reverse.exp
  • watch-reverse.exp
  • break-precsave.exp
  • consecutive-precsave.exp
  • finish-precsave.exp
  • i386-precsave.exp
  • machinestate-precsave.exp
  • sigall-precsave.exp
  • solib-precsave.exp
  • step-precsave.exp
  • until-precsave.exp
  • watch-precsave.exp

Patch list

Name

URL

Author

Status

Comment

Doing

Check Linux sys_brk release memory in process record and replay

http://sourceware.org/ml/gdb-patches/2009-05/msg00078.html

Hui Zhu

RFA RFC

This patch will make linux-record can check if the sys_brk will release the memory or not. If memory will be released, gdb will query to user.

Process record skip

http://sourceware.org/ml/gdb-patches/2009-08/msg00302.html http://sourceware.org/ml/gdb-patches/2009-08/msg00303.html http://sourceware.org/ml/gdb-patches/2009-08/msg00304.html http://sourceware.org/ml/gdb-patches/2009-08/msg00305.html http://sourceware.org/ml/gdb-patches/2009-08/msg00306.html http://sourceware.org/ml/gdb-patches/2009-08/msg00307.html http://sourceware.org/ml/gdb-patches/2009-08/msg00308.html

Hui Zhu

RFA RFC

It let prec record some functions of inferior as one instruction (record the memory and reg that will be change in this function).

i386 Rewrite the codes for opcode 0x0f01 and add more instructions support

http://sourceware.org/ml/gdb-patches/2009-10/msg00209.html

Jiang Jilin

RFC

Jilin is waiting license paper

i386 Save CS segment register for ljmp instruction

http://sourceware.org/ml/gdb-patches/2009-10/msg00224.html

Jiang Jilin

RFC

Need a testsuite

multi-thread support

http://sourceware.org/ml/gdb-patches/2009-11/msg00541.html http://sourceware.org/ml/gdb-patches/2009-11/msg00542.html http://sourceware.org/ml/gdb-patches/2009-11/msg00543.html http://sourceware.org/ml/gdb-patches/2009-11/msg00544.html http://sourceware.org/ml/gdb-patches/2009-11/msg00545.html

Hui Zhu

RFC

Need a testsuite

Fix gcore core file load lib error

http://sourceware.org/ml/gdb-patches/2009-11/msg00076.html

Hui Zhu

Patch need more works

http://sourceware.org/ml/gdb/2009-10/msg00414.html This is the introduce for this bug, and this bug just reproduce in amd64 ubuntu 9.0.4 and i386 ubuntu 9.0.4 that's gcc is 4.3.3. glibc is 2.9. In amd64 gcc 4.1.2 glibc 2.5 and i386 gcc 4.2.4 glibc 2.7, it cannot be reproduced.

x86 segment register support

http://sourceware.org/ml/gdb-patches/2010-03/msg00595.html

Hui Zhu

RFA

Controversial in the interface design

make prec can save the execution log to a pic file

http://sourceware.org/ml/gdb-patches/2010-06/msg00342.html http://sourceware.org/ml/gdb-patches/2010-07/msg00000.html

Hui Zhu

Not sure

record_arch_list_add_mem add check for len

http://sourceware.org/ml/gdb-patches/2010-07/msg00274.html

Hui Zhu

It for a other feature. But this feature is ...

Done

replay bookmarks

http://sourceware.org/ml/gdb-patches/2009-11/msg00257.html

Michael Snyder

Done

Fix hw watchpoints in process record

http://sourceware.org/ml/gdb-patches/2009-11/msg00476.html

Pedro Alves Michael Snyder

Done

It need patch after patch replay bookmarks

i386.record.floating.point.patch

http://sourceware.org/ml/gdb-patches/2009-07/msg00156.html

Paawan Oza

Done

Testsuites for it is checked in too

prec-fix-error-handler

http://sourceware.org/ml/gdb-patches/2009-12/msg00010.html

Hui Zhu

Done

Prec x86 MMX 3DNow! SSE SSE2 SSE3 SSSE3 SSE4 support

http://sourceware.org/ml/gdb-patches/2009-12/msg00074.html

Hui Zhu

Done

Add optional sequence number to record log filename

http://sourceware.org/ml/gdb-patches/2009-11/msg00572.html

Michael Snyder

Replace by eval command patch

Eval command patch

http://sourceware.org/ml/gdb-patches/2010-06/msg00492.html

Hui Zhu

Done

Add support of software single step to process record

http://sourceware.org/ml/gdb-patches/2010-05/msg00628.html

Hui Zhu

Done

It still need test with sbp arch prec code

To Do List

See the more extensive WishList here.

  1. Improve performance (speed and memory usage).
  2. Add support for more processor architectures (mips, arm etc.)
  3. Add support for more os/abis (currently only linux is supported).
  4. Improve support for memory free (sys_brk).
    • "Check Linux sys_brk release memory in process record and replay" patch for it.
  5. Improve support for multi-thread and multi-process record/replay.
    • "multi-thread support" patch for it.
  6. Add more test cases to the testsuite.
  7. Improve documentation. The following is a quote from Eli Zaretskii, the gdb docs maintainer:
    • What I think is still missing from the manual is a few sentences that would explain when this target is useful. Can you provide such warstories? I will then add them to the manual. No, I mean description of when this target is useful in real life, and how you will use it. In other words, put yourself in a place of someone who reads the manual about the record/replay target and asks him/herself "why should I care about this new feature?" Then try to answer that question. And try to answer it so that the reader will wonder how could she ever get by without this feature before. There is a contribution from Marc Khouzam at http://sourceware.org/ml/gdb-patches/2009-05/msg00058.html.


OngoingWork

None: ProcessRecord (last edited 2013-06-17 17:33:39 by TomTromey)

All content (C) 2008 Free Software Foundation. For terms of use, redistribution, and modification, please see the WikiLicense page.