xref: /openbmc/qemu/accel/tcg/tcg-accel-ops-rr.c (revision ec08d9a51e6af3cd3edbdbf2ca6e97a1e2b5f0d1)
1b86f59c7SClaudio Fontana /*
2b86f59c7SClaudio Fontana  * QEMU TCG Single Threaded vCPUs implementation
3b86f59c7SClaudio Fontana  *
4b86f59c7SClaudio Fontana  * Copyright (c) 2003-2008 Fabrice Bellard
5b86f59c7SClaudio Fontana  * Copyright (c) 2014 Red Hat Inc.
6b86f59c7SClaudio Fontana  *
7b86f59c7SClaudio Fontana  * Permission is hereby granted, free of charge, to any person obtaining a copy
8b86f59c7SClaudio Fontana  * of this software and associated documentation files (the "Software"), to deal
9b86f59c7SClaudio Fontana  * in the Software without restriction, including without limitation the rights
10b86f59c7SClaudio Fontana  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11b86f59c7SClaudio Fontana  * copies of the Software, and to permit persons to whom the Software is
12b86f59c7SClaudio Fontana  * furnished to do so, subject to the following conditions:
13b86f59c7SClaudio Fontana  *
14b86f59c7SClaudio Fontana  * The above copyright notice and this permission notice shall be included in
15b86f59c7SClaudio Fontana  * all copies or substantial portions of the Software.
16b86f59c7SClaudio Fontana  *
17b86f59c7SClaudio Fontana  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18b86f59c7SClaudio Fontana  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19b86f59c7SClaudio Fontana  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20b86f59c7SClaudio Fontana  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21b86f59c7SClaudio Fontana  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22b86f59c7SClaudio Fontana  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23b86f59c7SClaudio Fontana  * THE SOFTWARE.
24b86f59c7SClaudio Fontana  */
25b86f59c7SClaudio Fontana 
26b86f59c7SClaudio Fontana #include "qemu/osdep.h"
2783ecdb18SJamie Iles #include "qemu/lockable.h"
28b86f59c7SClaudio Fontana #include "sysemu/tcg.h"
29b86f59c7SClaudio Fontana #include "sysemu/replay.h"
3003ff4f8dSPhilippe Mathieu-Daudé #include "sysemu/cpu-timers.h"
31b86f59c7SClaudio Fontana #include "qemu/main-loop.h"
32dd47a8f6SGreg Kurz #include "qemu/notify.h"
33b86f59c7SClaudio Fontana #include "qemu/guest-random.h"
34b86f59c7SClaudio Fontana #include "exec/exec-all.h"
35d7ec12f8SRichard Henderson #include "tcg/startup.h"
36b86f59c7SClaudio Fontana #include "tcg-accel-ops.h"
37b86f59c7SClaudio Fontana #include "tcg-accel-ops-rr.h"
38b86f59c7SClaudio Fontana #include "tcg-accel-ops-icount.h"
39b86f59c7SClaudio Fontana 
40b86f59c7SClaudio Fontana /* Kick all RR vCPUs */
rr_kick_vcpu_thread(CPUState * unused)41b86f59c7SClaudio Fontana void rr_kick_vcpu_thread(CPUState *unused)
42b86f59c7SClaudio Fontana {
43b86f59c7SClaudio Fontana     CPUState *cpu;
44b86f59c7SClaudio Fontana 
45b86f59c7SClaudio Fontana     CPU_FOREACH(cpu) {
46b86f59c7SClaudio Fontana         cpu_exit(cpu);
47b86f59c7SClaudio Fontana     };
48b86f59c7SClaudio Fontana }
49b86f59c7SClaudio Fontana 
50b86f59c7SClaudio Fontana /*
51b86f59c7SClaudio Fontana  * TCG vCPU kick timer
52b86f59c7SClaudio Fontana  *
53b86f59c7SClaudio Fontana  * The kick timer is responsible for moving single threaded vCPU
54b86f59c7SClaudio Fontana  * emulation on to the next vCPU. If more than one vCPU is running a
55046ab3b8SMatheus Tavares Bernardino  * timer event we force a cpu->exit so the next vCPU can get
56b86f59c7SClaudio Fontana  * scheduled.
57b86f59c7SClaudio Fontana  *
58b86f59c7SClaudio Fontana  * The timer is removed if all vCPUs are idle and restarted again once
59b86f59c7SClaudio Fontana  * idleness is complete.
60b86f59c7SClaudio Fontana  */
61b86f59c7SClaudio Fontana 
62b86f59c7SClaudio Fontana static QEMUTimer *rr_kick_vcpu_timer;
63b86f59c7SClaudio Fontana static CPUState *rr_current_cpu;
64b86f59c7SClaudio Fontana 
rr_next_kick_time(void)65b86f59c7SClaudio Fontana static inline int64_t rr_next_kick_time(void)
66b86f59c7SClaudio Fontana {
67b86f59c7SClaudio Fontana     return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) + TCG_KICK_PERIOD;
68b86f59c7SClaudio Fontana }
69b86f59c7SClaudio Fontana 
70b86f59c7SClaudio Fontana /* Kick the currently round-robin scheduled vCPU to next */
rr_kick_next_cpu(void)71b86f59c7SClaudio Fontana static void rr_kick_next_cpu(void)
72b86f59c7SClaudio Fontana {
73b86f59c7SClaudio Fontana     CPUState *cpu;
74b86f59c7SClaudio Fontana     do {
752e739529SPaolo Bonzini         cpu = qatomic_read(&rr_current_cpu);
76b86f59c7SClaudio Fontana         if (cpu) {
77b86f59c7SClaudio Fontana             cpu_exit(cpu);
78b86f59c7SClaudio Fontana         }
792e739529SPaolo Bonzini         /* Finish kicking this cpu before reading again.  */
802e739529SPaolo Bonzini         smp_mb();
812e739529SPaolo Bonzini     } while (cpu != qatomic_read(&rr_current_cpu));
82b86f59c7SClaudio Fontana }
83b86f59c7SClaudio Fontana 
rr_kick_thread(void * opaque)84b86f59c7SClaudio Fontana static void rr_kick_thread(void *opaque)
85b86f59c7SClaudio Fontana {
86b86f59c7SClaudio Fontana     timer_mod(rr_kick_vcpu_timer, rr_next_kick_time());
87b86f59c7SClaudio Fontana     rr_kick_next_cpu();
88b86f59c7SClaudio Fontana }
89b86f59c7SClaudio Fontana 
rr_start_kick_timer(void)90b86f59c7SClaudio Fontana static void rr_start_kick_timer(void)
91b86f59c7SClaudio Fontana {
92b86f59c7SClaudio Fontana     if (!rr_kick_vcpu_timer && CPU_NEXT(first_cpu)) {
93b86f59c7SClaudio Fontana         rr_kick_vcpu_timer = timer_new_ns(QEMU_CLOCK_VIRTUAL,
94b86f59c7SClaudio Fontana                                            rr_kick_thread, NULL);
95b86f59c7SClaudio Fontana     }
96b86f59c7SClaudio Fontana     if (rr_kick_vcpu_timer && !timer_pending(rr_kick_vcpu_timer)) {
97b86f59c7SClaudio Fontana         timer_mod(rr_kick_vcpu_timer, rr_next_kick_time());
98b86f59c7SClaudio Fontana     }
99b86f59c7SClaudio Fontana }
100b86f59c7SClaudio Fontana 
rr_stop_kick_timer(void)101b86f59c7SClaudio Fontana static void rr_stop_kick_timer(void)
102b86f59c7SClaudio Fontana {
103b86f59c7SClaudio Fontana     if (rr_kick_vcpu_timer && timer_pending(rr_kick_vcpu_timer)) {
104b86f59c7SClaudio Fontana         timer_del(rr_kick_vcpu_timer);
105b86f59c7SClaudio Fontana     }
106b86f59c7SClaudio Fontana }
107b86f59c7SClaudio Fontana 
rr_wait_io_event(void)108b86f59c7SClaudio Fontana static void rr_wait_io_event(void)
109b86f59c7SClaudio Fontana {
110b86f59c7SClaudio Fontana     CPUState *cpu;
111b86f59c7SClaudio Fontana 
11294962ff0SNicholas Piggin     while (all_cpu_threads_idle()) {
113b86f59c7SClaudio Fontana         rr_stop_kick_timer();
1147c754c78SStefan Hajnoczi         qemu_cond_wait_bql(first_cpu->halt_cond);
115b86f59c7SClaudio Fontana     }
116b86f59c7SClaudio Fontana 
117b86f59c7SClaudio Fontana     rr_start_kick_timer();
118b86f59c7SClaudio Fontana 
119b86f59c7SClaudio Fontana     CPU_FOREACH(cpu) {
120b86f59c7SClaudio Fontana         qemu_wait_io_event_common(cpu);
121b86f59c7SClaudio Fontana     }
122b86f59c7SClaudio Fontana }
123b86f59c7SClaudio Fontana 
124b86f59c7SClaudio Fontana /*
125b86f59c7SClaudio Fontana  * Destroy any remaining vCPUs which have been unplugged and have
126b86f59c7SClaudio Fontana  * finished running
127b86f59c7SClaudio Fontana  */
rr_deal_with_unplugged_cpus(void)128b86f59c7SClaudio Fontana static void rr_deal_with_unplugged_cpus(void)
129b86f59c7SClaudio Fontana {
130b86f59c7SClaudio Fontana     CPUState *cpu;
131b86f59c7SClaudio Fontana 
132b86f59c7SClaudio Fontana     CPU_FOREACH(cpu) {
133b86f59c7SClaudio Fontana         if (cpu->unplug && !cpu_can_run(cpu)) {
134cca2f62eSPhilippe Mathieu-Daudé             tcg_cpu_destroy(cpu);
135b86f59c7SClaudio Fontana             break;
136b86f59c7SClaudio Fontana         }
137b86f59c7SClaudio Fontana     }
138b86f59c7SClaudio Fontana }
139b86f59c7SClaudio Fontana 
rr_force_rcu(Notifier * notify,void * data)140dd47a8f6SGreg Kurz static void rr_force_rcu(Notifier *notify, void *data)
141dd47a8f6SGreg Kurz {
142dd47a8f6SGreg Kurz     rr_kick_next_cpu();
143dd47a8f6SGreg Kurz }
144dd47a8f6SGreg Kurz 
145b86f59c7SClaudio Fontana /*
14683ecdb18SJamie Iles  * Calculate the number of CPUs that we will process in a single iteration of
14783ecdb18SJamie Iles  * the main CPU thread loop so that we can fairly distribute the instruction
14883ecdb18SJamie Iles  * count across CPUs.
14983ecdb18SJamie Iles  *
15083ecdb18SJamie Iles  * The CPU count is cached based on the CPU list generation ID to avoid
15183ecdb18SJamie Iles  * iterating the list every time.
15283ecdb18SJamie Iles  */
rr_cpu_count(void)15383ecdb18SJamie Iles static int rr_cpu_count(void)
15483ecdb18SJamie Iles {
15583ecdb18SJamie Iles     static unsigned int last_gen_id = ~0;
15683ecdb18SJamie Iles     static int cpu_count;
15783ecdb18SJamie Iles     CPUState *cpu;
15883ecdb18SJamie Iles 
15983ecdb18SJamie Iles     QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
16083ecdb18SJamie Iles 
16183ecdb18SJamie Iles     if (cpu_list_generation_id_get() != last_gen_id) {
16283ecdb18SJamie Iles         cpu_count = 0;
16383ecdb18SJamie Iles         CPU_FOREACH(cpu) {
16483ecdb18SJamie Iles             ++cpu_count;
16583ecdb18SJamie Iles         }
16683ecdb18SJamie Iles         last_gen_id = cpu_list_generation_id_get();
16783ecdb18SJamie Iles     }
16883ecdb18SJamie Iles 
16983ecdb18SJamie Iles     return cpu_count;
17083ecdb18SJamie Iles }
17183ecdb18SJamie Iles 
17283ecdb18SJamie Iles /*
173b86f59c7SClaudio Fontana  * In the single-threaded case each vCPU is simulated in turn. If
174b86f59c7SClaudio Fontana  * there is more than a single vCPU we create a simple timer to kick
175b86f59c7SClaudio Fontana  * the vCPU and ensure we don't get stuck in a tight loop in one vCPU.
176b86f59c7SClaudio Fontana  * This is done explicitly rather than relying on side-effects
177b86f59c7SClaudio Fontana  * elsewhere.
178b86f59c7SClaudio Fontana  */
179b86f59c7SClaudio Fontana 
rr_cpu_thread_fn(void * arg)180b86f59c7SClaudio Fontana static void *rr_cpu_thread_fn(void *arg)
181b86f59c7SClaudio Fontana {
182dd47a8f6SGreg Kurz     Notifier force_rcu;
183b86f59c7SClaudio Fontana     CPUState *cpu = arg;
184b86f59c7SClaudio Fontana 
1850585105cSPeter Maydell     assert(tcg_enabled());
186b86f59c7SClaudio Fontana     rcu_register_thread();
187dd47a8f6SGreg Kurz     force_rcu.notify = rr_force_rcu;
188dd47a8f6SGreg Kurz     rcu_add_force_rcu_notifier(&force_rcu);
189b86f59c7SClaudio Fontana     tcg_register_thread();
190b86f59c7SClaudio Fontana 
191195801d7SStefan Hajnoczi     bql_lock();
192b86f59c7SClaudio Fontana     qemu_thread_get_self(cpu->thread);
193b86f59c7SClaudio Fontana 
194b86f59c7SClaudio Fontana     cpu->thread_id = qemu_get_thread_id();
195464dacf6SRichard Henderson     cpu->neg.can_do_io = true;
196b86f59c7SClaudio Fontana     cpu_thread_signal_created(cpu);
197b86f59c7SClaudio Fontana     qemu_guest_random_seed_thread_part2(cpu->random_seed);
198b86f59c7SClaudio Fontana 
199b86f59c7SClaudio Fontana     /* wait for initial kick-off after machine start */
200b86f59c7SClaudio Fontana     while (first_cpu->stopped) {
2017c754c78SStefan Hajnoczi         qemu_cond_wait_bql(first_cpu->halt_cond);
202b86f59c7SClaudio Fontana 
203b86f59c7SClaudio Fontana         /* process any pending work */
204b86f59c7SClaudio Fontana         CPU_FOREACH(cpu) {
205b86f59c7SClaudio Fontana             current_cpu = cpu;
206b86f59c7SClaudio Fontana             qemu_wait_io_event_common(cpu);
207b86f59c7SClaudio Fontana         }
208b86f59c7SClaudio Fontana     }
209b86f59c7SClaudio Fontana 
210b86f59c7SClaudio Fontana     rr_start_kick_timer();
211b86f59c7SClaudio Fontana 
212b86f59c7SClaudio Fontana     cpu = first_cpu;
213b86f59c7SClaudio Fontana 
214b86f59c7SClaudio Fontana     /* process any pending work */
215b86f59c7SClaudio Fontana     cpu->exit_request = 1;
216b86f59c7SClaudio Fontana 
217b86f59c7SClaudio Fontana     while (1) {
21883ecdb18SJamie Iles         /* Only used for icount_enabled() */
21983ecdb18SJamie Iles         int64_t cpu_budget = 0;
22083ecdb18SJamie Iles 
221195801d7SStefan Hajnoczi         bql_unlock();
222b86f59c7SClaudio Fontana         replay_mutex_lock();
223195801d7SStefan Hajnoczi         bql_lock();
224b86f59c7SClaudio Fontana 
225b86f59c7SClaudio Fontana         if (icount_enabled()) {
22683ecdb18SJamie Iles             int cpu_count = rr_cpu_count();
22783ecdb18SJamie Iles 
228b86f59c7SClaudio Fontana             /* Account partial waits to QEMU_CLOCK_VIRTUAL.  */
229b86f59c7SClaudio Fontana             icount_account_warp_timer();
230b86f59c7SClaudio Fontana             /*
231b86f59c7SClaudio Fontana              * Run the timers here.  This is much more efficient than
232b86f59c7SClaudio Fontana              * waking up the I/O thread and waiting for completion.
233b86f59c7SClaudio Fontana              */
234b86f59c7SClaudio Fontana             icount_handle_deadline();
23583ecdb18SJamie Iles 
23683ecdb18SJamie Iles             cpu_budget = icount_percpu_budget(cpu_count);
237b86f59c7SClaudio Fontana         }
238b86f59c7SClaudio Fontana 
239b86f59c7SClaudio Fontana         replay_mutex_unlock();
240b86f59c7SClaudio Fontana 
241b86f59c7SClaudio Fontana         if (!cpu) {
242b86f59c7SClaudio Fontana             cpu = first_cpu;
243b86f59c7SClaudio Fontana         }
244b86f59c7SClaudio Fontana 
245b86f59c7SClaudio Fontana         while (cpu && cpu_work_list_empty(cpu) && !cpu->exit_request) {
2462e739529SPaolo Bonzini             /* Store rr_current_cpu before evaluating cpu_can_run().  */
24706831001SPaolo Bonzini             qatomic_set_mb(&rr_current_cpu, cpu);
2482e739529SPaolo Bonzini 
249b86f59c7SClaudio Fontana             current_cpu = cpu;
250b86f59c7SClaudio Fontana 
251b86f59c7SClaudio Fontana             qemu_clock_enable(QEMU_CLOCK_VIRTUAL,
252b86f59c7SClaudio Fontana                               (cpu->singlestep_enabled & SSTEP_NOTIMER) == 0);
253b86f59c7SClaudio Fontana 
254b86f59c7SClaudio Fontana             if (cpu_can_run(cpu)) {
255b86f59c7SClaudio Fontana                 int r;
256b86f59c7SClaudio Fontana 
257195801d7SStefan Hajnoczi                 bql_unlock();
258b86f59c7SClaudio Fontana                 if (icount_enabled()) {
25983ecdb18SJamie Iles                     icount_prepare_for_run(cpu, cpu_budget);
260b86f59c7SClaudio Fontana                 }
261f4cf2ef9SPhilippe Mathieu-Daudé                 r = tcg_cpu_exec(cpu);
262b86f59c7SClaudio Fontana                 if (icount_enabled()) {
263b86f59c7SClaudio Fontana                     icount_process_data(cpu);
264b86f59c7SClaudio Fontana                 }
265195801d7SStefan Hajnoczi                 bql_lock();
266b86f59c7SClaudio Fontana 
267b86f59c7SClaudio Fontana                 if (r == EXCP_DEBUG) {
268b86f59c7SClaudio Fontana                     cpu_handle_guest_debug(cpu);
269b86f59c7SClaudio Fontana                     break;
270b86f59c7SClaudio Fontana                 } else if (r == EXCP_ATOMIC) {
271195801d7SStefan Hajnoczi                     bql_unlock();
272b86f59c7SClaudio Fontana                     cpu_exec_step_atomic(cpu);
273195801d7SStefan Hajnoczi                     bql_lock();
274b86f59c7SClaudio Fontana                     break;
275b86f59c7SClaudio Fontana                 }
276b86f59c7SClaudio Fontana             } else if (cpu->stop) {
277b86f59c7SClaudio Fontana                 if (cpu->unplug) {
278b86f59c7SClaudio Fontana                     cpu = CPU_NEXT(cpu);
279b86f59c7SClaudio Fontana                 }
280b86f59c7SClaudio Fontana                 break;
281b86f59c7SClaudio Fontana             }
282b86f59c7SClaudio Fontana 
283b86f59c7SClaudio Fontana             cpu = CPU_NEXT(cpu);
284b86f59c7SClaudio Fontana         } /* while (cpu && !cpu->exit_request).. */
285b86f59c7SClaudio Fontana 
2862e739529SPaolo Bonzini         /* Does not need a memory barrier because a spurious wakeup is okay.  */
287b86f59c7SClaudio Fontana         qatomic_set(&rr_current_cpu, NULL);
288b86f59c7SClaudio Fontana 
289b86f59c7SClaudio Fontana         if (cpu && cpu->exit_request) {
29006831001SPaolo Bonzini             qatomic_set_mb(&cpu->exit_request, 0);
291b86f59c7SClaudio Fontana         }
292b86f59c7SClaudio Fontana 
293b86f59c7SClaudio Fontana         if (icount_enabled() && all_cpu_threads_idle()) {
294b86f59c7SClaudio Fontana             /*
295b86f59c7SClaudio Fontana              * When all cpus are sleeping (e.g in WFI), to avoid a deadlock
296b86f59c7SClaudio Fontana              * in the main_loop, wake it up in order to start the warp timer.
297b86f59c7SClaudio Fontana              */
298b86f59c7SClaudio Fontana             qemu_notify_event();
299b86f59c7SClaudio Fontana         }
300b86f59c7SClaudio Fontana 
301b86f59c7SClaudio Fontana         rr_wait_io_event();
302b86f59c7SClaudio Fontana         rr_deal_with_unplugged_cpus();
303b86f59c7SClaudio Fontana     }
304b86f59c7SClaudio Fontana 
305*da7510b7SPeter Maydell     g_assert_not_reached();
306b86f59c7SClaudio Fontana }
307b86f59c7SClaudio Fontana 
rr_start_vcpu_thread(CPUState * cpu)308b86f59c7SClaudio Fontana void rr_start_vcpu_thread(CPUState *cpu)
309b86f59c7SClaudio Fontana {
310b86f59c7SClaudio Fontana     char thread_name[VCPU_THREAD_NAME_SIZE];
311b86f59c7SClaudio Fontana     static QemuCond *single_tcg_halt_cond;
312b86f59c7SClaudio Fontana     static QemuThread *single_tcg_cpu_thread;
313b86f59c7SClaudio Fontana 
3140585105cSPeter Maydell     g_assert(tcg_enabled());
3150585105cSPeter Maydell     tcg_cpu_init_cflags(cpu, false);
3160585105cSPeter Maydell 
317b86f59c7SClaudio Fontana     if (!single_tcg_cpu_thread) {
318a4c2735fSAlex Bennée         single_tcg_halt_cond = cpu->halt_cond;
319a4c2735fSAlex Bennée         single_tcg_cpu_thread = cpu->thread;
320b86f59c7SClaudio Fontana 
321b86f59c7SClaudio Fontana         /* share a single thread for all cpus with TCG */
322b86f59c7SClaudio Fontana         snprintf(thread_name, VCPU_THREAD_NAME_SIZE, "ALL CPUs/TCG");
323b86f59c7SClaudio Fontana         qemu_thread_create(cpu->thread, thread_name,
324b86f59c7SClaudio Fontana                            rr_cpu_thread_fn,
325b86f59c7SClaudio Fontana                            cpu, QEMU_THREAD_JOINABLE);
326b86f59c7SClaudio Fontana     } else {
327a4c2735fSAlex Bennée         /* we share the thread, dump spare data */
328a4c2735fSAlex Bennée         g_free(cpu->thread);
329a4c2735fSAlex Bennée         qemu_cond_destroy(cpu->halt_cond);
3302b5d12b6SMatheus Tavares Bernardino         g_free(cpu->halt_cond);
331b86f59c7SClaudio Fontana         cpu->thread = single_tcg_cpu_thread;
332b86f59c7SClaudio Fontana         cpu->halt_cond = single_tcg_halt_cond;
333a4c2735fSAlex Bennée 
334a4c2735fSAlex Bennée         /* copy the stuff done at start of rr_cpu_thread_fn */
335b86f59c7SClaudio Fontana         cpu->thread_id = first_cpu->thread_id;
336464dacf6SRichard Henderson         cpu->neg.can_do_io = 1;
337b86f59c7SClaudio Fontana         cpu->created = true;
338b86f59c7SClaudio Fontana     }
339b86f59c7SClaudio Fontana }
340