qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Paolo Bonzini <pbonzini@redhat.com>
To: qemu-devel@nongnu.org
Cc: Pavel Dovgalyuk <dovgaluk@ispras.ru>,
	Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Subject: [Qemu-devel] [PULL 02/17] replay: check icount in cpu exec loop
Date: Fri, 24 Feb 2017 18:40:15 +0100	[thread overview]
Message-ID: <1487958030-51417-3-git-send-email-pbonzini@redhat.com> (raw)
In-Reply-To: <1487958030-51417-1-git-send-email-pbonzini@redhat.com>

From: Pavel Dovgalyuk <dovgaluk@ispras.ru>

This patch adds check to break cpu loop when icount expires without
setting the TB_EXIT_ICOUNT_EXPIRED flag. It happens when there is no
available translated blocks and all instructions were executed.
In icount replay mode unnecessary tb_find will be called (which may
cause an exception) and execution will be non-deterministic.
Because cpu_loop_exec_tb cannot longjmp anymore, we can remove
the anticipated call to align_clocks in cpu_loop_exec_tb, as
well as the SyncClocks *sc argument.

Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <002801d2810f$18809c20$4981d460$@ru>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <dovgaluk@ispras.ru>
---
 cpu-exec.c | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/cpu-exec.c b/cpu-exec.c
index 8f094c8..7ddf66c 100644
--- a/cpu-exec.c
+++ b/cpu-exec.c
@@ -517,7 +517,10 @@ static inline bool cpu_handle_interrupt(CPUState *cpu,
             *last_tb = NULL;
         }
     }
-    if (unlikely(atomic_read(&cpu->exit_request) || replay_has_interrupt())) {
+
+    /* Finally, check if we need to exit to the main loop.  */
+    if (unlikely(atomic_read(&cpu->exit_request)
+        || (use_icount && cpu->icount_decr.u16.low + cpu->icount_extra == 0))) {
         atomic_set(&cpu->exit_request, 0);
         cpu->exception_index = EXCP_INTERRUPT;
         return true;
@@ -527,8 +530,7 @@ static inline bool cpu_handle_interrupt(CPUState *cpu,
 }
 
 static inline void cpu_loop_exec_tb(CPUState *cpu, TranslationBlock *tb,
-                                    TranslationBlock **last_tb, int *tb_exit,
-                                    SyncClocks *sc)
+                                    TranslationBlock **last_tb, int *tb_exit)
 {
     uintptr_t ret;
     int32_t insns_left;
@@ -579,10 +581,7 @@ static inline void cpu_loop_exec_tb(CPUState *cpu, TranslationBlock *tb,
          */
         if (insns_left > 0) {
             cpu_exec_nocache(cpu, insns_left, tb, false);
-            align_clocks(sc, cpu);
         }
-        cpu->exception_index = EXCP_INTERRUPT;
-        cpu_loop_exit(cpu);
     }
 #endif
 }
@@ -593,7 +592,7 @@ int cpu_exec(CPUState *cpu)
 {
     CPUClass *cc = CPU_GET_CLASS(cpu);
     int ret;
-    SyncClocks sc;
+    SyncClocks sc = { 0 };
 
     /* replay_interrupt may need current_cpu */
     current_cpu = cpu;
@@ -643,7 +642,7 @@ int cpu_exec(CPUState *cpu)
 
         while (!cpu_handle_interrupt(cpu, &last_tb)) {
             TranslationBlock *tb = tb_find(cpu, last_tb, tb_exit);
-            cpu_loop_exec_tb(cpu, tb, &last_tb, &tb_exit, &sc);
+            cpu_loop_exec_tb(cpu, tb, &last_tb, &tb_exit);
             /* Try to align the host and virtual clocks
                if the guest is in advance */
             align_clocks(&sc, cpu);
-- 
1.8.3.1

  parent reply	other threads:[~2017-02-24 17:40 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-02-24 17:40 [Qemu-devel] [PULL 00/17] KVM and cpu-exec patches for 2.9 soft freeze Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 01/17] cpu-exec: unify icount_decr and tcg_exit_req Paolo Bonzini
2017-02-24 17:40 ` Paolo Bonzini [this message]
2017-02-24 17:40 ` [Qemu-devel] [PULL 03/17] cpu-exec: remove unnecessary check of cpu->exit_request Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 04/17] update-linux-headers: update for 4.11 Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 05/17] update Linux headers to 4.11 Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 06/17] cpus: remove ugly cast on sigbus_handler Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 07/17] KVM: x86: cleanup SIGBUS handlers Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 08/17] cpus: reorganize signal handling code Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 09/17] KVM: remove kvm_arch_on_sigbus Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 10/17] KVM: do not use sigtimedwait to catch SIGBUS Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 11/17] KVM: move SIG_IPI handling to kvm-all.c Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 12/17] kvm: use atomic_read/atomic_set to access cpu->exit_request Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 13/17] KVM: use KVM_CAP_IMMEDIATE_EXIT Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 14/17] vmxcap: port to Python 3 Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 15/17] vmxcap: update for September 2016 SDM Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 16/17] qapi: flatten GuestPanicInformation union Paolo Bonzini
2017-02-24 17:40 ` [Qemu-devel] [PULL 17/17] qmp-events: fix GUEST_PANICKED description formatting Paolo Bonzini
2017-02-24 18:27 ` [Qemu-devel] [PULL 00/17] KVM and cpu-exec patches for 2.9 soft freeze no-reply
2017-02-25 21:32 ` Peter Maydell

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1487958030-51417-3-git-send-email-pbonzini@redhat.com \
    --to=pbonzini@redhat.com \
    --cc=dovgaluk@ispras.ru \
    --cc=pavel.dovgaluk@ispras.ru \
    --cc=qemu-devel@nongnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).