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>
next prev parent 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).