[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Xen-devel] [PATCH] x86: don't write_tsc() non-zero values on CPUs updating only the lower 32 bits
> -----Original Message-----
> From: Keir Fraser [mailto:keir.xen@xxxxxxxxx]
> Sent: Thursday, April 14, 2011 3:18 AM
> To: Jan Beulich
> Cc: winston.l.wang; xen-devel@xxxxxxxxxxxxxxxxxxx; Dan Magenheimer
> Subject: Re: [Xen-devel] [PATCH] x86: don't write_tsc() non-zero values
> on CPUs updating only the lower 32 bits
> On 14/04/2011 09:06, "Jan Beulich" <JBeulich@xxxxxxxxxx> wrote:
> >> For physically-added CPUs only. Kind of unavoidable, that one: we
> can only
> >> try to do our best in that case. And let's face it, that probably
> >> exactly zero production users of Xen/x86 right now.
> > That latter part I agree to.
> > But what are you afraid of? Probing the TSC write shouldn't do any
> > harm.
> You will end up with a BSP TSC value different than what it would have
> if you had not probed. Since you write back a (slightly) stale TSC
> Which would increase cross-CPU TSC skew if the platform has done a good
> job at power-on.
> Now, do I personally think this much matters? Not really, since I
> that direct guest TSC access is a huge non-issue. But it is something
> Dan disagreed on, he did a bunch of work on time management, and the
> as-is does try quite hard to avoid writing TSC if at all possible. I
> think it's a good idea to change this without feedback from Dan, at
My feedback is don't break what is fixed ;-)
The CPU vendors are trying REALLY hard to make TSC a very fast
synchronized-across-all-CPUs clocksource and Linux now does use
it that way if TSC_RELIABLE is set.
While it's not perfect, it's close enough as long as your recent
vintage machine doesn't have hot-plug CPUs or buggy firmware.
> > Additionally, did you read the comment immediately preceding
> > the probing code? AMD doesn't guarantee the TSC to be writable at
> > all.
> >>> cstate_restore_tsc() also has no such gating afaics.
> >> It is gated on NONSTOP_TSC which is implied by TSC_RELIABLE.
> > Ah, yes. But (I think) not architecturally, only by virtue of how
> > code is currently structured. If that changes, we'd be back at a
> > latent (and quite non-obvious) bug.
> Yeah, if we want to continue to try avoiding write_tsc() on
> then we should assert !TSC_RELIABLE on the write_tsc() path in
Agreed. In fact, maybe it should be asserted in write_tsc?
Xen-devel mailing list