1267f685bSPaolo Bonzini /*
2267f685bSPaolo Bonzini * CPU thread main loop - common bits for user and system mode emulation
3267f685bSPaolo Bonzini *
4267f685bSPaolo Bonzini * Copyright (c) 2003-2005 Fabrice Bellard
5267f685bSPaolo Bonzini *
6267f685bSPaolo Bonzini * This library is free software; you can redistribute it and/or
7267f685bSPaolo Bonzini * modify it under the terms of the GNU Lesser General Public
8267f685bSPaolo Bonzini * License as published by the Free Software Foundation; either
9d6ea4236SChetan Pant * version 2.1 of the License, or (at your option) any later version.
10267f685bSPaolo Bonzini *
11267f685bSPaolo Bonzini * This library is distributed in the hope that it will be useful,
12267f685bSPaolo Bonzini * but WITHOUT ANY WARRANTY; without even the implied warranty of
13267f685bSPaolo Bonzini * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14267f685bSPaolo Bonzini * Lesser General Public License for more details.
15267f685bSPaolo Bonzini *
16267f685bSPaolo Bonzini * You should have received a copy of the GNU Lesser General Public
17267f685bSPaolo Bonzini * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18267f685bSPaolo Bonzini */
19267f685bSPaolo Bonzini
20267f685bSPaolo Bonzini #include "qemu/osdep.h"
2153f5ed95SPaolo Bonzini #include "qemu/main-loop.h"
22267f685bSPaolo Bonzini #include "exec/cpu-common.h"
232e5b09fdSMarkus Armbruster #include "hw/core/cpu.h"
246e8a355dSDaniel Brodsky #include "qemu/lockable.h"
258a8dc267SPhilippe Mathieu-Daudé #include "trace/trace-root.h"
26267f685bSPaolo Bonzini
27370ed600SJamie Iles QemuMutex qemu_cpu_list_lock;
28ab129972SPaolo Bonzini static QemuCond exclusive_cond;
29ab129972SPaolo Bonzini static QemuCond exclusive_resume;
30d148d90eSSergey Fedorov static QemuCond qemu_work_cond;
31267f685bSPaolo Bonzini
32c265e976SPaolo Bonzini /* >= 1 if a thread is inside start_exclusive/end_exclusive. Written
33c265e976SPaolo Bonzini * under qemu_cpu_list_lock, read with atomic operations.
34c265e976SPaolo Bonzini */
35ab129972SPaolo Bonzini static int pending_cpus;
36ab129972SPaolo Bonzini
qemu_init_cpu_list(void)37267f685bSPaolo Bonzini void qemu_init_cpu_list(void)
38267f685bSPaolo Bonzini {
39ab129972SPaolo Bonzini /* This is needed because qemu_init_cpu_list is also called by the
40ab129972SPaolo Bonzini * child process in a fork. */
41ab129972SPaolo Bonzini pending_cpus = 0;
42ab129972SPaolo Bonzini
43267f685bSPaolo Bonzini qemu_mutex_init(&qemu_cpu_list_lock);
44ab129972SPaolo Bonzini qemu_cond_init(&exclusive_cond);
45ab129972SPaolo Bonzini qemu_cond_init(&exclusive_resume);
46d148d90eSSergey Fedorov qemu_cond_init(&qemu_work_cond);
47267f685bSPaolo Bonzini }
48267f685bSPaolo Bonzini
cpu_list_lock(void)49267f685bSPaolo Bonzini void cpu_list_lock(void)
50267f685bSPaolo Bonzini {
51267f685bSPaolo Bonzini qemu_mutex_lock(&qemu_cpu_list_lock);
52267f685bSPaolo Bonzini }
53267f685bSPaolo Bonzini
cpu_list_unlock(void)54267f685bSPaolo Bonzini void cpu_list_unlock(void)
55267f685bSPaolo Bonzini {
56267f685bSPaolo Bonzini qemu_mutex_unlock(&qemu_cpu_list_lock);
57267f685bSPaolo Bonzini }
58267f685bSPaolo Bonzini
59267f685bSPaolo Bonzini
cpu_get_free_index(void)6018530e7cSHarsh Prateek Bora int cpu_get_free_index(void)
61267f685bSPaolo Bonzini {
62267f685bSPaolo Bonzini CPUState *some_cpu;
63716386e3SAlex Bennée int max_cpu_index = 0;
64267f685bSPaolo Bonzini
65267f685bSPaolo Bonzini CPU_FOREACH(some_cpu) {
66716386e3SAlex Bennée if (some_cpu->cpu_index >= max_cpu_index) {
67716386e3SAlex Bennée max_cpu_index = some_cpu->cpu_index + 1;
68267f685bSPaolo Bonzini }
69716386e3SAlex Bennée }
70716386e3SAlex Bennée return max_cpu_index;
71267f685bSPaolo Bonzini }
72267f685bSPaolo Bonzini
733c55dd58SPhilippe Mathieu-Daudé CPUTailQ cpus_queue = QTAILQ_HEAD_INITIALIZER(cpus_queue);
74ab1a161fSHyman Huang(黄勇) static unsigned int cpu_list_generation_id;
75ab1a161fSHyman Huang(黄勇)
cpu_list_generation_id_get(void)76ab1a161fSHyman Huang(黄勇) unsigned int cpu_list_generation_id_get(void)
77ab1a161fSHyman Huang(黄勇) {
78ab1a161fSHyman Huang(黄勇) return cpu_list_generation_id;
79ab1a161fSHyman Huang(黄勇) }
80421a75e2SPhilippe Mathieu-Daudé
cpu_list_add(CPUState * cpu)81267f685bSPaolo Bonzini void cpu_list_add(CPUState *cpu)
82267f685bSPaolo Bonzini {
8318530e7cSHarsh Prateek Bora static bool cpu_index_auto_assigned;
8418530e7cSHarsh Prateek Bora
856e8a355dSDaniel Brodsky QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
86267f685bSPaolo Bonzini if (cpu->cpu_index == UNASSIGNED_CPU_INDEX) {
8718530e7cSHarsh Prateek Bora cpu_index_auto_assigned = true;
88267f685bSPaolo Bonzini cpu->cpu_index = cpu_get_free_index();
89267f685bSPaolo Bonzini assert(cpu->cpu_index != UNASSIGNED_CPU_INDEX);
90267f685bSPaolo Bonzini } else {
91267f685bSPaolo Bonzini assert(!cpu_index_auto_assigned);
92267f685bSPaolo Bonzini }
933c55dd58SPhilippe Mathieu-Daudé QTAILQ_INSERT_TAIL_RCU(&cpus_queue, cpu, node);
94ab1a161fSHyman Huang(黄勇) cpu_list_generation_id++;
95267f685bSPaolo Bonzini }
96267f685bSPaolo Bonzini
cpu_list_remove(CPUState * cpu)97267f685bSPaolo Bonzini void cpu_list_remove(CPUState *cpu)
98267f685bSPaolo Bonzini {
996e8a355dSDaniel Brodsky QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
100267f685bSPaolo Bonzini if (!QTAILQ_IN_USE(cpu, node)) {
101267f685bSPaolo Bonzini /* there is nothing to undo since cpu_exec_init() hasn't been called */
102267f685bSPaolo Bonzini return;
103267f685bSPaolo Bonzini }
104267f685bSPaolo Bonzini
1053c55dd58SPhilippe Mathieu-Daudé QTAILQ_REMOVE_RCU(&cpus_queue, cpu, node);
106267f685bSPaolo Bonzini cpu->cpu_index = UNASSIGNED_CPU_INDEX;
107ab1a161fSHyman Huang(黄勇) cpu_list_generation_id++;
108267f685bSPaolo Bonzini }
109d148d90eSSergey Fedorov
qemu_get_cpu(int index)110421a75e2SPhilippe Mathieu-Daudé CPUState *qemu_get_cpu(int index)
111421a75e2SPhilippe Mathieu-Daudé {
112421a75e2SPhilippe Mathieu-Daudé CPUState *cpu;
113421a75e2SPhilippe Mathieu-Daudé
114421a75e2SPhilippe Mathieu-Daudé CPU_FOREACH(cpu) {
115421a75e2SPhilippe Mathieu-Daudé if (cpu->cpu_index == index) {
116421a75e2SPhilippe Mathieu-Daudé return cpu;
117421a75e2SPhilippe Mathieu-Daudé }
118421a75e2SPhilippe Mathieu-Daudé }
119421a75e2SPhilippe Mathieu-Daudé
120421a75e2SPhilippe Mathieu-Daudé return NULL;
121421a75e2SPhilippe Mathieu-Daudé }
122421a75e2SPhilippe Mathieu-Daudé
123421a75e2SPhilippe Mathieu-Daudé /* current CPU in the current thread. It is only valid inside cpu_exec() */
124421a75e2SPhilippe Mathieu-Daudé __thread CPUState *current_cpu;
125421a75e2SPhilippe Mathieu-Daudé
126d148d90eSSergey Fedorov struct qemu_work_item {
1270c0fcc20SEmilio G. Cota QSIMPLEQ_ENTRY(qemu_work_item) node;
128d148d90eSSergey Fedorov run_on_cpu_func func;
12914e6fe12SPaolo Bonzini run_on_cpu_data data;
13053f5ed95SPaolo Bonzini bool free, exclusive, done;
131d148d90eSSergey Fedorov };
132d148d90eSSergey Fedorov
queue_work_on_cpu(CPUState * cpu,struct qemu_work_item * wi)133d148d90eSSergey Fedorov static void queue_work_on_cpu(CPUState *cpu, struct qemu_work_item *wi)
134d148d90eSSergey Fedorov {
135d148d90eSSergey Fedorov qemu_mutex_lock(&cpu->work_mutex);
1360c0fcc20SEmilio G. Cota QSIMPLEQ_INSERT_TAIL(&cpu->work_list, wi, node);
137d148d90eSSergey Fedorov wi->done = false;
138d148d90eSSergey Fedorov qemu_mutex_unlock(&cpu->work_mutex);
139d148d90eSSergey Fedorov
140d148d90eSSergey Fedorov qemu_cpu_kick(cpu);
141d148d90eSSergey Fedorov }
142d148d90eSSergey Fedorov
do_run_on_cpu(CPUState * cpu,run_on_cpu_func func,run_on_cpu_data data,QemuMutex * mutex)14314e6fe12SPaolo Bonzini void do_run_on_cpu(CPUState *cpu, run_on_cpu_func func, run_on_cpu_data data,
144d148d90eSSergey Fedorov QemuMutex *mutex)
145d148d90eSSergey Fedorov {
146d148d90eSSergey Fedorov struct qemu_work_item wi;
147d148d90eSSergey Fedorov
148d148d90eSSergey Fedorov if (qemu_cpu_is_self(cpu)) {
149d148d90eSSergey Fedorov func(cpu, data);
150d148d90eSSergey Fedorov return;
151d148d90eSSergey Fedorov }
152d148d90eSSergey Fedorov
153d148d90eSSergey Fedorov wi.func = func;
154d148d90eSSergey Fedorov wi.data = data;
1550e55539cSPaolo Bonzini wi.done = false;
156d148d90eSSergey Fedorov wi.free = false;
15753f5ed95SPaolo Bonzini wi.exclusive = false;
158d148d90eSSergey Fedorov
159d148d90eSSergey Fedorov queue_work_on_cpu(cpu, &wi);
16042abcc58SPaolo Bonzini while (!qatomic_load_acquire(&wi.done)) {
161d148d90eSSergey Fedorov CPUState *self_cpu = current_cpu;
162d148d90eSSergey Fedorov
163d148d90eSSergey Fedorov qemu_cond_wait(&qemu_work_cond, mutex);
164d148d90eSSergey Fedorov current_cpu = self_cpu;
165d148d90eSSergey Fedorov }
166d148d90eSSergey Fedorov }
167d148d90eSSergey Fedorov
async_run_on_cpu(CPUState * cpu,run_on_cpu_func func,run_on_cpu_data data)16814e6fe12SPaolo Bonzini void async_run_on_cpu(CPUState *cpu, run_on_cpu_func func, run_on_cpu_data data)
169d148d90eSSergey Fedorov {
170d148d90eSSergey Fedorov struct qemu_work_item *wi;
171d148d90eSSergey Fedorov
172b21e2380SMarkus Armbruster wi = g_new0(struct qemu_work_item, 1);
173d148d90eSSergey Fedorov wi->func = func;
174d148d90eSSergey Fedorov wi->data = data;
175d148d90eSSergey Fedorov wi->free = true;
176d148d90eSSergey Fedorov
177d148d90eSSergey Fedorov queue_work_on_cpu(cpu, wi);
178d148d90eSSergey Fedorov }
179d148d90eSSergey Fedorov
180ab129972SPaolo Bonzini /* Wait for pending exclusive operations to complete. The CPU list lock
181ab129972SPaolo Bonzini must be held. */
exclusive_idle(void)182ab129972SPaolo Bonzini static inline void exclusive_idle(void)
183ab129972SPaolo Bonzini {
184ab129972SPaolo Bonzini while (pending_cpus) {
185ab129972SPaolo Bonzini qemu_cond_wait(&exclusive_resume, &qemu_cpu_list_lock);
186ab129972SPaolo Bonzini }
187ab129972SPaolo Bonzini }
188ab129972SPaolo Bonzini
189ab129972SPaolo Bonzini /* Start an exclusive operation.
190758e1b2bSPaolo Bonzini Must only be called from outside cpu_exec. */
start_exclusive(void)191ab129972SPaolo Bonzini void start_exclusive(void)
192ab129972SPaolo Bonzini {
193ab129972SPaolo Bonzini CPUState *other_cpu;
194c265e976SPaolo Bonzini int running_cpus;
195ab129972SPaolo Bonzini
196779f30a0SPierrick Bouvier /* Ensure we are not running, or start_exclusive will be blocked. */
197779f30a0SPierrick Bouvier g_assert(!current_cpu->running);
198779f30a0SPierrick Bouvier
199df8a6880SIlya Leoshkevich if (current_cpu->exclusive_context_count) {
200df8a6880SIlya Leoshkevich current_cpu->exclusive_context_count++;
201df8a6880SIlya Leoshkevich return;
202df8a6880SIlya Leoshkevich }
203df8a6880SIlya Leoshkevich
204ab129972SPaolo Bonzini qemu_mutex_lock(&qemu_cpu_list_lock);
205ab129972SPaolo Bonzini exclusive_idle();
206ab129972SPaolo Bonzini
207ab129972SPaolo Bonzini /* Make all other cpus stop executing. */
208d73415a3SStefan Hajnoczi qatomic_set(&pending_cpus, 1);
209c265e976SPaolo Bonzini
210c265e976SPaolo Bonzini /* Write pending_cpus before reading other_cpu->running. */
211c265e976SPaolo Bonzini smp_mb();
212c265e976SPaolo Bonzini running_cpus = 0;
213ab129972SPaolo Bonzini CPU_FOREACH(other_cpu) {
214d73415a3SStefan Hajnoczi if (qatomic_read(&other_cpu->running)) {
215c265e976SPaolo Bonzini other_cpu->has_waiter = true;
216c265e976SPaolo Bonzini running_cpus++;
217ab129972SPaolo Bonzini qemu_cpu_kick(other_cpu);
218ab129972SPaolo Bonzini }
219ab129972SPaolo Bonzini }
220c265e976SPaolo Bonzini
221d73415a3SStefan Hajnoczi qatomic_set(&pending_cpus, running_cpus + 1);
222ab129972SPaolo Bonzini while (pending_cpus > 1) {
223ab129972SPaolo Bonzini qemu_cond_wait(&exclusive_cond, &qemu_cpu_list_lock);
224ab129972SPaolo Bonzini }
225758e1b2bSPaolo Bonzini
226758e1b2bSPaolo Bonzini /* Can release mutex, no one will enter another exclusive
227758e1b2bSPaolo Bonzini * section until end_exclusive resets pending_cpus to 0.
228758e1b2bSPaolo Bonzini */
229758e1b2bSPaolo Bonzini qemu_mutex_unlock(&qemu_cpu_list_lock);
230cfbc3c60SEmilio G. Cota
231df8a6880SIlya Leoshkevich current_cpu->exclusive_context_count = 1;
232ab129972SPaolo Bonzini }
233ab129972SPaolo Bonzini
234758e1b2bSPaolo Bonzini /* Finish an exclusive operation. */
end_exclusive(void)235ab129972SPaolo Bonzini void end_exclusive(void)
236ab129972SPaolo Bonzini {
237df8a6880SIlya Leoshkevich current_cpu->exclusive_context_count--;
238df8a6880SIlya Leoshkevich if (current_cpu->exclusive_context_count) {
239df8a6880SIlya Leoshkevich return;
240df8a6880SIlya Leoshkevich }
241cfbc3c60SEmilio G. Cota
242758e1b2bSPaolo Bonzini qemu_mutex_lock(&qemu_cpu_list_lock);
243d73415a3SStefan Hajnoczi qatomic_set(&pending_cpus, 0);
244ab129972SPaolo Bonzini qemu_cond_broadcast(&exclusive_resume);
245ab129972SPaolo Bonzini qemu_mutex_unlock(&qemu_cpu_list_lock);
246ab129972SPaolo Bonzini }
247ab129972SPaolo Bonzini
248ab129972SPaolo Bonzini /* Wait for exclusive ops to finish, and begin cpu execution. */
cpu_exec_start(CPUState * cpu)249ab129972SPaolo Bonzini void cpu_exec_start(CPUState *cpu)
250ab129972SPaolo Bonzini {
251d73415a3SStefan Hajnoczi qatomic_set(&cpu->running, true);
252c265e976SPaolo Bonzini
253c265e976SPaolo Bonzini /* Write cpu->running before reading pending_cpus. */
254c265e976SPaolo Bonzini smp_mb();
255c265e976SPaolo Bonzini
256c265e976SPaolo Bonzini /* 1. start_exclusive saw cpu->running == true and pending_cpus >= 1.
257c265e976SPaolo Bonzini * After taking the lock we'll see cpu->has_waiter == true and run---not
258c265e976SPaolo Bonzini * for long because start_exclusive kicked us. cpu_exec_end will
259c265e976SPaolo Bonzini * decrement pending_cpus and signal the waiter.
260c265e976SPaolo Bonzini *
261c265e976SPaolo Bonzini * 2. start_exclusive saw cpu->running == false but pending_cpus >= 1.
262c265e976SPaolo Bonzini * This includes the case when an exclusive item is running now.
263c265e976SPaolo Bonzini * Then we'll see cpu->has_waiter == false and wait for the item to
264c265e976SPaolo Bonzini * complete.
265c265e976SPaolo Bonzini *
266c265e976SPaolo Bonzini * 3. pending_cpus == 0. Then start_exclusive is definitely going to
267c265e976SPaolo Bonzini * see cpu->running == true, and it will kick the CPU.
268c265e976SPaolo Bonzini */
269d73415a3SStefan Hajnoczi if (unlikely(qatomic_read(&pending_cpus))) {
2706e8a355dSDaniel Brodsky QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
271c265e976SPaolo Bonzini if (!cpu->has_waiter) {
272c265e976SPaolo Bonzini /* Not counted in pending_cpus, let the exclusive item
273c265e976SPaolo Bonzini * run. Since we have the lock, just set cpu->running to true
274c265e976SPaolo Bonzini * while holding it; no need to check pending_cpus again.
275c265e976SPaolo Bonzini */
276d73415a3SStefan Hajnoczi qatomic_set(&cpu->running, false);
277ab129972SPaolo Bonzini exclusive_idle();
278c265e976SPaolo Bonzini /* Now pending_cpus is zero. */
279d73415a3SStefan Hajnoczi qatomic_set(&cpu->running, true);
280c265e976SPaolo Bonzini } else {
281c265e976SPaolo Bonzini /* Counted in pending_cpus, go ahead and release the
282c265e976SPaolo Bonzini * waiter at cpu_exec_end.
283c265e976SPaolo Bonzini */
284c265e976SPaolo Bonzini }
285ab129972SPaolo Bonzini }
286c265e976SPaolo Bonzini }
287ab129972SPaolo Bonzini
288ab129972SPaolo Bonzini /* Mark cpu as not executing, and release pending exclusive ops. */
cpu_exec_end(CPUState * cpu)289ab129972SPaolo Bonzini void cpu_exec_end(CPUState *cpu)
290ab129972SPaolo Bonzini {
291d73415a3SStefan Hajnoczi qatomic_set(&cpu->running, false);
292c265e976SPaolo Bonzini
293c265e976SPaolo Bonzini /* Write cpu->running before reading pending_cpus. */
294c265e976SPaolo Bonzini smp_mb();
295c265e976SPaolo Bonzini
296c265e976SPaolo Bonzini /* 1. start_exclusive saw cpu->running == true. Then it will increment
297c265e976SPaolo Bonzini * pending_cpus and wait for exclusive_cond. After taking the lock
298c265e976SPaolo Bonzini * we'll see cpu->has_waiter == true.
299c265e976SPaolo Bonzini *
300c265e976SPaolo Bonzini * 2. start_exclusive saw cpu->running == false but here pending_cpus >= 1.
301c265e976SPaolo Bonzini * This includes the case when an exclusive item started after setting
302c265e976SPaolo Bonzini * cpu->running to false and before we read pending_cpus. Then we'll see
303c265e976SPaolo Bonzini * cpu->has_waiter == false and not touch pending_cpus. The next call to
304c265e976SPaolo Bonzini * cpu_exec_start will run exclusive_idle if still necessary, thus waiting
305c265e976SPaolo Bonzini * for the item to complete.
306c265e976SPaolo Bonzini *
307c265e976SPaolo Bonzini * 3. pending_cpus == 0. Then start_exclusive is definitely going to
308c265e976SPaolo Bonzini * see cpu->running == false, and it can ignore this CPU until the
309c265e976SPaolo Bonzini * next cpu_exec_start.
310c265e976SPaolo Bonzini */
311d73415a3SStefan Hajnoczi if (unlikely(qatomic_read(&pending_cpus))) {
3126e8a355dSDaniel Brodsky QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
313c265e976SPaolo Bonzini if (cpu->has_waiter) {
314c265e976SPaolo Bonzini cpu->has_waiter = false;
315d73415a3SStefan Hajnoczi qatomic_set(&pending_cpus, pending_cpus - 1);
316ab129972SPaolo Bonzini if (pending_cpus == 1) {
317ab129972SPaolo Bonzini qemu_cond_signal(&exclusive_cond);
318ab129972SPaolo Bonzini }
319ab129972SPaolo Bonzini }
320ab129972SPaolo Bonzini }
321c265e976SPaolo Bonzini }
322ab129972SPaolo Bonzini
async_safe_run_on_cpu(CPUState * cpu,run_on_cpu_func func,run_on_cpu_data data)32314e6fe12SPaolo Bonzini void async_safe_run_on_cpu(CPUState *cpu, run_on_cpu_func func,
32414e6fe12SPaolo Bonzini run_on_cpu_data data)
32553f5ed95SPaolo Bonzini {
32653f5ed95SPaolo Bonzini struct qemu_work_item *wi;
32753f5ed95SPaolo Bonzini
328b21e2380SMarkus Armbruster wi = g_new0(struct qemu_work_item, 1);
32953f5ed95SPaolo Bonzini wi->func = func;
33053f5ed95SPaolo Bonzini wi->data = data;
33153f5ed95SPaolo Bonzini wi->free = true;
33253f5ed95SPaolo Bonzini wi->exclusive = true;
33353f5ed95SPaolo Bonzini
33453f5ed95SPaolo Bonzini queue_work_on_cpu(cpu, wi);
33553f5ed95SPaolo Bonzini }
33653f5ed95SPaolo Bonzini
free_queued_cpu_work(CPUState * cpu)337f8b64d35SAkihiko Odaki void free_queued_cpu_work(CPUState *cpu)
338f8b64d35SAkihiko Odaki {
339f8b64d35SAkihiko Odaki while (!QSIMPLEQ_EMPTY(&cpu->work_list)) {
340f8b64d35SAkihiko Odaki struct qemu_work_item *wi = QSIMPLEQ_FIRST(&cpu->work_list);
341f8b64d35SAkihiko Odaki QSIMPLEQ_REMOVE_HEAD(&cpu->work_list, node);
342f8b64d35SAkihiko Odaki if (wi->free) {
343f8b64d35SAkihiko Odaki g_free(wi);
344f8b64d35SAkihiko Odaki }
345f8b64d35SAkihiko Odaki }
346f8b64d35SAkihiko Odaki }
347f8b64d35SAkihiko Odaki
process_queued_cpu_work(CPUState * cpu)348d148d90eSSergey Fedorov void process_queued_cpu_work(CPUState *cpu)
349d148d90eSSergey Fedorov {
350d148d90eSSergey Fedorov struct qemu_work_item *wi;
351d148d90eSSergey Fedorov
3520c0fcc20SEmilio G. Cota qemu_mutex_lock(&cpu->work_mutex);
3530c0fcc20SEmilio G. Cota if (QSIMPLEQ_EMPTY(&cpu->work_list)) {
3540c0fcc20SEmilio G. Cota qemu_mutex_unlock(&cpu->work_mutex);
355d148d90eSSergey Fedorov return;
356d148d90eSSergey Fedorov }
3570c0fcc20SEmilio G. Cota while (!QSIMPLEQ_EMPTY(&cpu->work_list)) {
3580c0fcc20SEmilio G. Cota wi = QSIMPLEQ_FIRST(&cpu->work_list);
3590c0fcc20SEmilio G. Cota QSIMPLEQ_REMOVE_HEAD(&cpu->work_list, node);
360d148d90eSSergey Fedorov qemu_mutex_unlock(&cpu->work_mutex);
36153f5ed95SPaolo Bonzini if (wi->exclusive) {
36253f5ed95SPaolo Bonzini /* Running work items outside the BQL avoids the following deadlock:
36353f5ed95SPaolo Bonzini * 1) start_exclusive() is called with the BQL taken while another
36453f5ed95SPaolo Bonzini * CPU is running; 2) cpu_exec in the other CPU tries to takes the
36553f5ed95SPaolo Bonzini * BQL, so it goes to sleep; start_exclusive() is sleeping too, so
36653f5ed95SPaolo Bonzini * neither CPU can proceed.
36753f5ed95SPaolo Bonzini */
368195801d7SStefan Hajnoczi bql_unlock();
36953f5ed95SPaolo Bonzini start_exclusive();
370d148d90eSSergey Fedorov wi->func(cpu, wi->data);
37153f5ed95SPaolo Bonzini end_exclusive();
372195801d7SStefan Hajnoczi bql_lock();
37353f5ed95SPaolo Bonzini } else {
37453f5ed95SPaolo Bonzini wi->func(cpu, wi->data);
37553f5ed95SPaolo Bonzini }
376d148d90eSSergey Fedorov qemu_mutex_lock(&cpu->work_mutex);
377d148d90eSSergey Fedorov if (wi->free) {
378d148d90eSSergey Fedorov g_free(wi);
379d148d90eSSergey Fedorov } else {
38042abcc58SPaolo Bonzini qatomic_store_release(&wi->done, true);
381d148d90eSSergey Fedorov }
382d148d90eSSergey Fedorov }
383d148d90eSSergey Fedorov qemu_mutex_unlock(&cpu->work_mutex);
384d148d90eSSergey Fedorov qemu_cond_broadcast(&qemu_work_cond);
385d148d90eSSergey Fedorov }
3868a8dc267SPhilippe Mathieu-Daudé
3878a8dc267SPhilippe Mathieu-Daudé /* Add a breakpoint. */
cpu_breakpoint_insert(CPUState * cpu,vaddr pc,int flags,CPUBreakpoint ** breakpoint)3888a8dc267SPhilippe Mathieu-Daudé int cpu_breakpoint_insert(CPUState *cpu, vaddr pc, int flags,
3898a8dc267SPhilippe Mathieu-Daudé CPUBreakpoint **breakpoint)
3908a8dc267SPhilippe Mathieu-Daudé {
3918a8dc267SPhilippe Mathieu-Daudé CPUBreakpoint *bp;
3928a8dc267SPhilippe Mathieu-Daudé
393*30e76638SPhilippe Mathieu-Daudé if (cpu->cc->gdb_adjust_breakpoint) {
394*30e76638SPhilippe Mathieu-Daudé pc = cpu->cc->gdb_adjust_breakpoint(cpu, pc);
3958a8dc267SPhilippe Mathieu-Daudé }
3968a8dc267SPhilippe Mathieu-Daudé
3978a8dc267SPhilippe Mathieu-Daudé bp = g_malloc(sizeof(*bp));
3988a8dc267SPhilippe Mathieu-Daudé
3998a8dc267SPhilippe Mathieu-Daudé bp->pc = pc;
4008a8dc267SPhilippe Mathieu-Daudé bp->flags = flags;
4018a8dc267SPhilippe Mathieu-Daudé
4028a8dc267SPhilippe Mathieu-Daudé /* keep all GDB-injected breakpoints in front */
4038a8dc267SPhilippe Mathieu-Daudé if (flags & BP_GDB) {
4048a8dc267SPhilippe Mathieu-Daudé QTAILQ_INSERT_HEAD(&cpu->breakpoints, bp, entry);
4058a8dc267SPhilippe Mathieu-Daudé } else {
4068a8dc267SPhilippe Mathieu-Daudé QTAILQ_INSERT_TAIL(&cpu->breakpoints, bp, entry);
4078a8dc267SPhilippe Mathieu-Daudé }
4088a8dc267SPhilippe Mathieu-Daudé
4098a8dc267SPhilippe Mathieu-Daudé if (breakpoint) {
4108a8dc267SPhilippe Mathieu-Daudé *breakpoint = bp;
4118a8dc267SPhilippe Mathieu-Daudé }
4128a8dc267SPhilippe Mathieu-Daudé
4138a8dc267SPhilippe Mathieu-Daudé trace_breakpoint_insert(cpu->cpu_index, pc, flags);
4148a8dc267SPhilippe Mathieu-Daudé return 0;
4158a8dc267SPhilippe Mathieu-Daudé }
4168a8dc267SPhilippe Mathieu-Daudé
4178a8dc267SPhilippe Mathieu-Daudé /* Remove a specific breakpoint. */
cpu_breakpoint_remove(CPUState * cpu,vaddr pc,int flags)4188a8dc267SPhilippe Mathieu-Daudé int cpu_breakpoint_remove(CPUState *cpu, vaddr pc, int flags)
4198a8dc267SPhilippe Mathieu-Daudé {
4208a8dc267SPhilippe Mathieu-Daudé CPUBreakpoint *bp;
4218a8dc267SPhilippe Mathieu-Daudé
422*30e76638SPhilippe Mathieu-Daudé if (cpu->cc->gdb_adjust_breakpoint) {
423*30e76638SPhilippe Mathieu-Daudé pc = cpu->cc->gdb_adjust_breakpoint(cpu, pc);
4248a8dc267SPhilippe Mathieu-Daudé }
4258a8dc267SPhilippe Mathieu-Daudé
4268a8dc267SPhilippe Mathieu-Daudé QTAILQ_FOREACH(bp, &cpu->breakpoints, entry) {
4278a8dc267SPhilippe Mathieu-Daudé if (bp->pc == pc && bp->flags == flags) {
4288a8dc267SPhilippe Mathieu-Daudé cpu_breakpoint_remove_by_ref(cpu, bp);
4298a8dc267SPhilippe Mathieu-Daudé return 0;
4308a8dc267SPhilippe Mathieu-Daudé }
4318a8dc267SPhilippe Mathieu-Daudé }
4328a8dc267SPhilippe Mathieu-Daudé return -ENOENT;
4338a8dc267SPhilippe Mathieu-Daudé }
4348a8dc267SPhilippe Mathieu-Daudé
4358a8dc267SPhilippe Mathieu-Daudé /* Remove a specific breakpoint by reference. */
cpu_breakpoint_remove_by_ref(CPUState * cpu,CPUBreakpoint * bp)4368a8dc267SPhilippe Mathieu-Daudé void cpu_breakpoint_remove_by_ref(CPUState *cpu, CPUBreakpoint *bp)
4378a8dc267SPhilippe Mathieu-Daudé {
4388a8dc267SPhilippe Mathieu-Daudé QTAILQ_REMOVE(&cpu->breakpoints, bp, entry);
4398a8dc267SPhilippe Mathieu-Daudé
4408a8dc267SPhilippe Mathieu-Daudé trace_breakpoint_remove(cpu->cpu_index, bp->pc, bp->flags);
4418a8dc267SPhilippe Mathieu-Daudé g_free(bp);
4428a8dc267SPhilippe Mathieu-Daudé }
4438a8dc267SPhilippe Mathieu-Daudé
4448a8dc267SPhilippe Mathieu-Daudé /* Remove all matching breakpoints. */
cpu_breakpoint_remove_all(CPUState * cpu,int mask)4458a8dc267SPhilippe Mathieu-Daudé void cpu_breakpoint_remove_all(CPUState *cpu, int mask)
4468a8dc267SPhilippe Mathieu-Daudé {
4478a8dc267SPhilippe Mathieu-Daudé CPUBreakpoint *bp, *next;
4488a8dc267SPhilippe Mathieu-Daudé
4498a8dc267SPhilippe Mathieu-Daudé QTAILQ_FOREACH_SAFE(bp, &cpu->breakpoints, entry, next) {
4508a8dc267SPhilippe Mathieu-Daudé if (bp->flags & mask) {
4518a8dc267SPhilippe Mathieu-Daudé cpu_breakpoint_remove_by_ref(cpu, bp);
4528a8dc267SPhilippe Mathieu-Daudé }
4538a8dc267SPhilippe Mathieu-Daudé }
4548a8dc267SPhilippe Mathieu-Daudé }
455