qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Qemu-devel] [RFC] reverse execution.


From: Rob Landley
Subject: Re: [Qemu-devel] [RFC] reverse execution.
Date: Sat, 18 May 2013 23:37:33 -0500

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
<address@hidden> 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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]