From: Rob Landley <rob@landley.net>
To: "KONRAD Frédéric" <fred.konrad@greensocs.com>
Cc: Blue Swirl <blauwirbel@gmail.com>,
Mark Burton <mark.burton@greensocs.com>,
qemu-devel <qemu-devel@nongnu.org>
Subject: Re: [Qemu-devel] [RFC] reverse execution.
Date: Sat, 18 May 2013 23:37:33 -0500 [thread overview]
Message-ID: <1368938253.2611.4@driftwood> (raw)
In-Reply-To: <519667A7.9010902@greensocs.com> (from fred.konrad@greensocs.com on Fri May 17 12:23:51 2013)
On 05/17/2013 12:23:51 PM, KONRAD Frédéric wrote:
> On 09/05/2013 19:54, Blue Swirl wrote:
>> On Tue, May 7, 2013 at 6:27 PM, KONRAD Frédéric
>> <fred.konrad@greensocs.com> wrote:
>>> Hi,
>>>
>>> We are trying to find a way to do reverse execution happen with
>>> QEMU.
...
> For now we tried some other things which are not working very well,
>
> It appeared that the replay is not deterministic even with icount:
You're aware that reverse execution means you have the "come from"
problem, right? (The opposite of goto.)
You literally _can't_ figure out your control flow by running the code
backwards. It's equivalent to solving the halting problem. The best you
can do is log and replay.
Rob
next prev parent reply other threads:[~2013-05-19 4:37 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-07 18:27 [Qemu-devel] [RFC] reverse execution KONRAD Frédéric
2013-05-09 17:54 ` Blue Swirl
2013-05-17 17:23 ` KONRAD Frédéric
2013-05-17 17:54 ` Peter Maydell
2013-05-17 19:16 ` Mark Burton
2013-05-23 1:57 ` Edgar E. Iglesias
2013-05-18 18:52 ` Blue Swirl
2013-05-22 16:14 ` KONRAD Frédéric
2013-05-19 4:37 ` Rob Landley [this message]
2013-05-19 7:21 ` Peter Maydell
2013-05-19 20:09 ` Mark Burton
2013-05-19 21:20 ` Peter Maydell
[not found] ` <CAD2=zRDphd7N5gCQeX6oVQP=HEbRRMpcwPKEVDj46DHKhgkKMw@mail.gmail.com>
2013-05-19 21:47 ` Brendan Dolan-Gavitt
2013-05-20 5:28 ` Mark Burton
2013-05-19 21:39 ` Rob Landley
2013-05-20 5:34 ` Mark Burton
2013-05-29 12:37 ` Pavel Dovgaluk
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=1368938253.2611.4@driftwood \
--to=rob@landley.net \
--cc=blauwirbel@gmail.com \
--cc=fred.konrad@greensocs.com \
--cc=mark.burton@greensocs.com \
--cc=qemu-devel@nongnu.org \
/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;
as well as URLs for NNTP newsgroup(s).