This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [RFA] Reverse Debugging, 5/5
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Michael Snyder <msnyder at vmware dot com>
- Cc: gdb-patches at sourceware dot org, drow at false dot org, pedro at codesourcery dot com, teawater at gmail dot com
- Date: Fri, 03 Oct 2008 09:34:50 +0300
- Subject: Re: [RFA] Reverse Debugging, 5/5
- References: <48E3CD66.9020600@vmware.com> <umyhmixqu.fsf@gnu.org> <48E54E35.6090906@vmware.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Thu, 02 Oct 2008 15:41:57 -0700
> From: Michael Snyder <msnyder@vmware.com>
> CC: "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>,
> "drow@false.org" <drow@false.org>,
> "pedro@codesourcery.com" <pedro@codesourcery.com>,
> "teawater@gmail.com" <teawater@gmail.com>
>
> Here's a revised patch for the doc only.
> I added a footnote about side effects, and
> followed your other suggestions.
Thanks. I have only one minor comment this time:
> +The contract between @value{GDBN} and the reverse executing target
> +requires only that the target do something reasonable when
> +@value{GDBN} tells it to execute backwards, and then report the
> +results back to @value{GDBN}. Whatever the target reports back to
> +@value{GDBN}, @value{GDBN} will report back to the user. We assume
> +that the memory and registers that the target reports to us are in a
> +consistant state, but we accept whatever we are given.
This text switches from "GDB" to "we" in mid-air. I'd prefer to stay
with "GDB", as it will not be very clear to the reader who are "we" ;-)