2 * Win32 implementation for mutex/cond/thread functions
4 * Copyright Red Hat, Inc. 2010
7 * Paolo Bonzini <pbonzini@redhat.com>
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.
13 #include "qemu-common.h"
14 #include "qemu-thread.h"
19 static void error_exit(int err
, const char *msg
)
23 FormatMessage(FORMAT_MESSAGE_FROM_SYSTEM
| FORMAT_MESSAGE_ALLOCATE_BUFFER
,
24 NULL
, err
, 0, (LPTSTR
)&pstr
, 2, NULL
);
25 fprintf(stderr
, "qemu: %s: %s\n", msg
, pstr
);
30 void qemu_mutex_init(QemuMutex
*mutex
)
33 InitializeCriticalSection(&mutex
->lock
);
36 void qemu_mutex_destroy(QemuMutex
*mutex
)
38 assert(mutex
->owner
== 0);
39 DeleteCriticalSection(&mutex
->lock
);
42 void qemu_mutex_lock(QemuMutex
*mutex
)
44 EnterCriticalSection(&mutex
->lock
);
46 /* Win32 CRITICAL_SECTIONs are recursive. Assert that we're not
49 assert(mutex
->owner
== 0);
50 mutex
->owner
= GetCurrentThreadId();
53 int qemu_mutex_trylock(QemuMutex
*mutex
)
57 owned
= TryEnterCriticalSection(&mutex
->lock
);
59 assert(mutex
->owner
== 0);
60 mutex
->owner
= GetCurrentThreadId();
65 void qemu_mutex_unlock(QemuMutex
*mutex
)
67 assert(mutex
->owner
== GetCurrentThreadId());
69 LeaveCriticalSection(&mutex
->lock
);
72 void qemu_cond_init(QemuCond
*cond
)
74 memset(cond
, 0, sizeof(*cond
));
76 cond
->sema
= CreateSemaphore(NULL
, 0, LONG_MAX
, NULL
);
78 error_exit(GetLastError(), __func__
);
80 cond
->continue_event
= CreateEvent(NULL
, /* security */
81 FALSE
, /* auto-reset */
82 FALSE
, /* not signaled */
84 if (!cond
->continue_event
) {
85 error_exit(GetLastError(), __func__
);
89 void qemu_cond_destroy(QemuCond
*cond
)
92 result
= CloseHandle(cond
->continue_event
);
94 error_exit(GetLastError(), __func__
);
96 cond
->continue_event
= 0;
97 result
= CloseHandle(cond
->sema
);
99 error_exit(GetLastError(), __func__
);
104 void qemu_cond_signal(QemuCond
*cond
)
109 * Signal only when there are waiters. cond->waiters is
110 * incremented by pthread_cond_wait under the external lock,
111 * so we are safe about that.
113 if (cond
->waiters
== 0) {
118 * Waiting threads decrement it outside the external lock, but
119 * only if another thread is executing pthread_cond_broadcast and
120 * has the mutex. So, it also cannot be decremented concurrently
121 * with this particular access.
123 cond
->target
= cond
->waiters
- 1;
124 result
= SignalObjectAndWait(cond
->sema
, cond
->continue_event
,
126 if (result
== WAIT_ABANDONED
|| result
== WAIT_FAILED
) {
127 error_exit(GetLastError(), __func__
);
131 void qemu_cond_broadcast(QemuCond
*cond
)
135 * As in pthread_cond_signal, access to cond->waiters and
136 * cond->target is locked via the external mutex.
138 if (cond
->waiters
== 0) {
143 result
= ReleaseSemaphore(cond
->sema
, cond
->waiters
, NULL
);
145 error_exit(GetLastError(), __func__
);
149 * At this point all waiters continue. Each one takes its
150 * slice of the semaphore. Now it's our turn to wait: Since
151 * the external mutex is held, no thread can leave cond_wait,
152 * yet. For this reason, we can be sure that no thread gets
153 * a chance to eat *more* than one slice. OTOH, it means
154 * that the last waiter must send us a wake-up.
156 WaitForSingleObject(cond
->continue_event
, INFINITE
);
159 void qemu_cond_wait(QemuCond
*cond
, QemuMutex
*mutex
)
162 * This access is protected under the mutex.
167 * Unlock external mutex and wait for signal.
168 * NOTE: we've held mutex locked long enough to increment
169 * waiters count above, so there's no problem with
170 * leaving mutex unlocked before we wait on semaphore.
172 qemu_mutex_unlock(mutex
);
173 WaitForSingleObject(cond
->sema
, INFINITE
);
175 /* Now waiters must rendez-vous with the signaling thread and
176 * let it continue. For cond_broadcast this has heavy contention
177 * and triggers thundering herd. So goes life.
179 * Decrease waiters count. The mutex is not taken, so we have
180 * to do this atomically.
182 * All waiters contend for the mutex at the end of this function
183 * until the signaling thread relinquishes it. To ensure
184 * each waiter consumes exactly one slice of the semaphore,
185 * the signaling thread stops until it is told by the last
186 * waiter that it can go on.
188 if (InterlockedDecrement(&cond
->waiters
) == cond
->target
) {
189 SetEvent(cond
->continue_event
);
192 qemu_mutex_lock(mutex
);
195 struct QemuThreadData
{
196 /* Passed to win32_start_routine. */
197 void *(*start_routine
)(void *);
201 /* Only used for joinable threads. */
207 static int qemu_thread_tls_index
= TLS_OUT_OF_INDEXES
;
209 static unsigned __stdcall
win32_start_routine(void *arg
)
211 QemuThreadData
*data
= (QemuThreadData
*) arg
;
212 void *(*start_routine
)(void *) = data
->start_routine
;
213 void *thread_arg
= data
->arg
;
215 if (data
->mode
== QEMU_THREAD_DETACHED
) {
219 TlsSetValue(qemu_thread_tls_index
, data
);
220 qemu_thread_exit(start_routine(thread_arg
));
224 void qemu_thread_exit(void *arg
)
226 QemuThreadData
*data
= TlsGetValue(qemu_thread_tls_index
);
228 assert(data
->mode
!= QEMU_THREAD_DETACHED
);
230 EnterCriticalSection(&data
->cs
);
232 LeaveCriticalSection(&data
->cs
);
237 void *qemu_thread_join(QemuThread
*thread
)
239 QemuThreadData
*data
;
248 * Because multiple copies of the QemuThread can exist via
249 * qemu_thread_get_self, we need to store a value that cannot
250 * leak there. The simplest, non racy way is to store the TID,
251 * discard the handle that _beginthreadex gives back, and
252 * get another copy of the handle here.
254 handle
= qemu_thread_get_handle(thread
);
256 WaitForSingleObject(handle
, INFINITE
);
260 assert(data
->mode
!= QEMU_THREAD_DETACHED
);
261 DeleteCriticalSection(&data
->cs
);
266 static inline void qemu_thread_init(void)
268 if (qemu_thread_tls_index
== TLS_OUT_OF_INDEXES
) {
269 qemu_thread_tls_index
= TlsAlloc();
270 if (qemu_thread_tls_index
== TLS_OUT_OF_INDEXES
) {
271 error_exit(ERROR_NO_SYSTEM_RESOURCES
, __func__
);
277 void qemu_thread_create(QemuThread
*thread
,
278 void *(*start_routine
)(void *),
283 struct QemuThreadData
*data
;
285 data
= g_malloc(sizeof *data
);
286 data
->start_routine
= start_routine
;
289 data
->exited
= false;
291 if (data
->mode
!= QEMU_THREAD_DETACHED
) {
292 InitializeCriticalSection(&data
->cs
);
295 hThread
= (HANDLE
) _beginthreadex(NULL
, 0, win32_start_routine
,
296 data
, 0, &thread
->tid
);
298 error_exit(GetLastError(), __func__
);
300 CloseHandle(hThread
);
301 thread
->data
= (mode
== QEMU_THREAD_DETACHED
) ? NULL
: data
;
304 void qemu_thread_get_self(QemuThread
*thread
)
307 thread
->data
= TlsGetValue(qemu_thread_tls_index
);
308 thread
->tid
= GetCurrentThreadId();
311 HANDLE
qemu_thread_get_handle(QemuThread
*thread
)
313 QemuThreadData
*data
;
321 assert(data
->mode
!= QEMU_THREAD_DETACHED
);
322 EnterCriticalSection(&data
->cs
);
324 handle
= OpenThread(SYNCHRONIZE
| THREAD_SUSPEND_RESUME
, FALSE
,
329 LeaveCriticalSection(&data
->cs
);
333 int qemu_thread_is_self(QemuThread
*thread
)
335 return GetCurrentThreadId() == thread
->tid
;