3d80840d96
Timers that fire between guest hlt and vcpu_block's add_wait_queue() are
ignored, possibly resulting in hangs.
Also make sure that atomic_inc and waitqueue_active tests happen in the
specified order, otherwise the following race is open:
CPU0 CPU1
if (waitqueue_active(wq))
add_wait_queue()
if (!atomic_read(pit_timer->pending))
schedule()
atomic_inc(pit_timer->pending)
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@qumranet.com>
|
||
|---|---|---|
| .. | ||
| Kconfig | ||
| Makefile | ||
| i8254.c | ||
| i8254.h | ||
| i8259.c | ||
| irq.c | ||
| irq.h | ||
| kvm_svm.h | ||
| lapic.c | ||
| lapic.h | ||
| mmu.c | ||
| mmu.h | ||
| paging_tmpl.h | ||
| svm.c | ||
| svm.h | ||
| tss.h | ||
| vmx.c | ||
| vmx.h | ||
| x86.c | ||
| x86_emulate.c | ||