Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-31 Thread Paolo Bonzini
Il 31/07/2014 15:05, Frederic Konrad ha scritto: >>> >> >> I think that our first patch set part (icount fixes and icount based >> clock) is fully reviewed and can be upstreamed, >> but since the reverse execution mechanism itself is very similar >> between our series and Pavels, while Pavel’s >> s

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-31 Thread Frederic Konrad
On 30/07/2014 16:51, Frederic Konrad wrote: On 30/07/2014 15:35, Paolo Bonzini wrote: Il 30/07/2014 15:19, Frederic Konrad ha scritto: Start by submitting only the icount-based implementation, the other can come later. Paolo Hi all, I think that's actually our implementation cover no? (http:

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Pavel Dovgaluk
> From: Paolo Bonzini [mailto:pbonz...@redhat.com] > Il 30/07/2014 09:44, Pavel Dovgaluk ha scritto: > >> From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo > >> Bonzini > - patch 16 should also use subsections, and perhaps apply to all other > CPUs too? > >>> > >>>

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Frederic Konrad
On 30/07/2014 15:35, Paolo Bonzini wrote: Il 30/07/2014 15:19, Frederic Konrad ha scritto: Start by submitting only the icount-based implementation, the other can come later. Paolo Hi all, I think that's actually our implementation cover no? (http://lists.gnu.org/archive/html/qemu-devel/2014-

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Paolo Bonzini
Il 30/07/2014 15:19, Frederic Konrad ha scritto: >> Start by submitting only the icount-based >> implementation, the other can come later. >> >> Paolo > > Hi all, > > I think that's actually our implementation cover no? > (http://lists.gnu.org/archive/html/qemu-devel/2014-07/msg00677.html) Yes,

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Frederic Konrad
On 30/07/2014 11:25, Paolo Bonzini wrote: Il 30/07/2014 09:44, Pavel Dovgaluk ha scritto: From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo Bonzini - patch 16 should also use subsections, and perhaps apply to all other CPUs too? We implemented replay only for i386 and A

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Paolo Bonzini
Il 30/07/2014 09:44, Pavel Dovgaluk ha scritto: >> From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo >> Bonzini - patch 16 should also use subsections, and perhaps apply to all other CPUs too? >>> >>> We implemented replay only for i386 and ARM. If we'll change oth

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-30 Thread Pavel Dovgaluk
> From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo > Bonzini > >> - patch 16 should also use subsections, and perhaps apply to all other > >> CPUs too? > > > > We implemented replay only for i386 and ARM. If we'll change other > > targets, it will not > > add record/replay

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-28 Thread Paolo Bonzini
Il 28/07/2014 09:50, Pavel Dovgaluk ha scritto: >> - patches 2 to 13 probably should try to use subsections, so that VMs >> that do not use the devices try not to save the extra data and keep >> backwards migration compatibility (at least try to) > > Could you give me and example? > As I know, s

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-28 Thread Pavel Dovgaluk
> From: Paolo Bonzini [mailto:paolo.bonz...@gmail.com] On Behalf Of Paolo > Bonzini > Il 17/07/2014 13:01, Pavel Dovgalyuk ha scritto: > > This set of patches is related to the reverse execution and deterministic > > replay of qemu execution Our implementation of deterministic replay can > > be u

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-24 Thread Paolo Bonzini
Il 17/07/2014 13:01, Pavel Dovgalyuk ha scritto: > 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.

Re: [Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-18 Thread Frederic Konrad
On 17/07/2014 13:01, 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. Execution rec

[Qemu-devel] [RFC PATCH v2 00/49] Series short description

2014-07-17 Thread Pavel Dovgalyuk
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. Execution recording writes non-deterministic events log,