rumpuser_pth.c revision 1.43 1 1.43 pooka /* $NetBSD: rumpuser_pth.c,v 1.43 2014/11/04 19:05:17 pooka Exp $ */
2 1.1 pooka
3 1.1 pooka /*
4 1.1 pooka * Copyright (c) 2007-2010 Antti Kantee. All Rights Reserved.
5 1.1 pooka *
6 1.1 pooka * Redistribution and use in source and binary forms, with or without
7 1.1 pooka * modification, are permitted provided that the following conditions
8 1.1 pooka * are met:
9 1.1 pooka * 1. Redistributions of source code must retain the above copyright
10 1.1 pooka * notice, this list of conditions and the following disclaimer.
11 1.1 pooka * 2. Redistributions in binary form must reproduce the above copyright
12 1.1 pooka * notice, this list of conditions and the following disclaimer in the
13 1.1 pooka * documentation and/or other materials provided with the distribution.
14 1.1 pooka *
15 1.1 pooka * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
16 1.1 pooka * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
17 1.1 pooka * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
18 1.1 pooka * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 1.1 pooka * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 1.1 pooka * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
21 1.1 pooka * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 1.1 pooka * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 1.1 pooka * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 1.1 pooka * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25 1.1 pooka * SUCH DAMAGE.
26 1.1 pooka */
27 1.1 pooka
28 1.8 pooka #include "rumpuser_port.h"
29 1.8 pooka
30 1.1 pooka #if !defined(lint)
31 1.43 pooka __RCSID("$NetBSD: rumpuser_pth.c,v 1.43 2014/11/04 19:05:17 pooka Exp $");
32 1.1 pooka #endif /* !lint */
33 1.1 pooka
34 1.23 pooka #include <sys/queue.h>
35 1.43 pooka
36 1.43 pooka #if defined(HAVE_SYS_ATOMIC_H)
37 1.32 rmind #include <sys/atomic.h>
38 1.32 rmind #endif
39 1.23 pooka
40 1.1 pooka #include <assert.h>
41 1.1 pooka #include <errno.h>
42 1.8 pooka #include <fcntl.h>
43 1.1 pooka #include <pthread.h>
44 1.1 pooka #include <stdlib.h>
45 1.1 pooka #include <stdio.h>
46 1.1 pooka #include <string.h>
47 1.1 pooka #include <stdint.h>
48 1.1 pooka #include <unistd.h>
49 1.1 pooka
50 1.1 pooka #include <rump/rumpuser.h>
51 1.1 pooka
52 1.1 pooka #include "rumpuser_int.h"
53 1.1 pooka
54 1.1 pooka int
55 1.3 pooka rumpuser_thread_create(void *(*f)(void *), void *arg, const char *thrname,
56 1.21 pooka int joinable, int priority, int cpuidx, void **ptcookie)
57 1.1 pooka {
58 1.1 pooka pthread_t ptid;
59 1.3 pooka pthread_t *ptidp;
60 1.3 pooka pthread_attr_t pattr;
61 1.31 pooka int rv, i;
62 1.1 pooka
63 1.3 pooka if ((rv = pthread_attr_init(&pattr)) != 0)
64 1.3 pooka return rv;
65 1.3 pooka
66 1.3 pooka if (joinable) {
67 1.3 pooka NOFAIL(ptidp = malloc(sizeof(*ptidp)));
68 1.3 pooka pthread_attr_setdetachstate(&pattr, PTHREAD_CREATE_JOINABLE);
69 1.3 pooka } else {
70 1.3 pooka ptidp = &ptid;
71 1.3 pooka pthread_attr_setdetachstate(&pattr, PTHREAD_CREATE_DETACHED);
72 1.3 pooka }
73 1.3 pooka
74 1.31 pooka for (i = 0; i < 10; i++) {
75 1.31 pooka const struct timespec ts = {0, 10*1000*1000};
76 1.31 pooka
77 1.42 pooka rv = pthread_create(ptidp, &pattr, f, arg);
78 1.31 pooka if (rv != EAGAIN)
79 1.31 pooka break;
80 1.31 pooka nanosleep(&ts, NULL);
81 1.31 pooka }
82 1.31 pooka
83 1.38 pooka #if defined(HAVE_PTHREAD_SETNAME_3)
84 1.38 pooka if (rv == 0 && thrname) {
85 1.37 pooka pthread_setname_np(*ptidp, thrname, NULL);
86 1.39 pooka }
87 1.38 pooka #elif defined(HAVE_PTHREAD_SETNAME_2)
88 1.39 pooka if (rv == 0 && thrname) {
89 1.37 pooka pthread_setname_np(*ptidp, thrname);
90 1.39 pooka }
91 1.1 pooka #endif
92 1.1 pooka
93 1.3 pooka if (joinable) {
94 1.3 pooka assert(ptcookie);
95 1.3 pooka *ptcookie = ptidp;
96 1.3 pooka }
97 1.3 pooka
98 1.3 pooka pthread_attr_destroy(&pattr);
99 1.3 pooka
100 1.20 pooka ET(rv);
101 1.1 pooka }
102 1.1 pooka
103 1.1 pooka __dead void
104 1.1 pooka rumpuser_thread_exit(void)
105 1.1 pooka {
106 1.1 pooka
107 1.1 pooka pthread_exit(NULL);
108 1.1 pooka }
109 1.1 pooka
110 1.3 pooka int
111 1.3 pooka rumpuser_thread_join(void *ptcookie)
112 1.3 pooka {
113 1.3 pooka pthread_t *pt = ptcookie;
114 1.3 pooka int rv;
115 1.3 pooka
116 1.3 pooka KLOCK_WRAP((rv = pthread_join(*pt, NULL)));
117 1.3 pooka if (rv == 0)
118 1.3 pooka free(pt);
119 1.3 pooka
120 1.20 pooka ET(rv);
121 1.3 pooka }
122 1.3 pooka
123 1.26 pooka struct rumpuser_mtx {
124 1.26 pooka pthread_mutex_t pthmtx;
125 1.26 pooka struct lwp *owner;
126 1.26 pooka int flags;
127 1.26 pooka };
128 1.26 pooka
129 1.1 pooka void
130 1.43 pooka rumpuser_mutex_init(struct rumpuser_mtx **mtxp, int flags)
131 1.1 pooka {
132 1.43 pooka struct rumpuser_mtx *mtx;
133 1.1 pooka pthread_mutexattr_t att;
134 1.43 pooka size_t allocsz;
135 1.1 pooka
136 1.43 pooka allocsz = (sizeof(*mtx)+RUMPUSER_LOCKALIGN) & ~(RUMPUSER_LOCKALIGN-1);
137 1.43 pooka NOFAIL(mtx = aligned_alloc(RUMPUSER_LOCKALIGN, allocsz));
138 1.1 pooka
139 1.1 pooka pthread_mutexattr_init(&att);
140 1.1 pooka pthread_mutexattr_settype(&att, PTHREAD_MUTEX_ERRORCHECK);
141 1.43 pooka NOFAIL_ERRNO(pthread_mutex_init(&mtx->pthmtx, &att));
142 1.1 pooka pthread_mutexattr_destroy(&att);
143 1.1 pooka
144 1.43 pooka mtx->owner = NULL;
145 1.15 pooka assert(flags != 0);
146 1.43 pooka mtx->flags = flags;
147 1.43 pooka
148 1.43 pooka *mtxp = mtx;
149 1.4 pooka }
150 1.4 pooka
151 1.1 pooka static void
152 1.1 pooka mtxenter(struct rumpuser_mtx *mtx)
153 1.1 pooka {
154 1.1 pooka
155 1.15 pooka if (!(mtx->flags & RUMPUSER_MTX_KMUTEX))
156 1.4 pooka return;
157 1.4 pooka
158 1.4 pooka assert(mtx->owner == NULL);
159 1.23 pooka mtx->owner = rumpuser_curlwp();
160 1.1 pooka }
161 1.1 pooka
162 1.1 pooka static void
163 1.1 pooka mtxexit(struct rumpuser_mtx *mtx)
164 1.1 pooka {
165 1.1 pooka
166 1.15 pooka if (!(mtx->flags & RUMPUSER_MTX_KMUTEX))
167 1.4 pooka return;
168 1.4 pooka
169 1.1 pooka assert(mtx->owner != NULL);
170 1.4 pooka mtx->owner = NULL;
171 1.1 pooka }
172 1.1 pooka
173 1.1 pooka void
174 1.1 pooka rumpuser_mutex_enter(struct rumpuser_mtx *mtx)
175 1.1 pooka {
176 1.1 pooka
177 1.15 pooka if (mtx->flags & RUMPUSER_MTX_SPIN) {
178 1.13 pooka rumpuser_mutex_enter_nowrap(mtx);
179 1.13 pooka return;
180 1.13 pooka }
181 1.13 pooka
182 1.15 pooka assert(mtx->flags & RUMPUSER_MTX_KMUTEX);
183 1.1 pooka if (pthread_mutex_trylock(&mtx->pthmtx) != 0)
184 1.1 pooka KLOCK_WRAP(NOFAIL_ERRNO(pthread_mutex_lock(&mtx->pthmtx)));
185 1.1 pooka mtxenter(mtx);
186 1.1 pooka }
187 1.1 pooka
188 1.1 pooka void
189 1.1 pooka rumpuser_mutex_enter_nowrap(struct rumpuser_mtx *mtx)
190 1.1 pooka {
191 1.1 pooka
192 1.15 pooka assert(mtx->flags & RUMPUSER_MTX_SPIN);
193 1.1 pooka NOFAIL_ERRNO(pthread_mutex_lock(&mtx->pthmtx));
194 1.1 pooka mtxenter(mtx);
195 1.1 pooka }
196 1.1 pooka
197 1.1 pooka int
198 1.1 pooka rumpuser_mutex_tryenter(struct rumpuser_mtx *mtx)
199 1.1 pooka {
200 1.1 pooka int rv;
201 1.1 pooka
202 1.1 pooka rv = pthread_mutex_trylock(&mtx->pthmtx);
203 1.1 pooka if (rv == 0) {
204 1.1 pooka mtxenter(mtx);
205 1.1 pooka }
206 1.1 pooka
207 1.20 pooka ET(rv);
208 1.1 pooka }
209 1.1 pooka
210 1.1 pooka void
211 1.1 pooka rumpuser_mutex_exit(struct rumpuser_mtx *mtx)
212 1.1 pooka {
213 1.1 pooka
214 1.1 pooka mtxexit(mtx);
215 1.1 pooka NOFAIL_ERRNO(pthread_mutex_unlock(&mtx->pthmtx));
216 1.1 pooka }
217 1.1 pooka
218 1.1 pooka void
219 1.1 pooka rumpuser_mutex_destroy(struct rumpuser_mtx *mtx)
220 1.1 pooka {
221 1.1 pooka
222 1.1 pooka NOFAIL_ERRNO(pthread_mutex_destroy(&mtx->pthmtx));
223 1.1 pooka free(mtx);
224 1.1 pooka }
225 1.1 pooka
226 1.19 pooka void
227 1.19 pooka rumpuser_mutex_owner(struct rumpuser_mtx *mtx, struct lwp **lp)
228 1.1 pooka {
229 1.1 pooka
230 1.15 pooka if (__predict_false(!(mtx->flags & RUMPUSER_MTX_KMUTEX))) {
231 1.4 pooka printf("panic: rumpuser_mutex_held unsupported on non-kmtx\n");
232 1.4 pooka abort();
233 1.4 pooka }
234 1.4 pooka
235 1.19 pooka *lp = mtx->owner;
236 1.1 pooka }
237 1.1 pooka
238 1.26 pooka /*
239 1.27 pooka * rwlocks. these are mostly simple, except that NetBSD wants to
240 1.27 pooka * support something called downgrade, which means we need to swap
241 1.27 pooka * our exclusive lock for a shared lock. to accommodate this,
242 1.27 pooka * we need to check *after* acquiring a lock in case someone was
243 1.27 pooka * downgrading it. if so, we couldn't actually have it and maybe
244 1.27 pooka * need to retry later.
245 1.26 pooka */
246 1.26 pooka
247 1.26 pooka struct rumpuser_rw {
248 1.26 pooka pthread_rwlock_t pthrw;
249 1.40 justin #if !defined(__APPLE__) && !defined(__ANDROID__)
250 1.33 rmind char pad[64 - sizeof(pthread_rwlock_t)];
251 1.26 pooka pthread_spinlock_t spin;
252 1.34 rmind #endif
253 1.32 rmind unsigned int readers;
254 1.26 pooka struct lwp *writer;
255 1.27 pooka int downgrade; /* someone is downgrading (hopefully lock holder ;) */
256 1.26 pooka };
257 1.26 pooka
258 1.27 pooka static int
259 1.27 pooka rw_amwriter(struct rumpuser_rw *rw)
260 1.27 pooka {
261 1.27 pooka
262 1.32 rmind return rw->writer == rumpuser_curlwp() && rw->readers == (unsigned)-1;
263 1.27 pooka }
264 1.27 pooka
265 1.27 pooka static int
266 1.27 pooka rw_nreaders(struct rumpuser_rw *rw)
267 1.27 pooka {
268 1.32 rmind unsigned nreaders = rw->readers;
269 1.27 pooka
270 1.32 rmind return nreaders != (unsigned)-1 ? nreaders : 0;
271 1.27 pooka }
272 1.27 pooka
273 1.27 pooka static int
274 1.27 pooka rw_setwriter(struct rumpuser_rw *rw, int retry)
275 1.27 pooka {
276 1.27 pooka
277 1.27 pooka /*
278 1.27 pooka * Don't need the spinlock here, we already have an
279 1.27 pooka * exclusive lock and "downgrade" is stable until complete.
280 1.27 pooka */
281 1.27 pooka if (rw->downgrade) {
282 1.27 pooka pthread_rwlock_unlock(&rw->pthrw);
283 1.27 pooka if (retry) {
284 1.27 pooka struct timespec ts;
285 1.27 pooka
286 1.27 pooka /* portable yield, essentially */
287 1.27 pooka ts.tv_sec = 0;
288 1.27 pooka ts.tv_nsec = 1;
289 1.27 pooka KLOCK_WRAP(nanosleep(&ts, NULL));
290 1.27 pooka }
291 1.27 pooka return EBUSY;
292 1.27 pooka }
293 1.27 pooka assert(rw->readers == 0);
294 1.27 pooka rw->writer = rumpuser_curlwp();
295 1.32 rmind rw->readers = (unsigned)-1;
296 1.27 pooka return 0;
297 1.27 pooka }
298 1.27 pooka
299 1.27 pooka static void
300 1.27 pooka rw_clearwriter(struct rumpuser_rw *rw)
301 1.27 pooka {
302 1.27 pooka
303 1.27 pooka assert(rw_amwriter(rw));
304 1.27 pooka rw->readers = 0;
305 1.27 pooka rw->writer = NULL;
306 1.27 pooka }
307 1.27 pooka
308 1.33 rmind static inline void
309 1.27 pooka rw_readup(struct rumpuser_rw *rw)
310 1.27 pooka {
311 1.27 pooka
312 1.40 justin #if defined(__NetBSD__) || defined(__APPLE__) || defined(__ANDROID__)
313 1.32 rmind atomic_inc_uint(&rw->readers);
314 1.32 rmind #else
315 1.27 pooka pthread_spin_lock(&rw->spin);
316 1.27 pooka ++rw->readers;
317 1.27 pooka pthread_spin_unlock(&rw->spin);
318 1.32 rmind #endif
319 1.27 pooka }
320 1.27 pooka
321 1.33 rmind static inline void
322 1.27 pooka rw_readdown(struct rumpuser_rw *rw)
323 1.27 pooka {
324 1.27 pooka
325 1.40 justin #if defined(__NetBSD__) || defined(__APPLE__) || defined(__ANDROID__)
326 1.32 rmind atomic_dec_uint(&rw->readers);
327 1.32 rmind #else
328 1.27 pooka pthread_spin_lock(&rw->spin);
329 1.27 pooka assert(rw->readers > 0);
330 1.27 pooka --rw->readers;
331 1.27 pooka pthread_spin_unlock(&rw->spin);
332 1.32 rmind #endif
333 1.27 pooka }
334 1.26 pooka
335 1.1 pooka void
336 1.43 pooka rumpuser_rw_init(struct rumpuser_rw **rwp)
337 1.1 pooka {
338 1.43 pooka struct rumpuser_rw *rw;
339 1.43 pooka size_t allocsz;
340 1.1 pooka
341 1.43 pooka allocsz = (sizeof(*rw)+RUMPUSER_LOCKALIGN) & ~(RUMPUSER_LOCKALIGN-1);
342 1.43 pooka
343 1.43 pooka NOFAIL(rw = aligned_alloc(RUMPUSER_LOCKALIGN, allocsz));
344 1.43 pooka NOFAIL_ERRNO(pthread_rwlock_init(&rw->pthrw, NULL));
345 1.40 justin #if !defined(__APPLE__) && !defined(__ANDROID__)
346 1.43 pooka NOFAIL_ERRNO(pthread_spin_init(&rw->spin, PTHREAD_PROCESS_PRIVATE));
347 1.34 rmind #endif
348 1.43 pooka rw->readers = 0;
349 1.43 pooka rw->writer = NULL;
350 1.43 pooka rw->downgrade = 0;
351 1.43 pooka
352 1.43 pooka *rwp = rw;
353 1.1 pooka }
354 1.1 pooka
355 1.1 pooka void
356 1.30 pooka rumpuser_rw_enter(int enum_rumprwlock, struct rumpuser_rw *rw)
357 1.1 pooka {
358 1.30 pooka enum rumprwlock lk = enum_rumprwlock;
359 1.1 pooka
360 1.25 pooka switch (lk) {
361 1.25 pooka case RUMPUSER_RW_WRITER:
362 1.27 pooka do {
363 1.27 pooka if (pthread_rwlock_trywrlock(&rw->pthrw) != 0)
364 1.27 pooka KLOCK_WRAP(NOFAIL_ERRNO(
365 1.27 pooka pthread_rwlock_wrlock(&rw->pthrw)));
366 1.27 pooka } while (rw_setwriter(rw, 1) != 0);
367 1.25 pooka break;
368 1.25 pooka case RUMPUSER_RW_READER:
369 1.1 pooka if (pthread_rwlock_tryrdlock(&rw->pthrw) != 0)
370 1.1 pooka KLOCK_WRAP(NOFAIL_ERRNO(
371 1.1 pooka pthread_rwlock_rdlock(&rw->pthrw)));
372 1.27 pooka rw_readup(rw);
373 1.25 pooka break;
374 1.1 pooka }
375 1.1 pooka }
376 1.1 pooka
377 1.1 pooka int
378 1.30 pooka rumpuser_rw_tryenter(int enum_rumprwlock, struct rumpuser_rw *rw)
379 1.1 pooka {
380 1.30 pooka enum rumprwlock lk = enum_rumprwlock;
381 1.1 pooka int rv;
382 1.1 pooka
383 1.25 pooka switch (lk) {
384 1.25 pooka case RUMPUSER_RW_WRITER:
385 1.1 pooka rv = pthread_rwlock_trywrlock(&rw->pthrw);
386 1.1 pooka if (rv == 0)
387 1.27 pooka rv = rw_setwriter(rw, 0);
388 1.25 pooka break;
389 1.25 pooka case RUMPUSER_RW_READER:
390 1.1 pooka rv = pthread_rwlock_tryrdlock(&rw->pthrw);
391 1.1 pooka if (rv == 0)
392 1.27 pooka rw_readup(rw);
393 1.25 pooka break;
394 1.25 pooka default:
395 1.25 pooka rv = EINVAL;
396 1.25 pooka break;
397 1.1 pooka }
398 1.1 pooka
399 1.20 pooka ET(rv);
400 1.1 pooka }
401 1.1 pooka
402 1.25 pooka int
403 1.25 pooka rumpuser_rw_tryupgrade(struct rumpuser_rw *rw)
404 1.25 pooka {
405 1.25 pooka
406 1.27 pooka /*
407 1.27 pooka * Not supported by pthreads. Since the caller needs to
408 1.27 pooka * back off anyway to avoid deadlock, always failing
409 1.27 pooka * is correct.
410 1.27 pooka */
411 1.25 pooka ET(EBUSY);
412 1.25 pooka }
413 1.25 pooka
414 1.27 pooka /*
415 1.27 pooka * convert from exclusive to shared lock without allowing anyone to
416 1.27 pooka * obtain an exclusive lock in between. actually, might allow
417 1.27 pooka * someone to obtain the lock, we just don't allow that thread to
418 1.27 pooka * return from the hypercall with it.
419 1.27 pooka */
420 1.25 pooka void
421 1.25 pooka rumpuser_rw_downgrade(struct rumpuser_rw *rw)
422 1.25 pooka {
423 1.25 pooka
424 1.27 pooka assert(rw->downgrade == 0);
425 1.27 pooka rw->downgrade = 1;
426 1.27 pooka rumpuser_rw_exit(rw);
427 1.25 pooka /*
428 1.27 pooka * though the competition can't get out of the hypervisor, it
429 1.27 pooka * might have rescheduled itself after we released the lock.
430 1.27 pooka * so need a wrap here.
431 1.25 pooka */
432 1.27 pooka KLOCK_WRAP(NOFAIL_ERRNO(pthread_rwlock_rdlock(&rw->pthrw)));
433 1.27 pooka rw->downgrade = 0;
434 1.27 pooka rw_readup(rw);
435 1.25 pooka }
436 1.25 pooka
437 1.1 pooka void
438 1.1 pooka rumpuser_rw_exit(struct rumpuser_rw *rw)
439 1.1 pooka {
440 1.1 pooka
441 1.27 pooka if (rw_nreaders(rw))
442 1.27 pooka rw_readdown(rw);
443 1.1 pooka else
444 1.27 pooka rw_clearwriter(rw);
445 1.1 pooka NOFAIL_ERRNO(pthread_rwlock_unlock(&rw->pthrw));
446 1.1 pooka }
447 1.1 pooka
448 1.1 pooka void
449 1.1 pooka rumpuser_rw_destroy(struct rumpuser_rw *rw)
450 1.1 pooka {
451 1.1 pooka
452 1.1 pooka NOFAIL_ERRNO(pthread_rwlock_destroy(&rw->pthrw));
453 1.40 justin #if !defined(__APPLE__) && ! defined(__ANDROID__)
454 1.1 pooka NOFAIL_ERRNO(pthread_spin_destroy(&rw->spin));
455 1.34 rmind #endif
456 1.1 pooka free(rw);
457 1.1 pooka }
458 1.1 pooka
459 1.19 pooka void
460 1.30 pooka rumpuser_rw_held(int enum_rumprwlock, struct rumpuser_rw *rw, int *rv)
461 1.1 pooka {
462 1.30 pooka enum rumprwlock lk = enum_rumprwlock;
463 1.1 pooka
464 1.25 pooka switch (lk) {
465 1.25 pooka case RUMPUSER_RW_WRITER:
466 1.27 pooka *rv = rw_amwriter(rw);
467 1.25 pooka break;
468 1.25 pooka case RUMPUSER_RW_READER:
469 1.27 pooka *rv = rw_nreaders(rw);
470 1.25 pooka break;
471 1.25 pooka }
472 1.1 pooka }
473 1.1 pooka
474 1.26 pooka /*
475 1.26 pooka * condvar
476 1.26 pooka */
477 1.26 pooka
478 1.26 pooka struct rumpuser_cv {
479 1.26 pooka pthread_cond_t pthcv;
480 1.26 pooka int nwaiters;
481 1.26 pooka };
482 1.26 pooka
483 1.1 pooka void
484 1.1 pooka rumpuser_cv_init(struct rumpuser_cv **cv)
485 1.1 pooka {
486 1.1 pooka
487 1.1 pooka NOFAIL(*cv = malloc(sizeof(struct rumpuser_cv)));
488 1.1 pooka NOFAIL_ERRNO(pthread_cond_init(&((*cv)->pthcv), NULL));
489 1.1 pooka (*cv)->nwaiters = 0;
490 1.1 pooka }
491 1.1 pooka
492 1.1 pooka void
493 1.1 pooka rumpuser_cv_destroy(struct rumpuser_cv *cv)
494 1.1 pooka {
495 1.1 pooka
496 1.1 pooka NOFAIL_ERRNO(pthread_cond_destroy(&cv->pthcv));
497 1.1 pooka free(cv);
498 1.1 pooka }
499 1.1 pooka
500 1.24 pooka static void
501 1.24 pooka cv_unschedule(struct rumpuser_mtx *mtx, int *nlocks)
502 1.24 pooka {
503 1.24 pooka
504 1.24 pooka rumpkern_unsched(nlocks, mtx);
505 1.24 pooka mtxexit(mtx);
506 1.24 pooka }
507 1.24 pooka
508 1.24 pooka static void
509 1.24 pooka cv_reschedule(struct rumpuser_mtx *mtx, int nlocks)
510 1.24 pooka {
511 1.24 pooka
512 1.24 pooka /*
513 1.24 pooka * If the cv interlock is a spin mutex, we must first release
514 1.24 pooka * the mutex that was reacquired by pthread_cond_wait(),
515 1.24 pooka * acquire the CPU context and only then relock the mutex.
516 1.24 pooka * This is to preserve resource allocation order so that
517 1.24 pooka * we don't deadlock. Non-spinning mutexes don't have this
518 1.24 pooka * problem since they don't use a hold-and-wait approach
519 1.24 pooka * to acquiring the mutex wrt the rump kernel CPU context.
520 1.24 pooka *
521 1.24 pooka * The more optimal solution would be to rework rumpkern_sched()
522 1.24 pooka * so that it's possible to tell the scheduler
523 1.24 pooka * "if you need to block, drop this lock first", but I'm not
524 1.24 pooka * going poking there without some numbers on how often this
525 1.24 pooka * path is taken for spin mutexes.
526 1.24 pooka */
527 1.24 pooka if ((mtx->flags & (RUMPUSER_MTX_SPIN | RUMPUSER_MTX_KMUTEX)) ==
528 1.24 pooka (RUMPUSER_MTX_SPIN | RUMPUSER_MTX_KMUTEX)) {
529 1.24 pooka NOFAIL_ERRNO(pthread_mutex_unlock(&mtx->pthmtx));
530 1.24 pooka rumpkern_sched(nlocks, mtx);
531 1.24 pooka rumpuser_mutex_enter_nowrap(mtx);
532 1.24 pooka } else {
533 1.24 pooka mtxenter(mtx);
534 1.24 pooka rumpkern_sched(nlocks, mtx);
535 1.24 pooka }
536 1.24 pooka }
537 1.24 pooka
538 1.1 pooka void
539 1.1 pooka rumpuser_cv_wait(struct rumpuser_cv *cv, struct rumpuser_mtx *mtx)
540 1.1 pooka {
541 1.2 pooka int nlocks;
542 1.1 pooka
543 1.1 pooka cv->nwaiters++;
544 1.24 pooka cv_unschedule(mtx, &nlocks);
545 1.2 pooka NOFAIL_ERRNO(pthread_cond_wait(&cv->pthcv, &mtx->pthmtx));
546 1.24 pooka cv_reschedule(mtx, nlocks);
547 1.1 pooka cv->nwaiters--;
548 1.1 pooka }
549 1.1 pooka
550 1.1 pooka void
551 1.1 pooka rumpuser_cv_wait_nowrap(struct rumpuser_cv *cv, struct rumpuser_mtx *mtx)
552 1.1 pooka {
553 1.1 pooka
554 1.1 pooka cv->nwaiters++;
555 1.1 pooka mtxexit(mtx);
556 1.1 pooka NOFAIL_ERRNO(pthread_cond_wait(&cv->pthcv, &mtx->pthmtx));
557 1.1 pooka mtxenter(mtx);
558 1.1 pooka cv->nwaiters--;
559 1.1 pooka }
560 1.1 pooka
561 1.1 pooka int
562 1.1 pooka rumpuser_cv_timedwait(struct rumpuser_cv *cv, struct rumpuser_mtx *mtx,
563 1.1 pooka int64_t sec, int64_t nsec)
564 1.1 pooka {
565 1.1 pooka struct timespec ts;
566 1.2 pooka int rv, nlocks;
567 1.1 pooka
568 1.16 pooka /*
569 1.16 pooka * Get clock already here, just in case we will be put to sleep
570 1.16 pooka * after releasing the kernel context.
571 1.16 pooka *
572 1.16 pooka * The condition variables should use CLOCK_MONOTONIC, but since
573 1.16 pooka * that's not available everywhere, leave it for another day.
574 1.16 pooka */
575 1.16 pooka clock_gettime(CLOCK_REALTIME, &ts);
576 1.1 pooka
577 1.1 pooka cv->nwaiters++;
578 1.24 pooka cv_unschedule(mtx, &nlocks);
579 1.16 pooka
580 1.16 pooka ts.tv_sec += sec;
581 1.16 pooka ts.tv_nsec += nsec;
582 1.16 pooka if (ts.tv_nsec >= 1000*1000*1000) {
583 1.16 pooka ts.tv_sec++;
584 1.16 pooka ts.tv_nsec -= 1000*1000*1000;
585 1.16 pooka }
586 1.2 pooka rv = pthread_cond_timedwait(&cv->pthcv, &mtx->pthmtx, &ts);
587 1.24 pooka
588 1.24 pooka cv_reschedule(mtx, nlocks);
589 1.1 pooka cv->nwaiters--;
590 1.1 pooka
591 1.20 pooka ET(rv);
592 1.1 pooka }
593 1.1 pooka
594 1.1 pooka void
595 1.1 pooka rumpuser_cv_signal(struct rumpuser_cv *cv)
596 1.1 pooka {
597 1.1 pooka
598 1.1 pooka NOFAIL_ERRNO(pthread_cond_signal(&cv->pthcv));
599 1.1 pooka }
600 1.1 pooka
601 1.1 pooka void
602 1.1 pooka rumpuser_cv_broadcast(struct rumpuser_cv *cv)
603 1.1 pooka {
604 1.1 pooka
605 1.1 pooka NOFAIL_ERRNO(pthread_cond_broadcast(&cv->pthcv));
606 1.1 pooka }
607 1.1 pooka
608 1.19 pooka void
609 1.19 pooka rumpuser_cv_has_waiters(struct rumpuser_cv *cv, int *nwaiters)
610 1.1 pooka {
611 1.1 pooka
612 1.19 pooka *nwaiters = cv->nwaiters;
613 1.1 pooka }
614 1.1 pooka
615 1.1 pooka /*
616 1.1 pooka * curlwp
617 1.1 pooka */
618 1.1 pooka
619 1.36 justin static pthread_key_t curlwpkey;
620 1.26 pooka
621 1.23 pooka /*
622 1.23 pooka * the if0'd curlwp implementation is not used by this hypervisor,
623 1.23 pooka * but serves as test code to check that the intended usage works.
624 1.23 pooka */
625 1.23 pooka #if 0
626 1.23 pooka struct rumpuser_lwp {
627 1.23 pooka struct lwp *l;
628 1.23 pooka LIST_ENTRY(rumpuser_lwp) l_entries;
629 1.23 pooka };
630 1.23 pooka static LIST_HEAD(, rumpuser_lwp) lwps = LIST_HEAD_INITIALIZER(lwps);
631 1.23 pooka static pthread_mutex_t lwplock = PTHREAD_MUTEX_INITIALIZER;
632 1.23 pooka
633 1.1 pooka void
634 1.23 pooka rumpuser_curlwpop(enum rumplwpop op, struct lwp *l)
635 1.1 pooka {
636 1.23 pooka struct rumpuser_lwp *rl, *rliter;
637 1.1 pooka
638 1.23 pooka switch (op) {
639 1.23 pooka case RUMPUSER_LWP_CREATE:
640 1.23 pooka rl = malloc(sizeof(*rl));
641 1.23 pooka rl->l = l;
642 1.23 pooka pthread_mutex_lock(&lwplock);
643 1.23 pooka LIST_FOREACH(rliter, &lwps, l_entries) {
644 1.23 pooka if (rliter->l == l) {
645 1.23 pooka fprintf(stderr, "LWP_CREATE: %p exists\n", l);
646 1.23 pooka abort();
647 1.23 pooka }
648 1.23 pooka }
649 1.23 pooka LIST_INSERT_HEAD(&lwps, rl, l_entries);
650 1.23 pooka pthread_mutex_unlock(&lwplock);
651 1.23 pooka break;
652 1.23 pooka case RUMPUSER_LWP_DESTROY:
653 1.23 pooka pthread_mutex_lock(&lwplock);
654 1.23 pooka LIST_FOREACH(rl, &lwps, l_entries) {
655 1.23 pooka if (rl->l == l)
656 1.23 pooka break;
657 1.23 pooka }
658 1.23 pooka if (!rl) {
659 1.23 pooka fprintf(stderr, "LWP_DESTROY: %p does not exist\n", l);
660 1.23 pooka abort();
661 1.23 pooka }
662 1.23 pooka LIST_REMOVE(rl, l_entries);
663 1.23 pooka pthread_mutex_unlock(&lwplock);
664 1.23 pooka free(rl);
665 1.23 pooka break;
666 1.23 pooka case RUMPUSER_LWP_SET:
667 1.29 pooka assert(pthread_getspecific(curlwpkey) == NULL && l != NULL);
668 1.23 pooka
669 1.29 pooka pthread_mutex_lock(&lwplock);
670 1.29 pooka LIST_FOREACH(rl, &lwps, l_entries) {
671 1.29 pooka if (rl->l == l)
672 1.29 pooka break;
673 1.29 pooka }
674 1.29 pooka if (!rl) {
675 1.29 pooka fprintf(stderr,
676 1.29 pooka "LWP_SET: %p does not exist\n", l);
677 1.29 pooka abort();
678 1.23 pooka }
679 1.29 pooka pthread_mutex_unlock(&lwplock);
680 1.23 pooka
681 1.23 pooka pthread_setspecific(curlwpkey, rl);
682 1.23 pooka break;
683 1.29 pooka case RUMPUSER_LWP_CLEAR:
684 1.29 pooka assert(((struct rumpuser_lwp *)
685 1.29 pooka pthread_getspecific(curlwpkey))->l == l);
686 1.29 pooka pthread_setspecific(curlwpkey, NULL);
687 1.29 pooka break;
688 1.23 pooka }
689 1.1 pooka }
690 1.1 pooka
691 1.1 pooka struct lwp *
692 1.23 pooka rumpuser_curlwp(void)
693 1.23 pooka {
694 1.23 pooka struct rumpuser_lwp *rl;
695 1.23 pooka
696 1.23 pooka rl = pthread_getspecific(curlwpkey);
697 1.23 pooka return rl ? rl->l : NULL;
698 1.23 pooka }
699 1.23 pooka
700 1.23 pooka #else
701 1.23 pooka
702 1.23 pooka void
703 1.30 pooka rumpuser_curlwpop(int enum_rumplwpop, struct lwp *l)
704 1.23 pooka {
705 1.30 pooka enum rumplwpop op = enum_rumplwpop;
706 1.23 pooka
707 1.23 pooka switch (op) {
708 1.23 pooka case RUMPUSER_LWP_CREATE:
709 1.23 pooka break;
710 1.23 pooka case RUMPUSER_LWP_DESTROY:
711 1.23 pooka break;
712 1.23 pooka case RUMPUSER_LWP_SET:
713 1.36 justin assert(pthread_getspecific(curlwpkey) == NULL);
714 1.36 justin pthread_setspecific(curlwpkey, l);
715 1.23 pooka break;
716 1.29 pooka case RUMPUSER_LWP_CLEAR:
717 1.36 justin assert(pthread_getspecific(curlwpkey) == l);
718 1.36 justin pthread_setspecific(curlwpkey, NULL);
719 1.29 pooka break;
720 1.23 pooka }
721 1.23 pooka }
722 1.23 pooka
723 1.23 pooka struct lwp *
724 1.23 pooka rumpuser_curlwp(void)
725 1.1 pooka {
726 1.1 pooka
727 1.36 justin return pthread_getspecific(curlwpkey);
728 1.1 pooka }
729 1.23 pooka #endif
730 1.26 pooka
731 1.26 pooka
732 1.26 pooka void
733 1.26 pooka rumpuser__thrinit(void)
734 1.26 pooka {
735 1.36 justin pthread_key_create(&curlwpkey, NULL);
736 1.26 pooka }
737