This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: System call support in reversible debugging
- From: Sean Chen <sean dot chen1234 at gmail dot com>
- To: Michael Snyder <msnyder at vmware dot com>
- Cc: Hui Zhu <teawater at gmail dot com>, "gdb at sourceware dot org" <gdb at sourceware dot org>
- Date: Thu, 3 Dec 2009 10:57:28 +0800
- Subject: Re: System call support in reversible debugging
- References: <5e81cb500911262231g57f693dwc885576172e016e1@mail.gmail.com> <5e81cb500911270711wb99d531i111d064f05ef03b4@mail.gmail.com> <daef60380911270716r44fe2efcr79930beacc1f38ed@mail.gmail.com> <5e81cb500911270742j546062f2jca7441a912ffad87@mail.gmail.com> <4B10154F.7070902@vmware.com> <5e81cb500911271745t1a119520l4944919d2139e8ae@mail.gmail.com> <4B11607C.7000500@vmware.com> <daef60380911300427p20b2e9bege4087bbcd18bc82a@mail.gmail.com> <5e81cb500911300539r52e8be5dva54d32c734978021@mail.gmail.com> <4B142C54.7070207@vmware.com>
On Tue, Dec 1, 2009 at 4:34 AM, Michael Snyder <msnyder@vmware.com> wrote:
> Not a black box -- but not a detailed implementation either.
> Each system call has a specification -- that's all we need to
> understand. ?The specification tells what user-visible external
> side effects can be expected (eg. this buffer will be filled).
> Changes that are internal to the kernel do not concern us.
Thanks. I understand your concern. Does Linux kernel provide such an
official specification? If so, could you throw me a hint on where to
get it? Since we have all of the side effects, recording the system
calls are feasible and trustable.
> Sean, this stuff is already implemented and working.
> Why don't you have a look at the existing code in
> linux-record.c? ?It sounds like you're more than qualified
> to understand it. ?If you find something that's not working
> correctly, please let us know! ?;-)
I am reading the source and the archive of the mailing list. Do you
have other systematic documents on this technique? Life becomes better
with your help. Thanks. :)
--
Best Regards,
Sean Chen