[Top][All Lists]

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

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

From: Peter Maydell
Subject: Re: [Qemu-devel] [RFC] reverse execution.
Date: Sun, 19 May 2013 08:21:38 +0100

On 19 May 2013 05:37, Rob Landley <address@hidden> wrote:
> On 05/17/2013 12:23:51 PM, KONRAD Frédéric wrote:
>> 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.

Yes, of course -- 'reverse execution' is just the usual phrase
for the user-visible effect. However if your *forwards* replay
isn't deterministic then it all goes pear-shaped, which is
what Fred is complaining about.

-- PMM

reply via email to

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