From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27701 invoked by alias); 3 Oct 2008 06:35:33 -0000 Received: (qmail 27691 invoked by uid 22791); 3 Oct 2008 06:35:32 -0000 X-Spam-Check-By: sourceware.org Received: from mtaout3.012.net.il (HELO mtaout3.012.net.il) (84.95.2.7) by sourceware.org (qpsmtpd/0.31) with ESMTP; Fri, 03 Oct 2008 06:34:53 +0000 Received: from HOME-C4E4A596F7 ([77.127.170.116]) by i_mtaout3.012.net.il (HyperSendmail v2004.12) with ESMTPA id <0K8500C42H00BYX2@i_mtaout3.012.net.il> for gdb-patches@sourceware.org; Fri, 03 Oct 2008 09:36:01 +0300 (IDT) Date: Fri, 03 Oct 2008 06:35:00 -0000 From: Eli Zaretskii Subject: Re: [RFA] Reverse Debugging, 5/5 In-reply-to: <48E54E35.6090906@vmware.com> X-012-Sender: halo1@inter.net.il To: Michael Snyder Cc: gdb-patches@sourceware.org, drow@false.org, pedro@codesourcery.com, teawater@gmail.com Reply-to: Eli Zaretskii Message-id: References: <48E3CD66.9020600@vmware.com> <48E54E35.6090906@vmware.com> X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2008-10/txt/msg00083.txt.bz2 > Date: Thu, 02 Oct 2008 15:41:57 -0700 > From: Michael Snyder > CC: "gdb-patches@sourceware.org" , > "drow@false.org" , > "pedro@codesourcery.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" ;-)