1740b1759SClaudio Fontana /*
2740b1759SClaudio Fontana * QEMU System Emulator
3740b1759SClaudio Fontana *
4740b1759SClaudio Fontana * Copyright (c) 2003-2008 Fabrice Bellard
5740b1759SClaudio Fontana *
6740b1759SClaudio Fontana * Permission is hereby granted, free of charge, to any person obtaining a copy
7740b1759SClaudio Fontana * of this software and associated documentation files (the "Software"), to deal
8740b1759SClaudio Fontana * in the Software without restriction, including without limitation the rights
9740b1759SClaudio Fontana * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10740b1759SClaudio Fontana * copies of the Software, and to permit persons to whom the Software is
11740b1759SClaudio Fontana * furnished to do so, subject to the following conditions:
12740b1759SClaudio Fontana *
13740b1759SClaudio Fontana * The above copyright notice and this permission notice shall be included in
14740b1759SClaudio Fontana * all copies or substantial portions of the Software.
15740b1759SClaudio Fontana *
16740b1759SClaudio Fontana * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17740b1759SClaudio Fontana * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18740b1759SClaudio Fontana * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19740b1759SClaudio Fontana * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20740b1759SClaudio Fontana * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21740b1759SClaudio Fontana * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22740b1759SClaudio Fontana * THE SOFTWARE.
23740b1759SClaudio Fontana */
24740b1759SClaudio Fontana
25740b1759SClaudio Fontana #include "qemu/osdep.h"
26740b1759SClaudio Fontana #include "qemu/cutils.h"
27740b1759SClaudio Fontana #include "migration/vmstate.h"
28740b1759SClaudio Fontana #include "qapi/error.h"
29740b1759SClaudio Fontana #include "qemu/error-report.h"
3032cad1ffSPhilippe Mathieu-Daudé #include "system/cpus.h"
3132cad1ffSPhilippe Mathieu-Daudé #include "system/qtest.h"
32740b1759SClaudio Fontana #include "qemu/main-loop.h"
33740b1759SClaudio Fontana #include "qemu/option.h"
34740b1759SClaudio Fontana #include "qemu/seqlock.h"
3532cad1ffSPhilippe Mathieu-Daudé #include "system/replay.h"
3632cad1ffSPhilippe Mathieu-Daudé #include "system/runstate.h"
37740b1759SClaudio Fontana #include "hw/core/cpu.h"
38*161f5bc8SRichard Henderson #include "exec/icount.h"
3932cad1ffSPhilippe Mathieu-Daudé #include "system/cpu-timers-internal.h"
40740b1759SClaudio Fontana
41740b1759SClaudio Fontana /*
42740b1759SClaudio Fontana * ICOUNT: Instruction Counter
43740b1759SClaudio Fontana *
44740b1759SClaudio Fontana * this module is split off from cpu-timers because the icount part
45740b1759SClaudio Fontana * is TCG-specific, and does not need to be built for other accels.
46740b1759SClaudio Fontana */
47740b1759SClaudio Fontana static bool icount_sleep = true;
48740b1759SClaudio Fontana /* Arbitrarily pick 1MIPS as the minimum allowable speed. */
49740b1759SClaudio Fontana #define MAX_ICOUNT_SHIFT 10
50740b1759SClaudio Fontana
51fb26a3fdSPhilippe Mathieu-Daudé bool icount_align_option;
52fb26a3fdSPhilippe Mathieu-Daudé
538e98c27dSPhilippe Mathieu-Daudé /* Do not count executed instructions */
548e98c27dSPhilippe Mathieu-Daudé ICountMode use_icount = ICOUNT_DISABLED;
55740b1759SClaudio Fontana
icount_enable_precise(void)56740b1759SClaudio Fontana static void icount_enable_precise(void)
57740b1759SClaudio Fontana {
588e98c27dSPhilippe Mathieu-Daudé /* Fixed conversion of insn to ns via "shift" option */
598e98c27dSPhilippe Mathieu-Daudé use_icount = ICOUNT_PRECISE;
60740b1759SClaudio Fontana }
61740b1759SClaudio Fontana
icount_enable_adaptive(void)62740b1759SClaudio Fontana static void icount_enable_adaptive(void)
63740b1759SClaudio Fontana {
648e98c27dSPhilippe Mathieu-Daudé /* Runtime adaptive algorithm to compute shift */
658e98c27dSPhilippe Mathieu-Daudé use_icount = ICOUNT_ADAPTATIVE;
66740b1759SClaudio Fontana }
67740b1759SClaudio Fontana
68740b1759SClaudio Fontana /*
69740b1759SClaudio Fontana * The current number of executed instructions is based on what we
70740b1759SClaudio Fontana * originally budgeted minus the current state of the decrementing
71740b1759SClaudio Fontana * icount counters in extra/u16.low.
72740b1759SClaudio Fontana */
icount_get_executed(CPUState * cpu)738191d368SClaudio Fontana static int64_t icount_get_executed(CPUState *cpu)
74740b1759SClaudio Fontana {
75740b1759SClaudio Fontana return (cpu->icount_budget -
76a953b5faSRichard Henderson (cpu->neg.icount_decr.u16.low + cpu->icount_extra));
77740b1759SClaudio Fontana }
78740b1759SClaudio Fontana
79740b1759SClaudio Fontana /*
80740b1759SClaudio Fontana * Update the global shared timer_state.qemu_icount to take into
81740b1759SClaudio Fontana * account executed instructions. This is done by the TCG vCPU
82740b1759SClaudio Fontana * thread so the main-loop can see time has moved forward.
83740b1759SClaudio Fontana */
icount_update_locked(CPUState * cpu)848191d368SClaudio Fontana static void icount_update_locked(CPUState *cpu)
85740b1759SClaudio Fontana {
868191d368SClaudio Fontana int64_t executed = icount_get_executed(cpu);
87740b1759SClaudio Fontana cpu->icount_budget -= executed;
88740b1759SClaudio Fontana
89740b1759SClaudio Fontana qatomic_set_i64(&timers_state.qemu_icount,
90740b1759SClaudio Fontana timers_state.qemu_icount + executed);
91740b1759SClaudio Fontana }
92740b1759SClaudio Fontana
93740b1759SClaudio Fontana /*
94740b1759SClaudio Fontana * Update the global shared timer_state.qemu_icount to take into
95740b1759SClaudio Fontana * account executed instructions. This is done by the TCG vCPU
96740b1759SClaudio Fontana * thread so the main-loop can see time has moved forward.
97740b1759SClaudio Fontana */
icount_update(CPUState * cpu)988191d368SClaudio Fontana void icount_update(CPUState *cpu)
99740b1759SClaudio Fontana {
100740b1759SClaudio Fontana seqlock_write_lock(&timers_state.vm_clock_seqlock,
101740b1759SClaudio Fontana &timers_state.vm_clock_lock);
1028191d368SClaudio Fontana icount_update_locked(cpu);
103740b1759SClaudio Fontana seqlock_write_unlock(&timers_state.vm_clock_seqlock,
104740b1759SClaudio Fontana &timers_state.vm_clock_lock);
105740b1759SClaudio Fontana }
106740b1759SClaudio Fontana
icount_get_raw_locked(void)1078191d368SClaudio Fontana static int64_t icount_get_raw_locked(void)
108740b1759SClaudio Fontana {
109740b1759SClaudio Fontana CPUState *cpu = current_cpu;
110740b1759SClaudio Fontana
111740b1759SClaudio Fontana if (cpu && cpu->running) {
112464dacf6SRichard Henderson if (!cpu->neg.can_do_io) {
113740b1759SClaudio Fontana error_report("Bad icount read");
114740b1759SClaudio Fontana exit(1);
115740b1759SClaudio Fontana }
116740b1759SClaudio Fontana /* Take into account what has run */
1178191d368SClaudio Fontana icount_update_locked(cpu);
118740b1759SClaudio Fontana }
119740b1759SClaudio Fontana /* The read is protected by the seqlock, but needs atomic64 to avoid UB */
120740b1759SClaudio Fontana return qatomic_read_i64(&timers_state.qemu_icount);
121740b1759SClaudio Fontana }
122740b1759SClaudio Fontana
icount_get_locked(void)1238191d368SClaudio Fontana static int64_t icount_get_locked(void)
124740b1759SClaudio Fontana {
1258191d368SClaudio Fontana int64_t icount = icount_get_raw_locked();
126740b1759SClaudio Fontana return qatomic_read_i64(&timers_state.qemu_icount_bias) +
1278191d368SClaudio Fontana icount_to_ns(icount);
128740b1759SClaudio Fontana }
129740b1759SClaudio Fontana
icount_get_raw(void)1308191d368SClaudio Fontana int64_t icount_get_raw(void)
131740b1759SClaudio Fontana {
132740b1759SClaudio Fontana int64_t icount;
133740b1759SClaudio Fontana unsigned start;
134740b1759SClaudio Fontana
135740b1759SClaudio Fontana do {
136740b1759SClaudio Fontana start = seqlock_read_begin(&timers_state.vm_clock_seqlock);
1378191d368SClaudio Fontana icount = icount_get_raw_locked();
138740b1759SClaudio Fontana } while (seqlock_read_retry(&timers_state.vm_clock_seqlock, start));
139740b1759SClaudio Fontana
140740b1759SClaudio Fontana return icount;
141740b1759SClaudio Fontana }
142740b1759SClaudio Fontana
143740b1759SClaudio Fontana /* Return the virtual CPU time, based on the instruction counter. */
icount_get(void)1448191d368SClaudio Fontana int64_t icount_get(void)
145740b1759SClaudio Fontana {
146740b1759SClaudio Fontana int64_t icount;
147740b1759SClaudio Fontana unsigned start;
148740b1759SClaudio Fontana
149740b1759SClaudio Fontana do {
150740b1759SClaudio Fontana start = seqlock_read_begin(&timers_state.vm_clock_seqlock);
1518191d368SClaudio Fontana icount = icount_get_locked();
152740b1759SClaudio Fontana } while (seqlock_read_retry(&timers_state.vm_clock_seqlock, start));
153740b1759SClaudio Fontana
154740b1759SClaudio Fontana return icount;
155740b1759SClaudio Fontana }
156740b1759SClaudio Fontana
icount_to_ns(int64_t icount)1578191d368SClaudio Fontana int64_t icount_to_ns(int64_t icount)
158740b1759SClaudio Fontana {
159740b1759SClaudio Fontana return icount << qatomic_read(&timers_state.icount_time_shift);
160740b1759SClaudio Fontana }
161740b1759SClaudio Fontana
162740b1759SClaudio Fontana /*
163740b1759SClaudio Fontana * Correlation between real and virtual time is always going to be
164740b1759SClaudio Fontana * fairly approximate, so ignore small variation.
165740b1759SClaudio Fontana * When the guest is idle real and virtual time will be aligned in
166740b1759SClaudio Fontana * the IO wait loop.
167740b1759SClaudio Fontana */
168740b1759SClaudio Fontana #define ICOUNT_WOBBLE (NANOSECONDS_PER_SECOND / 10)
169740b1759SClaudio Fontana
icount_adjust(void)170740b1759SClaudio Fontana static void icount_adjust(void)
171740b1759SClaudio Fontana {
172740b1759SClaudio Fontana int64_t cur_time;
173740b1759SClaudio Fontana int64_t cur_icount;
174740b1759SClaudio Fontana int64_t delta;
175740b1759SClaudio Fontana
176740b1759SClaudio Fontana /* If the VM is not running, then do nothing. */
177740b1759SClaudio Fontana if (!runstate_is_running()) {
178740b1759SClaudio Fontana return;
179740b1759SClaudio Fontana }
180740b1759SClaudio Fontana
181740b1759SClaudio Fontana seqlock_write_lock(&timers_state.vm_clock_seqlock,
182740b1759SClaudio Fontana &timers_state.vm_clock_lock);
183740b1759SClaudio Fontana cur_time = REPLAY_CLOCK_LOCKED(REPLAY_CLOCK_VIRTUAL_RT,
184740b1759SClaudio Fontana cpu_get_clock_locked());
1858191d368SClaudio Fontana cur_icount = icount_get_locked();
186740b1759SClaudio Fontana
187740b1759SClaudio Fontana delta = cur_icount - cur_time;
188740b1759SClaudio Fontana /* FIXME: This is a very crude algorithm, somewhat prone to oscillation. */
189740b1759SClaudio Fontana if (delta > 0
190fe852ac2SPavel Dovgalyuk && timers_state.last_delta + ICOUNT_WOBBLE < delta * 2
191740b1759SClaudio Fontana && timers_state.icount_time_shift > 0) {
192740b1759SClaudio Fontana /* The guest is getting too far ahead. Slow time down. */
193740b1759SClaudio Fontana qatomic_set(&timers_state.icount_time_shift,
194740b1759SClaudio Fontana timers_state.icount_time_shift - 1);
195740b1759SClaudio Fontana }
196740b1759SClaudio Fontana if (delta < 0
197fe852ac2SPavel Dovgalyuk && timers_state.last_delta - ICOUNT_WOBBLE > delta * 2
198740b1759SClaudio Fontana && timers_state.icount_time_shift < MAX_ICOUNT_SHIFT) {
199740b1759SClaudio Fontana /* The guest is getting too far behind. Speed time up. */
200740b1759SClaudio Fontana qatomic_set(&timers_state.icount_time_shift,
201740b1759SClaudio Fontana timers_state.icount_time_shift + 1);
202740b1759SClaudio Fontana }
203fe852ac2SPavel Dovgalyuk timers_state.last_delta = delta;
204740b1759SClaudio Fontana qatomic_set_i64(&timers_state.qemu_icount_bias,
205740b1759SClaudio Fontana cur_icount - (timers_state.qemu_icount
206740b1759SClaudio Fontana << timers_state.icount_time_shift));
207740b1759SClaudio Fontana seqlock_write_unlock(&timers_state.vm_clock_seqlock,
208740b1759SClaudio Fontana &timers_state.vm_clock_lock);
209740b1759SClaudio Fontana }
210740b1759SClaudio Fontana
icount_adjust_rt(void * opaque)211740b1759SClaudio Fontana static void icount_adjust_rt(void *opaque)
212740b1759SClaudio Fontana {
213740b1759SClaudio Fontana timer_mod(timers_state.icount_rt_timer,
214740b1759SClaudio Fontana qemu_clock_get_ms(QEMU_CLOCK_VIRTUAL_RT) + 1000);
215740b1759SClaudio Fontana icount_adjust();
216740b1759SClaudio Fontana }
217740b1759SClaudio Fontana
icount_adjust_vm(void * opaque)218740b1759SClaudio Fontana static void icount_adjust_vm(void *opaque)
219740b1759SClaudio Fontana {
220740b1759SClaudio Fontana timer_mod(timers_state.icount_vm_timer,
221740b1759SClaudio Fontana qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) +
222740b1759SClaudio Fontana NANOSECONDS_PER_SECOND / 10);
223740b1759SClaudio Fontana icount_adjust();
224740b1759SClaudio Fontana }
225740b1759SClaudio Fontana
icount_round(int64_t count)2268191d368SClaudio Fontana int64_t icount_round(int64_t count)
227740b1759SClaudio Fontana {
228740b1759SClaudio Fontana int shift = qatomic_read(&timers_state.icount_time_shift);
229740b1759SClaudio Fontana return (count + (1 << shift) - 1) >> shift;
230740b1759SClaudio Fontana }
231740b1759SClaudio Fontana
icount_warp_rt(void)232740b1759SClaudio Fontana static void icount_warp_rt(void)
233740b1759SClaudio Fontana {
234740b1759SClaudio Fontana unsigned seq;
235740b1759SClaudio Fontana int64_t warp_start;
236740b1759SClaudio Fontana
237740b1759SClaudio Fontana /*
238740b1759SClaudio Fontana * The icount_warp_timer is rescheduled soon after vm_clock_warp_start
239740b1759SClaudio Fontana * changes from -1 to another value, so the race here is okay.
240740b1759SClaudio Fontana */
241740b1759SClaudio Fontana do {
242740b1759SClaudio Fontana seq = seqlock_read_begin(&timers_state.vm_clock_seqlock);
243740b1759SClaudio Fontana warp_start = timers_state.vm_clock_warp_start;
244740b1759SClaudio Fontana } while (seqlock_read_retry(&timers_state.vm_clock_seqlock, seq));
245740b1759SClaudio Fontana
246740b1759SClaudio Fontana if (warp_start == -1) {
247740b1759SClaudio Fontana return;
248740b1759SClaudio Fontana }
249740b1759SClaudio Fontana
250740b1759SClaudio Fontana seqlock_write_lock(&timers_state.vm_clock_seqlock,
251740b1759SClaudio Fontana &timers_state.vm_clock_lock);
252740b1759SClaudio Fontana if (runstate_is_running()) {
253740b1759SClaudio Fontana int64_t clock = REPLAY_CLOCK_LOCKED(REPLAY_CLOCK_VIRTUAL_RT,
254740b1759SClaudio Fontana cpu_get_clock_locked());
255740b1759SClaudio Fontana int64_t warp_delta;
256740b1759SClaudio Fontana
257740b1759SClaudio Fontana warp_delta = clock - timers_state.vm_clock_warp_start;
2588e98c27dSPhilippe Mathieu-Daudé if (icount_enabled() == ICOUNT_ADAPTATIVE) {
259740b1759SClaudio Fontana /*
26067f85346SNicholas Piggin * In adaptive mode, do not let QEMU_CLOCK_VIRTUAL run too far
26167f85346SNicholas Piggin * ahead of real time (it might already be ahead so careful not
26267f85346SNicholas Piggin * to go backwards).
263740b1759SClaudio Fontana */
2648191d368SClaudio Fontana int64_t cur_icount = icount_get_locked();
265740b1759SClaudio Fontana int64_t delta = clock - cur_icount;
26667f85346SNicholas Piggin
26767f85346SNicholas Piggin if (delta < 0) {
26867f85346SNicholas Piggin delta = 0;
26967f85346SNicholas Piggin }
270740b1759SClaudio Fontana warp_delta = MIN(warp_delta, delta);
271740b1759SClaudio Fontana }
272740b1759SClaudio Fontana qatomic_set_i64(&timers_state.qemu_icount_bias,
273740b1759SClaudio Fontana timers_state.qemu_icount_bias + warp_delta);
274740b1759SClaudio Fontana }
275740b1759SClaudio Fontana timers_state.vm_clock_warp_start = -1;
276740b1759SClaudio Fontana seqlock_write_unlock(&timers_state.vm_clock_seqlock,
277740b1759SClaudio Fontana &timers_state.vm_clock_lock);
278740b1759SClaudio Fontana
279740b1759SClaudio Fontana if (qemu_clock_expired(QEMU_CLOCK_VIRTUAL)) {
280740b1759SClaudio Fontana qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
281740b1759SClaudio Fontana }
282740b1759SClaudio Fontana }
283740b1759SClaudio Fontana
icount_timer_cb(void * opaque)284740b1759SClaudio Fontana static void icount_timer_cb(void *opaque)
285740b1759SClaudio Fontana {
286740b1759SClaudio Fontana /*
287740b1759SClaudio Fontana * No need for a checkpoint because the timer already synchronizes
288740b1759SClaudio Fontana * with CHECKPOINT_CLOCK_VIRTUAL_RT.
289740b1759SClaudio Fontana */
290740b1759SClaudio Fontana icount_warp_rt();
291740b1759SClaudio Fontana }
292740b1759SClaudio Fontana
icount_start_warp_timer(void)2938191d368SClaudio Fontana void icount_start_warp_timer(void)
294740b1759SClaudio Fontana {
295740b1759SClaudio Fontana int64_t clock;
296740b1759SClaudio Fontana int64_t deadline;
297740b1759SClaudio Fontana
298740b1759SClaudio Fontana assert(icount_enabled());
299740b1759SClaudio Fontana
300740b1759SClaudio Fontana /*
301740b1759SClaudio Fontana * Nothing to do if the VM is stopped: QEMU_CLOCK_VIRTUAL timers
302740b1759SClaudio Fontana * do not fire, so computing the deadline does not make sense.
303740b1759SClaudio Fontana */
304740b1759SClaudio Fontana if (!runstate_is_running()) {
305740b1759SClaudio Fontana return;
306740b1759SClaudio Fontana }
307740b1759SClaudio Fontana
308740b1759SClaudio Fontana if (replay_mode != REPLAY_MODE_PLAY) {
309740b1759SClaudio Fontana if (!all_cpu_threads_idle()) {
310740b1759SClaudio Fontana return;
311740b1759SClaudio Fontana }
312740b1759SClaudio Fontana
313740b1759SClaudio Fontana if (qtest_enabled()) {
314740b1759SClaudio Fontana /* When testing, qtest commands advance icount. */
315740b1759SClaudio Fontana return;
316740b1759SClaudio Fontana }
317740b1759SClaudio Fontana
318740b1759SClaudio Fontana replay_checkpoint(CHECKPOINT_CLOCK_WARP_START);
319740b1759SClaudio Fontana } else {
320740b1759SClaudio Fontana /* warp clock deterministically in record/replay mode */
321740b1759SClaudio Fontana if (!replay_checkpoint(CHECKPOINT_CLOCK_WARP_START)) {
322740b1759SClaudio Fontana /*
323740b1759SClaudio Fontana * vCPU is sleeping and warp can't be started.
324740b1759SClaudio Fontana * It is probably a race condition: notification sent
325740b1759SClaudio Fontana * to vCPU was processed in advance and vCPU went to sleep.
326669dcb60SMichael Tokarev * Therefore we have to wake it up for doing something.
327740b1759SClaudio Fontana */
32860618e2dSPavel Dovgalyuk if (replay_has_event()) {
329740b1759SClaudio Fontana qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
330740b1759SClaudio Fontana }
331740b1759SClaudio Fontana return;
332740b1759SClaudio Fontana }
333740b1759SClaudio Fontana }
334740b1759SClaudio Fontana
335740b1759SClaudio Fontana /* We want to use the earliest deadline from ALL vm_clocks */
336740b1759SClaudio Fontana clock = qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL_RT);
337740b1759SClaudio Fontana deadline = qemu_clock_deadline_ns_all(QEMU_CLOCK_VIRTUAL,
338740b1759SClaudio Fontana ~QEMU_TIMER_ATTR_EXTERNAL);
339740b1759SClaudio Fontana if (deadline < 0) {
34094da7b6eSZhao Liu if (!icount_sleep) {
34194da7b6eSZhao Liu warn_report_once("icount sleep disabled and no active timers");
342740b1759SClaudio Fontana }
343740b1759SClaudio Fontana return;
344740b1759SClaudio Fontana }
345740b1759SClaudio Fontana
346740b1759SClaudio Fontana if (deadline > 0) {
347740b1759SClaudio Fontana /*
348740b1759SClaudio Fontana * Ensure QEMU_CLOCK_VIRTUAL proceeds even when the virtual CPU goes to
349740b1759SClaudio Fontana * sleep. Otherwise, the CPU might be waiting for a future timer
350740b1759SClaudio Fontana * interrupt to wake it up, but the interrupt never comes because
351740b1759SClaudio Fontana * the vCPU isn't running any insns and thus doesn't advance the
352740b1759SClaudio Fontana * QEMU_CLOCK_VIRTUAL.
353740b1759SClaudio Fontana */
354740b1759SClaudio Fontana if (!icount_sleep) {
355740b1759SClaudio Fontana /*
356740b1759SClaudio Fontana * We never let VCPUs sleep in no sleep icount mode.
357740b1759SClaudio Fontana * If there is a pending QEMU_CLOCK_VIRTUAL timer we just advance
358740b1759SClaudio Fontana * to the next QEMU_CLOCK_VIRTUAL event and notify it.
359740b1759SClaudio Fontana * It is useful when we want a deterministic execution time,
360740b1759SClaudio Fontana * isolated from host latencies.
361740b1759SClaudio Fontana */
362740b1759SClaudio Fontana seqlock_write_lock(&timers_state.vm_clock_seqlock,
363740b1759SClaudio Fontana &timers_state.vm_clock_lock);
364740b1759SClaudio Fontana qatomic_set_i64(&timers_state.qemu_icount_bias,
365740b1759SClaudio Fontana timers_state.qemu_icount_bias + deadline);
366740b1759SClaudio Fontana seqlock_write_unlock(&timers_state.vm_clock_seqlock,
367740b1759SClaudio Fontana &timers_state.vm_clock_lock);
368740b1759SClaudio Fontana qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
369740b1759SClaudio Fontana } else {
370740b1759SClaudio Fontana /*
371740b1759SClaudio Fontana * We do stop VCPUs and only advance QEMU_CLOCK_VIRTUAL after some
372740b1759SClaudio Fontana * "real" time, (related to the time left until the next event) has
373740b1759SClaudio Fontana * passed. The QEMU_CLOCK_VIRTUAL_RT clock will do this.
374740b1759SClaudio Fontana * This avoids that the warps are visible externally; for example,
375740b1759SClaudio Fontana * you will not be sending network packets continuously instead of
376740b1759SClaudio Fontana * every 100ms.
377740b1759SClaudio Fontana */
378740b1759SClaudio Fontana seqlock_write_lock(&timers_state.vm_clock_seqlock,
379740b1759SClaudio Fontana &timers_state.vm_clock_lock);
380740b1759SClaudio Fontana if (timers_state.vm_clock_warp_start == -1
381740b1759SClaudio Fontana || timers_state.vm_clock_warp_start > clock) {
382740b1759SClaudio Fontana timers_state.vm_clock_warp_start = clock;
383740b1759SClaudio Fontana }
384740b1759SClaudio Fontana seqlock_write_unlock(&timers_state.vm_clock_seqlock,
385740b1759SClaudio Fontana &timers_state.vm_clock_lock);
386740b1759SClaudio Fontana timer_mod_anticipate(timers_state.icount_warp_timer,
387740b1759SClaudio Fontana clock + deadline);
388740b1759SClaudio Fontana }
389740b1759SClaudio Fontana } else if (deadline == 0) {
390740b1759SClaudio Fontana qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
391740b1759SClaudio Fontana }
392740b1759SClaudio Fontana }
393740b1759SClaudio Fontana
icount_account_warp_timer(void)3948191d368SClaudio Fontana void icount_account_warp_timer(void)
395740b1759SClaudio Fontana {
39645e077d7SClaudio Fontana if (!icount_sleep) {
397740b1759SClaudio Fontana return;
398740b1759SClaudio Fontana }
399740b1759SClaudio Fontana
400740b1759SClaudio Fontana /*
401740b1759SClaudio Fontana * Nothing to do if the VM is stopped: QEMU_CLOCK_VIRTUAL timers
402740b1759SClaudio Fontana * do not fire, so computing the deadline does not make sense.
403740b1759SClaudio Fontana */
404740b1759SClaudio Fontana if (!runstate_is_running()) {
405740b1759SClaudio Fontana return;
406740b1759SClaudio Fontana }
407740b1759SClaudio Fontana
40860618e2dSPavel Dovgalyuk replay_async_events();
40960618e2dSPavel Dovgalyuk
410740b1759SClaudio Fontana /* warp clock deterministically in record/replay mode */
411740b1759SClaudio Fontana if (!replay_checkpoint(CHECKPOINT_CLOCK_WARP_ACCOUNT)) {
412740b1759SClaudio Fontana return;
413740b1759SClaudio Fontana }
414740b1759SClaudio Fontana
415740b1759SClaudio Fontana timer_del(timers_state.icount_warp_timer);
416740b1759SClaudio Fontana icount_warp_rt();
417740b1759SClaudio Fontana }
418740b1759SClaudio Fontana
icount_configure(QemuOpts * opts,Error ** errp)419f07f2467SPhilippe Mathieu-Daudé bool icount_configure(QemuOpts *opts, Error **errp)
420740b1759SClaudio Fontana {
421740b1759SClaudio Fontana const char *option = qemu_opt_get(opts, "shift");
422740b1759SClaudio Fontana bool sleep = qemu_opt_get_bool(opts, "sleep", true);
423740b1759SClaudio Fontana bool align = qemu_opt_get_bool(opts, "align", false);
424740b1759SClaudio Fontana long time_shift = -1;
425740b1759SClaudio Fontana
426740b1759SClaudio Fontana if (!option) {
427740b1759SClaudio Fontana if (qemu_opt_get(opts, "align") != NULL) {
428740b1759SClaudio Fontana error_setg(errp, "Please specify shift option when using align");
429f07f2467SPhilippe Mathieu-Daudé return false;
430740b1759SClaudio Fontana }
431f07f2467SPhilippe Mathieu-Daudé return true;
432740b1759SClaudio Fontana }
433740b1759SClaudio Fontana
434740b1759SClaudio Fontana if (align && !sleep) {
435740b1759SClaudio Fontana error_setg(errp, "align=on and sleep=off are incompatible");
436f07f2467SPhilippe Mathieu-Daudé return false;
437740b1759SClaudio Fontana }
438740b1759SClaudio Fontana
439740b1759SClaudio Fontana if (strcmp(option, "auto") != 0) {
440740b1759SClaudio Fontana if (qemu_strtol(option, NULL, 0, &time_shift) < 0
441740b1759SClaudio Fontana || time_shift < 0 || time_shift > MAX_ICOUNT_SHIFT) {
442740b1759SClaudio Fontana error_setg(errp, "icount: Invalid shift value");
443f07f2467SPhilippe Mathieu-Daudé return false;
444740b1759SClaudio Fontana }
445740b1759SClaudio Fontana } else if (icount_align_option) {
446740b1759SClaudio Fontana error_setg(errp, "shift=auto and align=on are incompatible");
447f07f2467SPhilippe Mathieu-Daudé return false;
448740b1759SClaudio Fontana } else if (!icount_sleep) {
449740b1759SClaudio Fontana error_setg(errp, "shift=auto and sleep=off are incompatible");
450f07f2467SPhilippe Mathieu-Daudé return false;
451740b1759SClaudio Fontana }
452740b1759SClaudio Fontana
453740b1759SClaudio Fontana icount_sleep = sleep;
454740b1759SClaudio Fontana if (icount_sleep) {
455740b1759SClaudio Fontana timers_state.icount_warp_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL_RT,
456740b1759SClaudio Fontana icount_timer_cb, NULL);
457740b1759SClaudio Fontana }
458740b1759SClaudio Fontana
459740b1759SClaudio Fontana icount_align_option = align;
460740b1759SClaudio Fontana
461740b1759SClaudio Fontana if (time_shift >= 0) {
462740b1759SClaudio Fontana timers_state.icount_time_shift = time_shift;
463740b1759SClaudio Fontana icount_enable_precise();
464f07f2467SPhilippe Mathieu-Daudé return true;
465740b1759SClaudio Fontana }
466740b1759SClaudio Fontana
467740b1759SClaudio Fontana icount_enable_adaptive();
468740b1759SClaudio Fontana
469740b1759SClaudio Fontana /*
470740b1759SClaudio Fontana * 125MIPS seems a reasonable initial guess at the guest speed.
471740b1759SClaudio Fontana * It will be corrected fairly quickly anyway.
472740b1759SClaudio Fontana */
473740b1759SClaudio Fontana timers_state.icount_time_shift = 3;
474740b1759SClaudio Fontana
475740b1759SClaudio Fontana /*
476740b1759SClaudio Fontana * Have both realtime and virtual time triggers for speed adjustment.
477740b1759SClaudio Fontana * The realtime trigger catches emulated time passing too slowly,
478740b1759SClaudio Fontana * the virtual time trigger catches emulated time passing too fast.
479740b1759SClaudio Fontana * Realtime triggers occur even when idle, so use them less frequently
480740b1759SClaudio Fontana * than VM triggers.
481740b1759SClaudio Fontana */
482740b1759SClaudio Fontana timers_state.vm_clock_warp_start = -1;
483740b1759SClaudio Fontana timers_state.icount_rt_timer = timer_new_ms(QEMU_CLOCK_VIRTUAL_RT,
484740b1759SClaudio Fontana icount_adjust_rt, NULL);
485740b1759SClaudio Fontana timer_mod(timers_state.icount_rt_timer,
486740b1759SClaudio Fontana qemu_clock_get_ms(QEMU_CLOCK_VIRTUAL_RT) + 1000);
487740b1759SClaudio Fontana timers_state.icount_vm_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL,
488740b1759SClaudio Fontana icount_adjust_vm, NULL);
489740b1759SClaudio Fontana timer_mod(timers_state.icount_vm_timer,
490740b1759SClaudio Fontana qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) +
491740b1759SClaudio Fontana NANOSECONDS_PER_SECOND / 10);
492f07f2467SPhilippe Mathieu-Daudé return true;
493740b1759SClaudio Fontana }
49475bbe5e5SPavel Dovgalyuk
icount_notify_exit(void)49575bbe5e5SPavel Dovgalyuk void icount_notify_exit(void)
49675bbe5e5SPavel Dovgalyuk {
49772c603f8SPhilippe Mathieu-Daudé assert(icount_enabled());
49872c603f8SPhilippe Mathieu-Daudé
49972c603f8SPhilippe Mathieu-Daudé if (current_cpu) {
50075bbe5e5SPavel Dovgalyuk qemu_cpu_kick(current_cpu);
50175bbe5e5SPavel Dovgalyuk qemu_clock_notify(QEMU_CLOCK_VIRTUAL);
50275bbe5e5SPavel Dovgalyuk }
50375bbe5e5SPavel Dovgalyuk }
504