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

[Peter Maydell]

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