qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Paolo Bonzini <pbonzini@redhat.com>
To: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>, qemu-devel@nongnu.org
Cc: kwolf@redhat.com, peter.maydell@linaro.org,
	boost.lists@gmail.com, quintela@redhat.com, jasowang@redhat.com,
	mst@redhat.com, zuban32s@gmail.com,
	maria.klimushenkova@ispras.ru, dovgaluk@ispras.ru,
	kraxel@redhat.com, alex.bennee@linaro.org
Subject: Re: [Qemu-devel] [RFC PATCH v2 10/26] icount: fixed saving/restoring of icount warp timers
Date: Tue, 14 Nov 2017 14:35:27 +0100	[thread overview]
Message-ID: <332d1003-4cf5-cd3c-5b23-e14d1ac646bf@redhat.com> (raw)
In-Reply-To: <20171114081728.27640.25079.stgit@pasha-VirtualBox>

On 14/11/2017 09:17, Pavel Dovgalyuk wrote:
> This patch adds saving and restoring of the icount warp
> timers in the vmstate.
> It is needed because there timers affect the virtual clock value.
> Therefore determinism of the execution in icount record/replay mode
> depends on determinism of the timers.
> 
> Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
> 
> ---
>  cpus.c |   85 ++++++++++++++++++++++++++++++++++++++++++++++++++--------------
>  1 file changed, 66 insertions(+), 19 deletions(-)
> 
> diff --git a/cpus.c b/cpus.c
> index c728f3a..7a3abea 100644
> --- a/cpus.c
> +++ b/cpus.c
> @@ -119,16 +119,11 @@ static bool all_cpu_threads_idle(void)
>  /* Protected by TimersState seqlock */
>  
>  static bool icount_sleep = true;
> -static int64_t vm_clock_warp_start = -1;
>  /* Conversion factor from emulated instructions to virtual clock ticks.  */
>  static int icount_time_shift;
>  /* Arbitrarily pick 1MIPS as the minimum allowable speed.  */
>  #define MAX_ICOUNT_SHIFT 10
>  
> -static QEMUTimer *icount_rt_timer;
> -static QEMUTimer *icount_vm_timer;
> -static QEMUTimer *icount_warp_timer;
> -
>  typedef struct TimersState {
>      /* Protected by BQL.  */
>      int64_t cpu_ticks_prev;
> @@ -146,6 +141,11 @@ typedef struct TimersState {
>      int64_t qemu_icount_bias;
>      /* Only written by TCG thread */
>      int64_t qemu_icount;
> +    /* for adjusting icount */
> +    int64_t vm_clock_warp_start;
> +    QEMUTimer *icount_rt_timer;
> +    QEMUTimer *icount_vm_timer;
> +    QEMUTimer *icount_warp_timer;
>  } TimersState;
>  
>  static TimersState timers_state;
> @@ -431,14 +431,14 @@ static void icount_adjust(void)
>  
>  static void icount_adjust_rt(void *opaque)
>  {
> -    timer_mod(icount_rt_timer,
> +    timer_mod(timers_state.icount_rt_timer,
>                qemu_clock_get_ms(QEMU_CLOCK_VIRTUAL_RT) + 1000);
>      icount_adjust();
>  }
>  
>  static void icount_adjust_vm(void *opaque)
>  {
> -    timer_mod(icount_vm_timer,
> +    timer_mod(timers_state.icount_vm_timer,
>                     qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) +
>                     NANOSECONDS_PER_SECOND / 10);
>      icount_adjust();
> @@ -459,7 +459,7 @@ static void icount_warp_rt(void)
>       */
>      do {
>          seq = seqlock_read_begin(&timers_state.vm_clock_seqlock);
> -        warp_start = vm_clock_warp_start;
> +        warp_start = timers_state.vm_clock_warp_start;
>      } while (seqlock_read_retry(&timers_state.vm_clock_seqlock, seq));
>  
>      if (warp_start == -1) {
> @@ -472,7 +472,7 @@ static void icount_warp_rt(void)
>                                       cpu_get_clock_locked());
>          int64_t warp_delta;
>  
> -        warp_delta = clock - vm_clock_warp_start;
> +        warp_delta = clock - timers_state.vm_clock_warp_start;
>          if (use_icount == 2) {
>              /*
>               * In adaptive mode, do not let QEMU_CLOCK_VIRTUAL run too
> @@ -484,7 +484,7 @@ static void icount_warp_rt(void)
>          }
>          timers_state.qemu_icount_bias += warp_delta;
>      }
> -    vm_clock_warp_start = -1;
> +    timers_state.vm_clock_warp_start = -1;
>      seqlock_write_end(&timers_state.vm_clock_seqlock);
>  
>      if (qemu_clock_expired(QEMU_CLOCK_VIRTUAL)) {
> @@ -593,11 +593,13 @@ void qemu_start_warp_timer(void)
>               * every 100ms.
>               */
>              seqlock_write_begin(&timers_state.vm_clock_seqlock);
> -            if (vm_clock_warp_start == -1 || vm_clock_warp_start > clock) {
> -                vm_clock_warp_start = clock;
> +            if (timers_state.vm_clock_warp_start == -1
> +                || timers_state.vm_clock_warp_start > clock) {
> +                timers_state.vm_clock_warp_start = clock;
>              }
>              seqlock_write_end(&timers_state.vm_clock_seqlock);
> -            timer_mod_anticipate(icount_warp_timer, clock + deadline);
> +            timer_mod_anticipate(timers_state.icount_warp_timer,
> +                                 clock + deadline);
>          }
>      } else if (deadline == 0) {
>          qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
> @@ -622,7 +624,7 @@ static void qemu_account_warp_timer(void)
>          return;
>      }
>  
> -    timer_del(icount_warp_timer);
> +    timer_del(timers_state.icount_warp_timer);
>      icount_warp_rt();
>  }
>  
> @@ -631,6 +633,45 @@ static bool icount_state_needed(void *opaque)
>      return use_icount;
>  }
>  
> +static bool warp_timer_state_needed(void *opaque)
> +{
> +    TimersState *s = opaque;
> +    return s->icount_warp_timer != NULL;
> +}
> +
> +static bool adjust_timers_state_needed(void *opaque)
> +{
> +    TimersState *s = opaque;
> +    return s->icount_rt_timer != NULL;
> +}
> +
> +/*
> + * Subsection for warp timer migration is optional, because may not be created
> + */
> +static const VMStateDescription icount_vmstate_warp_timer = {
> +    .name = "timer/icount/warp_timer",
> +    .version_id = 1,
> +    .minimum_version_id = 1,
> +    .needed = warp_timer_state_needed,
> +    .fields = (VMStateField[]) {
> +        VMSTATE_INT64(vm_clock_warp_start, TimersState),
> +        VMSTATE_TIMER_PTR(icount_warp_timer, TimersState),
> +        VMSTATE_END_OF_LIST()
> +    }
> +};
> +
> +static const VMStateDescription icount_vmstate_adjust_timers = {
> +    .name = "timer/icount/timers",
> +    .version_id = 1,
> +    .minimum_version_id = 1,
> +    .needed = adjust_timers_state_needed,
> +    .fields = (VMStateField[]) {
> +        VMSTATE_TIMER_PTR(icount_rt_timer, TimersState),
> +        VMSTATE_TIMER_PTR(icount_vm_timer, TimersState),
> +        VMSTATE_END_OF_LIST()
> +    }
> +};
> +
>  /*
>   * This is a subsection for icount migration.
>   */
> @@ -643,6 +684,11 @@ static const VMStateDescription icount_vmstate_timers = {
>          VMSTATE_INT64(qemu_icount_bias, TimersState),
>          VMSTATE_INT64(qemu_icount, TimersState),
>          VMSTATE_END_OF_LIST()
> +    },
> +    .subsections = (const VMStateDescription*[]) {
> +        &icount_vmstate_warp_timer,
> +        &icount_vmstate_adjust_timers,
> +        NULL
>      }
>  };
>  
> @@ -753,7 +799,7 @@ void configure_icount(QemuOpts *opts, Error **errp)
>  
>      icount_sleep = qemu_opt_get_bool(opts, "sleep", true);
>      if (icount_sleep) {
> -        icount_warp_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL_RT,
> +        timers_state.icount_warp_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL_RT,
>                                           icount_timer_cb, NULL);
>      }
>  
> @@ -787,13 +833,14 @@ void configure_icount(QemuOpts *opts, Error **errp)
>         the virtual time trigger catches emulated time passing too fast.
>         Realtime triggers occur even when idle, so use them less frequently
>         than VM triggers.  */
> -    icount_rt_timer = timer_new_ms(QEMU_CLOCK_VIRTUAL_RT,
> +    timers_state.vm_clock_warp_start = -1;
> +    timers_state.icount_rt_timer = timer_new_ms(QEMU_CLOCK_VIRTUAL_RT,
>                                     icount_adjust_rt, NULL);
> -    timer_mod(icount_rt_timer,
> +    timer_mod(timers_state.icount_rt_timer,
>                     qemu_clock_get_ms(QEMU_CLOCK_VIRTUAL_RT) + 1000);
> -    icount_vm_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL,
> +    timers_state.icount_vm_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL,
>                                          icount_adjust_vm, NULL);
> -    timer_mod(icount_vm_timer,
> +    timer_mod(timers_state.icount_vm_timer,
>                     qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) +
>                     NANOSECONDS_PER_SECOND / 10);
>  }
> 

