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