From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8559 invoked by alias); 20 May 2005 10:47:00 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 8362 invoked from network); 20 May 2005 10:46:32 -0000 Received: from unknown (HELO romy.inter.net.il) (192.114.186.66) by sourceware.org with SMTP; 20 May 2005 10:46:32 -0000 Received: from zaretski (IGLD-83-130-247-87.inter.net.il [83.130.247.87]) by romy.inter.net.il (MOS 3.5.8-GR) with ESMTP id BGY10692 (AUTH halo1); Fri, 20 May 2005 13:46:14 +0300 (IDT) Date: Fri, 20 May 2005 10:47:00 -0000 From: "Eli Zaretskii" To: Dan Shearer Message-ID: <01c55d28$Blat.v2.4$d279cd80@zahav.net.il> Content-Transfer-Encoding: 7BIT Content-Type: text/plain; charset=ISO-8859-1 CC: gdb@sources.redhat.com In-reply-to: <20050519012254.GZ19642@erizo.shearer.org> (message from Dan Shearer on Thu, 19 May 2005 10:52:54 +0930) Subject: Re: [discuss] Support for reverse-execution Reply-to: Eli Zaretskii References: <20050519012254.GZ19642@erizo.shearer.org> X-SW-Source: 2005-05/txt/msg00205.txt.bz2 > Date: Thu, 19 May 2005 10:52:54 +0930 > From: Dan Shearer > > Imagine two new gdb commands, get-bookmark and goto-bookmark. > get-bookmark asks the simulator for a token which uniquely identifies > the current state of the system. goto-bookmark gives a token back to the > simulator and asks the simulator to load system state as it was at the > time of the bookmark. The token is an arbitary number that makes sense > to the particular simulator. Some might count in clock cycles, others in > milliseconds or maybe the number of the checkpoint that corresponds to > the state at that time. All gdb knows about is the value of the > bookmark. > > This gives a gdb user the capability to explore alternative futures > without a complicated interface. A sequence might be get-bookmark, > change a value, run for ten seconds. Break, goto-bookmark, try another > value and run for ten seconds. Like an infinite rewind-replay facility, > very helpful when part of the pain is getting the circumstances just > right for the bug to appear. > > It would be an interesting discussion to see how bookmarks could be > incorporated into the gdb framework. Sounds like a very useful feature. However, I think we need to support giving meaningful names to bookmarks, since a (more or less arbitrary) number used by the target is going to lack any mnemonic value.