Acked-by: Paolo Bonzini <pbonzini@redhat.com>

  reply	other threads:[~2017-11-14 13:35 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-11-14  8:16 [Qemu-devel] [RFC PATCH v2 00/26] replay additions Pavel Dovgalyuk
2017-11-14  8:16 ` [Qemu-devel] [RFC PATCH v2 01/26] block: implement bdrv_snapshot_goto for blkreplay Pavel Dovgalyuk
2017-11-14  8:16 ` [Qemu-devel] [RFC PATCH v2 02/26] blkreplay: create temporary overlay for underlaying devices Pavel Dovgalyuk
2017-11-14  8:16 ` [Qemu-devel] [RFC PATCH v2 03/26] replay: disable default snapshot for record/replay Pavel Dovgalyuk
2017-11-14  8:16 ` [Qemu-devel] [RFC PATCH v2 04/26] replay: fix processing async events Pavel Dovgalyuk
2017-11-14 13:34   ` Paolo Bonzini
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 05/26] replay: fixed replay_enable_events Pavel Dovgalyuk
2017-11-14 13:34   ` Paolo Bonzini
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 06/26] replay: fix save/load vm for non-empty queue Pavel Dovgalyuk
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 07/26] replay: added replay log format description Pavel Dovgalyuk
2017-11-14 13:34   ` Paolo Bonzini
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 08/26] replay: make safe vmstop at record/replay Pavel Dovgalyuk
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 09/26] replay: save prior value of the host clock Pavel Dovgalyuk
2017-11-14 13:35   ` Paolo Bonzini
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 10/26] icount: fixed saving/restoring of icount warp timers Pavel Dovgalyuk
2017-11-14 13:35   ` Paolo Bonzini [this message]
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 11/26] target/arm/arm-powertctl: drop BQL assertions Pavel Dovgalyuk
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 12/26] cpus: push BQL lock to qemu_*_wait_io_event Pavel Dovgalyuk
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 13/26] cpus: only take BQL for sleeping threads Pavel Dovgalyuk
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 14/26] replay/replay.c: bump REPLAY_VERSION again Pavel Dovgalyuk
2017-11-14 13:35   ` Paolo Bonzini
2017-11-14  8:17 ` [Qemu-devel] [RFC PATCH v2 15/26] replay/replay-internal.c: track holding of replay_lock Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 16/26] replay: make locking visible outside replay code Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 17/26] replay: push replay_mutex_lock up the call tree Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 18/26] cpu-exec: don't overwrite exception_index Pavel Dovgalyuk
2017-11-14 13:37   ` Paolo Bonzini
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 19/26] cpu-exec: reset exit flag before calling cpu_exec_nocache Pavel Dovgalyuk
2017-11-14 13:38   ` Paolo Bonzini
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 20/26] replay: don't destroy mutex at exit Pavel Dovgalyuk
2017-11-14 13:36   ` Paolo Bonzini
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 21/26] replay: check return values of fwrite Pavel Dovgalyuk
2017-11-14 13:37   ` Paolo Bonzini
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 22/26] scripts/qemu-gdb: add simple tcg lock status helper Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 23/26] util/qemu-thread-*: add qemu_lock, locked and unlock trace events Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 24/26] scripts/analyse-locks-simpletrace.py: script to analyse lock times Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 25/26] scripts/replay-dump.py: replay log dumper Pavel Dovgalyuk
2017-11-14  8:18 ` [Qemu-devel] [RFC PATCH v2 26/26] scripts/qemu-gdb/timers.py: new helper to dump timer state Pavel Dovgalyuk
2017-11-14  8:58 ` [Qemu-devel] [RFC PATCH v2 00/26] replay additions no-reply
2017-11-14  9:03 ` no-reply

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=332d1003-4cf5-cd3c-5b23-e14d1ac646bf@redhat.com \
    --to=pbonzini@redhat.com \
    --cc=Pavel.Dovgaluk@ispras.ru \
    --cc=alex.bennee@linaro.org \
    --cc=boost.lists@gmail.com \
    --cc=dovgaluk@ispras.ru \
    --cc=jasowang@redhat.com \
    --cc=kraxel@redhat.com \
    --cc=kwolf@redhat.com \
    --cc=maria.klimushenkova@ispras.ru \
    --cc=mst@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=quintela@redhat.com \
    --cc=zuban32s@gmail.com \
    /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).