From: "Dave Korn" <dave.korn@artimi.com>
To: "'teawater'" <teawater@gmail.com>,
"'Daniel Jacobowitz'" <drow@false.org>,
"'Jakob Engblom'" <jakob@virtutech.com>,
"'Michael Snyder'" <msnyder@vmware.com>, <gdb@sourceware.org>
Subject: RE: [discuss] semantics, "replay debugging" vs. "reverse debugging"
Date: Wed, 22 Oct 2008 17:09:00 -0000 [thread overview]
Message-ID: <005b01c93468$e64f2740$9601a8c0@CAM.ARTIMI.COM> (raw)
In-Reply-To: <daef60380810220942k54b71486l6ab915cf6d3a9c09@mail.gmail.com>
teawater wrote on 22 October 2008 17:43:
> Sorry I am wrong.
> In ARM, Just adds set cpsr reg. So:
> add r0,r0,#10
> Can reverse without record too.
Your examples are too limited to be of practical use; almost every
instruction executed destroys information.
It's easy to reverse "add r0,r0,#10" by subtracting 10 from r0. But how do
you reverse "add r0,r1,#10", or anything else where the source and dest
register are different? The original value of r0 is gone without trace, and
r1 was not changed by the instruction!
cheers,
DaveK
--
Can't think of a witty .sigline today....
next prev parent reply other threads:[~2008-10-22 17:09 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-20 1:14 Michael Snyder
2008-10-20 8:11 ` Frederic Riss
2008-10-20 16:08 ` teawater
2008-10-21 7:29 ` Jakob Engblom
2008-10-22 3:26 ` teawater
2008-10-22 13:37 ` Daniel Jacobowitz
2008-10-22 16:19 ` teawater
2008-10-22 16:43 ` teawater
2008-10-22 16:48 ` teawater
2008-10-22 17:09 ` Dave Korn [this message]
2008-10-22 17:19 ` teawater
2008-10-22 18:14 ` Michael Snyder
2008-10-22 19:38 ` Jakob Engblom
2008-10-23 3:46 ` teawater
2008-10-23 8:35 ` Jeremy Bennett
2008-10-23 10:43 ` Jakob Engblom
2008-10-23 3:39 ` teawater
2008-10-21 7:27 ` Jakob Engblom
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='005b01c93468$e64f2740$9601a8c0@CAM.ARTIMI.COM' \
--to=dave.korn@artimi.com \
--cc=drow@false.org \
--cc=gdb@sourceware.org \
--cc=jakob@virtutech.com \
--cc=msnyder@vmware.com \
--cc=teawater@gmail.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