From: Marcelo Tosatti <mtosatti@redhat.com>
To: Roman Kagan <rkagan@virtuozzo.com>,
Paolo Bonzini <pbonzini@redhat.com>,
kvm@vger.kernel.org, "Denis V. Lunev" <den@openvz.org>
Subject: Re: [PATCH kvm-unit-tests] KVM: x86: add hyperv clock test case
Date: Sun, 29 May 2016 19:34:22 -0300 [thread overview]
Message-ID: <20160529223419.GC6738@amt.cnet> (raw)
In-Reply-To: <20160525183306.GB18943@rkaganb.sw.ru>
On Wed, May 25, 2016 at 09:33:07PM +0300, Roman Kagan wrote:
> On Tue, Apr 26, 2016 at 01:34:56PM +0300, Roman Kagan wrote:
> > On Mon, Apr 25, 2016 at 11:47:23AM +0300, Roman Kagan wrote:
> > > On Fri, Apr 22, 2016 at 08:08:47PM +0200, Paolo Bonzini wrote:
> > > > On 22/04/2016 15:32, Roman Kagan wrote:
> > > > > The first value is derived from the kvm_clock's tsc_to_system_mul and
> > > > > tsc_shift, and matches hosts's vcpu->hw_tsc_khz. The second is
> > > > > calibrated using emulated HPET. The difference is those +14 ppm.
> > > > >
> > > > > This is on i7-2600, invariant TSC present, TSC scaling not present.
> > > > >
> > > > > I'll dig further but I'd appreciate any comment on whether it was within
> > > > > tolerance or not.
> > > >
> > > > The solution to the bug is to change the Hyper-V reference time MSR to
> > > > use the same formula as the Hyper-V TSC-based clock. Likewise,
> > > > KVM_GET_CLOCK and KVM_SET_CLOCK should not use ktime_get_ns().
> > >
> > > Umm, I'm not sure it's a good idea...
> > >
> > > E.g. virtualized HPET sits in userspace and thus uses
> > > clock_gettime(CLOCK_MONOTONIC), so the drift will remain.
> > >
> > > AFAICT the root cause is the following: KVM master clock uses the same
> > > multiplier/shift as the vsyscall time in host userspace. However, the
> > > offsets in vsyscall_gtod_data get updated all the time with corrections
> > > from NTP and so on. Therefore even if the TSC rate is somewhat
> > > miscalibrated, the error is kept small in vsyscall time functions. OTOH
> > > the offsets in KVM clock are basically never updated, so the error keeps
> > > linearly growing over time.
> >
> > This seems to be due to a typo:
Its not a typo, the code only updated the notifier on
VCLOCK_TSC -> !VCLOCK_TSC transition.
> > --- a/arch/x86/kvm/x86.c
> > +++ b/arch/x86/kvm/x86.c
> > @@ -5819,7 +5819,7 @@ static int pvclock_gtod_notify(struct notifier_block *nb, unsigned long unused,
> > /* disable master clock if host does not trust, or does not
> > * use, TSC clocksource
> > */
> > - if (gtod->clock.vclock_mode != VCLOCK_TSC &&
> > + if (gtod->clock.vclock_mode == VCLOCK_TSC &&
> > atomic_read(&kvm_guest_has_master_clock) != 0)
> > queue_work(system_long_wq, &pvclock_gtod_work);
> >
> >
> > as a result, the global pvclock_gtod_data was kept up to date, but the
> > requests to update per-vm copies were never issued.
> >
> > With the patch I'm now seeing different test failures which I'm looking
> > into.
The queue_work is not enough: it opens a window where guest clock
(via shared memory) and CLOCK_GETTIME can go out of sync.
> >
> > Meanwhile I'm wondering if this scheme is not too costly: on my machine
> > pvclock_gtod_notify() is called at kHz rate, and the work it schedules
> > does
> >
> > static void pvclock_gtod_update_fn(struct work_struct *work)
> > {
> > [...]
> > spin_lock(&kvm_lock);
> > list_for_each_entry(kvm, &vm_list, vm_list)
> > kvm_for_each_vcpu(i, vcpu, kvm)
> > kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
> > atomic_set(&kvm_guest_has_master_clock, 0);
> > spin_unlock(&kvm_lock);
> > }
> >
> > KVM_REQ_MASTERCLOCK_UPDATE makes all VCPUs synchronize:
> >
> > static void kvm_gen_update_masterclock(struct kvm *kvm)
> > {
> > [...]
> > spin_lock(&ka->pvclock_gtod_sync_lock);
> > kvm_make_mclock_inprogress_request(kvm);
> > /* no guest entries from this point */
> > pvclock_update_vm_gtod_copy(kvm);
> >
> > kvm_for_each_vcpu(i, vcpu, kvm)
> > kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
> >
> > /* guest entries allowed */
> > kvm_for_each_vcpu(i, vcpu, kvm)
> > clear_bit(KVM_REQ_MCLOCK_INPROGRESS, &vcpu->requests);
> >
> > spin_unlock(&ka->pvclock_gtod_sync_lock);
> > [...]
> > }
> >
> > so on a host with many VMs it may become an issue.
>
> Ping
>
> Roman.
1) Can call notifier only when frequency changes.
2) Can calculate how much drift between clocks and do not allow guest
entry.
Will post a patch soon, one or two weeks max (again, independent of your patchset).
next prev parent reply other threads:[~2016-05-30 10:41 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-28 14:04 [PATCH kvm-unit-tests] KVM: x86: add hyperv clock test case Paolo Bonzini
2016-01-28 14:04 ` Paolo Bonzini
2016-01-28 14:25 ` Andrey Smetanin
2016-01-28 14:50 ` Paolo Bonzini
2016-01-28 15:53 ` Paolo Bonzini
2016-01-28 18:45 ` Roman Kagan
2016-01-28 18:53 ` Roman Kagan
2016-01-28 21:28 ` Paolo Bonzini
2016-01-28 16:22 ` Roman Kagan
2016-02-03 16:37 ` Paolo Bonzini
2016-02-04 9:33 ` Roman Kagan
2016-02-04 10:13 ` Paolo Bonzini
2016-02-04 11:12 ` Roman Kagan
2016-04-21 17:01 ` Roman Kagan
2016-04-22 13:32 ` Roman Kagan
2016-04-22 18:08 ` Paolo Bonzini
2016-04-25 8:47 ` Roman Kagan
2016-04-26 10:34 ` Roman Kagan
2016-05-25 18:33 ` Roman Kagan
2016-05-26 14:47 ` Roman Kagan
2016-05-29 22:34 ` Marcelo Tosatti [this message]
-- strict thread matches above, loose matches on Subject: below --
2016-02-08 15:18 [PATCH 0/4] kvmclock: improve accuracy Paolo Bonzini
2016-02-08 15:18 ` [PATCH 1/4] KVM: x86: rename argument to kvm_set_tsc_khz Paolo Bonzini
2016-02-11 15:01 ` Marcelo Tosatti
2016-02-08 15:18 ` [PATCH 2/4] KVM: x86: rewrite handling of scaled TSC for kvmclock Paolo Bonzini
2016-02-11 15:23 ` Marcelo Tosatti
2016-02-08 15:18 ` [PATCH 3/4] KVM: x86: pass kvm_get_time_scale arguments in hertz Paolo Bonzini
2016-02-08 15:18 ` [PATCH 4/4] KVM: x86: track actual TSC frequency from the timekeeper struct Paolo Bonzini
2016-02-09 18:41 ` Owen Hofmann
2016-02-10 13:57 ` Paolo Bonzini
2016-02-16 13:48 ` Marcelo Tosatti
2016-02-16 14:25 ` Marcelo Tosatti
2016-02-16 16:59 ` Paolo Bonzini
2016-02-19 14:12 ` Marcelo Tosatti
2016-02-19 15:53 ` Paolo Bonzini
2016-02-16 14:00 ` [PATCH 0/4] kvmclock: improve accuracy Marcelo Tosatti
2016-08-31 14:13 [PATCH kvm-unit-tests] KVM: x86: add hyperv clock test case Roman Kagan
2016-09-01 16:07 ` Paolo Bonzini
2016-09-01 16:07 Paolo Bonzini
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160529223419.GC6738@amt.cnet \
--to=mtosatti@redhat.com \
--cc=den@openvz.org \
--cc=kvm@vger.kernel.org \
--cc=pbonzini@redhat.com \
--cc=rkagan@virtuozzo.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).