This set of patches moves replay lock upper in the function call tree.
Now replay lock functions similar to BQL in older version and allows
deterministic execution of the threads in icount mode.
It is also fixes some vmstate creation (and loading) issues
in record/replay modes:
- VM start/stop fix
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> On Mon, Feb 19, 2018 at 8:02 AM, Pavel Dovgalyuk wrote:
> >> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
> >> > From: Peter Maydell [mailto:peter.mayd...@linaro.org]
> >> > On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
> >> > >
On Tue, Feb 20, 2018 at 9:46 AM, Pavel Dovgalyuk wrote:
>> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
>> On Mon, Feb 19, 2018 at 8:02 AM, Pavel Dovgalyuk wrote:
>> >> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
>> >> > From: Peter Maydell [mailto:peter.mayd...@linaro.org]
>> >> >
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> On Tue, Feb 20, 2018 at 9:46 AM, Pavel Dovgalyuk wrote:
> >
> > Updated the branch on github.
> > You may try it.
>
> At 8a482834780a131e7747c1c3c1931379ed0beedc ARM initrd record runs,
> but replay is getting stuck at:
>
> [ 12.120424]
On Wed, Feb 21, 2018 at 6:41 AM, Pavel Dovgalyuk wrote:
>> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
>> On Tue, Feb 20, 2018 at 9:46 AM, Pavel Dovgalyuk wrote:
>> >
>> > Updated the branch on github.
>> > You may try it.
>>
>> At 8a482834780a131e7747c1c3c1931379ed0beedc ARM initrd reco
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> On Wed, Feb 21, 2018 at 6:41 AM, Pavel Dovgalyuk wrote:
> >> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> >> On Tue, Feb 20, 2018 at 9:46 AM, Pavel Dovgalyuk
> >> wrote:
> >> >
> >> > Updated the branch on github.
> >> > You may
> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
> > From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> > On Wed, Feb 21, 2018 at 6:41 AM, Pavel Dovgalyuk wrote:
> > >> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> > >> On Tue, Feb 20, 2018 at 9:46 AM, Pavel Dovgalyuk
> > >> wrot
On Thu, Feb 22, 2018 at 7:10 AM, Pavel Dovgalyuk wrote:
>> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
>> > From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
>> > On Wed, Feb 21, 2018 at 6:41 AM, Pavel Dovgalyuk
>> > wrote:
>> > >> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
>>
On Wed, Feb 7, 2018 at 12:03 PM, Pavel Dovgalyuk
wrote:
> This set of patches moves replay lock upper in the function call tree.
> Now replay lock functions similar to BQL in older version and allows
> deterministic execution of the threads in icount mode.
> It is also fixes some vmstate creation
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> Can you provide a test branch somewhere so I can easily test it out?
Here it is: https://github.com/ispras/qemu/tree/rr-180207
Pavel Dovgalyuk
Hi,
This series failed docker-quick@centos6 build test. Please find the testing
commands and
their output below. If you have Docker installed, you can probably reproduce it
locally.
Type: series
Message-id: 20180207120353.5389.54531.stgit@pasha-VirtualBox
Subject: [Qemu-devel] [RFC PATCH v6 00
On Wed, Feb 7, 2018 at 12:38 PM, Pavel Dovgalyuk wrote:
> > From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> > Can you provide a test branch somewhere so I can easily test it out?
>
> Here it is: https://github.com/ispras/qemu/tree/rr-180207
>
> Pavel Dovgalyuk
>
> Awesome! This worked with
Also, what command do you use to test on ARM? I'm a bit stuck to get the
drive part right, e.g.:
-drive
file=./buildroot/output.arm~/images/rootfs.ext2,if=scsi,id=img-direct,format=raw
\
-drive driver=blkreplay,if=none,image=img-direct,id=img-blkreplay \
-device scsi-hd,drive=img-blkreplay \
fail
I tested ARM only with –kernel and –initrd.
Can you provide the full command line and the disk image?
Pavel Dovgalyuk
From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
Sent: Saturday, February 10, 2018 3:09 AM
To: Pavel Dovgalyuk
Cc: Pavel Dovgalyuk; qemu-devel@nongnu.org; kw...@redhat
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> Awesome! This worked with my test procedure described at:
> https://stackoverflow.com/questions/46970215/how-to-use-qemus-deterministic-record-and-replay-feature-for-a-linux-kernel-boo
> While we are a it, can we clarify the following point
On Mon, Feb 12, 2018 at 5:47 AM, Pavel Dovgalyuk wrote:
> I tested ARM only with –kernel and –initrd.
>
> Can you provide the full command line and the disk image?
>
>
>
The command I tried was:
time ./buildroot/output.arm~/host/usr/bin/qemu-system-arm -M versatilepb
-append 'root=/dev/sda noka
Your command line looks wrong, because you forgot –icount, but specified other
replay options.
I tried recording and replaying with your command line and the execution hangs
at some moment of replay.
The problem may be hidden in –dtb option, because it may add the devices
without configuring r
On Tue, Feb 13, 2018 at 6:50 AM, Pavel Dovgalyuk wrote:
> Your command line looks wrong, because you forgot –icount, but specified
> other replay options
>
Sorry about that, my full command is exactly the previous but with -icount
'shift=7,rr=record,rrfile=replay.bin' added to the end.
.
>
> I
There is the same file I downloaded this morning.
Now I re-checked everything and it prints the following error: qemu-system-arm:
-device scsi-hd,drive=img-blkreplay: No 'SCSI' bus found for device 'scsi-hd'
Pavel Dovgalyuk
From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
Sent: Tues
Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU failed
with the following error:
qemu: fatal: IO on conditional branch instruction
It happens here:
static void arm_tr_tb_stop(DisasContextBase *dcbase, CPUState *cpu)
{
DisasContext *dc = container_of(dcbase, Disa
On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
> Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU
> failed with the following error:
>
> qemu: fatal: IO on conditional branch instruction
> Seems, that your kernel is incomatible with QEMU, which ARM emulation is not
>
> From: Peter Maydell [mailto:peter.mayd...@linaro.org]
> On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
> > Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU
> > failed with the following error:
> >
> > qemu: fatal: IO on conditional branch instruction
>
> > Seems, th
On Tue, Feb 13, 2018 at 10:52 AM, Pavel Dovgalyuk
wrote:
> > From: Peter Maydell [mailto:peter.mayd...@linaro.org]
> > On 13 February 2018 at 10:26, Pavel Dovgalyuk
> wrote:
> > > Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU
> > > failed with the following error:
> > >
I’ve tried starting QEMU with your files without SCSI at all.
The problem is with implementation of icount in ARM.
The following command line fails with the same error:
./bin/qemu-system-arm -icount 7 -M versatilepb -nographic -dtb
./images/arm/versatile-pb.dtb -kernel ./images/arm/zImage -
The patch 23bdb6f7ce73c33f96449e43b4cae01e55f79ae1 appears to be
segfaulting `qemu-img` at `replay_mutex_lock`.
The problem does not happen on the patch base
bc2943d6caf787e1c9a5f3109cdb98f37630b89e
The command is:
buildroot/output.x86_64~/images
../host/bin/qemu-img convert -f raw -O qc
> From: Ciro Santilli [mailto:ciro.santi...@gmail.com]
> The patch 23bdb6f7ce73c33f96449e43b4cae01e55f79ae1 appears to be
> segfaulting `qemu-img` at `replay_mutex_lock`.
Thanks, fixed.
>
> The problem does not happen on the patch base
> bc2943d6caf787e1c9a5f3109cdb98f37630b89e
>
> The command
> From: Peter Maydell [mailto:peter.mayd...@linaro.org]
> On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
> > Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU
> > failed with the following error:
> >
> > qemu: fatal: IO on conditional branch instruction
>
> > Seems, th
> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
> > From: Peter Maydell [mailto:peter.mayd...@linaro.org]
> > On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
> > > Then I added SCSI adapter with the option –device lsi,id=scsi0 and QEMU
> > > failed with the following error:
> > >
> > > qe
On Mon, Feb 19, 2018 at 8:02 AM, Pavel Dovgalyuk wrote:
>> From: Pavel Dovgalyuk [mailto:dovga...@ispras.ru]
>> > From: Peter Maydell [mailto:peter.mayd...@linaro.org]
>> > On 13 February 2018 at 10:26, Pavel Dovgalyuk wrote:
>> > > Then I added SCSI adapter with the option –device lsi,id=scsi0 a
29 matches
Mail list logo