[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
> > I notice that the static function get_tsc_offset_ns in xen/clock.c
> > multiplies a uint32_t by 1000000000, which looks to me as though it'll
> > pretty much always overflow (if more than 4 cycles have passed since
> > the last call to get_time_values_from_xen, it seems). So, two questions:
> > 1) Should that be 1000000000ULL instead?
> Now that I've looked at this a little more closely, change that to:
> Why is that a uint32, and why is cpu_counter32() being called?
> shadow_tsc_stamp is 64-bit.
i think you're right.
it should use cpu_counter() and tsc_delta should be of uint64_t.
> > 2) If so, how much is this breaking?
> The answer may be "quite a lot", if the shared_info time stuff is
> updated as infrequently as it sounds like. Also:
given the overflow and the frequency of today's cpus,
this function always return a quite small value, compared to NS_PER_TICK.
so it's effectively just ignored, i think.
Main Index |
Thread Index |