rr and checkpoints

Benoit Girard bgirard at mozilla.com
Mon Jan 18 06:44:32 UTC 2016


Since this was simple I've gone ahead and implemented this. It's available
in my RR fork and I've submitted a pull request for it.

(gdb) info checkpoints
Num    When    Where
1    15    ???
(gdb) checkpoint
Checkpoint 2 at ???
(gdb) info checkpoint
Num    When    Where
1    15    ???
2    31    ???

On Sat, Jan 16, 2016 at 8:15 PM, Benoit Girard <bgirard at mozilla.com> wrote:

> I was just looking at the GdbServer code. It doesn't appear that info
> checkpoint is hooked up yet (it's not listed in 'rr gdbinit'). I agree that
> implementing it is important.
>
> On Sat, Jan 16, 2016 at 8:11 PM, Wade Hennessey <wadehennessey at gmail.com>
> wrote:
>
>> I'm trying to use the gdb "checkpoint" and "restart" commands. They seem
>> to work, and "checkpoint" even prints out a checkpoint number when called.
>> However when I do "info checkpoints" gdb says there are no checkpoints. Is
>> this intentional or am I doing something wrong? Checkpoints seem essential
>> for debugging long playbacks, but they don't seem to get much written about
>> them in the documentation I could find.  -wade
>>
>> _______________________________________________
>> rr-dev mailing list
>> rr-dev at mozilla.org
>> https://mail.mozilla.org/listinfo/rr-dev
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rr-dev/attachments/20160118/19e3f5b7/attachment.html>


More information about the rr-dev mailing list