qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: "Pavel Dovgaluk" <Pavel.Dovgaluk@ispras.ru>
To: 'Paolo Bonzini' <pbonzini@redhat.com>, qemu-devel@nongnu.org
Cc: peter.maydell@linaro.org, peter.crosthwaite@xilinx.com,
	alex.bennee@linaro.org, mark.burton@greensocs.com,
	real@ispras.ru, batuzovk@ispras.ru,
	maria.klimushenkova@ispras.ru, afaerber@suse.de,
	fred.konrad@greensocs.com
Subject: Re: [Qemu-devel] [RFC PATCH v4 11/25] cpu-exec: allow temporary disabling icount
Date: Tue, 11 Nov 2014 12:49:01 +0300	[thread overview]
Message-ID: <000d01cffd94$b9280ab0$2b782010$@Dovgaluk@ispras.ru> (raw)
In-Reply-To: <545CAB75.9030402@redhat.com>

> From: Paolo Bonzini [mailto:pbonzini@redhat.com]
> On 07/11/2014 11:32, Pavel Dovgalyuk wrote:
> > This patch is required for deterministic replay to generate an exception
> > by trying executing an instruction without changing icount.
> > It adds new flag to TB for disabling icount while translating it.
> >
> > Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
> > ---
> >  cpu-exec.c              |    6 +++---
> >  include/exec/exec-all.h |    7 ++++---
> >  translate-all.c         |   22 ++++++++++++++++++++--
> >  3 files changed, 27 insertions(+), 8 deletions(-)
> >
> > diff --git a/cpu-exec.c b/cpu-exec.c
> > index 011f51f..e7206ac 100644
> > --- a/cpu-exec.c
> > +++ b/cpu-exec.c
> > @@ -198,7 +198,7 @@ static inline tcg_target_ulong cpu_tb_exec(CPUState *cpu, uint8_t
> *tb_ptr)
> >  /* Execute the code without caching the generated code. An interpreter
> >     could be used if available. */
> >  static void cpu_exec_nocache(CPUArchState *env, int max_cycles,
> > -                             TranslationBlock *orig_tb)
> > +                             TranslationBlock *orig_tb, bool ignore_icount)
> >  {
> >      CPUState *cpu = ENV_GET_CPU(env);
> >      TranslationBlock *tb;
> > @@ -214,7 +214,7 @@ static void cpu_exec_nocache(CPUArchState *env, int max_cycles,
> >      /* tb_gen_code can flush our orig_tb, invalidate it now */
> >      tb_phys_invalidate(orig_tb, -1);
> >      tb = tb_gen_code(cpu, pc, cs_base, flags,
> > -                     max_cycles);
> > +                     max_cycles | (ignore_icount ? CF_IGNORE_ICOUNT : 0));
> >      cpu->current_tb = tb;
> >      /* execute the generated code */
> >      trace_exec_tb_nocache(tb, tb->pc);
> > @@ -516,7 +516,7 @@ int cpu_exec(CPUArchState *env)
> >                          } else {
> >                              if (insns_left > 0) {
> >                                  /* Execute remaining instructions.  */
> > -                                cpu_exec_nocache(env, insns_left, tb);
> > +                                cpu_exec_nocache(env, insns_left, tb, false);
> >                                  align_clocks(&sc, cpu);
> >                              }
> >                              cpu->exception_index = EXCP_INTERRUPT;
> > diff --git a/include/exec/exec-all.h b/include/exec/exec-all.h
> > index 1d17f75..052e8ef 100644
> > --- a/include/exec/exec-all.h
> > +++ b/include/exec/exec-all.h
> > @@ -142,9 +142,10 @@ struct TranslationBlock {
> >      uint64_t flags; /* flags defining in which context the code was generated */
> >      uint16_t size;      /* size of target code for this block (1 <=
> >                             size <= TARGET_PAGE_SIZE) */
> > -    uint16_t cflags;    /* compile flags */
> > -#define CF_COUNT_MASK  0x7fff
> > -#define CF_LAST_IO     0x8000 /* Last insn may be an IO access.  */
> > +    uint32_t cflags;    /* compile flags */
> > +#define CF_COUNT_MASK    0x7fff
> > +#define CF_LAST_IO       0x8000 /* Last insn may be an IO access.  */
> > +#define CF_IGNORE_ICOUNT 0x10000 /* Do not generate icount code */
> >
> >      void *tc_ptr;    /* pointer to the translated code */
> >      /* next matching tb for physical address. */
> > diff --git a/translate-all.c b/translate-all.c
> > index 7177b71..182ea7d 100644
> > --- a/translate-all.c
> > +++ b/translate-all.c
> > @@ -207,6 +207,7 @@ static int cpu_restore_state_from_tb(CPUState *cpu, TranslationBlock
> *tb,
> >      TCGContext *s = &tcg_ctx;
> >      int j;
> >      uintptr_t tc_ptr;
> > +    int old_icount = use_icount;
> >  #ifdef CONFIG_PROFILER
> >      int64_t ti;
> >  #endif
> > @@ -218,6 +219,10 @@ static int cpu_restore_state_from_tb(CPUState *cpu, TranslationBlock
> *tb,
> >
> >      gen_intermediate_code_pc(env, tb);
> >
> > +    if (tb->cflags & CF_IGNORE_ICOUNT) {
> 
> Would it be possible to instead have a CF_USE_ICOUNT tbflag, and check
> it when applicable instead of use_icount?  It seems cleaner, because it
> would avoid playing with global variables, but perhaps it's hard to do it.

Using context-specific flag is better than using global variable like use_icount.
But I could not test such changes because they will affect all of the platforms
(and will be also hard to implement for i386).

Pavel Dovgalyuk

  reply	other threads:[~2014-11-11  9:49 UTC|newest]

Thread overview: 50+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-11-07 10:31 [Qemu-devel] [RFC PATCH v4 00/25] Deterministic replay and reverse execution Pavel Dovgalyuk
2014-11-07 10:31 ` [Qemu-devel] [RFC PATCH v4 01/25] acpi: accurate overflow check Pavel Dovgalyuk
2014-11-07 11:16   ` Paolo Bonzini
2014-11-07 10:31 ` [Qemu-devel] [RFC PATCH v4 02/25] mc146818rtc: add missed field to vmstate Pavel Dovgalyuk
2014-11-07 11:18   ` Paolo Bonzini
2014-11-07 10:31 ` [Qemu-devel] [RFC PATCH v4 03/25] replay: global variables and function stubs Pavel Dovgalyuk
2014-11-07 10:44   ` Eric Blake
2014-11-07 10:31 ` [Qemu-devel] [RFC PATCH v4 04/25] sysemu: system functions for replay Pavel Dovgalyuk
2014-11-07 15:51   ` Alex Bennée
2014-11-07 10:31 ` [Qemu-devel] [RFC PATCH v4 05/25] replay: internal functions for replay log Pavel Dovgalyuk
2014-11-07 16:01   ` Alex Bennée
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 06/25] cpu-exec: reset exception_index correctly Pavel Dovgalyuk
2014-11-07 11:27   ` Paolo Bonzini
2014-11-12 12:02   ` Paolo Bonzini
2014-11-13 11:41     ` Pavel Dovgaluk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 07/25] icount: implement icount requesting Pavel Dovgalyuk
2014-11-07 11:19   ` Paolo Bonzini
2014-11-07 11:36     ` Pavel Dovgaluk
2014-11-07 11:45       ` Frederic Konrad
2014-11-11  9:41         ` Pavel Dovgaluk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 08/25] icount: improve enable/disable ticks Pavel Dovgalyuk
2014-11-07 11:20   ` Paolo Bonzini
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 09/25] replay: introduce icount event Pavel Dovgalyuk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 10/25] i386: do not cross the pages boundaries in replay mode Pavel Dovgalyuk
2014-11-07 11:20   ` Paolo Bonzini
2014-11-07 11:39     ` Pavel Dovgaluk
2014-11-07 11:27   ` Andreas Färber
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 11/25] cpu-exec: allow temporary disabling icount Pavel Dovgalyuk
2014-11-07 11:22   ` Paolo Bonzini
2014-11-11  9:49     ` Pavel Dovgaluk [this message]
2014-11-13 14:16   ` Paolo Bonzini
2014-11-17  9:35     ` Pavel Dovgaluk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 12/25] replay: interrupts and exceptions Pavel Dovgalyuk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 13/25] replay: asynchronous events infrastructure Pavel Dovgalyuk
2014-11-07 10:53   ` Eric Blake
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 14/25] cpu: replay instructions sequence Pavel Dovgalyuk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 15/25] replay: recording and replaying clock ticks Pavel Dovgalyuk
2014-11-07 10:32 ` [Qemu-devel] [RFC PATCH v4 16/25] replay: recording and replaying different timers Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 17/25] cpus: make icount warp deterministic in replay mode Pavel Dovgalyuk
2014-11-07 11:24   ` Paolo Bonzini
2014-11-07 11:45     ` Pavel Dovgaluk
2014-11-07 12:00       ` Paolo Bonzini
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 18/25] replay: shutdown event Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 19/25] replay: checkpoints Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 20/25] replay: bottom halves Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 21/25] replay: replay aio requests Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 22/25] replay: thread pool Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 23/25] replay: initialization and deinitialization Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 24/25] replay: command line options Pavel Dovgalyuk
2014-11-07 10:33 ` [Qemu-devel] [RFC PATCH v4 25/25] replay: recording of the user input Pavel Dovgalyuk

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='000d01cffd94$b9280ab0$2b782010$@Dovgaluk@ispras.ru' \
    --to=pavel.dovgaluk@ispras.ru \
    --cc=afaerber@suse.de \
    --cc=alex.bennee@linaro.org \
    --cc=batuzovk@ispras.ru \
    --cc=fred.konrad@greensocs.com \
    --cc=maria.klimushenkova@ispras.ru \
    --cc=mark.burton@greensocs.com \
    --cc=pbonzini@redhat.com \
    --cc=peter.crosthwaite@xilinx.com \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=real@ispras.ru \
    /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).