Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Hui Zhu <teawater@gmail.com>
To: Eli Zaretskii <eliz@gnu.org>
Cc: gdb-patches@sourceware.org, msnyder@vmware.com
Subject: Re: [Precord RFA/RFC] Check Linux sys_brk release memory in process  	record and replay.
Date: Thu, 07 May 2009 02:21:00 -0000	[thread overview]
Message-ID: <daef60380905061921k7ced158eu2a74bab604a700e1@mail.gmail.com> (raw)
In-Reply-To: <83tz3ycchv.fsf@gnu.org>

On Thu, May 7, 2009 at 02:28, Eli Zaretskii <eliz@gnu.org> wrote:
>> Date: Wed, 6 May 2009 11:35:38 +0800
>> From: Hui Zhu <teawater@gmail.com>
>> Cc: gdb-patches@sourceware.org, msnyder@vmware.com
>>
>> On Wed, May 6, 2009 at 11:14, Eli Zaretskii <eliz@gnu.org> wrote:
>> >> Date: Wed, 6 May 2009 10:13:15 +0800
>> >> From: Hui Zhu <teawater@gmail.com>
>> >> Cc: gdb-patches@sourceware.org, msnyder@vmware.com
>> >>
>> >> If inferior release some memory, the replay will got big error because
>> >> prec will set memory old value to this memory.
>> >
>> > Yes, I understand that, but why will this cause an error?
>>
>> If this memory already release and gdb still write value to this
>> address,  the os mm will make this operation fail.
>
> Why would GDB write to the memory that no longer belongs to the
> inferior?  Are you talking about GDB in general or process
> record/replay in particular?  If the former, I'd say that's a bug.  If
> the latter, when and under what conditions will record/replay need to
> do that?
>
> I thought the problem was that replaying the execution log before the
> sbrk point would be impossible, because (I thought) there's no way of
> regaining back the memory the inferior gave up.  Is this the problem
> you are talking about?  If so, that is not a fatal limitation, and it
> certainly does not justify stopping the program and asking the user to
> make some grave decision.  The user just needs to be notified, when
> she tries that, that she cannot reverse-replay the log past this
> point.  If the user never tries to replay past that point, she never
> needs to know about the problem.

I am not sure make inferior cannot continue is good or not.  I think
let user choice continue or stop is better.



>
>> I think both reinitialize and prepare is OK for me.  Do you have some
>> idea with it?
>
> I can live with both.  What do others think?
>


  reply	other threads:[~2009-05-07  2:21 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-05-05 13:07 Hui Zhu
2009-05-05 13:09 ` Hui Zhu
2009-05-05 18:41 ` Eli Zaretskii
2009-05-06  2:13   ` Hui Zhu
2009-05-06  3:14     ` Eli Zaretskii
2009-05-06  3:35       ` Hui Zhu
2009-05-06 18:28         ` Eli Zaretskii
2009-05-07  2:21           ` Hui Zhu [this message]
2009-05-07  3:20             ` Eli Zaretskii
2009-05-11  7:06               ` Hui Zhu
2009-06-09  2:17                 ` Hui Zhu
2009-06-13 22:56                   ` Michael Snyder
2009-06-14  9:26                     ` Hui Zhu
2009-06-14 17:42                       ` Michael Snyder
2009-06-15  8:04                         ` Hui Zhu
2009-06-15 17:52                           ` Michael Snyder

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=daef60380905061921k7ced158eu2a74bab604a700e1@mail.gmail.com \
    --to=teawater@gmail.com \
    --cc=eliz@gnu.org \
    --cc=gdb-patches@sourceware.org \
    --cc=msnyder@vmware.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox