locks.c revision 1.56 1 1.56 pooka /* $NetBSD: locks.c,v 1.56 2013/04/27 13:59:46 pooka Exp $ */
2 1.1 pooka
3 1.1 pooka /*
4 1.54 pooka * Copyright (c) 2007-2011 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.23 pooka #include <sys/cdefs.h>
29 1.56 pooka __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.56 2013/04/27 13:59:46 pooka Exp $");
30 1.23 pooka
31 1.1 pooka #include <sys/param.h>
32 1.26 pooka #include <sys/kmem.h>
33 1.1 pooka #include <sys/mutex.h>
34 1.1 pooka #include <sys/rwlock.h>
35 1.1 pooka
36 1.18 pooka #include <rump/rumpuser.h>
37 1.18 pooka
38 1.2 pooka #include "rump_private.h"
39 1.2 pooka
40 1.22 pooka /*
41 1.45 pooka * Simple lockdebug. If it's compiled in, it's always active.
42 1.45 pooka * Currently available only for mtx/rwlock.
43 1.45 pooka */
44 1.45 pooka #ifdef LOCKDEBUG
45 1.45 pooka #include <sys/lockdebug.h>
46 1.45 pooka
47 1.45 pooka static lockops_t mutex_lockops = {
48 1.45 pooka "mutex",
49 1.45 pooka LOCKOPS_SLEEP,
50 1.45 pooka NULL
51 1.45 pooka };
52 1.45 pooka static lockops_t rw_lockops = {
53 1.46 pooka "rwlock",
54 1.45 pooka LOCKOPS_SLEEP,
55 1.45 pooka NULL
56 1.45 pooka };
57 1.45 pooka
58 1.45 pooka #define ALLOCK(lock, ops) \
59 1.45 pooka lockdebug_alloc(lock, ops, (uintptr_t)__builtin_return_address(0))
60 1.45 pooka #define FREELOCK(lock) \
61 1.45 pooka lockdebug_free(lock)
62 1.45 pooka #define WANTLOCK(lock, shar, try) \
63 1.45 pooka lockdebug_wantlock(lock, (uintptr_t)__builtin_return_address(0), shar, try)
64 1.45 pooka #define LOCKED(lock, shar) \
65 1.45 pooka lockdebug_locked(lock, NULL, (uintptr_t)__builtin_return_address(0), shar)
66 1.45 pooka #define UNLOCKED(lock, shar) \
67 1.45 pooka lockdebug_unlocked(lock, (uintptr_t)__builtin_return_address(0), shar)
68 1.45 pooka #else
69 1.45 pooka #define ALLOCK(a, b)
70 1.45 pooka #define FREELOCK(a)
71 1.45 pooka #define WANTLOCK(a, b, c)
72 1.45 pooka #define LOCKED(a, b)
73 1.45 pooka #define UNLOCKED(a, b)
74 1.45 pooka #endif
75 1.45 pooka
76 1.45 pooka /*
77 1.22 pooka * We map locks to pthread routines. The difference between kernel
78 1.22 pooka * and rumpuser routines is that while the kernel uses static
79 1.22 pooka * storage, rumpuser allocates the object from the heap. This
80 1.22 pooka * indirection is necessary because we don't know the size of
81 1.38 snj * pthread objects here. It is also beneficial, since we can
82 1.22 pooka * be easily compatible with the kernel ABI because all kernel
83 1.22 pooka * objects regardless of machine architecture are always at least
84 1.22 pooka * the size of a pointer. The downside, of course, is a performance
85 1.22 pooka * penalty.
86 1.22 pooka */
87 1.22 pooka
88 1.22 pooka #define RUMPMTX(mtx) (*(struct rumpuser_mtx **)(mtx))
89 1.22 pooka
90 1.1 pooka void
91 1.1 pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
92 1.1 pooka {
93 1.56 pooka int isspin;
94 1.56 pooka
95 1.56 pooka /*
96 1.56 pooka * Try to figure out if the caller wanted a spin mutex or
97 1.56 pooka * not with this easy set of conditionals. The difference
98 1.56 pooka * between a spin mutex and an adaptive mutex for a rump
99 1.56 pooka * kernel is that the hypervisor does not relinquish the
100 1.56 pooka * rump kernel CPU context for a spin mutex. The
101 1.56 pooka * hypervisor itself may block even when "spinning".
102 1.56 pooka */
103 1.56 pooka if (type == MUTEX_SPIN) {
104 1.56 pooka isspin = 1;
105 1.56 pooka } else if (ipl == IPL_NONE || ipl == IPL_SOFTCLOCK ||
106 1.56 pooka ipl == IPL_SOFTBIO || ipl == IPL_SOFTNET ||
107 1.56 pooka ipl == IPL_SOFTSERIAL) {
108 1.56 pooka isspin = 0;
109 1.56 pooka } else {
110 1.56 pooka isspin = 1;
111 1.56 pooka }
112 1.1 pooka
113 1.22 pooka CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
114 1.22 pooka
115 1.56 pooka rumpuser_mutex_init_kmutex((struct rumpuser_mtx **)mtx, isspin);
116 1.45 pooka ALLOCK(mtx, &mutex_lockops);
117 1.1 pooka }
118 1.1 pooka
119 1.1 pooka void
120 1.1 pooka mutex_destroy(kmutex_t *mtx)
121 1.1 pooka {
122 1.1 pooka
123 1.45 pooka FREELOCK(mtx);
124 1.22 pooka rumpuser_mutex_destroy(RUMPMTX(mtx));
125 1.1 pooka }
126 1.1 pooka
127 1.1 pooka void
128 1.1 pooka mutex_enter(kmutex_t *mtx)
129 1.1 pooka {
130 1.1 pooka
131 1.45 pooka WANTLOCK(mtx, false, false);
132 1.22 pooka rumpuser_mutex_enter(RUMPMTX(mtx));
133 1.45 pooka LOCKED(mtx, false);
134 1.1 pooka }
135 1.56 pooka
136 1.56 pooka void
137 1.56 pooka mutex_spin_enter(kmutex_t *mtx)
138 1.56 pooka {
139 1.56 pooka
140 1.56 pooka WANTLOCK(mtx, false, false);
141 1.56 pooka rumpuser_mutex_enter_nowrap(RUMPMTX(mtx));
142 1.56 pooka LOCKED(mtx, false);
143 1.56 pooka }
144 1.6 pooka
145 1.1 pooka int
146 1.1 pooka mutex_tryenter(kmutex_t *mtx)
147 1.1 pooka {
148 1.45 pooka int rv;
149 1.1 pooka
150 1.45 pooka rv = rumpuser_mutex_tryenter(RUMPMTX(mtx));
151 1.45 pooka if (rv) {
152 1.45 pooka WANTLOCK(mtx, false, true);
153 1.45 pooka LOCKED(mtx, false);
154 1.45 pooka }
155 1.45 pooka return rv;
156 1.1 pooka }
157 1.1 pooka
158 1.1 pooka void
159 1.1 pooka mutex_exit(kmutex_t *mtx)
160 1.1 pooka {
161 1.1 pooka
162 1.45 pooka UNLOCKED(mtx, false);
163 1.22 pooka rumpuser_mutex_exit(RUMPMTX(mtx));
164 1.1 pooka }
165 1.45 pooka __strong_alias(mutex_spin_exit,mutex_exit);
166 1.6 pooka
167 1.1 pooka int
168 1.1 pooka mutex_owned(kmutex_t *mtx)
169 1.1 pooka {
170 1.1 pooka
171 1.44 pooka return mutex_owner(mtx) == curlwp;
172 1.44 pooka }
173 1.44 pooka
174 1.44 pooka struct lwp *
175 1.44 pooka mutex_owner(kmutex_t *mtx)
176 1.44 pooka {
177 1.44 pooka
178 1.44 pooka return rumpuser_mutex_owner(RUMPMTX(mtx));
179 1.1 pooka }
180 1.1 pooka
181 1.22 pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
182 1.22 pooka
183 1.1 pooka /* reader/writer locks */
184 1.1 pooka
185 1.1 pooka void
186 1.1 pooka rw_init(krwlock_t *rw)
187 1.1 pooka {
188 1.1 pooka
189 1.22 pooka CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
190 1.22 pooka
191 1.22 pooka rumpuser_rw_init((struct rumpuser_rw **)rw);
192 1.45 pooka ALLOCK(rw, &rw_lockops);
193 1.1 pooka }
194 1.1 pooka
195 1.1 pooka void
196 1.1 pooka rw_destroy(krwlock_t *rw)
197 1.1 pooka {
198 1.1 pooka
199 1.45 pooka FREELOCK(rw);
200 1.22 pooka rumpuser_rw_destroy(RUMPRW(rw));
201 1.1 pooka }
202 1.1 pooka
203 1.1 pooka void
204 1.1 pooka rw_enter(krwlock_t *rw, const krw_t op)
205 1.1 pooka {
206 1.1 pooka
207 1.45 pooka
208 1.45 pooka WANTLOCK(rw, op == RW_READER, false);
209 1.22 pooka rumpuser_rw_enter(RUMPRW(rw), op == RW_WRITER);
210 1.45 pooka LOCKED(rw, op == RW_READER);
211 1.1 pooka }
212 1.1 pooka
213 1.1 pooka int
214 1.1 pooka rw_tryenter(krwlock_t *rw, const krw_t op)
215 1.1 pooka {
216 1.45 pooka int rv;
217 1.1 pooka
218 1.45 pooka rv = rumpuser_rw_tryenter(RUMPRW(rw), op == RW_WRITER);
219 1.45 pooka if (rv) {
220 1.45 pooka WANTLOCK(rw, op == RW_READER, true);
221 1.45 pooka LOCKED(rw, op == RW_READER);
222 1.45 pooka }
223 1.45 pooka return rv;
224 1.1 pooka }
225 1.1 pooka
226 1.1 pooka void
227 1.1 pooka rw_exit(krwlock_t *rw)
228 1.1 pooka {
229 1.1 pooka
230 1.45 pooka #ifdef LOCKDEBUG
231 1.45 pooka bool shared = !rw_write_held(rw);
232 1.45 pooka
233 1.45 pooka if (shared)
234 1.45 pooka KASSERT(rw_read_held(rw));
235 1.45 pooka UNLOCKED(rw, shared);
236 1.45 pooka #endif
237 1.22 pooka rumpuser_rw_exit(RUMPRW(rw));
238 1.1 pooka }
239 1.1 pooka
240 1.1 pooka /* always fails */
241 1.1 pooka int
242 1.1 pooka rw_tryupgrade(krwlock_t *rw)
243 1.1 pooka {
244 1.1 pooka
245 1.1 pooka return 0;
246 1.1 pooka }
247 1.1 pooka
248 1.48 haad void
249 1.48 haad rw_downgrade(krwlock_t *rw)
250 1.48 haad {
251 1.48 haad
252 1.48 haad /*
253 1.48 haad * XXX HACK: How we can downgrade re lock in rump properly.
254 1.48 haad */
255 1.48 haad rw_exit(rw);
256 1.48 haad rw_enter(rw, RW_READER);
257 1.48 haad return;
258 1.48 haad }
259 1.48 haad
260 1.6 pooka int
261 1.6 pooka rw_write_held(krwlock_t *rw)
262 1.6 pooka {
263 1.6 pooka
264 1.22 pooka return rumpuser_rw_wrheld(RUMPRW(rw));
265 1.10 ad }
266 1.10 ad
267 1.10 ad int
268 1.10 ad rw_read_held(krwlock_t *rw)
269 1.10 ad {
270 1.10 ad
271 1.22 pooka return rumpuser_rw_rdheld(RUMPRW(rw));
272 1.10 ad }
273 1.10 ad
274 1.10 ad int
275 1.10 ad rw_lock_held(krwlock_t *rw)
276 1.10 ad {
277 1.10 ad
278 1.22 pooka return rumpuser_rw_held(RUMPRW(rw));
279 1.6 pooka }
280 1.6 pooka
281 1.1 pooka /* curriculum vitaes */
282 1.1 pooka
283 1.24 pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
284 1.1 pooka
285 1.1 pooka void
286 1.1 pooka cv_init(kcondvar_t *cv, const char *msg)
287 1.1 pooka {
288 1.1 pooka
289 1.25 pooka CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
290 1.25 pooka
291 1.24 pooka rumpuser_cv_init((struct rumpuser_cv **)cv);
292 1.1 pooka }
293 1.1 pooka
294 1.1 pooka void
295 1.1 pooka cv_destroy(kcondvar_t *cv)
296 1.1 pooka {
297 1.1 pooka
298 1.1 pooka rumpuser_cv_destroy(RUMPCV(cv));
299 1.1 pooka }
300 1.1 pooka
301 1.47 pooka static int
302 1.47 pooka docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
303 1.47 pooka {
304 1.47 pooka struct lwp *l = curlwp;
305 1.47 pooka int rv;
306 1.47 pooka
307 1.51 pooka if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
308 1.47 pooka /*
309 1.50 pooka * yield() here, someone might want the cpu
310 1.50 pooka * to set a condition. otherwise we'll just
311 1.50 pooka * loop forever.
312 1.47 pooka */
313 1.50 pooka yield();
314 1.47 pooka return EINTR;
315 1.47 pooka }
316 1.47 pooka
317 1.47 pooka UNLOCKED(mtx, false);
318 1.47 pooka
319 1.47 pooka l->l_private = cv;
320 1.47 pooka rv = 0;
321 1.47 pooka if (ts) {
322 1.47 pooka if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
323 1.47 pooka ts->tv_sec, ts->tv_nsec))
324 1.47 pooka rv = EWOULDBLOCK;
325 1.47 pooka } else {
326 1.47 pooka rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
327 1.47 pooka }
328 1.47 pooka
329 1.52 pooka LOCKED(mtx, false);
330 1.52 pooka
331 1.47 pooka /*
332 1.51 pooka * Check for QEXIT. if so, we need to wait here until we
333 1.47 pooka * are allowed to exit.
334 1.47 pooka */
335 1.51 pooka if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
336 1.47 pooka struct proc *p = l->l_proc;
337 1.47 pooka
338 1.53 pooka UNLOCKED(mtx, false);
339 1.47 pooka mutex_exit(mtx); /* drop and retake later */
340 1.47 pooka
341 1.47 pooka mutex_enter(p->p_lock);
342 1.51 pooka while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
343 1.47 pooka /* avoid recursion */
344 1.47 pooka rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
345 1.47 pooka RUMPMTX(p->p_lock));
346 1.47 pooka }
347 1.51 pooka KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
348 1.47 pooka mutex_exit(p->p_lock);
349 1.47 pooka
350 1.47 pooka /* ok, we can exit and remove "reference" to l->private */
351 1.47 pooka
352 1.47 pooka mutex_enter(mtx);
353 1.53 pooka LOCKED(mtx, false);
354 1.47 pooka rv = EINTR;
355 1.47 pooka }
356 1.47 pooka l->l_private = NULL;
357 1.47 pooka
358 1.47 pooka return rv;
359 1.47 pooka }
360 1.47 pooka
361 1.1 pooka void
362 1.1 pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
363 1.1 pooka {
364 1.1 pooka
365 1.42 pooka if (__predict_false(rump_threads == 0))
366 1.28 pooka panic("cv_wait without threads");
367 1.47 pooka (void) docvwait(cv, mtx, NULL);
368 1.1 pooka }
369 1.1 pooka
370 1.3 pooka int
371 1.5 pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
372 1.5 pooka {
373 1.5 pooka
374 1.42 pooka if (__predict_false(rump_threads == 0))
375 1.42 pooka panic("cv_wait without threads");
376 1.47 pooka return docvwait(cv, mtx, NULL);
377 1.5 pooka }
378 1.5 pooka
379 1.5 pooka int
380 1.3 pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
381 1.3 pooka {
382 1.27 pooka struct timespec ts, tick;
383 1.3 pooka extern int hz;
384 1.45 pooka int rv;
385 1.27 pooka
386 1.9 pooka if (ticks == 0) {
387 1.47 pooka rv = cv_wait_sig(cv, mtx);
388 1.9 pooka } else {
389 1.42 pooka /*
390 1.42 pooka * XXX: this fetches rump kernel time, but
391 1.42 pooka * rumpuser_cv_timedwait uses host time.
392 1.42 pooka */
393 1.42 pooka nanotime(&ts);
394 1.42 pooka tick.tv_sec = ticks / hz;
395 1.42 pooka tick.tv_nsec = (ticks % hz) * (1000000000/hz);
396 1.42 pooka timespecadd(&ts, &tick, &ts);
397 1.42 pooka
398 1.47 pooka rv = docvwait(cv, mtx, &ts);
399 1.9 pooka }
400 1.5 pooka
401 1.45 pooka return rv;
402 1.5 pooka }
403 1.45 pooka __strong_alias(cv_timedwait_sig,cv_timedwait);
404 1.5 pooka
405 1.1 pooka void
406 1.1 pooka cv_signal(kcondvar_t *cv)
407 1.1 pooka {
408 1.1 pooka
409 1.1 pooka rumpuser_cv_signal(RUMPCV(cv));
410 1.1 pooka }
411 1.2 pooka
412 1.4 pooka void
413 1.4 pooka cv_broadcast(kcondvar_t *cv)
414 1.4 pooka {
415 1.4 pooka
416 1.4 pooka rumpuser_cv_broadcast(RUMPCV(cv));
417 1.4 pooka }
418 1.4 pooka
419 1.17 pooka bool
420 1.17 pooka cv_has_waiters(kcondvar_t *cv)
421 1.17 pooka {
422 1.17 pooka
423 1.17 pooka return rumpuser_cv_has_waiters(RUMPCV(cv));
424 1.17 pooka }
425 1.17 pooka
426 1.35 pooka /* this is not much of an attempt, but ... */
427 1.35 pooka bool
428 1.35 pooka cv_is_valid(kcondvar_t *cv)
429 1.35 pooka {
430 1.35 pooka
431 1.35 pooka return RUMPCV(cv) != NULL;
432 1.35 pooka }
433