rumpuser_pth.c revision 1.33 1 1.33 rmind /* $NetBSD: rumpuser_pth.c,v 1.33 2013/09/26 00:41:51 rmind 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.33 rmind __RCSID("$NetBSD: rumpuser_pth.c,v 1.33 2013/09/26 00:41:51 rmind Exp $");
32 1.1 pooka #endif /* !lint */
33 1.1 pooka
34 1.23 pooka #include <sys/queue.h>
35 1.32 rmind #if defined(__NetBSD__)
36 1.33 rmind #include <sys/param.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.33 rmind #if defined(__NetBSD__)
55 1.33 rmind static void *
56 1.33 rmind aligned_alloc(size_t size)
57 1.33 rmind {
58 1.33 rmind void *ptr;
59 1.33 rmind
60 1.33 rmind size = roundup2(size, COHERENCY_UNIT);
61 1.33 rmind return posix_memalign(&ptr, COHERENCY_UNIT, size) ? NULL : ptr;
62 1.33 rmind }
63 1.33 rmind #else
64 1.33 rmind #define aligned_alloc(sz) malloc(sz)
65 1.33 rmind #endif
66 1.33 rmind
67 1.1 pooka int
68 1.3 pooka rumpuser_thread_create(void *(*f)(void *), void *arg, const char *thrname,
69 1.21 pooka int joinable, int priority, int cpuidx, void **ptcookie)
70 1.1 pooka {
71 1.1 pooka pthread_t ptid;
72 1.3 pooka pthread_t *ptidp;
73 1.3 pooka pthread_attr_t pattr;
74 1.31 pooka int rv, i;
75 1.1 pooka
76 1.3 pooka if ((rv = pthread_attr_init(&pattr)) != 0)
77 1.3 pooka return rv;
78 1.3 pooka
79 1.3 pooka if (joinable) {
80 1.3 pooka NOFAIL(ptidp = malloc(sizeof(*ptidp)));
81 1.3 pooka pthread_attr_setdetachstate(&pattr, PTHREAD_CREATE_JOINABLE);
82 1.3 pooka } else {
83 1.3 pooka ptidp = &ptid;
84 1.3 pooka pthread_attr_setdetachstate(&pattr, PTHREAD_CREATE_DETACHED);
85 1.3 pooka }
86 1.3 pooka
87 1.31 pooka for (i = 0; i < 10; i++) {
88 1.31 pooka const struct timespec ts = {0, 10*1000*1000};
89 1.31 pooka
90 1.31 pooka rv = pthread_create(ptidp, &pattr, f, arg);
91 1.31 pooka if (rv != EAGAIN)
92 1.31 pooka break;
93 1.31 pooka nanosleep(&ts, NULL);
94 1.31 pooka }
95 1.31 pooka
96 1.9 pooka #if defined(__NetBSD__)
97 1.1 pooka if (rv == 0 && thrname)
98 1.1 pooka pthread_setname_np(ptid, thrname, NULL);
99 1.9 pooka #elif defined(__linux__)
100 1.12 pooka /*
101 1.12 pooka * The pthread_setname_np() call varies from one Linux distro to
102 1.12 pooka * another. Comment out the call pending autoconf support.
103 1.12 pooka */
104 1.12 pooka #if 0
105 1.9 pooka if (rv == 0 && thrname)
106 1.9 pooka pthread_setname_np(ptid, thrname);
107 1.1 pooka #endif
108 1.12 pooka #endif
109 1.1 pooka
110 1.3 pooka if (joinable) {
111 1.3 pooka assert(ptcookie);
112 1.3 pooka *ptcookie = ptidp;
113 1.3 pooka }
114 1.3 pooka
115 1.3 pooka pthread_attr_destroy(&pattr);
116 1.3 pooka
117 1.20 pooka ET(rv);
118 1.1 pooka }
119 1.1 pooka
120 1.1 pooka __dead void
121 1.1 pooka rumpuser_thread_exit(void)
122 1.1 pooka {
123 1.1 pooka
124 1.1 pooka pthread_exit(NULL);
125 1.1 pooka }
126 1.1 pooka
127 1.3 pooka int
128 1.3 pooka rumpuser_thread_join(void *ptcookie)
129 1.3 pooka {
130 1.3 pooka pthread_t *pt = ptcookie;
131 1.3 pooka int rv;
132 1.3 pooka
133 1.3 pooka KLOCK_WRAP((rv = pthread_join(*pt, NULL)));
134 1.3 pooka if (rv == 0)
135 1.3 pooka free(pt);
136 1.3 pooka
137 1.20 pooka ET(rv);
138 1.3 pooka }
139 1.3 pooka
140 1.26 pooka struct rumpuser_mtx {
141 1.26 pooka pthread_mutex_t pthmtx;
142 1.26 pooka struct lwp *owner;
143 1.26 pooka int flags;
144 1.26 pooka };
145 1.26 pooka
146 1.1 pooka void
147 1.15 pooka rumpuser_mutex_init(struct rumpuser_mtx **mtx, int flags)
148 1.1 pooka {
149 1.1 pooka pthread_mutexattr_t att;
150 1.1 pooka
151 1.33 rmind NOFAIL(*mtx = aligned_alloc(sizeof(struct rumpuser_mtx)));
152 1.1 pooka
153 1.1 pooka pthread_mutexattr_init(&att);
154 1.1 pooka pthread_mutexattr_settype(&att, PTHREAD_MUTEX_ERRORCHECK);
155 1.1 pooka NOFAIL_ERRNO(pthread_mutex_init(&((*mtx)->pthmtx), &att));
156 1.1 pooka pthread_mutexattr_destroy(&att);
157 1.1 pooka
158 1.1 pooka (*mtx)->owner = NULL;
159 1.15 pooka assert(flags != 0);
160 1.15 pooka (*mtx)->flags = flags;
161 1.4 pooka }
162 1.4 pooka
163 1.1 pooka static void
164 1.1 pooka mtxenter(struct rumpuser_mtx *mtx)
165 1.1 pooka {
166 1.1 pooka
167 1.15 pooka if (!(mtx->flags & RUMPUSER_MTX_KMUTEX))
168 1.4 pooka return;
169 1.4 pooka
170 1.4 pooka assert(mtx->owner == NULL);
171 1.23 pooka mtx->owner = rumpuser_curlwp();
172 1.1 pooka }
173 1.1 pooka
174 1.1 pooka static void
175 1.1 pooka mtxexit(struct rumpuser_mtx *mtx)
176 1.1 pooka {
177 1.1 pooka
178 1.15 pooka if (!(mtx->flags & RUMPUSER_MTX_KMUTEX))
179 1.4 pooka return;
180 1.4 pooka
181 1.1 pooka assert(mtx->owner != NULL);
182 1.4 pooka mtx->owner = NULL;
183 1.1 pooka }
184 1.1 pooka
185 1.1 pooka void
186 1.1 pooka rumpuser_mutex_enter(struct rumpuser_mtx *mtx)
187 1.1 pooka {
188 1.1 pooka
189 1.15 pooka if (mtx->flags & RUMPUSER_MTX_SPIN) {
190 1.13 pooka rumpuser_mutex_enter_nowrap(mtx);
191 1.13 pooka return;
192 1.13 pooka }
193 1.13 pooka
194 1.15 pooka assert(mtx->flags & RUMPUSER_MTX_KMUTEX);
195 1.1 pooka if (pthread_mutex_trylock(&mtx->pthmtx) != 0)
196 1.1 pooka KLOCK_WRAP(NOFAIL_ERRNO(pthread_mutex_lock(&mtx->pthmtx)));
197 1.1 pooka mtxenter(mtx);
198 1.1 pooka }
199 1.1 pooka
200 1.1 pooka void
201 1.1 pooka rumpuser_mutex_enter_nowrap(struct rumpuser_mtx *mtx)
202 1.1 pooka {
203 1.1 pooka
204 1.15 pooka assert(mtx->flags & RUMPUSER_MTX_SPIN);
205 1.1 pooka NOFAIL_ERRNO(pthread_mutex_lock(&mtx->pthmtx));
206 1.1 pooka mtxenter(mtx);
207 1.1 pooka }
208 1.1 pooka
209 1.1 pooka int
210 1.1 pooka rumpuser_mutex_tryenter(struct rumpuser_mtx *mtx)
211 1.1 pooka {
212 1.1 pooka int rv;
213 1.1 pooka
214 1.1 pooka rv = pthread_mutex_trylock(&mtx->pthmtx);
215 1.1 pooka if (rv == 0) {
216 1.1 pooka mtxenter(mtx);
217 1.1 pooka }
218 1.1 pooka
219 1.20 pooka ET(rv);
220 1.1 pooka }
221 1.1 pooka
222 1.1 pooka void
223 1.1 pooka rumpuser_mutex_exit(struct rumpuser_mtx *mtx)
224 1.1 pooka {
225 1.1 pooka
226 1.1 pooka mtxexit(mtx);
227 1.1 pooka NOFAIL_ERRNO(pthread_mutex_unlock(&mtx->pthmtx));
228 1.1 pooka }
229 1.1 pooka
230 1.1 pooka void
231 1.1 pooka rumpuser_mutex_destroy(struct rumpuser_mtx *mtx)
232 1.1 pooka {
233 1.1 pooka
234 1.1 pooka NOFAIL_ERRNO(pthread_mutex_destroy(&mtx->pthmtx));
235 1.1 pooka free(mtx);
236 1.1 pooka }
237 1.1 pooka
238 1.19 pooka void
239 1.19 pooka rumpuser_mutex_owner(struct rumpuser_mtx *mtx, struct lwp **lp)
240 1.1 pooka {
241 1.1 pooka
242 1.15 pooka if (__predict_false(!(mtx->flags & RUMPUSER_MTX_KMUTEX))) {
243 1.4 pooka printf("panic: rumpuser_mutex_held unsupported on non-kmtx\n");
244 1.4 pooka abort();
245 1.4 pooka }
246 1.4 pooka
247 1.19 pooka *lp = mtx->owner;
248 1.1 pooka }
249 1.1 pooka
250 1.26 pooka /*
251 1.27 pooka * rwlocks. these are mostly simple, except that NetBSD wants to
252 1.27 pooka * support something called downgrade, which means we need to swap
253 1.27 pooka * our exclusive lock for a shared lock. to accommodate this,
254 1.27 pooka * we need to check *after* acquiring a lock in case someone was
255 1.27 pooka * downgrading it. if so, we couldn't actually have it and maybe
256 1.27 pooka * need to retry later.
257 1.26 pooka */
258 1.26 pooka
259 1.26 pooka struct rumpuser_rw {
260 1.26 pooka pthread_rwlock_t pthrw;
261 1.33 rmind char pad[64 - sizeof(pthread_rwlock_t)];
262 1.26 pooka pthread_spinlock_t spin;
263 1.32 rmind unsigned int readers;
264 1.26 pooka struct lwp *writer;
265 1.27 pooka int downgrade; /* someone is downgrading (hopefully lock holder ;) */
266 1.26 pooka };
267 1.26 pooka
268 1.27 pooka static int
269 1.27 pooka rw_amwriter(struct rumpuser_rw *rw)
270 1.27 pooka {
271 1.27 pooka
272 1.32 rmind return rw->writer == rumpuser_curlwp() && rw->readers == (unsigned)-1;
273 1.27 pooka }
274 1.27 pooka
275 1.27 pooka static int
276 1.27 pooka rw_nreaders(struct rumpuser_rw *rw)
277 1.27 pooka {
278 1.32 rmind unsigned nreaders = rw->readers;
279 1.27 pooka
280 1.32 rmind return nreaders != (unsigned)-1 ? nreaders : 0;
281 1.27 pooka }
282 1.27 pooka
283 1.27 pooka static int
284 1.27 pooka rw_setwriter(struct rumpuser_rw *rw, int retry)
285 1.27 pooka {
286 1.27 pooka
287 1.27 pooka /*
288 1.27 pooka * Don't need the spinlock here, we already have an
289 1.27 pooka * exclusive lock and "downgrade" is stable until complete.
290 1.27 pooka */
291 1.27 pooka if (rw->downgrade) {
292 1.27 pooka pthread_rwlock_unlock(&rw->pthrw);
293 1.27 pooka if (retry) {
294 1.27 pooka struct timespec ts;
295 1.27 pooka
296 1.27 pooka /* portable yield, essentially */
297 1.27 pooka ts.tv_sec = 0;
298 1.27 pooka ts.tv_nsec = 1;
299 1.27 pooka KLOCK_WRAP(nanosleep(&ts, NULL));
300 1.27 pooka }
301 1.27 pooka return EBUSY;
302 1.27 pooka }
303 1.27 pooka assert(rw->readers == 0);
304 1.27 pooka rw->writer = rumpuser_curlwp();
305 1.32 rmind rw->readers = (unsigned)-1;
306 1.27 pooka return 0;
307 1.27 pooka }
308 1.27 pooka
309 1.27 pooka static void
310 1.27 pooka rw_clearwriter(struct rumpuser_rw *rw)
311 1.27 pooka {
312 1.27 pooka
313 1.27 pooka assert(rw_amwriter(rw));
314 1.27 pooka rw->readers = 0;
315 1.27 pooka rw->writer = NULL;
316 1.27 pooka }
317 1.27 pooka
318 1.33 rmind static inline void
319 1.27 pooka rw_readup(struct rumpuser_rw *rw)
320 1.27 pooka {
321 1.27 pooka
322 1.32 rmind #if defined(__NetBSD__)
323 1.32 rmind atomic_inc_uint(&rw->readers);
324 1.32 rmind #else
325 1.27 pooka pthread_spin_lock(&rw->spin);
326 1.27 pooka ++rw->readers;
327 1.27 pooka pthread_spin_unlock(&rw->spin);
328 1.32 rmind #endif
329 1.27 pooka }
330 1.27 pooka
331 1.33 rmind static inline void
332 1.27 pooka rw_readdown(struct rumpuser_rw *rw)
333 1.27 pooka {
334 1.27 pooka
335 1.32 rmind #if defined(__NetBSD__)
336 1.32 rmind atomic_dec_uint(&rw->readers);
337 1.32 rmind #else
338 1.27 pooka pthread_spin_lock(&rw->spin);
339 1.27 pooka assert(rw->readers > 0);
340 1.27 pooka --rw->readers;
341 1.27 pooka pthread_spin_unlock(&rw->spin);
342 1.32 rmind #endif
343 1.27 pooka }
344 1.26 pooka
345 1.1 pooka void
346 1.1 pooka rumpuser_rw_init(struct rumpuser_rw **rw)
347 1.1 pooka {
348 1.1 pooka
349 1.33 rmind NOFAIL(*rw = aligned_alloc(sizeof(struct rumpuser_rw)));
350 1.1 pooka NOFAIL_ERRNO(pthread_rwlock_init(&((*rw)->pthrw), NULL));
351 1.10 pooka NOFAIL_ERRNO(pthread_spin_init(&((*rw)->spin),PTHREAD_PROCESS_PRIVATE));
352 1.1 pooka (*rw)->readers = 0;
353 1.1 pooka (*rw)->writer = NULL;
354 1.28 pooka (*rw)->downgrade = 0;
355 1.1 pooka }
356 1.1 pooka
357 1.1 pooka void
358 1.30 pooka rumpuser_rw_enter(int enum_rumprwlock, struct rumpuser_rw *rw)
359 1.1 pooka {
360 1.30 pooka enum rumprwlock lk = enum_rumprwlock;
361 1.1 pooka
362 1.25 pooka switch (lk) {
363 1.25 pooka case RUMPUSER_RW_WRITER:
364 1.27 pooka do {
365 1.27 pooka if (pthread_rwlock_trywrlock(&rw->pthrw) != 0)
366 1.27 pooka KLOCK_WRAP(NOFAIL_ERRNO(
367 1.27 pooka pthread_rwlock_wrlock(&rw->pthrw)));
368 1.27 pooka } while (rw_setwriter(rw, 1) != 0);
369 1.25 pooka break;
370 1.25 pooka case RUMPUSER_RW_READER:
371 1.1 pooka if (pthread_rwlock_tryrdlock(&rw->pthrw) != 0)
372 1.1 pooka KLOCK_WRAP(NOFAIL_ERRNO(
373 1.1 pooka pthread_rwlock_rdlock(&rw->pthrw)));
374 1.27 pooka rw_readup(rw);
375 1.25 pooka break;
376 1.1 pooka }
377 1.1 pooka }
378 1.1 pooka
379 1.1 pooka int
380 1.30 pooka rumpuser_rw_tryenter(int enum_rumprwlock, struct rumpuser_rw *rw)
381 1.1 pooka {
382 1.30 pooka enum rumprwlock lk = enum_rumprwlock;
383 1.1 pooka int rv;
384 1.1 pooka
385 1.25 pooka switch (lk) {
386 1.25 pooka case RUMPUSER_RW_WRITER:
387 1.1 pooka rv = pthread_rwlock_trywrlock(&rw->pthrw);
388 1.1 pooka if (rv == 0)
389 1.27 pooka rv = rw_setwriter(rw, 0);
390 1.25 pooka break;
391 1.25 pooka case RUMPUSER_RW_READER:
392 1.1 pooka rv = pthread_rwlock_tryrdlock(&rw->pthrw);
393 1.1 pooka if (rv == 0)
394 1.27 pooka rw_readup(rw);
395 1.25 pooka break;
396 1.25 pooka default:
397 1.25 pooka rv = EINVAL;
398 1.25 pooka break;
399 1.1 pooka }
400 1.1 pooka
401 1.20 pooka ET(rv);
402 1.1 pooka }
403 1.1 pooka
404 1.25 pooka int
405 1.25 pooka rumpuser_rw_tryupgrade(struct rumpuser_rw *rw)
406 1.25 pooka {
407 1.25 pooka
408 1.27 pooka /*
409 1.27 pooka * Not supported by pthreads. Since the caller needs to
410 1.27 pooka * back off anyway to avoid deadlock, always failing
411 1.27 pooka * is correct.
412 1.27 pooka */
413 1.25 pooka ET(EBUSY);
414 1.25 pooka }
415 1.25 pooka
416 1.27 pooka /*
417 1.27 pooka * convert from exclusive to shared lock without allowing anyone to
418 1.27 pooka * obtain an exclusive lock in between. actually, might allow
419 1.27 pooka * someone to obtain the lock, we just don't allow that thread to
420 1.27 pooka * return from the hypercall with it.
421 1.27 pooka */
422 1.25 pooka void
423 1.25 pooka rumpuser_rw_downgrade(struct rumpuser_rw *rw)
424 1.25 pooka {
425 1.25 pooka
426 1.27 pooka assert(rw->downgrade == 0);
427 1.27 pooka rw->downgrade = 1;
428 1.27 pooka rumpuser_rw_exit(rw);
429 1.25 pooka /*
430 1.27 pooka * though the competition can't get out of the hypervisor, it
431 1.27 pooka * might have rescheduled itself after we released the lock.
432 1.27 pooka * so need a wrap here.
433 1.25 pooka */
434 1.27 pooka KLOCK_WRAP(NOFAIL_ERRNO(pthread_rwlock_rdlock(&rw->pthrw)));
435 1.27 pooka rw->downgrade = 0;
436 1.27 pooka rw_readup(rw);
437 1.25 pooka }
438 1.25 pooka
439 1.1 pooka void
440 1.1 pooka rumpuser_rw_exit(struct rumpuser_rw *rw)
441 1.1 pooka {
442 1.1 pooka
443 1.27 pooka if (rw_nreaders(rw))
444 1.27 pooka rw_readdown(rw);
445 1.1 pooka else
446 1.27 pooka rw_clearwriter(rw);
447 1.1 pooka NOFAIL_ERRNO(pthread_rwlock_unlock(&rw->pthrw));
448 1.1 pooka }
449 1.1 pooka
450 1.1 pooka void
451 1.1 pooka rumpuser_rw_destroy(struct rumpuser_rw *rw)
452 1.1 pooka {
453 1.1 pooka
454 1.1 pooka NOFAIL_ERRNO(pthread_rwlock_destroy(&rw->pthrw));
455 1.1 pooka NOFAIL_ERRNO(pthread_spin_destroy(&rw->spin));
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.26 pooka 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.29 pooka assert(pthread_getspecific(curlwpkey) == NULL);
714 1.23 pooka pthread_setspecific(curlwpkey, l);
715 1.23 pooka break;
716 1.29 pooka case RUMPUSER_LWP_CLEAR:
717 1.29 pooka assert(pthread_getspecific(curlwpkey) == l);
718 1.29 pooka 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.1 pooka 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.26 pooka pthread_key_create(&curlwpkey, NULL);
736 1.26 pooka }
737