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