Message ID | 20150227131039.11912.43831.stgit@PASHA-ISP |
---|---|
State | New |
Headers | show |
diff --git a/target-i386/seg_helper.c b/target-i386/seg_helper.c index fa374d0..235bb12 100644 --- a/target-i386/seg_helper.c +++ b/target-i386/seg_helper.c @@ -1294,6 +1294,9 @@ bool x86_cpu_exec_interrupt(CPUState *cs, int interrupt_request) if (interrupt_request & CPU_INTERRUPT_POLL) { cs->interrupt_request &= ~CPU_INTERRUPT_POLL; apic_poll_irq(cpu->apic_state); + /* Don't process multiple interrupt requests in a single call. + This is required to make icount-driven execution deterministic. */ + return true; } #endif if (interrupt_request & CPU_INTERRUPT_SIPI) {
This patch updates x86_cpu_exec_interrupt function. It can process two interrupt request at a time (poll and another one). This makes its execution non-deterministic. Determinism is requred for recorded icount execution. Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru> --- target-i386/seg_helper.c | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)