blob: b2e26e21205b631efe57bfc4705d5fb581788f3f [file] [log] [blame]
aliguorie5d355d2009-04-24 18:03:15 +00001/*
2 * Wrappers around mutex/cond/thread functions
3 *
4 * Copyright Red Hat, Inc. 2009
5 *
6 * Author:
7 * Marcelo Tosatti <mtosatti@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2 or later.
10 * See the COPYING file in the top-level directory.
11 *
12 */
Peter Maydellaafd7582016-01-29 17:49:55 +000013#include "qemu/osdep.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010014#include "qemu/thread.h"
Paolo Bonzinic7c4d062013-09-25 14:20:59 +080015#include "qemu/atomic.h"
Paolo Bonzinief571372014-12-02 12:05:45 +010016#include "qemu/notify.h"
Peter Xuf1aff7a2018-04-25 10:54:57 +080017#include "qemu-thread-common.h"
Robert Foleyce9f0e52020-06-12 20:02:33 +010018#include "qemu/tsan.h"
David Hildenbrand7730f322022-10-14 15:47:15 +020019#include "qemu/bitmap.h"
aliguorie5d355d2009-04-24 18:03:15 +000020
Brad Smith3ada67a2022-12-18 03:22:04 -050021#ifdef CONFIG_PTHREAD_SET_NAME_NP
22#include <pthread_np.h>
23#endif
24
Dr. David Alan Gilbert8f480de2014-01-30 10:20:31 +000025static bool name_threads;
26
27void qemu_thread_naming(bool enable)
28{
29 name_threads = enable;
Dr. David Alan Gilbert5c312072014-03-12 11:48:18 +000030
Paolo Bonzini10f6b232021-10-07 15:08:19 +020031#if !defined CONFIG_PTHREAD_SETNAME_NP_W_TID && \
Brad Smith3ada67a2022-12-18 03:22:04 -050032 !defined CONFIG_PTHREAD_SETNAME_NP_WO_TID && \
33 !defined CONFIG_PTHREAD_SET_NAME_NP
Dr. David Alan Gilbert5c312072014-03-12 11:48:18 +000034 /* This is a debugging option, not fatal */
35 if (enable) {
36 fprintf(stderr, "qemu: thread naming not supported on this host\n");
37 }
38#endif
Dr. David Alan Gilbert8f480de2014-01-30 10:20:31 +000039}
40
aliguorie5d355d2009-04-24 18:03:15 +000041static void error_exit(int err, const char *msg)
42{
43 fprintf(stderr, "qemu: %s: %s\n", msg, strerror(err));
Jan Kiszka53380ac2011-09-21 09:28:31 +020044 abort();
aliguorie5d355d2009-04-24 18:03:15 +000045}
46
Longpeng(Mike)657ac982022-02-22 17:05:05 +080047static inline clockid_t qemu_timedwait_clockid(void)
48{
49#ifdef CONFIG_PTHREAD_CONDATTR_SETCLOCK
50 return CLOCK_MONOTONIC;
51#else
52 return CLOCK_REALTIME;
53#endif
54}
55
Yury Kotov3dcc9c62019-09-09 16:13:33 +030056static void compute_abs_deadline(struct timespec *ts, int ms)
57{
Longpeng(Mike)657ac982022-02-22 17:05:05 +080058 clock_gettime(qemu_timedwait_clockid(), ts);
59 ts->tv_nsec += (ms % 1000) * 1000000;
60 ts->tv_sec += ms / 1000;
Yury Kotov3dcc9c62019-09-09 16:13:33 +030061 if (ts->tv_nsec >= 1000000000) {
62 ts->tv_sec++;
63 ts->tv_nsec -= 1000000000;
64 }
65}
66
aliguorie5d355d2009-04-24 18:03:15 +000067void qemu_mutex_init(QemuMutex *mutex)
68{
69 int err;
70
Paolo Bonzini24fa9042015-03-05 16:47:14 +010071 err = pthread_mutex_init(&mutex->lock, NULL);
aliguorie5d355d2009-04-24 18:03:15 +000072 if (err)
73 error_exit(err, __func__);
Peter Xuf1aff7a2018-04-25 10:54:57 +080074 qemu_mutex_post_init(mutex);
aliguorie5d355d2009-04-24 18:03:15 +000075}
76
Corentin Chary313b1d62010-07-07 20:58:01 +020077void qemu_mutex_destroy(QemuMutex *mutex)
78{
79 int err;
80
Fam Zhengc0963582017-07-04 20:23:25 +080081 assert(mutex->initialized);
82 mutex->initialized = false;
Corentin Chary313b1d62010-07-07 20:58:01 +020083 err = pthread_mutex_destroy(&mutex->lock);
84 if (err)
85 error_exit(err, __func__);
86}
87
Alex Bennée6c27a0d2018-01-11 11:27:16 +030088void qemu_mutex_lock_impl(QemuMutex *mutex, const char *file, const int line)
aliguorie5d355d2009-04-24 18:03:15 +000089{
90 int err;
91
Fam Zhengc0963582017-07-04 20:23:25 +080092 assert(mutex->initialized);
Peter Xuf1aff7a2018-04-25 10:54:57 +080093 qemu_mutex_pre_lock(mutex, file, line);
aliguorie5d355d2009-04-24 18:03:15 +000094 err = pthread_mutex_lock(&mutex->lock);
95 if (err)
96 error_exit(err, __func__);
Peter Xuf1aff7a2018-04-25 10:54:57 +080097 qemu_mutex_post_lock(mutex, file, line);
aliguorie5d355d2009-04-24 18:03:15 +000098}
99
Alex Bennée6c27a0d2018-01-11 11:27:16 +0300100int qemu_mutex_trylock_impl(QemuMutex *mutex, const char *file, const int line)
aliguorie5d355d2009-04-24 18:03:15 +0000101{
Jose Ricardo Ziviani31f5a722017-04-24 14:19:58 -0300102 int err;
103
Fam Zhengc0963582017-07-04 20:23:25 +0800104 assert(mutex->initialized);
Jose Ricardo Ziviani31f5a722017-04-24 14:19:58 -0300105 err = pthread_mutex_trylock(&mutex->lock);
106 if (err == 0) {
Peter Xuf1aff7a2018-04-25 10:54:57 +0800107 qemu_mutex_post_lock(mutex, file, line);
Jose Ricardo Ziviani31f5a722017-04-24 14:19:58 -0300108 return 0;
109 }
110 if (err != EBUSY) {
111 error_exit(err, __func__);
112 }
113 return -EBUSY;
aliguorie5d355d2009-04-24 18:03:15 +0000114}
115
Alex Bennée6c27a0d2018-01-11 11:27:16 +0300116void qemu_mutex_unlock_impl(QemuMutex *mutex, const char *file, const int line)
aliguorie5d355d2009-04-24 18:03:15 +0000117{
118 int err;
119
Fam Zhengc0963582017-07-04 20:23:25 +0800120 assert(mutex->initialized);
Peter Xuf1aff7a2018-04-25 10:54:57 +0800121 qemu_mutex_pre_unlock(mutex, file, line);
aliguorie5d355d2009-04-24 18:03:15 +0000122 err = pthread_mutex_unlock(&mutex->lock);
123 if (err)
124 error_exit(err, __func__);
125}
126
Paolo Bonzinifeadec62016-10-27 12:49:07 +0200127void qemu_rec_mutex_init(QemuRecMutex *mutex)
128{
129 int err;
130 pthread_mutexattr_t attr;
131
132 pthread_mutexattr_init(&attr);
133 pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE);
Richard Henderson6c986352021-06-14 16:31:40 -0700134 err = pthread_mutex_init(&mutex->m.lock, &attr);
Paolo Bonzinifeadec62016-10-27 12:49:07 +0200135 pthread_mutexattr_destroy(&attr);
136 if (err) {
137 error_exit(err, __func__);
138 }
Richard Henderson6c986352021-06-14 16:31:40 -0700139 mutex->m.initialized = true;
Paolo Bonzinifeadec62016-10-27 12:49:07 +0200140}
141
Richard Henderson4b193bb2021-06-14 16:31:38 -0700142void qemu_rec_mutex_destroy(QemuRecMutex *mutex)
143{
Richard Henderson6c986352021-06-14 16:31:40 -0700144 qemu_mutex_destroy(&mutex->m);
Richard Henderson4b193bb2021-06-14 16:31:38 -0700145}
146
147void qemu_rec_mutex_lock_impl(QemuRecMutex *mutex, const char *file, int line)
148{
Richard Henderson6c986352021-06-14 16:31:40 -0700149 qemu_mutex_lock_impl(&mutex->m, file, line);
Richard Henderson4b193bb2021-06-14 16:31:38 -0700150}
151
152int qemu_rec_mutex_trylock_impl(QemuRecMutex *mutex, const char *file, int line)
153{
Richard Henderson6c986352021-06-14 16:31:40 -0700154 return qemu_mutex_trylock_impl(&mutex->m, file, line);
Richard Henderson4b193bb2021-06-14 16:31:38 -0700155}
156
Richard Henderson9c75bae2021-06-14 16:31:39 -0700157void qemu_rec_mutex_unlock_impl(QemuRecMutex *mutex, const char *file, int line)
Richard Henderson4b193bb2021-06-14 16:31:38 -0700158{
Richard Henderson6c986352021-06-14 16:31:40 -0700159 qemu_mutex_unlock_impl(&mutex->m, file, line);
Richard Henderson4b193bb2021-06-14 16:31:38 -0700160}
161
aliguorie5d355d2009-04-24 18:03:15 +0000162void qemu_cond_init(QemuCond *cond)
163{
Longpeng(Mike)657ac982022-02-22 17:05:05 +0800164 pthread_condattr_t attr;
aliguorie5d355d2009-04-24 18:03:15 +0000165 int err;
166
Longpeng(Mike)657ac982022-02-22 17:05:05 +0800167 err = pthread_condattr_init(&attr);
168 if (err) {
aliguorie5d355d2009-04-24 18:03:15 +0000169 error_exit(err, __func__);
Longpeng(Mike)657ac982022-02-22 17:05:05 +0800170 }
171#ifdef CONFIG_PTHREAD_CONDATTR_SETCLOCK
172 err = pthread_condattr_setclock(&attr, qemu_timedwait_clockid());
173 if (err) {
174 error_exit(err, __func__);
175 }
176#endif
177 err = pthread_cond_init(&cond->cond, &attr);
178 if (err) {
179 error_exit(err, __func__);
180 }
181 err = pthread_condattr_destroy(&attr);
182 if (err) {
183 error_exit(err, __func__);
184 }
Fam Zhengc0963582017-07-04 20:23:25 +0800185 cond->initialized = true;
aliguorie5d355d2009-04-24 18:03:15 +0000186}
187
Corentin Chary313b1d62010-07-07 20:58:01 +0200188void qemu_cond_destroy(QemuCond *cond)
189{
190 int err;
191
Fam Zhengc0963582017-07-04 20:23:25 +0800192 assert(cond->initialized);
193 cond->initialized = false;
Corentin Chary313b1d62010-07-07 20:58:01 +0200194 err = pthread_cond_destroy(&cond->cond);
195 if (err)
196 error_exit(err, __func__);
197}
198
aliguorie5d355d2009-04-24 18:03:15 +0000199void qemu_cond_signal(QemuCond *cond)
200{
201 int err;
202
Fam Zhengc0963582017-07-04 20:23:25 +0800203 assert(cond->initialized);
aliguorie5d355d2009-04-24 18:03:15 +0000204 err = pthread_cond_signal(&cond->cond);
205 if (err)
206 error_exit(err, __func__);
207}
208
209void qemu_cond_broadcast(QemuCond *cond)
210{
211 int err;
212
Fam Zhengc0963582017-07-04 20:23:25 +0800213 assert(cond->initialized);
aliguorie5d355d2009-04-24 18:03:15 +0000214 err = pthread_cond_broadcast(&cond->cond);
215 if (err)
216 error_exit(err, __func__);
217}
218
Alex Bennée6c27a0d2018-01-11 11:27:16 +0300219void qemu_cond_wait_impl(QemuCond *cond, QemuMutex *mutex, const char *file, const int line)
aliguorie5d355d2009-04-24 18:03:15 +0000220{
221 int err;
222
Fam Zhengc0963582017-07-04 20:23:25 +0800223 assert(cond->initialized);
Peter Xuf1aff7a2018-04-25 10:54:57 +0800224 qemu_mutex_pre_unlock(mutex, file, line);
aliguorie5d355d2009-04-24 18:03:15 +0000225 err = pthread_cond_wait(&cond->cond, &mutex->lock);
Peter Xuf1aff7a2018-04-25 10:54:57 +0800226 qemu_mutex_post_lock(mutex, file, line);
aliguorie5d355d2009-04-24 18:03:15 +0000227 if (err)
228 error_exit(err, __func__);
229}
230
Emanuele Giuseppe Espositodeb9c2a2023-01-17 08:52:01 -0500231static bool TSA_NO_TSA
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800232qemu_cond_timedwait_ts(QemuCond *cond, QemuMutex *mutex, struct timespec *ts,
233 const char *file, const int line)
Yury Kotov3dcc9c62019-09-09 16:13:33 +0300234{
235 int err;
Yury Kotov3dcc9c62019-09-09 16:13:33 +0300236
237 assert(cond->initialized);
238 trace_qemu_mutex_unlock(mutex, file, line);
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800239 err = pthread_cond_timedwait(&cond->cond, &mutex->lock, ts);
Yury Kotov3dcc9c62019-09-09 16:13:33 +0300240 trace_qemu_mutex_locked(mutex, file, line);
241 if (err && err != ETIMEDOUT) {
242 error_exit(err, __func__);
243 }
244 return err != ETIMEDOUT;
245}
246
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800247bool qemu_cond_timedwait_impl(QemuCond *cond, QemuMutex *mutex, int ms,
248 const char *file, const int line)
249{
250 struct timespec ts;
251
252 compute_abs_deadline(&ts, ms);
253 return qemu_cond_timedwait_ts(cond, mutex, &ts, file, line);
254}
255
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200256void qemu_sem_init(QemuSemaphore *sem, int init)
257{
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800258 qemu_mutex_init(&sem->mutex);
259 qemu_cond_init(&sem->cond);
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200260
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100261 if (init < 0) {
262 error_exit(EINVAL, __func__);
263 }
264 sem->count = init;
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200265}
266
267void qemu_sem_destroy(QemuSemaphore *sem)
268{
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800269 qemu_cond_destroy(&sem->cond);
270 qemu_mutex_destroy(&sem->mutex);
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200271}
272
273void qemu_sem_post(QemuSemaphore *sem)
274{
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800275 qemu_mutex_lock(&sem->mutex);
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900276 if (sem->count == UINT_MAX) {
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800277 error_exit(EINVAL, __func__);
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100278 } else {
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900279 sem->count++;
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800280 qemu_cond_signal(&sem->cond);
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100281 }
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800282 qemu_mutex_unlock(&sem->mutex);
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100283}
284
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200285int qemu_sem_timedwait(QemuSemaphore *sem, int ms)
286{
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800287 bool rc = true;
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100288 struct timespec ts;
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200289
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100290 compute_abs_deadline(&ts, ms);
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800291 qemu_mutex_lock(&sem->mutex);
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900292 while (sem->count == 0) {
Paolo Bonzini8ab30262022-02-21 12:46:32 +0100293 if (ms == 0) {
294 rc = false;
295 } else {
296 rc = qemu_cond_timedwait_ts(&sem->cond, &sem->mutex, &ts,
297 __FILE__, __LINE__);
298 }
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800299 if (!rc) { /* timeout */
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100300 break;
301 }
Paolo Bonzinic166cb72012-11-02 15:43:21 +0100302 }
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800303 if (rc) {
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900304 --sem->count;
305 }
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800306 qemu_mutex_unlock(&sem->mutex);
307 return (rc ? 0 : -1);
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200308}
309
310void qemu_sem_wait(QemuSemaphore *sem)
311{
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800312 qemu_mutex_lock(&sem->mutex);
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900313 while (sem->count == 0) {
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800314 qemu_cond_wait(&sem->cond, &sem->mutex);
Izumi Tsutsui79761c62013-07-03 17:58:14 +0900315 }
316 --sem->count;
Longpeng(Mike)a0d45db2022-02-22 17:05:06 +0800317 qemu_mutex_unlock(&sem->mutex);
Paolo Bonzini38b14db2011-08-08 14:36:41 +0200318}
319
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800320#ifdef __linux__
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100321#include "qemu/futex.h"
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800322#else
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100323static inline void qemu_futex_wake(QemuEvent *ev, int n)
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800324{
Fam Zhengc0963582017-07-04 20:23:25 +0800325 assert(ev->initialized);
Paolo Bonzini158ef8c2015-02-02 16:36:51 +0100326 pthread_mutex_lock(&ev->lock);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800327 if (n == 1) {
328 pthread_cond_signal(&ev->cond);
329 } else {
330 pthread_cond_broadcast(&ev->cond);
331 }
Paolo Bonzini158ef8c2015-02-02 16:36:51 +0100332 pthread_mutex_unlock(&ev->lock);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800333}
334
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100335static inline void qemu_futex_wait(QemuEvent *ev, unsigned val)
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800336{
Fam Zhengc0963582017-07-04 20:23:25 +0800337 assert(ev->initialized);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800338 pthread_mutex_lock(&ev->lock);
339 if (ev->value == val) {
340 pthread_cond_wait(&ev->cond, &ev->lock);
341 }
342 pthread_mutex_unlock(&ev->lock);
343}
344#endif
345
346/* Valid transitions:
347 * - free->set, when setting the event
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100348 * - busy->set, when setting the event, followed by qemu_futex_wake
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800349 * - set->free, when resetting the event
350 * - free->busy, when waiting
351 *
352 * set->busy does not happen (it can be observed from the outside but
353 * it really is set->free->busy).
354 *
355 * busy->free provably cannot happen; to enforce it, the set->free transition
356 * is done with an OR, which becomes a no-op if the event has concurrently
357 * transitioned to free or busy.
358 */
359
360#define EV_SET 0
361#define EV_FREE 1
362#define EV_BUSY -1
363
364void qemu_event_init(QemuEvent *ev, bool init)
365{
366#ifndef __linux__
367 pthread_mutex_init(&ev->lock, NULL);
368 pthread_cond_init(&ev->cond, NULL);
369#endif
370
371 ev->value = (init ? EV_SET : EV_FREE);
Fam Zhengc0963582017-07-04 20:23:25 +0800372 ev->initialized = true;
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800373}
374
375void qemu_event_destroy(QemuEvent *ev)
376{
Fam Zhengc0963582017-07-04 20:23:25 +0800377 assert(ev->initialized);
378 ev->initialized = false;
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800379#ifndef __linux__
380 pthread_mutex_destroy(&ev->lock);
381 pthread_cond_destroy(&ev->cond);
382#endif
383}
384
385void qemu_event_set(QemuEvent *ev)
386{
Paolo Bonzini9586a132023-03-02 11:19:52 +0100387 assert(ev->initialized);
388
389 /*
390 * Pairs with both qemu_event_reset() and qemu_event_wait().
391 *
392 * qemu_event_set has release semantics, but because it *loads*
Paolo Bonzini374293c2016-09-19 11:10:57 +0200393 * ev->value we need a full memory barrier here.
394 */
395 smp_mb();
Stefan Hajnoczid73415a2020-09-23 11:56:46 +0100396 if (qatomic_read(&ev->value) != EV_SET) {
Paolo Bonzini9586a132023-03-02 11:19:52 +0100397 int old = qatomic_xchg(&ev->value, EV_SET);
398
399 /* Pairs with memory barrier in kernel futex_wait system call. */
400 smp_mb__after_rmw();
401 if (old == EV_BUSY) {
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800402 /* There were waiters, wake them up. */
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100403 qemu_futex_wake(ev, INT_MAX);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800404 }
405 }
406}
407
408void qemu_event_reset(QemuEvent *ev)
409{
Fam Zhengc0963582017-07-04 20:23:25 +0800410 assert(ev->initialized);
Paolo Bonzini9586a132023-03-02 11:19:52 +0100411
412 /*
413 * If there was a concurrent reset (or even reset+wait),
414 * do nothing. Otherwise change EV_SET->EV_FREE.
415 */
416 qatomic_or(&ev->value, EV_FREE);
417
418 /*
419 * Order reset before checking the condition in the caller.
420 * Pairs with the first memory barrier in qemu_event_set().
421 */
422 smp_mb__after_rmw();
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800423}
424
425void qemu_event_wait(QemuEvent *ev)
426{
427 unsigned value;
428
Fam Zhengc0963582017-07-04 20:23:25 +0800429 assert(ev->initialized);
Paolo Bonzini9586a132023-03-02 11:19:52 +0100430
431 /*
432 * qemu_event_wait must synchronize with qemu_event_set even if it does
433 * not go down the slow path, so this load-acquire is needed that
434 * synchronizes with the first memory barrier in qemu_event_set().
435 *
436 * If we do go down the slow path, there is no requirement at all: we
437 * might miss a qemu_event_set() here but ultimately the memory barrier in
438 * qemu_futex_wait() will ensure the check is done correctly.
439 */
440 value = qatomic_load_acquire(&ev->value);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800441 if (value != EV_SET) {
442 if (value == EV_FREE) {
443 /*
Paolo Bonzini9586a132023-03-02 11:19:52 +0100444 * Leave the event reset and tell qemu_event_set that there are
445 * waiters. No need to retry, because there cannot be a concurrent
446 * busy->free transition. After the CAS, the event will be either
447 * set or busy.
448 *
449 * This cmpxchg doesn't have particular ordering requirements if it
450 * succeeds (moving the store earlier can only cause qemu_event_set()
451 * to issue _more_ wakeups), the failing case needs acquire semantics
452 * like the load above.
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800453 */
Stefan Hajnoczid73415a2020-09-23 11:56:46 +0100454 if (qatomic_cmpxchg(&ev->value, EV_FREE, EV_BUSY) == EV_SET) {
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800455 return;
456 }
457 }
Paolo Bonzini9586a132023-03-02 11:19:52 +0100458
459 /*
460 * This is the final check for a concurrent set, so it does need
461 * a smp_mb() pairing with the second barrier of qemu_event_set().
462 * The barrier is inside the FUTEX_WAIT system call.
463 */
Paolo Bonzinifbcc3e52017-01-12 19:07:54 +0100464 qemu_futex_wait(ev, EV_BUSY);
Paolo Bonzinic7c4d062013-09-25 14:20:59 +0800465 }
466}
467
Peter Maydella4587742018-11-05 13:55:38 +0000468static __thread NotifierList thread_exit;
Paolo Bonzinief571372014-12-02 12:05:45 +0100469
Peter Maydella4587742018-11-05 13:55:38 +0000470/*
471 * Note that in this implementation you can register a thread-exit
472 * notifier for the main thread, but it will never be called.
473 * This is OK because main thread exit can only happen when the
474 * entire process is exiting, and the API allows notifiers to not
475 * be called on process exit.
476 */
Paolo Bonzinief571372014-12-02 12:05:45 +0100477void qemu_thread_atexit_add(Notifier *notifier)
478{
Peter Maydella4587742018-11-05 13:55:38 +0000479 notifier_list_add(&thread_exit, notifier);
Paolo Bonzinief571372014-12-02 12:05:45 +0100480}
481
482void qemu_thread_atexit_remove(Notifier *notifier)
483{
Paolo Bonzinief571372014-12-02 12:05:45 +0100484 notifier_remove(notifier);
Paolo Bonzinief571372014-12-02 12:05:45 +0100485}
486
Peter Maydella4587742018-11-05 13:55:38 +0000487static void qemu_thread_atexit_notify(void *arg)
Paolo Bonzinief571372014-12-02 12:05:45 +0100488{
Peter Maydella4587742018-11-05 13:55:38 +0000489 /*
490 * Called when non-main thread exits (via qemu_thread_exit()
491 * or by returning from its start routine.)
492 */
493 notifier_list_notify(&thread_exit, NULL);
Paolo Bonzinief571372014-12-02 12:05:45 +0100494}
495
linzhecheng68a93982017-11-28 12:46:56 +0800496typedef struct {
497 void *(*start_routine)(void *);
498 void *arg;
499 char *name;
500} QemuThreadArgs;
501
502static void *qemu_thread_start(void *args)
503{
504 QemuThreadArgs *qemu_thread_args = args;
505 void *(*start_routine)(void *) = qemu_thread_args->start_routine;
506 void *arg = qemu_thread_args->arg;
Peter Maydella4587742018-11-05 13:55:38 +0000507 void *r;
linzhecheng68a93982017-11-28 12:46:56 +0800508
509 /* Attempt to set the threads name; note that this is for debug, so
510 * we're not going to fail if we can't set it.
511 */
Peter Xud820fa52018-04-12 13:34:44 +0800512 if (name_threads && qemu_thread_args->name) {
Roman Bolshakov479a5742018-12-17 23:26:01 +0300513# if defined(CONFIG_PTHREAD_SETNAME_NP_W_TID)
Peter Xud820fa52018-04-12 13:34:44 +0800514 pthread_setname_np(pthread_self(), qemu_thread_args->name);
Roman Bolshakov479a5742018-12-17 23:26:01 +0300515# elif defined(CONFIG_PTHREAD_SETNAME_NP_WO_TID)
516 pthread_setname_np(qemu_thread_args->name);
Brad Smith3ada67a2022-12-18 03:22:04 -0500517# elif defined(CONFIG_PTHREAD_SET_NAME_NP)
518 pthread_set_name_np(pthread_self(), qemu_thread_args->name);
Roman Bolshakov479a5742018-12-17 23:26:01 +0300519# endif
Peter Xud820fa52018-04-12 13:34:44 +0800520 }
Robert Foleyce9f0e52020-06-12 20:02:33 +0100521 QEMU_TSAN_ANNOTATE_THREAD_NAME(qemu_thread_args->name);
linzhecheng68a93982017-11-28 12:46:56 +0800522 g_free(qemu_thread_args->name);
523 g_free(qemu_thread_args);
Richard Henderson37daf1b2021-08-03 11:19:07 -1000524
525 /*
526 * GCC 11 with glibc 2.17 on PowerPC reports
527 *
528 * qemu-thread-posix.c:540:5: error: ‘__sigsetjmp’ accessing 656 bytes
529 * in a region of size 528 [-Werror=stringop-overflow=]
530 * 540 | pthread_cleanup_push(qemu_thread_atexit_notify, NULL);
531 * | ^~~~~~~~~~~~~~~~~~~~
532 *
533 * which is clearly nonsense.
534 */
535#pragma GCC diagnostic push
536#ifndef __clang__
537#pragma GCC diagnostic ignored "-Wstringop-overflow"
538#endif
539
Peter Maydella4587742018-11-05 13:55:38 +0000540 pthread_cleanup_push(qemu_thread_atexit_notify, NULL);
541 r = start_routine(arg);
542 pthread_cleanup_pop(1);
Richard Henderson37daf1b2021-08-03 11:19:07 -1000543
544#pragma GCC diagnostic pop
545
Peter Maydella4587742018-11-05 13:55:38 +0000546 return r;
Dr. David Alan Gilbert5c312072014-03-12 11:48:18 +0000547}
548
Dr. David Alan Gilbert49001162014-01-30 10:20:32 +0000549void qemu_thread_create(QemuThread *thread, const char *name,
aliguorie5d355d2009-04-24 18:03:15 +0000550 void *(*start_routine)(void*),
Jan Kiszkacf218712011-12-12 17:21:31 +0100551 void *arg, int mode)
aliguorie5d355d2009-04-24 18:03:15 +0000552{
Jan Kiszkacf218712011-12-12 17:21:31 +0100553 sigset_t set, oldset;
aliguorie5d355d2009-04-24 18:03:15 +0000554 int err;
Jan Kiszka87630462011-12-12 17:21:32 +0100555 pthread_attr_t attr;
Peter Xud820fa52018-04-12 13:34:44 +0800556 QemuThreadArgs *qemu_thread_args;
aliguorie5d355d2009-04-24 18:03:15 +0000557
Jan Kiszka87630462011-12-12 17:21:32 +0100558 err = pthread_attr_init(&attr);
559 if (err) {
560 error_exit(err, __func__);
561 }
Paolo Bonzini55541c82010-06-03 15:20:32 +0200562
linzhecheng68a93982017-11-28 12:46:56 +0800563 if (mode == QEMU_THREAD_DETACHED) {
564 pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
565 }
566
Jan Kiszkacf218712011-12-12 17:21:31 +0100567 /* Leave signal handling to the iothread. */
Paolo Bonzini55541c82010-06-03 15:20:32 +0200568 sigfillset(&set);
Roman Bolshakov21a43af2018-12-17 23:26:02 +0300569 /* Blocking the signals can result in undefined behaviour. */
570 sigdelset(&set, SIGSEGV);
571 sigdelset(&set, SIGFPE);
572 sigdelset(&set, SIGILL);
573 /* TODO avoid SIGBUS loss on macOS */
Paolo Bonzini55541c82010-06-03 15:20:32 +0200574 pthread_sigmask(SIG_SETMASK, &set, &oldset);
linzhecheng68a93982017-11-28 12:46:56 +0800575
Peter Xud820fa52018-04-12 13:34:44 +0800576 qemu_thread_args = g_new0(QemuThreadArgs, 1);
577 qemu_thread_args->name = g_strdup(name);
578 qemu_thread_args->start_routine = start_routine;
579 qemu_thread_args->arg = arg;
linzhecheng68a93982017-11-28 12:46:56 +0800580
Peter Xud820fa52018-04-12 13:34:44 +0800581 err = pthread_create(&thread->thread, &attr,
582 qemu_thread_start, qemu_thread_args);
linzhecheng68a93982017-11-28 12:46:56 +0800583
aliguorie5d355d2009-04-24 18:03:15 +0000584 if (err)
585 error_exit(err, __func__);
Paolo Bonzini55541c82010-06-03 15:20:32 +0200586
587 pthread_sigmask(SIG_SETMASK, &oldset, NULL);
Jan Kiszka87630462011-12-12 17:21:32 +0100588
589 pthread_attr_destroy(&attr);
aliguorie5d355d2009-04-24 18:03:15 +0000590}
591
David Hildenbrand7730f322022-10-14 15:47:15 +0200592int qemu_thread_set_affinity(QemuThread *thread, unsigned long *host_cpus,
593 unsigned long nbits)
594{
595#if defined(CONFIG_PTHREAD_AFFINITY_NP)
596 const size_t setsize = CPU_ALLOC_SIZE(nbits);
597 unsigned long value;
598 cpu_set_t *cpuset;
599 int err;
600
601 cpuset = CPU_ALLOC(nbits);
602 g_assert(cpuset);
603
604 CPU_ZERO_S(setsize, cpuset);
605 value = find_first_bit(host_cpus, nbits);
606 while (value < nbits) {
607 CPU_SET_S(value, setsize, cpuset);
608 value = find_next_bit(host_cpus, nbits, value + 1);
609 }
610
611 err = pthread_setaffinity_np(thread->thread, setsize, cpuset);
612 CPU_FREE(cpuset);
613 return err;
614#else
615 return -ENOSYS;
616#endif
617}
618
619int qemu_thread_get_affinity(QemuThread *thread, unsigned long **host_cpus,
620 unsigned long *nbits)
621{
622#if defined(CONFIG_PTHREAD_AFFINITY_NP)
623 unsigned long tmpbits;
624 cpu_set_t *cpuset;
625 size_t setsize;
626 int i, err;
627
628 tmpbits = CPU_SETSIZE;
629 while (true) {
630 setsize = CPU_ALLOC_SIZE(tmpbits);
631 cpuset = CPU_ALLOC(tmpbits);
632 g_assert(cpuset);
633
634 err = pthread_getaffinity_np(thread->thread, setsize, cpuset);
635 if (err) {
636 CPU_FREE(cpuset);
637 if (err != -EINVAL) {
638 return err;
639 }
640 tmpbits *= 2;
641 } else {
642 break;
643 }
644 }
645
646 /* Convert the result into a proper bitmap. */
647 *nbits = tmpbits;
648 *host_cpus = bitmap_new(tmpbits);
649 for (i = 0; i < tmpbits; i++) {
650 if (CPU_ISSET(i, cpuset)) {
651 set_bit(i, *host_cpus);
652 }
653 }
654 CPU_FREE(cpuset);
655 return 0;
656#else
657 return -ENOSYS;
658#endif
659}
660
Jan Kiszkab7680cb2011-03-12 17:43:51 +0100661void qemu_thread_get_self(QemuThread *thread)
aliguorie5d355d2009-04-24 18:03:15 +0000662{
663 thread->thread = pthread_self();
664}
665
Andreas Färber2d797b62012-05-02 17:21:31 +0200666bool qemu_thread_is_self(QemuThread *thread)
aliguorie5d355d2009-04-24 18:03:15 +0000667{
Jan Kiszkab7680cb2011-03-12 17:43:51 +0100668 return pthread_equal(pthread_self(), thread->thread);
aliguorie5d355d2009-04-24 18:03:15 +0000669}
670
Corentin Chary313b1d62010-07-07 20:58:01 +0200671void qemu_thread_exit(void *retval)
672{
673 pthread_exit(retval);
674}
Jan Kiszka87630462011-12-12 17:21:32 +0100675
676void *qemu_thread_join(QemuThread *thread)
677{
678 int err;
679 void *ret;
680
681 err = pthread_join(thread->thread, &ret);
682 if (err) {
683 error_exit(err, __func__);
684 }
685 return ret;
686}