Fix hvm guest time to be more accurate
PATCH 1/1 Fix hvm guest time to be more accurate
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
tools/firmware/hvmloader/acpi/static_tables.c +1 -1
@@ -93,7 +93,7 @@ struct acpi_20_fadt Fadt = { }, .x_pm_tmr_blk = { - .address_space_id = ACPI_SYSTEM_IO, + .address_space_id = 0xff, .register_bit_width = ACPI_PM_TMR_BLK_BIT_WIDTH, .register_bit_offset = ACPI_PM_TMR_BLK_BIT_OFFSET, .address = ACPI_PM_TMR_BLK_ADDRESS,
xen/arch/x86/hvm/i8254.c +28 -0
@@ -405,6 +405,8 @@ static void pit_info(PITState *pit)struct hvm_hw_pit_channel *s;struct periodic_time *pt;int i; +struct periodic_time *pt; +unsigned long now;for ( i =0 ; i <3 ; i++ ) {
@@ -447,11 +449,18 @@ static int pit_save(struct domain *d, hv {PITState *pit =domain_vpit (d);int rc; +unsigned long now; +struct periodic_time *pt;spin_lock (&pit->lock);pit_info (pit); + pt = &pit->pt0; +rdtscll (now); + pit->hw.pt_delivered = pt->delivered - now; + pit->hw.pt_frozen = pt->frozen - now; +/* Save the PIT hardware state */ rc =hvm_save_entry (PIT ,0 , h, &pit->hw);
@@ -464,6 +473,8 @@ static int pit_load(struct domain *d, hv {PITState *pit =domain_vpit (d);int i; +struct periodic_time *pt; +unsigned long now;spin_lock (&pit->lock);
@@ -481,6 +492,11 @@ static int pit_load(struct domain *d, hvfor ( i =0 ; i <3 ; i++ )pit_load_count (pit, i, pit->hw.channels[i].count); + pt = &pit->pt0; +rdtscll (now); + pt->delivered = now + pit->hw.pt_delivered; + pt->frozen = now + pit->hw.pt_frozen; +pit_info (pit);spin_unlock (&pit->lock);
@@ -514,6 +530,18 @@ void pit_init(struct vcpu *v, unsigned l }spin_unlock (&pit->lock); +} + +struct periodic_time *pit_get_timer (struct vcpu *v) +{ +PITState *pit = &v->domain->arch.hvm_domain.pl_time.vpit; +struct periodic_time *pt; + + pt = &pit->pt0; +if ( pt->vcpu == v && pt->enabled ) +return pt; +else +return NULL ; }void pit_deinit (struct domain *d)
xen/arch/x86/hvm/vpt.c +71 -13
143 lines not on this page · raw message
xen/include/asm-x86/hvm/vpt.h +3 -1
@@ -76,7 +76,7 @@ struct periodic_time {char one_shot;/* one shot time */ u8 irq;struct vcpu *vcpu;/* vcpu timer interrupt delivers to */ -u32 pending_intr_nr;/* the couner for pending timer interrupts */ +unsigned int pending_intr_nr;/* the couner for pending timer interrupts */ u64 period;/* frequency in ns */ u64 period_cycles;/* frequency in cpu cycles */ s_time_t scheduled;/* scheduled timer interrupt */
@@ -84,6 +84,8 @@ struct periodic_time {struct timer timer;/* ac_timer */ time_cb *cb;void *priv;/* point back to platform time source */ +unsigned long delivered; +unsigned long frozen; };
xen/include/public/arch-x86/hvm/save.h +4 -0
@@ -156,6 +156,8 @@ struct hvm_hw_cpu { };/* error code for pending event */ uint32_t error_code; +unsigned long pt_delivered; +unsigned long pt_frozen; }; DECLARE_HVM_SAVE_TYPE(CPU, 2, struct hvm_hw_cpu);
@@ -342,6 +344,8 @@ struct hvm_hw_pit { } channels[3 ];/* 3 x 16 bytes */ uint32_t speaker_data_on;uint32_t pad0; +unsigned long pt_delivered; +unsigned long pt_frozen; }; DECLARE_HVM_SAVE_TYPE(PIT, 10, struct hvm_hw_pit);
_______________________________________________
Xen-devel mailing list
[email protected]
http://lists.xensource.com/xen-devel
Quoted 4 lines
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests
This case, VMM will pick up the lost ticks into pending_intr_nr. The only issue is that if a guest is suspended or save/restored for long time such as several hours or days, we may see tons of lost ticks, which is difficult to be injected back (cost minutes of times or even longer). So we give up those amount of pending_intr_nr. In all above case, guest need to re-sync its timer with others like network time for example. So it is harmless.
Similar situation happens when somebody is debugging a guest.
Quoted 9 lines
like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
I think this one is not the right direction.
The problem in time virtualization is that we don't how guest will use it.
Latest 64 bit Linux can pick up the missed ticks from TSC like you mentioned, but it is not true for other 64 bits guest even linux such as 2.6.16, nor for Windows.
Besides PV timer approach which is not always ready, basically we have 3 HVM time virtualization approaches:
1: Current one:
Freeze guest time when the guest is descheduled and
thus sync all guest time resource together. This one precisely solve the guest time cross-reference issues, guest TSC precisely represent guest time and thus can be cross-referenced
in guest to pick up lossed ticks if have. but the logic
is relatively complicated and is easy to see bugs :-(
2: Pin guest time to host time.
This is simplest approach, guest TSC is always pinned to
host TSC with a fixed offset no matter the vCPU is descheduled or not. In this case, other guest periodic IRQ driven time resource are not synced to guest TSC.
Base on this, we have 2 deviations:
A: Accumulate pending_intr_nr like current #1 approach.
B: Give up accumulated pending_intr_nr. We only inject
one IRQ for a periodic IRQ driven guest time such as PIT.
What you mentioned here is a special case of 2B.
Since we don't know how guest behaviors, what we are
proposing recently is to implement all of above, and let administrate tools to choose the one to use base on knowledge of guest OS type.
thanks, eddie
Hi Doug,
Thanks for these comments.
Quoted 6 lines · Eddie
Quoted 5 lines
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests
Quoted 9 lines
This case, VMM will pick up the lost ticks into
pending_intr_nr.
The only issue is that if a guest is suspended or save/restored
for long time such as several hours or days, we may see tons of lost ticks, which is difficult to be injected back (cost minutes of times or even longer). So we give up those amount ofpending_intr_nr. In all above case, guest need to re-sync its timer with others like network time for example. So it is harmless.Similar situation happens when somebody is debugging a guest.
The solution we provided removes the one second limit on missed ticks. Our testing showed that this is often exceeded under some loads, such as many guests, each running loads. Setting missed ticks to 1 tick when 1000 is exceeded is a source of timing error. In the code, where its set to one there is a TBD sync with guest comment, but no action.
In terms of re-syncing with network time, our goal was to have the timekeeping accurate enough so that the guest could run ntpd.
To do that, the under lying timekeeping needs to be accurate to .05%, or so. Our measurements show that with this patch the core timekeeping is accurate to .02%, approximately, even under loads where many guests run loads. Without this patch, timekeeping is off by more than 10% and ntpd cannot sync it.
Quoted 13 lines
Quoted 13 lines
like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
Quoted 8 lines
I think this one is not the right direction.
The problem in time virtualization is that we don't how guest will use
it.
Latest 64 bit Linux can pick up the missed ticks from TSC like you
mentioned, but it is not true for other 64 bits guest even linux such as 2.6.16, nor for Windows.
Ours is a specific solution.
Let me explain our logic.
We configure all our Linux guests with clock=pit.
The 32bit Linux guests we run don't calculate missed ticks and so don't need cancellation. All the 64bit Linux guests that we run calculate missed ticks and need cancellation.
I just checked 2.26.16 and it does calculate missed ticks in arch/x86_64/lermel/time.c, main_timer_handler(), when using pit for timekeeping.
The missed ticks cancellation code is activated in this patch when the guest has configured the pit for timekeeping and the guest has four level page tables (ie 64 bit).
The windows guests we run use rtc for timekeeping and don't need or get cancellation.
So the simplifying assumption here is that a 64bit guest using pit is calculating missed ticks.
I would be in favor of a method where xen is told directly whether to do missed ticks cancellation. Perhaps its part of the guest configuration information.
Quoted 20 lines
Besides PV timer approach which is not always ready, basically we have 3 HVM time virtualization approaches:
1: Current one:
Freeze guest time when the guest is descheduled and
thus sync all guest time resource together. This one
precisely solve the guest time cross-reference issues, guest TSC
precisely represent guest time and thus can be cross-referenced
in guest to pick up lossed ticks if have. but the logic is relatively complicated and is easy to see bugs :-(2: Pin guest time to host time.
This is simplest approach, guest TSC is always pinned to
host TSC with a fixed offset no matter the vCPU is descheduled or
not. In this case, other guest periodic IRQ driven time resource are not synced to guest TSC.
Base on this, we have 2 deviations:
A: Accumulatepending_intr_nrlike current #1 approach.
B: Give up accumulatedpending_intr_nr. We only inject
one IRQ for a periodic IRQ driven guest time such as PIT.
Quoted 10 lines
What you mentioned here is a special case of 2B.
Since we don't know how guest behaviors, what we are
proposing recently is to implement all of above, and let administrate tools to choose the one to use base on knowledge of guest OS type.thanks, eddie
I agree with you on having various policies for timekeeping based on the guest being run.
This patch addresses specifically the problem
of pit users who calculate missed ticks. Note that in the solution, de-scheduled missed ticks are not canceled, they are still needed
as the tsc is continuous in the current methods. We are only canceling those pending_intr_nr that accumulate while the guest is running. These are due to inaccuracies in the xen time expirations due to interrupt loads or long dom0 interrupt disable periods. They are also due to extended periods where the guest has interrupts disabled. In these cases, as the tsc has been running, the guest will calculated missed ticks at the time of first clock interrupt injection and then xen will deliver pending_intr_nr additional interrupts resulting in jiffies moving by 2*pending_intr_nr instead of the desired pending_intr_nr.
regards,
Dave
Quoted 24 lines · Dave Winchell
Hi Doug,
Thanks for these comments.
Quoted 15 lines · Eddie
Quoted 5 lines
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests
This case, VMM will pick up the lost ticks into
pending_intr_nr. The only issue is that if a guest is suspended or save/restored for long time such as several hours or days, we may see tons of lost ticks, which is difficult to be injected back (cost minutes of times or even longer). So we give up those amount ofpending_intr_nr. In all above case, guest need to re-sync its timer with others like network time for example. So it is harmless.Quoted 3 lines
Similar situation happens when somebody is debugging a guest.
Quoted 6 lines
The solution we provided removes the one second limit on missed ticks. Our testing showed that this is often exceeded under some loads, such as many guests, each running loads. Setting missed ticks to 1 tick when 1000 is exceeded is a source of timing error. In the code, where its set to one there is a TBD sync with guest comment, but no action.
That is possible, So we should increase 1000 to be more bigger. Make it to be around 10s should be OK?
Quoted 34 lines
In terms of re-syncing with network time, our goal was to have the timekeeping accurate enough so that the guest could run ntpd. To do that, the under lying timekeeping needs to be accurate to .05%, or so. Our measurements show that with this patch the core timekeeping is
accurate to .02%, approximately, even under loads where many guests run
loads.
Without this patch, timekeeping is off by more than 10% and ntpd cannot sync it.Quoted 13 lines
Quoted 13 lines
like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
Quoted 9 lines
I think this one is not the right direction.
The problem in time virtualization is that we don't how guest will use it. Latest 64 bit Linux can pick up the missed ticks from TSC like you mentioned, but it is not true for other 64 bits guest even linux
such as 2.6.16, nor for Windows.
Quoted 2 lines
Ours is a specific solution.
Let me explain our logic.
Yes, it can fit for some situation :-)
But I think we need a generic solution.
How to choose the time virtualization policy can be argued. And we may use some experiemental data. What you found is definitely one of the good data :-)
Quoted 2 lines
We configure all our Linux guests with clock=pit.
Just curious: why you favor PIT instead of HPET?
Does HPET bring more deviation?
Quoted 7 lines
The 32bit Linux guests we run don't calculate missed ticks and so don't need cancellation. All the 64bit Linux guests that we run calculate missed ticks and need cancellation.
I just checked 2.26.16 and it does calculate missed ticks inarch/x86_64/lermel/time.c,main_timer_handler(), when using pit for timekeeping.
But this is reported as lost ticks which will prink something. In theory with guest TSC synchronized with guest periodic timer. This issue can be removed, but somehow (maybe bug or virtualization overhead) we may still see them :-(
Quoted 48 lines
The missed ticks cancellation code is activated in this patch when the guest has configured the pit for timekeeping and the guest has four level page tables (ie 64 bit).
The windows guests we run use rtc for timekeeping and don't need or get cancellation.
So the simplifying assumption here is that a 64bit guest using pit is calculating missed ticks.
I would be in favor of a method where xen is told directly whether to do
missed ticks cancellation. Perhaps its part of the guest configuration information.Quoted 22 lines
Besides PV timer approach which is not always ready, basically we have 3 HVM time virtualization approaches:
1: Current one:
Freeze guest time when the guest is descheduled and
thus sync all guest time resource together. This one precisely solve the guest time cross-reference issues, guest TSC precisely represent guest time and thus can be cross-referenced in guest to pick up lossed ticks if have. but the logic is relatively complicated and is easy to see bugs :-(2: Pin guest time to host time.
This is simplest approach, guest TSC is always pinned to
host TSC with a fixed offset no matter the vCPU is descheduled or not. In this case, other guest periodic IRQ driven time resource are not synced to guest TSC.
Base on this, we have 2 deviations:
A: Accumulatepending_intr_nrlike current #1 approach.
B: Give up accumulatedpending_intr_nr. We only inject
one IRQ for a periodic IRQ driven guest time such as PIT.Quoted 10 lines
What you mentioned here is a special case of 2B.
Since we don't know how guest behaviors, what we are
proposing recently is to implement all of above, and let administrate tools to choose the one to use base on knowledge of guest OS type.thanks, eddie
Quoted 7 lines
I agree with you on having various policies for timekeeping based on the guest being run.
This patch addresses specifically the problem
of pit users who calculate missed ticks. Note that in the solution, de-scheduled missed ticks are not canceled, they are still needed as the tsc is continuous in the current methods. We are only
If we rely on guest to pick up the lost ticks, why not just do it thoroughly?
i..e even deschedule missed ticks can rely on guest to pick up.
That is what 2.B proposed.
In some cases, we saw issues in Windows (XP32) with 2B, guest wall clock becomes slow. Maybe XP64 behaviors different like you saw, but we need windows expert to double check.
Some rough idea in my mind is:
Policy #1 works best for 32 bits Liunux (and old 64 bits Linux). Policy #2B works for latest 64 bits Linux.
Policy #2A works for Windows (32 & 64 bits).
Quoted 13 lines
canceling those
pending_intr_nrthat accumulate while the guest is running. These are due
to inaccuracies in the xen time expirations due to interrupt loads or long dom0 interrupt disable periods. They are also due to extended periods where the guest has interrupts disabled. In these cases, as the tsc has been running, the guest will calculated missed ticks at the time of first
clock interrupt
injection and then xen will deliverpending_intr_nradditional interrupts resulting in jiffies moving by 2*pending_intr_nr instead of the desiredpending_intr_nr.
Quoted 2 lines
regards,
Dave
thx, eddie
Quoted 41 lines · Eddie
Quoted 29 lines · Dave Winchell
Hi Doug,
Thanks for these comments.
Quoted 16 lines · Eddie
Quoted 7 lines
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests
This case, VMM will pick up the lost ticks into
pending_intr_nr. The only issue is that if a guest is suspended or save/restored for long time such as several hours or days, we may see tons of lost ticks, which is difficult to be injected back (cost minutes of times or even longer). So we give up those amount ofpending_intr_nr. In all above case, guest need to re-sync its timer with others like network time for example. So it is harmless.Quoted 5 lines
Similar situation happens when somebody is debugging a guest.
Quoted 8 lines
The solution we provided removes the one second limit on missed ticks. Our testing showed that this is often exceeded under some loads, such as many guests, each running loads. Setting missed ticks to 1 tick when 1000 is exceeded is a source of timing error. In the code, where its set to one there is a TBD sync with guest comment, but no action.
Quoted 5 lines
That is possible, So we should increase 1000 to be more bigger. Make it to be around 10s should be OK?
Agreed.
Quoted 52 lines
Quoted 38 lines
In terms of re-syncing with network time, our goal was to have the timekeeping accurate enough so that the guest could run ntpd. To do that, the under lying timekeeping needs to be accurate to .05%, or so. Our measurements show that with this patch the core timekeeping is
accurate to .02%, approximately, even under loads where many guests run
loads.
Without this patch, timekeeping is off by more than 10% and ntpd cannot sync it.Quoted 15 lines
Quoted 15 lines
like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
Quoted 10 lines
I think this one is not the right direction.
The problem in time virtualization is that we don't how guest will use it. Latest 64 bit Linux can pick up the missed ticks from TSC like you mentioned, but it is not true for other 64 bits guest even linux such as 2.6.16, nor for Windows.
Quoted 4 lines
Ours is a specific solution.
Let me explain our logic.Yes, it can fit for some situation :-)
But I think we need a generic solution.How to choose the time virtualization policy can be argued. And we may use some experiemental data. What you found is definitely one of the good data :-)
Quoted 8 lines
Quoted 3 lines
We configure all our Linux guests with clock=pit.
Just curious: why you favor PIT instead of HPET?
Does HPET bring more deviation?
We started with pit because it kept such good time for 32 bit Linux. Based on this, we thought that the problems with 64bit pit would be manageable.
One of these days we will characterize HPET.
Based on rtc performing well, I would think that HPET would do well too. If not, then the reasons could be investigated.
Quoted 79 lines
Quoted 10 lines
The 32bit Linux guests we run don't calculate missed ticks and so don't need cancellation. All the 64bit Linux guests that we run calculate missed ticks and need cancellation.
I just checked 2.26.16 and it does calculate missed ticks inarch/x86_64/lermel/time.c,main_timer_handler(), when using pit for timekeeping.But this is reported as lost ticks which will prink something. In theory with guest TSC synchronized with guest periodic timer. This issue can be removed, but somehow (maybe bug or virtualization overhead) we may still see them :-(
Quoted 51 lines
The missed ticks cancellation code is activated in this patch when the guest has configured the pit for timekeeping and the guest has four level page tables (ie 64 bit).
The windows guests we run use rtc for timekeeping and don't need or get cancellation.
So the simplifying assumption here is that a 64bit guest using pit is calculating missed ticks.
I would be in favor of a method where xen is told directly whether to do
missed ticks cancellation. Perhaps its part of the guest configuration information.Quoted 22 lines
Besides PV timer approach which is not always ready, basically we have 3 HVM time virtualization approaches:
1: Current one:
Freeze guest time when the guest is descheduled and
thus sync all guest time resource together. This one precisely solve the guest time cross-reference issues, guest TSC precisely represent guest time and thus can be cross-referenced in guest to pick up lossed ticks if have. but the logic is relatively complicated and is easy to see bugs :-(2: Pin guest time to host time.
This is simplest approach, guest TSC is always pinned to
host TSC with a fixed offset no matter the vCPU is descheduled or not. In this case, other guest periodic IRQ driven time resource are not synced to guest TSC.
Base on this, we have 2 deviations:
A: Accumulatepending_intr_nrlike current #1 approach.
B: Give up accumulatedpending_intr_nr. We only inject
one IRQ for a periodic IRQ driven guest time such as PIT.Quoted 12 lines
What you mentioned here is a special case of 2B.
Since we don't know how guest behaviors, what we are
proposing recently is to implement all of above, and let administrate tools to choose the one to use base on knowledge of guest OS type.thanks, eddie
Quoted 9 lines
I agree with you on having various policies for timekeeping based on the guest being run.
This patch addresses specifically the problem
of pit users who calculate missed ticks. Note that in the solution, de-scheduled missed ticks are not canceled, they are still needed as the tsc is continuous in the current methods. We are only
Quoted 5 lines
If we rely on guest to pick up the lost ticks, why not just do it thoroughly?
i..e even deschedule missed ticks can rely on guest to pick up.
I have considered this. I was worried that if the descheduled period was too large that the guest would do something funny, like declare lost to be 1 ;-)
However, the descheduled periods are probably no longer than the interrupts disabled periods, given some of the problems we have with guests in spinlock_irq code. Also, since we have the Linux guest code, and have been relying on being able to read it to make timekeeping policy, we can see that they don't set lost to 1.
Actually, the more I think about this, the more I like the idea. It would mean that we wouldn't have to deliver all those pent up interrupts to the guest. It solves some other problems as well. We could probably use this policy for most guests and timekeeping sources. Linux 32bit with pit might be the exception.
Quoted 11 lines
That is what 2.B proposed.
In some cases, we saw issues in Windows (XP32) with 2B, guest wall clock becomes slow. Maybe XP64 behaviors different like you saw, but we need windows expert to double check.Some rough idea in my mind is:
Policy #1 works best for 32 bits Liunux (and old 64 bits Linux). Policy #2B works for latest 64 bits Linux.
Policy #2A works for Windows (32 & 64 bits).
I agree with this breakdown.
The next step is to do some experiments, I think.
Quoted 22 lines
Quoted 14 lines
canceling those
pending_intr_nrthat accumulate while the guest is running. These are due
to inaccuracies in the xen time expirations due to interrupt loads or long dom0 interrupt disable periods. They are also due to extended periods where the guest has interrupts disabled. In these cases, as the tsc has been running, the guest will calculated missed ticks at the time of first clock interrupt
injection and then xen will deliverpending_intr_nradditional interrupts resulting in jiffies moving by 2*pending_intr_nr instead of the desiredpending_intr_nr.Quoted 4 lines
regards,
Davethx, eddie
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.
The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset. There is no pending_nr cancellation.
When the vpt.c timer expires, it only increments pending_nr if its value is zero.Missed_ticks() is still calculated, but only to update the new timeout value.
There is no adjustment to the tsc offset (set_guest_time()) at clock interrupt delivery time nor at re-scheduling time.
So, I like this method better than the pending_nr subtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what we discussed below.
Thanks for your input!
-Dave
Quoted 248 lines · Dave Winchell
Quoted 40 lines · Eddie
Quoted 29 lines · Dave Winchell
Hi Doug,
Thanks for these comments.
Quoted 16 lines · Eddie
Quoted 6 lines
The vpt timer code in effect accumulates missed ticks when a guest is running but has interrupts disabled or when the platform timer is starved. For guests
This case, VMM will pick up the lost ticks into
pending_intr_nr. The only issue is that if a guest is suspended or save/restored for long time such as several hours or days, we may see tons of lost ticks, which is difficult to be injected back (cost minutes of times or even longer). So we give up those amount ofpending_intr_nr. In all above case, guest need to re-sync its timer with others like network time for example. So it is harmless.Quoted 4 lines
Similar situation happens when somebody is debugging a guest.
Quoted 6 lines
The solution we provided removes the one second limit on missed ticks. Our testing showed that this is often exceeded under some loads, such as many guests, each running loads. Setting missed ticks to 1 tick when 1000 is exceeded is a source of timing error. In the code, where its set to one there is a TBD sync with guest comment, but no action.
Quoted 5 lines
That is possible, So we should increase 1000 to be more bigger. Make it to be around 10s should be OK?
Agreed.
Quoted 51 lines
Quoted 37 lines
In terms of re-syncing with network time, our goal was to have the timekeeping accurate enough so that the guest could run ntpd. To do that, the under lying timekeeping needs to be accurate to .05%, or so. Our measurements show that with this patch the core timekeeping is
accurate to .02%, approximately, even under loads where many guests run
loads.
Without this patch, timekeeping is off by more than 10% and ntpd cannot sync it.Quoted 15 lines
Quoted 14 lines
like 64 bit Linux which calculates missed ticks on each clock interrupt based on the current tsc and the tsc of the last interrupt and then adds missed ticks to jiffies there is redundant accounting.
This change subtracts off the hypervisor calculated missed ticks while guest running for 64 bit guests using the pit. Missed ticks when vcpu 0 is descheduled are unaffected.
Quoted 9 lines
I think this one is not the right direction.
The problem in time virtualization is that we don't how guest will use it. Latest 64 bit Linux can pick up the missed ticks from TSC like you mentioned, but it is not true for other 64 bits guest even linux such as 2.6.16, nor for Windows.
Quoted 3 lines
Ours is a specific solution.
Let me explain our logic.Yes, it can fit for some situation :-)
But I think we need a generic solution.How to choose the time virtualization policy can be argued. And we may use some experiemental data. What you found is definitely one of the good data :-)
Quoted 8 lines
Quoted 2 lines
We configure all our Linux guests with clock=pit.
Just curious: why you favor PIT instead of HPET?
Does HPET bring more deviation?We started with pit because it kept such good time for 32 bit Linux. Based on this, we thought that the problems with 64bit pit would be manageable.
One of these days we will characterize HPET.
Based on rtc performing well, I would think that HPET would do well too. If not, then the reasons could be investigated.Quoted 76 lines
Quoted 8 lines
The 32bit Linux guests we run don't calculate missed ticks and so don't need cancellation. All the 64bit Linux guests that we run calculate missed ticks and need cancellation.
I just checked 2.26.16 and it does calculate missed ticks inarch/x86_64/lermel/time.c,main_timer_handler(), when using pit for timekeeping.But this is reported as lost ticks which will prink something. In theory with guest TSC synchronized with guest periodic timer. This issue can be removed, but somehow (maybe bug or virtualization overhead) we may still see them :-(
Quoted 50 lines
The missed ticks cancellation code is activated in this patch when the guest has configured the pit for timekeeping and the guest has four level page tables (ie 64 bit).
The windows guests we run use rtc for timekeeping and don't need or get cancellation.
So the simplifying assumption here is that a 64bit guest using pit is calculating missed ticks.
I would be in favor of a method where xen is told directly whether to do
missed ticks cancellation. Perhaps its part of the guest configuration information.Quoted 22 lines
Besides PV timer approach which is not always ready, basically we have 3 HVM time virtualization approaches:
1: Current one:
Freeze guest time when the guest is descheduled and
thus sync all guest time resource together. This one precisely solve the guest time cross-reference issues, guest TSC precisely represent guest time and thus can be cross-referenced in guest to pick up lossed ticks if have. but the logic is relatively complicated and is easy to see bugs :-(2: Pin guest time to host time.
This is simplest approach, guest TSC is always pinned to
host TSC with a fixed offset no matter the vCPU is descheduled or not. In this case, other guest periodic IRQ driven time resource are not synced to guest TSC.
Base on this, we have 2 deviations:
A: Accumulatepending_intr_nrlike current #1 approach.
B: Give up accumulatedpending_intr_nr. We only inject
one IRQ for a periodic IRQ driven guest time such as PIT.Quoted 11 lines
What you mentioned here is a special case of 2B.
Since we don't know how guest behaviors, what we are
proposing recently is to implement all of above, and let administrate tools to choose the one to use base on knowledge of guest OS type.thanks, eddie
Quoted 7 lines
I agree with you on having various policies for timekeeping based on the guest being run.
This patch addresses specifically the problem
of pit users who calculate missed ticks. Note that in the solution, de-scheduled missed ticks are not canceled, they are still needed as the tsc is continuous in the current methods. We are onlyQuoted 5 lines
If we rely on guest to pick up the lost ticks, why not just do it thoroughly?
i..e even deschedule missed ticks can rely on guest to pick up.I have considered this. I was worried that if the descheduled period was too large that the guest would do something funny, like declare lost to be 1 ;-)
However, the descheduled periods are probably no longer than the interrupts disabled periods, given some of the problems we have with guests inspinlock_irqcode. Also, since we have the Linux guest code, and have been relying on being able to read it to make timekeeping policy, we can see that they don't set lost to 1.Actually, the more I think about this, the more I like the idea. It would mean that we wouldn't have to deliver all those pent up interrupts to the guest. It solves some other problems as well. We could probably use this policy for most guests and timekeeping sources. Linux 32bit with pit might be the exception.
Quoted 11 lines
That is what 2.B proposed.
In some cases, we saw issues in Windows (XP32) with 2B, guest wall clock becomes slow. Maybe XP64 behaviors different like you saw, but we need windows expert to double check.Some rough idea in my mind is:
Policy #1 works best for 32 bits Liunux (and old 64 bits Linux). Policy #2B works for latest 64 bits Linux.
Policy #2A works for Windows (32 & 64 bits).I agree with this breakdown.
The next step is to do some experiments, I think.Quoted 21 lines
Quoted 16 lines
canceling those
pending_intr_nrthat accumulate while the guest is running. These are due
to inaccuracies in the xen time expirations due to interrupt loads or long dom0 interrupt disable periods. They are also due to extended periods where the guest has interrupts disabled. In these cases, as the tsc has been running, the guest will calculated missed ticks at the time of first clock interrupt
injection and then xen will deliverpending_intr_nradditional interrupts resulting in jiffies moving by 2*pending_intr_nr instead of the desiredpending_intr_nr.
regards,
Davethx, eddie
Quoted 10 lines · Dave Winchell
Quoted 6 lines · Eddie
That is possible, So we should increase 1000 to be more bigger. Make it to be around 10s should be OK?
Agreed.
Thanks! And will wait for your patches :-)
Quoted 5 lines
Quoted 5 lines
Just curious: why you favor PIT instead of HPET?
Does HPET bring more deviation?
Quoted 8 lines
We started with pit because it kept such good time for 32 bit Linux. Based on this, we thought that the problems with 64bit pit would be manageable.
One of these days we will characterize HPET.
Based on rtc performing well, I would think that HPET would do well too.
If not, then the reasons could be investigated.
Yes!
Quoted 18 lines
Quoted 7 lines
If we rely on guest to pick up the lost ticks, why not just do it thoroughly? i..e even deschedule missed ticks can rely on guest to pick up.
I have considered this. I was worried that if the descheduled period was too large that the guest would do something funny, like declare lost
to be 1 ;-)
However, the descheduled periods are probably no longer than the interrupts disabled periods, given some of the problems we have with guests inspinlock_irqcode. Also, since we have the Linux guest code, and have been relying on being able to read it to make timekeeping policy,
we can see that they don't set lost to 1.
Quoted 5 lines
Actually, the more I think about this, the more I like the idea. It would mean that we wouldn't have to deliver all those pent up interrupts to the guest. It solves some other problems as well. We could probably use this policy for most guests and timekeeping sources. Linux 32bit with pit might be the exception.
Great!
Eddie
Quoted 26 lines · Dave Winchell
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset. There is no
pending_nrcancellation.
When thevpt.ctimer expires, it only incrementspending_nrif its value is zero.Missed_ticks()is still calculated, but only to update the new timeout value. There is no adjustment to the tsc offset (set_guest_time())
at clock interrupt delivery time nor at re-scheduling time.So, I like this method better than the
pending_nrsubtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what we discussed below.
Quoted 4 lines
Thanks for your input!
-Dave
Haitao Shai may posted his patch, can u check if there are something missed?
thx,eddie
Eddie, Haitao:
The patch looks good with the following comments.
1. Since you are in missed_ticks(), why not increase the threshold to 10 sec?
2. In missed_ticks() you should only increment pending_intr_nr by missed_ticks calculated when pt_support_time_frozen(domain).
3. You might as well fix this one too since its what we discussed and is so related to constant tsc offset:
In pt_timer_fn, if !pt_support_time_frozen(domain) then pending_intr_nr should end up with a maximum value of one.
regards,
Dave
Quoted 41 lines · Eddie
Quoted 25 lines · Dave Winchell
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset.
There is nopending_nrcancellation.
When thevpt.ctimer expires, it only incrementspending_nr
if its value is zero.Missed_ticks()is still calculated, but only to update the new timeout value. There is no adjustment to the tsc offset (set_guest_time()) at clock interrupt delivery time nor at re-scheduling time.So, I like this method better than the
pending_nrsubtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what we discussed below.Quoted 6 lines
Thanks for your input!
-Dave
Haitao Shai may posted his patch, can u check if there are something missed?
thx,eddie
I thought the point of the mode in Haitao's patch was to still deliver the 'right' number of pending interrupts, but not stall the guest TSC while delivering them? That's what I checked in as c/s 16237 (in staging tree). If we want other modes too they can be added to the enumeration that c/s defines.
-- Keir
Quoted 70 lines · Dave Winchell
Eddie, Haitao:
The patch looks good with the following comments.
1. Since you are in
missed_ticks(), why not increase the thresholdto 10 sec?2. In
missed_ticks()you should only incrementpending_intr_nrbymissed_ticks
calculated whenpt_support_time_frozen(domain).3. You might as well fix this one too since its what we discussed and is so related to constant tsc offset:
Inpt_timer_fn, if !pt_support_time_frozen(domain) thenpending_intr_nrshould end up with a maximum value of one.regards,
DaveQuoted 37 lines · Eddie
Quoted 26 lines · Dave Winchell
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset. There is no
pending_nrcancellation.
When thevpt.ctimer expires, it only incrementspending_nrif its value is zero.Missed_ticks()is still calculated, but only to update the new timeout value. There is no adjustment to the tsc offset (set_guest_time())
at clock interrupt delivery time nor at re-scheduling time.So, I like this method better than the
pending_nrsubtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what we discussed below.Quoted 6 lines
Thanks for your input!
-Dave
Quoted 5 lines
Haitao Shai may posted his patch, can u check if there are something missed?
thx,eddie_______________________________________________
Xen-devel mailing list
[email protected]
http://lists.xensource.com/xen-devel
Keir,
I think its a good idea to have other modes.
However, I don't believe that the mode checked in to the staging tree will keep good time for a 64 bit Linux guest, if that was what was intended.
Here's why:
The guest running under the new option gets a clock interrupt after being de-scheduled for a while. It calculates missed_ticks and bumps jiffies by missed_ticks. Jiffies is now correct. Then, with the new mode as submitted, the guest will get missed_ticks additional interrupts. For each, the guest will add 1 to jiffies. The guest is now missed_ticks * clock_period ahead of where it should be.
Under the old/other option, the guest tsc is continuous after a de-scheduled period, and thus the missed_ticks calculation in the guest results in zero. Then missed_ticks interrupts are delivered and jiffies is correct.
I just ran a test with two 64bit Linux guests, one Red Hat and one Sles, under load. The hypervisor has constant tsc offset per the code submitted to the staging tree. In each 5 sec period the guest gained 6-10 seconds against ntp time, an error of almost 200%.
[root@vs079 ~]# while :; do ntpdate -q 0.us.pool.ntp.org; sleep 5; done server 8.15.10.42, stratum 2, offset -0.061007, delay 0.04959
29 Oct 15:21:21 ntpdate[3892]: adjust time server 8.15.10.42 offset -0.061007 sec server 8.15.10.42, stratum 2, offset -0.077763, delay 0.07129
29 Oct 15:21:28 ntpdate[3894]: adjust time server 8.15.10.42 offset -0.077763 sec server 8.15.10.42, stratum 2, offset -1.733141, delay 0.20813
(load started here.)
29 Oct 15:21:35 ntpdate[3968]: step time server 8.15.10.42 offset -1.733141 sec server 8.15.10.42, stratum 2, offset -9.648700, delay 0.04861
29 Oct 15:21:54 ntpdate[4002]: step time server 8.15.10.42 offset -9.648700 sec server 8.15.10.42, stratum 2, offset -22.872883, delay 0.05319
29 Oct 15:22:21 ntpdate[4027]: step time server 8.15.10.42 offset -22.872883 sec server 8.15.10.42, stratum 2, offset -29.036008, delay 0.19337
29 Oct 15:22:38 ntpdate[4039]: step time server 8.15.10.42 offset -29.036008 sec server 8.15.10.42, stratum 2, offset -34.880845, delay 0.04944
29 Oct 15:22:46 ntpdate[4058]: step time server 8.15.10.42 offset -34.880845 sec
With these three changes to the constant tsc offset policy in staging, the error compared to ntp is about .02% under this load.
Quoted 12 lines
1. Since you are in
missed_ticks(), why not increase the thresholdto 10 sec?2. In
missed_ticks()you should only incrementpending_intr_nrbymissed_ticks
calculated whenpt_support_time_frozen(domain).3. You might as well fix this one too since its what we discussed and is so related to constant tsc offset:
Inpt_timer_fn, if !pt_support_time_frozen(domain) thenpending_intr_nrshould end up with a maximum value of one.
So, I think these changes are necessary for a 64bit Linux policy. If you agree, should they go in as fixes to the constant tsc offset policy in staging now or as a new policy?
thanks,
Dave
Quoted 92 lines · Keir Fraser
I thought the point of the mode in Haitao's patch was to still deliver the 'right' number of pending interrupts, but not stall the guest TSC while delivering them? That's what I checked in as c/s 16237 (in staging tree). If we want other modes too they can be added to the enumeration that c/s defines.
-- Keir
Quoted 76 lines · Dave Winchell
Eddie, Haitao:
The patch looks good with the following comments.
1. Since you are in
missed_ticks(), why not increase the threshold to 10 sec?2. In
missed_ticks()you should only incrementpending_intr_nrbymissed_ticks
calculated whenpt_support_time_frozen(domain).3. You might as well fix this one too since its what we discussed and is so related to constant tsc offset:
Inpt_timer_fn, if !pt_support_time_frozen(domain) thenpending_intr_nrshould end up with a maximum value of one.regards,
DaveQuoted 39 lines · Eddie
Quoted 26 lines · Dave Winchell
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset. There is no
pending_nrcancellation.
When thevpt.ctimer expires, it only incrementspending_nrif its value is zero.Missed_ticks()is still calculated, but only to update the new timeout value. There is no adjustment to the tsc offset (set_guest_time())
at clock interrupt delivery time nor at re-scheduling time.So, I like this method better than the
pending_nrsubtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what we discussed below.Quoted 8 lines
Thanks for your input!
-Dave
Quoted 7 lines
Haitao Shai may posted his patch, can u check if there are something missed?
thx,eddie_______________________________________________
Xen-devel mailing list
[email protected]
http://lists.xensource.com/xen-devel
Quoted 4 lines · Dave Winchell
So, I think these changes are necessary for a 64bit Linux policy. If you agree, should they go in
as fixes to the constant tsc offset policy in staging now or as a new policy?
It's easy to add another one with an appropriate name.
-- Keir
Quoted 11 lines · Keir Fraser
Quoted 6 lines · Dave Winchell
So, I think these changes are necessary for a 64bit Linux policy. If you agree, should they go in
as fixes to the constant tsc offset policy in staging now or as a new policy?
Quoted 5 lines
It's easy to add another one with an appropriate name.
-- Keir
Ok, we'll submit a patch per the discussion.
-Dave
Quoted 4 lines
I guess another alternative is missed.
We need to add 3rd choice to ignore pending_intr_nr for X64 Linux.
thx,eddie
Quoted 92 lines
-----Original Message-----
From: Keir Fraser [mailto:[email protected]]
Sent: 2007年10月30日 1:30
To: Dave Winchell; Dong, Eddie
Cc: xen-devel; Ben Guthro; Shan, Haitao
Subject: Re: [Xen-devel] [PATCH] Fix hvm guest time to be more accurateI thought the point of the mode in Haitao's patch was to still deliver the
'right' number of pending interrupts, but not stall the guest TSC while delivering them? That's what I checked in as c/s 16237 (in staging tree). If
we want other modes too they can be added to the enumeration that c/s defines.-- Keir
Quoted 4 lines · Dave Winchell
Eddie, Haitao:
The patch looks good with the following comments.
Quoted 8 lines
1. Since you are in
missed_ticks(), why not increase the thresholdto 10 sec?2. In
missed_ticks()you should only incrementpending_intr_nrbymissed_ticks
calculated whenpt_support_time_frozen(domain).3. You might as well fix this one too since its what we
discussed and is so
Quoted 4 lines
related to constant tsc offset:
Inpt_timer_fn, if !pt_support_time_frozen(domain) thenpending_intr_nrshould end up with a maximum value of one.Quoted 34 lines
regards,
DaveQuoted 28 lines · Eddie
Quoted 25 lines · Dave Winchell
Eddie,
I implemented #2B and ran a three hour test
with sles9-64 and rh4u4-64 guests. Each guest had 8 vcpus and the box was Intel with 2 physical processors. The guests were running large loads.
Clock was pit. This is my usual test setup, except that I just as often used AMD nodes with more processors.The time error was .02%, good enough for ntpd.
The implementation keeps a constant guest tsc offset. There is no
pending_nrcancellation.
When thevpt.ctimer expires, it only incrementspending_nrif its value is zero.Missed_ticks()is still calculated, but only to update the new timeout value. There is no adjustment to the tsc offset (set_guest_time())
at clock interrupt delivery time nor at re-scheduling time.So, I like this method better than the
pending_nrsubtract. I'm going to work on this some more and, if all goes well, propose a new code submission soon.
I'll put some kind of policy switch in too, which we can discuss and modify, but it will be along the lines of what wediscussed below.
Quoted 20 lines
Quoted 9 lines
Quoted 7 lines
Thanks for your input!
-Dave
Quoted 5 lines
Haitao Shai may posted his patch, can u check if there are something missed?
thx,eddie_______________________________________________
Xen-devel mailing list
[email protected]
http://lists.xensource.com/xen-devel