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