Re: High Level Proof of The Correctness of Dirty Page Tracking

2012-03-31 Thread Xiao Guangrong
On 03/31/2012 11:12 PM, Takuya Yoshikawa wrote: > This is what I wanted to read before starting GET_DIRTY_LOG work: about > possible race between VCPU threads and GET_DIRTY_LOG thread. > > Although most things look trivial, there seem to be some interesting > assumptions > the correctness is bas

[Bug 42779] KVM domain hangs after loading initrd with Xenomai kernel

2012-03-31 Thread bugzilla-daemon
https://bugzilla.kernel.org/show_bug.cgi?id=42779 --- Comment #21 from madenginee...@gmail.com 2012-03-31 20:10:38 --- Sorry for the delay, I've been really busy lately. Is this kernel reasonably safe to run on my main machine? I'm not worried about it crashing, but if it takes a filesystem w

No more win2k virtio-net drivers in latest Fedora

2012-03-31 Thread Reeted
Hello all, I have noticed that the virtio-net drivers for win2k exist in the 3 years' old: http://sourceforge.net/projects/kvm/files/kvm-driver-disc/20081229/NETKVM-20081229.iso/download but not in the newest: http://alt.fedoraproject.org/pub/alt/virtio-win/latest/images/bin/virtio-win-0.1-22

High Level Proof of The Correctness of Dirty Page Tracking

2012-03-31 Thread Takuya Yoshikawa
This is what I wanted to read before starting GET_DIRTY_LOG work: about possible race between VCPU threads and GET_DIRTY_LOG thread. Although most things look trivial, there seem to be some interesting assumptions the correctness is based on including mmu lock usage. Takuya === About MMU

Re: [PATCH 00/13] KVM: MMU: fast page fault

2012-03-31 Thread Xiao Guangrong
On 03/30/2012 05:18 PM, Xiao Guangrong wrote: > On 03/29/2012 08:57 PM, Avi Kivity wrote: > >> On 03/29/2012 01:40 PM, Xiao Guangrong wrote: > * Implementation > We can freely walk the page between walk_shadow_page_lockless_begin and > walk_shadow_page_lockless_end, it can ensure all

Re: live migration problems.

2012-03-31 Thread Riccardo Veraldi
Thank you very much, this solved my problem, not even 1 ping is lost! I did not find this hint in the documentation though. Really thanks again Riccardo On 3/30/12 11:58 PM, Andrew Cathrow wrote: - Original Message - From: "Riccardo Veraldi" To: kvm@vger.kernel.org Sent: Friday, Marc

Re: live migration problems.

2012-03-31 Thread Riccardo Veraldi
ifdown and ifup of the bridge is sufficient to enable the new delay config ? thank you Rick On 3/30/12 11:58 PM, Andrew Cathrow wrote: - Original Message - From: "Riccardo Veraldi" To: kvm@vger.kernel.org Sent: Friday, March 30, 2012 5:45:47 PM Subject: live migration problems. He

Re: [PATCH 11/13] KVM: MMU: fast path of handling guest page fault

2012-03-31 Thread Xiao Guangrong
On 03/29/2012 05:27 PM, Xiao Guangrong wrote: > +static bool > +FNAME(fast_pf_fetch_indirect_spte)(struct kvm_vcpu *vcpu, u64 *sptep, > +u64 *new_spte, gfn_t gfn, > +u32 expect_access, u64 spte) > + > +{ > + struct kvm_mmu_page *

Re: [PATCH] virtio_blk: Drop unused request tracking list

2012-03-31 Thread Asias He
Hi, Stefan On Fri, Mar 30, 2012 at 6:14 PM, Stefan Hajnoczi wrote: > On Fri, Mar 30, 2012 at 4:24 AM, Asias He wrote: >> Benchmark shows small performance improvement on fusion io device. >> >> Before: >>  seq-read : io=1,024MB, bw=19,982KB/s, iops=39,964, runt= 52475msec >>  seq-write: io=1,024

Re: [PATCH] kvm: deassign irqs in reset path

2012-03-31 Thread Jan Kiszka
On 2012-03-30 21:18, Jason Baron wrote: > diff --git a/hw/device-assignment.c b/hw/device-assignment.c > index 89823f1..31aed17 100644 > --- a/hw/device-assignment.c > +++ b/hw/device-assignment.c > @@ -1609,10 +1609,32 @@ static void reset_assigned_device(DeviceState *dev) > { > PCIDevice *p

Re: [PATCH RFC V6 0/11] Paravirtualized ticketlocks

2012-03-31 Thread Ingo Molnar
* Andi Kleen wrote: > > Care to back that up with numbers and proper trace evidence > > instead of handwaving? > > E.g. my plumbers presentations on lock and mm scalability from > last year has some graphs that show this very clearly, plus > some additional data on the mutexes. This compares