[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <4AD375A5.8050205@redhat.com>
Date: Mon, 12 Oct 2009 20:29:57 +0200
From: Avi Kivity <avi@...hat.com>
To: Jeremy Fitzhardinge <jeremy@...p.org>
CC: Dan Magenheimer <dan.magenheimer@...cle.com>,
Jeremy Fitzhardinge <jeremy.fitzhardinge@...rix.com>,
kurt.hackel@...cle.com, the arch/x86 maintainers <x86@...nel.org>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
Glauber de Oliveira Costa <gcosta@...hat.com>,
Xen-devel <xen-devel@...ts.xensource.com>,
Keir Fraser <keir.fraser@...citrix.com>,
Zach Brown <zach.brown@...cle.com>,
Chris Mason <chris.mason@...cle.com>
Subject: Re: [Xen-devel] Re: [PATCH 3/5] x86/pvclock: add vsyscall implementation
On 10/12/2009 08:20 PM, Jeremy Fitzhardinge wrote:
> On 10/10/09 11:10, Avi Kivity wrote:
>
>> On 10/10/2009 02:24 AM, Jeremy Fitzhardinge wrote:
>>
>>> On 10/07/09 03:25, Avi Kivity wrote:
>>>
>>>
>>>> def try_pvclock_vtime():
>>>> tsc, p0 = rdtscp()
>>>> v0 = pvclock[p0].version
>>>> tsc, p = rdtscp()
>>>> t = pvclock_time(pvclock[p], tsc)
>>>> if p != p0 or pvclock[p].version != v0:
>>>> raise Exception("Processor or timebased change under our feet")
>>>> return t
>>>>
> There's a second problem: If the time_info gets updated between the
> first rdtscp and the first version fetch, then we won't have a
> consistent tsc,time_info pair. You could check if tsc_timestamp is>
> tsc, but that won't necessarily work on save/restore/migrate.
>
Good catch. Doesn't that invalidate rdtscp based vgettimeofday on
non-virt as well (assuming p == cpu)?
> I suppose that works if you assume that:
>
> 1. every task->vcpu migration is associated with a hv/guest context
> switch, and
> 2. every hv/guest context switch is a write barrier
>
> I guess 2 is a given, but I can at least imagine cases where 1 might not
> be true. Maybe. It all seems very subtle.
>
What is 1 exactly? task switching to another vcpu? that doesn't incur
hypervisor involvement. vcpu moving to another cpu? That does.
> And I don't really see a gain. You avoid maintaining a second version
> number, but at the cost of two rdtscps. In my measurements, the whole
> vsyscall takes around 100ns to run, and a single rdtsc takes about 30,
> so 30% of total. Unlike rdtsc, rdtscp is documented as being ordered in
> the instruction stream, and so will take at least as long; two of them
> will completely blow the vsyscall execution time.
>
I agree, let's stick with the rdtscpless implementation.
--
I have a truly marvellous patch that fixes the bug which this
signature is too narrow to contain.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists