xref: /qemu/cpu-common.c (revision 779f30a01af8566780cefc8639505b758950afb3)
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"
24267f685bSPaolo Bonzini #include "sysemu/cpus.h"
256e8a355dSDaniel Brodsky #include "qemu/lockable.h"
268a8dc267SPhilippe Mathieu-Daudé #include "trace/trace-root.h"
27267f685bSPaolo Bonzini 
28370ed600SJamie Iles QemuMutex qemu_cpu_list_lock;
29ab129972SPaolo Bonzini static QemuCond exclusive_cond;
30ab129972SPaolo Bonzini static QemuCond exclusive_resume;
31d148d90eSSergey Fedorov static QemuCond qemu_work_cond;
32267f685bSPaolo Bonzini 
33c265e976SPaolo Bonzini /* >= 1 if a thread is inside start_exclusive/end_exclusive.  Written
34c265e976SPaolo Bonzini  * under qemu_cpu_list_lock, read with atomic operations.
35c265e976SPaolo Bonzini  */
36ab129972SPaolo Bonzini static int pending_cpus;
37ab129972SPaolo Bonzini 
38267f685bSPaolo Bonzini void qemu_init_cpu_list(void)
39267f685bSPaolo Bonzini {
40ab129972SPaolo Bonzini     /* This is needed because qemu_init_cpu_list is also called by the
41ab129972SPaolo Bonzini      * child process in a fork.  */
42ab129972SPaolo Bonzini     pending_cpus = 0;
43ab129972SPaolo Bonzini 
44267f685bSPaolo Bonzini     qemu_mutex_init(&qemu_cpu_list_lock);
45ab129972SPaolo Bonzini     qemu_cond_init(&exclusive_cond);
46ab129972SPaolo Bonzini     qemu_cond_init(&exclusive_resume);
47d148d90eSSergey Fedorov     qemu_cond_init(&qemu_work_cond);
48267f685bSPaolo Bonzini }
49267f685bSPaolo Bonzini 
50267f685bSPaolo Bonzini void cpu_list_lock(void)
51267f685bSPaolo Bonzini {
52267f685bSPaolo Bonzini     qemu_mutex_lock(&qemu_cpu_list_lock);
53267f685bSPaolo Bonzini }
54267f685bSPaolo Bonzini 
55267f685bSPaolo Bonzini void cpu_list_unlock(void)
56267f685bSPaolo Bonzini {
57267f685bSPaolo Bonzini     qemu_mutex_unlock(&qemu_cpu_list_lock);
58267f685bSPaolo Bonzini }
59267f685bSPaolo Bonzini 
60267f685bSPaolo Bonzini 
6118530e7cSHarsh Prateek Bora int cpu_get_free_index(void)
62267f685bSPaolo Bonzini {
63267f685bSPaolo Bonzini     CPUState *some_cpu;
64716386e3SAlex Bennée     int max_cpu_index = 0;
65267f685bSPaolo Bonzini 
66267f685bSPaolo Bonzini     CPU_FOREACH(some_cpu) {
67716386e3SAlex Bennée         if (some_cpu->cpu_index >= max_cpu_index) {
68716386e3SAlex Bennée             max_cpu_index = some_cpu->cpu_index + 1;
69267f685bSPaolo Bonzini         }
70716386e3SAlex Bennée     }
71716386e3SAlex Bennée     return max_cpu_index;
72267f685bSPaolo Bonzini }
73267f685bSPaolo Bonzini 
743c55dd58SPhilippe Mathieu-Daudé CPUTailQ cpus_queue = QTAILQ_HEAD_INITIALIZER(cpus_queue);
75ab1a161fSHyman Huang(黄勇) static unsigned int cpu_list_generation_id;
76ab1a161fSHyman Huang(黄勇) 
77ab1a161fSHyman Huang(黄勇) unsigned int cpu_list_generation_id_get(void)
78ab1a161fSHyman Huang(黄勇) {
79ab1a161fSHyman Huang(黄勇)     return cpu_list_generation_id;
80ab1a161fSHyman Huang(黄勇) }
81421a75e2SPhilippe Mathieu-Daudé 
82267f685bSPaolo Bonzini void cpu_list_add(CPUState *cpu)
83267f685bSPaolo Bonzini {
8418530e7cSHarsh Prateek Bora     static bool cpu_index_auto_assigned;
8518530e7cSHarsh Prateek Bora 
866e8a355dSDaniel Brodsky     QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
87267f685bSPaolo Bonzini     if (cpu->cpu_index == UNASSIGNED_CPU_INDEX) {
8818530e7cSHarsh Prateek Bora         cpu_index_auto_assigned = true;
89267f685bSPaolo Bonzini         cpu->cpu_index = cpu_get_free_index();
90267f685bSPaolo Bonzini         assert(cpu->cpu_index != UNASSIGNED_CPU_INDEX);
91267f685bSPaolo Bonzini     } else {
92267f685bSPaolo Bonzini         assert(!cpu_index_auto_assigned);
93267f685bSPaolo Bonzini     }
943c55dd58SPhilippe Mathieu-Daudé     QTAILQ_INSERT_TAIL_RCU(&cpus_queue, cpu, node);
95ab1a161fSHyman Huang(黄勇)     cpu_list_generation_id++;
96267f685bSPaolo Bonzini }
97267f685bSPaolo Bonzini 
98267f685bSPaolo Bonzini void cpu_list_remove(CPUState *cpu)
99267f685bSPaolo Bonzini {
1006e8a355dSDaniel Brodsky     QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
101267f685bSPaolo Bonzini     if (!QTAILQ_IN_USE(cpu, node)) {
102267f685bSPaolo Bonzini         /* there is nothing to undo since cpu_exec_init() hasn't been called */
103267f685bSPaolo Bonzini         return;
104267f685bSPaolo Bonzini     }
105267f685bSPaolo Bonzini 
1063c55dd58SPhilippe Mathieu-Daudé     QTAILQ_REMOVE_RCU(&cpus_queue, cpu, node);
107267f685bSPaolo Bonzini     cpu->cpu_index = UNASSIGNED_CPU_INDEX;
108ab1a161fSHyman Huang(黄勇)     cpu_list_generation_id++;
109267f685bSPaolo Bonzini }
110d148d90eSSergey Fedorov 
111421a75e2SPhilippe Mathieu-Daudé CPUState *qemu_get_cpu(int index)
112421a75e2SPhilippe Mathieu-Daudé {
113421a75e2SPhilippe Mathieu-Daudé     CPUState *cpu;
114421a75e2SPhilippe Mathieu-Daudé 
115421a75e2SPhilippe Mathieu-Daudé     CPU_FOREACH(cpu) {
116421a75e2SPhilippe Mathieu-Daudé         if (cpu->cpu_index == index) {
117421a75e2SPhilippe Mathieu-Daudé             return cpu;
118421a75e2SPhilippe Mathieu-Daudé         }
119421a75e2SPhilippe Mathieu-Daudé     }
120421a75e2SPhilippe Mathieu-Daudé 
121421a75e2SPhilippe Mathieu-Daudé     return NULL;
122421a75e2SPhilippe Mathieu-Daudé }
123421a75e2SPhilippe Mathieu-Daudé 
124421a75e2SPhilippe Mathieu-Daudé /* current CPU in the current thread. It is only valid inside cpu_exec() */
125421a75e2SPhilippe Mathieu-Daudé __thread CPUState *current_cpu;
126421a75e2SPhilippe Mathieu-Daudé 
127d148d90eSSergey Fedorov struct qemu_work_item {
1280c0fcc20SEmilio G. Cota     QSIMPLEQ_ENTRY(qemu_work_item) node;
129d148d90eSSergey Fedorov     run_on_cpu_func func;
13014e6fe12SPaolo Bonzini     run_on_cpu_data data;
13153f5ed95SPaolo Bonzini     bool free, exclusive, done;
132d148d90eSSergey Fedorov };
133d148d90eSSergey Fedorov 
134d148d90eSSergey Fedorov static void queue_work_on_cpu(CPUState *cpu, struct qemu_work_item *wi)
135d148d90eSSergey Fedorov {
136d148d90eSSergey Fedorov     qemu_mutex_lock(&cpu->work_mutex);
1370c0fcc20SEmilio G. Cota     QSIMPLEQ_INSERT_TAIL(&cpu->work_list, wi, node);
138d148d90eSSergey Fedorov     wi->done = false;
139d148d90eSSergey Fedorov     qemu_mutex_unlock(&cpu->work_mutex);
140d148d90eSSergey Fedorov 
141d148d90eSSergey Fedorov     qemu_cpu_kick(cpu);
142d148d90eSSergey Fedorov }
143d148d90eSSergey Fedorov 
14414e6fe12SPaolo Bonzini void do_run_on_cpu(CPUState *cpu, run_on_cpu_func func, run_on_cpu_data data,
145d148d90eSSergey Fedorov                    QemuMutex *mutex)
146d148d90eSSergey Fedorov {
147d148d90eSSergey Fedorov     struct qemu_work_item wi;
148d148d90eSSergey Fedorov 
149d148d90eSSergey Fedorov     if (qemu_cpu_is_self(cpu)) {
150d148d90eSSergey Fedorov         func(cpu, data);
151d148d90eSSergey Fedorov         return;
152d148d90eSSergey Fedorov     }
153d148d90eSSergey Fedorov 
154d148d90eSSergey Fedorov     wi.func = func;
155d148d90eSSergey Fedorov     wi.data = data;
1560e55539cSPaolo Bonzini     wi.done = false;
157d148d90eSSergey Fedorov     wi.free = false;
15853f5ed95SPaolo Bonzini     wi.exclusive = false;
159d148d90eSSergey Fedorov 
160d148d90eSSergey Fedorov     queue_work_on_cpu(cpu, &wi);
16142abcc58SPaolo Bonzini     while (!qatomic_load_acquire(&wi.done)) {
162d148d90eSSergey Fedorov         CPUState *self_cpu = current_cpu;
163d148d90eSSergey Fedorov 
164d148d90eSSergey Fedorov         qemu_cond_wait(&qemu_work_cond, mutex);
165d148d90eSSergey Fedorov         current_cpu = self_cpu;
166d148d90eSSergey Fedorov     }
167d148d90eSSergey Fedorov }
168d148d90eSSergey Fedorov 
16914e6fe12SPaolo Bonzini void async_run_on_cpu(CPUState *cpu, run_on_cpu_func func, run_on_cpu_data data)
170d148d90eSSergey Fedorov {
171d148d90eSSergey Fedorov     struct qemu_work_item *wi;
172d148d90eSSergey Fedorov 
173b21e2380SMarkus Armbruster     wi = g_new0(struct qemu_work_item, 1);
174d148d90eSSergey Fedorov     wi->func = func;
175d148d90eSSergey Fedorov     wi->data = data;
176d148d90eSSergey Fedorov     wi->free = true;
177d148d90eSSergey Fedorov 
178d148d90eSSergey Fedorov     queue_work_on_cpu(cpu, wi);
179d148d90eSSergey Fedorov }
180d148d90eSSergey Fedorov 
181ab129972SPaolo Bonzini /* Wait for pending exclusive operations to complete.  The CPU list lock
182ab129972SPaolo Bonzini    must be held.  */
183ab129972SPaolo Bonzini static inline void exclusive_idle(void)
184ab129972SPaolo Bonzini {
185ab129972SPaolo Bonzini     while (pending_cpus) {
186ab129972SPaolo Bonzini         qemu_cond_wait(&exclusive_resume, &qemu_cpu_list_lock);
187ab129972SPaolo Bonzini     }
188ab129972SPaolo Bonzini }
189ab129972SPaolo Bonzini 
190ab129972SPaolo Bonzini /* Start an exclusive operation.
191758e1b2bSPaolo Bonzini    Must only be called from outside cpu_exec.  */
192ab129972SPaolo Bonzini void start_exclusive(void)
193ab129972SPaolo Bonzini {
194ab129972SPaolo Bonzini     CPUState *other_cpu;
195c265e976SPaolo Bonzini     int running_cpus;
196ab129972SPaolo Bonzini 
197*779f30a0SPierrick Bouvier     /* Ensure we are not running, or start_exclusive will be blocked. */
198*779f30a0SPierrick Bouvier     g_assert(!current_cpu->running);
199*779f30a0SPierrick Bouvier 
200df8a6880SIlya Leoshkevich     if (current_cpu->exclusive_context_count) {
201df8a6880SIlya Leoshkevich         current_cpu->exclusive_context_count++;
202df8a6880SIlya Leoshkevich         return;
203df8a6880SIlya Leoshkevich     }
204df8a6880SIlya Leoshkevich 
205ab129972SPaolo Bonzini     qemu_mutex_lock(&qemu_cpu_list_lock);
206ab129972SPaolo Bonzini     exclusive_idle();
207ab129972SPaolo Bonzini 
208ab129972SPaolo Bonzini     /* Make all other cpus stop executing.  */
209d73415a3SStefan Hajnoczi     qatomic_set(&pending_cpus, 1);
210c265e976SPaolo Bonzini 
211c265e976SPaolo Bonzini     /* Write pending_cpus before reading other_cpu->running.  */
212c265e976SPaolo Bonzini     smp_mb();
213c265e976SPaolo Bonzini     running_cpus = 0;
214ab129972SPaolo Bonzini     CPU_FOREACH(other_cpu) {
215d73415a3SStefan Hajnoczi         if (qatomic_read(&other_cpu->running)) {
216c265e976SPaolo Bonzini             other_cpu->has_waiter = true;
217c265e976SPaolo Bonzini             running_cpus++;
218ab129972SPaolo Bonzini             qemu_cpu_kick(other_cpu);
219ab129972SPaolo Bonzini         }
220ab129972SPaolo Bonzini     }
221c265e976SPaolo Bonzini 
222d73415a3SStefan Hajnoczi     qatomic_set(&pending_cpus, running_cpus + 1);
223ab129972SPaolo Bonzini     while (pending_cpus > 1) {
224ab129972SPaolo Bonzini         qemu_cond_wait(&exclusive_cond, &qemu_cpu_list_lock);
225ab129972SPaolo Bonzini     }
226758e1b2bSPaolo Bonzini 
227758e1b2bSPaolo Bonzini     /* Can release mutex, no one will enter another exclusive
228758e1b2bSPaolo Bonzini      * section until end_exclusive resets pending_cpus to 0.
229758e1b2bSPaolo Bonzini      */
230758e1b2bSPaolo Bonzini     qemu_mutex_unlock(&qemu_cpu_list_lock);
231cfbc3c60SEmilio G. Cota 
232df8a6880SIlya Leoshkevich     current_cpu->exclusive_context_count = 1;
233ab129972SPaolo Bonzini }
234ab129972SPaolo Bonzini 
235758e1b2bSPaolo Bonzini /* Finish an exclusive operation.  */
236ab129972SPaolo Bonzini void end_exclusive(void)
237ab129972SPaolo Bonzini {
238df8a6880SIlya Leoshkevich     current_cpu->exclusive_context_count--;
239df8a6880SIlya Leoshkevich     if (current_cpu->exclusive_context_count) {
240df8a6880SIlya Leoshkevich         return;
241df8a6880SIlya Leoshkevich     }
242cfbc3c60SEmilio G. Cota 
243758e1b2bSPaolo Bonzini     qemu_mutex_lock(&qemu_cpu_list_lock);
244d73415a3SStefan Hajnoczi     qatomic_set(&pending_cpus, 0);
245ab129972SPaolo Bonzini     qemu_cond_broadcast(&exclusive_resume);
246ab129972SPaolo Bonzini     qemu_mutex_unlock(&qemu_cpu_list_lock);
247ab129972SPaolo Bonzini }
248ab129972SPaolo Bonzini 
249ab129972SPaolo Bonzini /* Wait for exclusive ops to finish, and begin cpu execution.  */
250ab129972SPaolo Bonzini void cpu_exec_start(CPUState *cpu)
251ab129972SPaolo Bonzini {
252d73415a3SStefan Hajnoczi     qatomic_set(&cpu->running, true);
253c265e976SPaolo Bonzini 
254c265e976SPaolo Bonzini     /* Write cpu->running before reading pending_cpus.  */
255c265e976SPaolo Bonzini     smp_mb();
256c265e976SPaolo Bonzini 
257c265e976SPaolo Bonzini     /* 1. start_exclusive saw cpu->running == true and pending_cpus >= 1.
258c265e976SPaolo Bonzini      * After taking the lock we'll see cpu->has_waiter == true and run---not
259c265e976SPaolo Bonzini      * for long because start_exclusive kicked us.  cpu_exec_end will
260c265e976SPaolo Bonzini      * decrement pending_cpus and signal the waiter.
261c265e976SPaolo Bonzini      *
262c265e976SPaolo Bonzini      * 2. start_exclusive saw cpu->running == false but pending_cpus >= 1.
263c265e976SPaolo Bonzini      * This includes the case when an exclusive item is running now.
264c265e976SPaolo Bonzini      * Then we'll see cpu->has_waiter == false and wait for the item to
265c265e976SPaolo Bonzini      * complete.
266c265e976SPaolo Bonzini      *
267c265e976SPaolo Bonzini      * 3. pending_cpus == 0.  Then start_exclusive is definitely going to
268c265e976SPaolo Bonzini      * see cpu->running == true, and it will kick the CPU.
269c265e976SPaolo Bonzini      */
270d73415a3SStefan Hajnoczi     if (unlikely(qatomic_read(&pending_cpus))) {
2716e8a355dSDaniel Brodsky         QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
272c265e976SPaolo Bonzini         if (!cpu->has_waiter) {
273c265e976SPaolo Bonzini             /* Not counted in pending_cpus, let the exclusive item
274c265e976SPaolo Bonzini              * run.  Since we have the lock, just set cpu->running to true
275c265e976SPaolo Bonzini              * while holding it; no need to check pending_cpus again.
276c265e976SPaolo Bonzini              */
277d73415a3SStefan Hajnoczi             qatomic_set(&cpu->running, false);
278ab129972SPaolo Bonzini             exclusive_idle();
279c265e976SPaolo Bonzini             /* Now pending_cpus is zero.  */
280d73415a3SStefan Hajnoczi             qatomic_set(&cpu->running, true);
281c265e976SPaolo Bonzini         } else {
282c265e976SPaolo Bonzini             /* Counted in pending_cpus, go ahead and release the
283c265e976SPaolo Bonzini              * waiter at cpu_exec_end.
284c265e976SPaolo Bonzini              */
285c265e976SPaolo Bonzini         }
286ab129972SPaolo Bonzini     }
287c265e976SPaolo Bonzini }
288ab129972SPaolo Bonzini 
289ab129972SPaolo Bonzini /* Mark cpu as not executing, and release pending exclusive ops.  */
290ab129972SPaolo Bonzini void cpu_exec_end(CPUState *cpu)
291ab129972SPaolo Bonzini {
292d73415a3SStefan Hajnoczi     qatomic_set(&cpu->running, false);
293c265e976SPaolo Bonzini 
294c265e976SPaolo Bonzini     /* Write cpu->running before reading pending_cpus.  */
295c265e976SPaolo Bonzini     smp_mb();
296c265e976SPaolo Bonzini 
297c265e976SPaolo Bonzini     /* 1. start_exclusive saw cpu->running == true.  Then it will increment
298c265e976SPaolo Bonzini      * pending_cpus and wait for exclusive_cond.  After taking the lock
299c265e976SPaolo Bonzini      * we'll see cpu->has_waiter == true.
300c265e976SPaolo Bonzini      *
301c265e976SPaolo Bonzini      * 2. start_exclusive saw cpu->running == false but here pending_cpus >= 1.
302c265e976SPaolo Bonzini      * This includes the case when an exclusive item started after setting
303c265e976SPaolo Bonzini      * cpu->running to false and before we read pending_cpus.  Then we'll see
304c265e976SPaolo Bonzini      * cpu->has_waiter == false and not touch pending_cpus.  The next call to
305c265e976SPaolo Bonzini      * cpu_exec_start will run exclusive_idle if still necessary, thus waiting
306c265e976SPaolo Bonzini      * for the item to complete.
307c265e976SPaolo Bonzini      *
308c265e976SPaolo Bonzini      * 3. pending_cpus == 0.  Then start_exclusive is definitely going to
309c265e976SPaolo Bonzini      * see cpu->running == false, and it can ignore this CPU until the
310c265e976SPaolo Bonzini      * next cpu_exec_start.
311c265e976SPaolo Bonzini      */
312d73415a3SStefan Hajnoczi     if (unlikely(qatomic_read(&pending_cpus))) {
3136e8a355dSDaniel Brodsky         QEMU_LOCK_GUARD(&qemu_cpu_list_lock);
314c265e976SPaolo Bonzini         if (cpu->has_waiter) {
315c265e976SPaolo Bonzini             cpu->has_waiter = false;
316d73415a3SStefan Hajnoczi             qatomic_set(&pending_cpus, pending_cpus - 1);
317ab129972SPaolo Bonzini             if (pending_cpus == 1) {
318ab129972SPaolo Bonzini                 qemu_cond_signal(&exclusive_cond);
319ab129972SPaolo Bonzini             }
320ab129972SPaolo Bonzini         }
321ab129972SPaolo Bonzini     }
322c265e976SPaolo Bonzini }
323ab129972SPaolo Bonzini 
32414e6fe12SPaolo Bonzini void async_safe_run_on_cpu(CPUState *cpu, run_on_cpu_func func,
32514e6fe12SPaolo Bonzini                            run_on_cpu_data data)
32653f5ed95SPaolo Bonzini {
32753f5ed95SPaolo Bonzini     struct qemu_work_item *wi;
32853f5ed95SPaolo Bonzini 
329b21e2380SMarkus Armbruster     wi = g_new0(struct qemu_work_item, 1);
33053f5ed95SPaolo Bonzini     wi->func = func;
33153f5ed95SPaolo Bonzini     wi->data = data;
33253f5ed95SPaolo Bonzini     wi->free = true;
33353f5ed95SPaolo Bonzini     wi->exclusive = true;
33453f5ed95SPaolo Bonzini 
33553f5ed95SPaolo Bonzini     queue_work_on_cpu(cpu, wi);
33653f5ed95SPaolo Bonzini }
33753f5ed95SPaolo Bonzini 
338f8b64d35SAkihiko Odaki void free_queued_cpu_work(CPUState *cpu)
339f8b64d35SAkihiko Odaki {
340f8b64d35SAkihiko Odaki     while (!QSIMPLEQ_EMPTY(&cpu->work_list)) {
341f8b64d35SAkihiko Odaki         struct qemu_work_item *wi = QSIMPLEQ_FIRST(&cpu->work_list);
342f8b64d35SAkihiko Odaki         QSIMPLEQ_REMOVE_HEAD(&cpu->work_list, node);
343f8b64d35SAkihiko Odaki         if (wi->free) {
344f8b64d35SAkihiko Odaki             g_free(wi);
345f8b64d35SAkihiko Odaki         }
346f8b64d35SAkihiko Odaki     }
347f8b64d35SAkihiko Odaki }
348f8b64d35SAkihiko Odaki 
349d148d90eSSergey Fedorov void process_queued_cpu_work(CPUState *cpu)
350d148d90eSSergey Fedorov {
351d148d90eSSergey Fedorov     struct qemu_work_item *wi;
352d148d90eSSergey Fedorov 
3530c0fcc20SEmilio G. Cota     qemu_mutex_lock(&cpu->work_mutex);
3540c0fcc20SEmilio G. Cota     if (QSIMPLEQ_EMPTY(&cpu->work_list)) {
3550c0fcc20SEmilio G. Cota         qemu_mutex_unlock(&cpu->work_mutex);
356d148d90eSSergey Fedorov         return;
357d148d90eSSergey Fedorov     }
3580c0fcc20SEmilio G. Cota     while (!QSIMPLEQ_EMPTY(&cpu->work_list)) {
3590c0fcc20SEmilio G. Cota         wi = QSIMPLEQ_FIRST(&cpu->work_list);
3600c0fcc20SEmilio G. Cota         QSIMPLEQ_REMOVE_HEAD(&cpu->work_list, node);
361d148d90eSSergey Fedorov         qemu_mutex_unlock(&cpu->work_mutex);
36253f5ed95SPaolo Bonzini         if (wi->exclusive) {
36353f5ed95SPaolo Bonzini             /* Running work items outside the BQL avoids the following deadlock:
36453f5ed95SPaolo Bonzini              * 1) start_exclusive() is called with the BQL taken while another
36553f5ed95SPaolo Bonzini              * CPU is running; 2) cpu_exec in the other CPU tries to takes the
36653f5ed95SPaolo Bonzini              * BQL, so it goes to sleep; start_exclusive() is sleeping too, so
36753f5ed95SPaolo Bonzini              * neither CPU can proceed.
36853f5ed95SPaolo Bonzini              */
369195801d7SStefan Hajnoczi             bql_unlock();
37053f5ed95SPaolo Bonzini             start_exclusive();
371d148d90eSSergey Fedorov             wi->func(cpu, wi->data);
37253f5ed95SPaolo Bonzini             end_exclusive();
373195801d7SStefan Hajnoczi             bql_lock();
37453f5ed95SPaolo Bonzini         } else {
37553f5ed95SPaolo Bonzini             wi->func(cpu, wi->data);
37653f5ed95SPaolo Bonzini         }
377d148d90eSSergey Fedorov         qemu_mutex_lock(&cpu->work_mutex);
378d148d90eSSergey Fedorov         if (wi->free) {
379d148d90eSSergey Fedorov             g_free(wi);
380d148d90eSSergey Fedorov         } else {
38142abcc58SPaolo Bonzini             qatomic_store_release(&wi->done, true);
382d148d90eSSergey Fedorov         }
383d148d90eSSergey Fedorov     }
384d148d90eSSergey Fedorov     qemu_mutex_unlock(&cpu->work_mutex);
385d148d90eSSergey Fedorov     qemu_cond_broadcast(&qemu_work_cond);
386d148d90eSSergey Fedorov }
3878a8dc267SPhilippe Mathieu-Daudé 
3888a8dc267SPhilippe Mathieu-Daudé /* Add a breakpoint.  */
3898a8dc267SPhilippe Mathieu-Daudé int cpu_breakpoint_insert(CPUState *cpu, vaddr pc, int flags,
3908a8dc267SPhilippe Mathieu-Daudé                           CPUBreakpoint **breakpoint)
3918a8dc267SPhilippe Mathieu-Daudé {
3928a8dc267SPhilippe Mathieu-Daudé     CPUClass *cc = CPU_GET_CLASS(cpu);
3938a8dc267SPhilippe Mathieu-Daudé     CPUBreakpoint *bp;
3948a8dc267SPhilippe Mathieu-Daudé 
3958a8dc267SPhilippe Mathieu-Daudé     if (cc->gdb_adjust_breakpoint) {
3968a8dc267SPhilippe Mathieu-Daudé         pc = cc->gdb_adjust_breakpoint(cpu, pc);
3978a8dc267SPhilippe Mathieu-Daudé     }
3988a8dc267SPhilippe Mathieu-Daudé 
3998a8dc267SPhilippe Mathieu-Daudé     bp = g_malloc(sizeof(*bp));
4008a8dc267SPhilippe Mathieu-Daudé 
4018a8dc267SPhilippe Mathieu-Daudé     bp->pc = pc;
4028a8dc267SPhilippe Mathieu-Daudé     bp->flags = flags;
4038a8dc267SPhilippe Mathieu-Daudé 
4048a8dc267SPhilippe Mathieu-Daudé     /* keep all GDB-injected breakpoints in front */
4058a8dc267SPhilippe Mathieu-Daudé     if (flags & BP_GDB) {
4068a8dc267SPhilippe Mathieu-Daudé         QTAILQ_INSERT_HEAD(&cpu->breakpoints, bp, entry);
4078a8dc267SPhilippe Mathieu-Daudé     } else {
4088a8dc267SPhilippe Mathieu-Daudé         QTAILQ_INSERT_TAIL(&cpu->breakpoints, bp, entry);
4098a8dc267SPhilippe Mathieu-Daudé     }
4108a8dc267SPhilippe Mathieu-Daudé 
4118a8dc267SPhilippe Mathieu-Daudé     if (breakpoint) {
4128a8dc267SPhilippe Mathieu-Daudé         *breakpoint = bp;
4138a8dc267SPhilippe Mathieu-Daudé     }
4148a8dc267SPhilippe Mathieu-Daudé 
4158a8dc267SPhilippe Mathieu-Daudé     trace_breakpoint_insert(cpu->cpu_index, pc, flags);
4168a8dc267SPhilippe Mathieu-Daudé     return 0;
4178a8dc267SPhilippe Mathieu-Daudé }
4188a8dc267SPhilippe Mathieu-Daudé 
4198a8dc267SPhilippe Mathieu-Daudé /* Remove a specific breakpoint.  */
4208a8dc267SPhilippe Mathieu-Daudé int cpu_breakpoint_remove(CPUState *cpu, vaddr pc, int flags)
4218a8dc267SPhilippe Mathieu-Daudé {
4228a8dc267SPhilippe Mathieu-Daudé     CPUClass *cc = CPU_GET_CLASS(cpu);
4238a8dc267SPhilippe Mathieu-Daudé     CPUBreakpoint *bp;
4248a8dc267SPhilippe Mathieu-Daudé 
4258a8dc267SPhilippe Mathieu-Daudé     if (cc->gdb_adjust_breakpoint) {
4268a8dc267SPhilippe Mathieu-Daudé         pc = cc->gdb_adjust_breakpoint(cpu, pc);
4278a8dc267SPhilippe Mathieu-Daudé     }
4288a8dc267SPhilippe Mathieu-Daudé 
4298a8dc267SPhilippe Mathieu-Daudé     QTAILQ_FOREACH(bp, &cpu->breakpoints, entry) {
4308a8dc267SPhilippe Mathieu-Daudé         if (bp->pc == pc && bp->flags == flags) {
4318a8dc267SPhilippe Mathieu-Daudé             cpu_breakpoint_remove_by_ref(cpu, bp);
4328a8dc267SPhilippe Mathieu-Daudé             return 0;
4338a8dc267SPhilippe Mathieu-Daudé         }
4348a8dc267SPhilippe Mathieu-Daudé     }
4358a8dc267SPhilippe Mathieu-Daudé     return -ENOENT;
4368a8dc267SPhilippe Mathieu-Daudé }
4378a8dc267SPhilippe Mathieu-Daudé 
4388a8dc267SPhilippe Mathieu-Daudé /* Remove a specific breakpoint by reference.  */
4398a8dc267SPhilippe Mathieu-Daudé void cpu_breakpoint_remove_by_ref(CPUState *cpu, CPUBreakpoint *bp)
4408a8dc267SPhilippe Mathieu-Daudé {
4418a8dc267SPhilippe Mathieu-Daudé     QTAILQ_REMOVE(&cpu->breakpoints, bp, entry);
4428a8dc267SPhilippe Mathieu-Daudé 
4438a8dc267SPhilippe Mathieu-Daudé     trace_breakpoint_remove(cpu->cpu_index, bp->pc, bp->flags);
4448a8dc267SPhilippe Mathieu-Daudé     g_free(bp);
4458a8dc267SPhilippe Mathieu-Daudé }
4468a8dc267SPhilippe Mathieu-Daudé 
4478a8dc267SPhilippe Mathieu-Daudé /* Remove all matching breakpoints. */
4488a8dc267SPhilippe Mathieu-Daudé void cpu_breakpoint_remove_all(CPUState *cpu, int mask)
4498a8dc267SPhilippe Mathieu-Daudé {
4508a8dc267SPhilippe Mathieu-Daudé     CPUBreakpoint *bp, *next;
4518a8dc267SPhilippe Mathieu-Daudé 
4528a8dc267SPhilippe Mathieu-Daudé     QTAILQ_FOREACH_SAFE(bp, &cpu->breakpoints, entry, next) {
4538a8dc267SPhilippe Mathieu-Daudé         if (bp->flags & mask) {
4548a8dc267SPhilippe Mathieu-Daudé             cpu_breakpoint_remove_by_ref(cpu, bp);
4558a8dc267SPhilippe Mathieu-Daudé         }
4568a8dc267SPhilippe Mathieu-Daudé     }
4578a8dc267SPhilippe Mathieu-Daudé }
458