Hmm, this is your bug, I would be the one to file a new bug.
I saw many reports of timekeeping problems on the xen mailing lists, many people were just told they have "cheap hardware", but many of them had good stuff by Dell, HP etc.
Most of them fixed their problems by setting independent_wallclock=1 in all Doms and using ntp everywhere, and this is what I did. Until now, my server works fine, but I'll keep an eye on it.
Hmm, this is your bug, I would be the one to file a new bug.
I saw many reports of timekeeping problems on the xen mailing lists, many people were just told they have "cheap hardware", but many of them had good stuff by Dell, HP etc.
Most of them fixed their problems by setting independent_ wallclock= 1 in all Doms and using ntp everywhere, and this is what I did. Until now, my server works fine, but I'll keep an eye on it.
Ciao
Martin