Re: [Qemu-devel] [RFC PATCH v5 00/31] Deterministic replay and reverse execution

[Paolo Bonzini]

On 26/11/2014 11:38, Pavel Dovgalyuk wrote:
> This set of patches is related to the reverse execution and deterministic 
> replay of qemu execution  Our implementation of deterministic replay can 
> be used for deterministic and reverse debugging of guest code through gdb 
> remote interface.

Lots of progress!

I think these patches are now mergeable:

Paolo Bonzini (4):
      target-ppc: pass DisasContext to SPR generator functions
      cpu-exec: add a new CF_USE_ICOUNT cflag
      translate: check cflags instead of use_icount global
      gen-icount: check cflags instead of use_icount global

Pavel Dovgalyuk (6):
      cpu-exec: fix cpu_exec_nocache
      cpu-exec: reset exception_index correctly
      i386: do not cross the pages boundaries in replay mode
      cpu-exec: invalidate nocache translation if they are interrupted
      timer: introduce new QEMU_CLOCK_VIRTUAL_RT clock
      cpus: make icount warp behave well with respect to stop/cont

(The last is "cpus: make icount warp deterministic in replay mode".

Alex, can you ACK "target-ppc: pass DisasContext to SPR generator
functions" please?  In general a review of the other three patches by me
would be welcome.

Thanks,

Paolo