Re: System call support in reversible debugging

[Sean Chen <sean.chen1234@gmail.com>]

On Fri, Dec 4, 2009 at 12:57 AM, Michael Snyder <msnyder@vmware.com> wrote:
> Sean Chen wrote:
>>
>> 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. :)
>
> Teawater implemented them, I am only reverse-engineering
> them, like you.  Man pages are helpful.   ;-)
>
>

Man pages just tell how to use it. It won’t tell why use it. 

Hui,

Could you help with this? Thanks in advance.

-- 
Best Regards,
Sean Chen