locks.c revision 1.38.4.4 1 1.38.4.3 rmind /* $NetBSD: locks.c,v 1.38.4.4 2011/04/21 01:42:17 rmind Exp $ */
2 1.1 pooka
3 1.1 pooka /*
4 1.38.4.4 rmind * 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.38.4.3 rmind __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.38.4.4 2011/04/21 01:42:17 rmind 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.38.4.3 rmind * Simple lockdebug. If it's compiled in, it's always active.
42 1.38.4.3 rmind * Currently available only for mtx/rwlock.
43 1.38.4.3 rmind */
44 1.38.4.3 rmind #ifdef LOCKDEBUG
45 1.38.4.3 rmind #include <sys/lockdebug.h>
46 1.38.4.3 rmind
47 1.38.4.3 rmind static lockops_t mutex_lockops = {
48 1.38.4.3 rmind "mutex",
49 1.38.4.3 rmind LOCKOPS_SLEEP,
50 1.38.4.3 rmind NULL
51 1.38.4.3 rmind };
52 1.38.4.3 rmind static lockops_t rw_lockops = {
53 1.38.4.3 rmind "rwlock",
54 1.38.4.3 rmind LOCKOPS_SLEEP,
55 1.38.4.3 rmind NULL
56 1.38.4.3 rmind };
57 1.38.4.3 rmind
58 1.38.4.3 rmind #define ALLOCK(lock, ops) \
59 1.38.4.3 rmind lockdebug_alloc(lock, ops, (uintptr_t)__builtin_return_address(0))
60 1.38.4.3 rmind #define FREELOCK(lock) \
61 1.38.4.3 rmind lockdebug_free(lock)
62 1.38.4.3 rmind #define WANTLOCK(lock, shar, try) \
63 1.38.4.3 rmind lockdebug_wantlock(lock, (uintptr_t)__builtin_return_address(0), shar, try)
64 1.38.4.3 rmind #define LOCKED(lock, shar) \
65 1.38.4.3 rmind lockdebug_locked(lock, NULL, (uintptr_t)__builtin_return_address(0), shar)
66 1.38.4.3 rmind #define UNLOCKED(lock, shar) \
67 1.38.4.3 rmind lockdebug_unlocked(lock, (uintptr_t)__builtin_return_address(0), shar)
68 1.38.4.3 rmind #else
69 1.38.4.3 rmind #define ALLOCK(a, b)
70 1.38.4.3 rmind #define FREELOCK(a)
71 1.38.4.3 rmind #define WANTLOCK(a, b, c)
72 1.38.4.3 rmind #define LOCKED(a, b)
73 1.38.4.3 rmind #define UNLOCKED(a, b)
74 1.38.4.3 rmind #endif
75 1.38.4.3 rmind
76 1.38.4.3 rmind /*
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.1 pooka
94 1.22 pooka CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
95 1.22 pooka
96 1.38.4.3 rmind rumpuser_mutex_init_kmutex((struct rumpuser_mtx **)mtx);
97 1.38.4.3 rmind ALLOCK(mtx, &mutex_lockops);
98 1.1 pooka }
99 1.1 pooka
100 1.1 pooka void
101 1.1 pooka mutex_destroy(kmutex_t *mtx)
102 1.1 pooka {
103 1.1 pooka
104 1.38.4.3 rmind FREELOCK(mtx);
105 1.22 pooka rumpuser_mutex_destroy(RUMPMTX(mtx));
106 1.1 pooka }
107 1.1 pooka
108 1.1 pooka void
109 1.1 pooka mutex_enter(kmutex_t *mtx)
110 1.1 pooka {
111 1.1 pooka
112 1.38.4.3 rmind WANTLOCK(mtx, false, false);
113 1.22 pooka rumpuser_mutex_enter(RUMPMTX(mtx));
114 1.38.4.3 rmind LOCKED(mtx, false);
115 1.1 pooka }
116 1.38.4.3 rmind __strong_alias(mutex_spin_enter,mutex_enter);
117 1.6 pooka
118 1.1 pooka int
119 1.1 pooka mutex_tryenter(kmutex_t *mtx)
120 1.1 pooka {
121 1.38.4.3 rmind int rv;
122 1.1 pooka
123 1.38.4.3 rmind rv = rumpuser_mutex_tryenter(RUMPMTX(mtx));
124 1.38.4.3 rmind if (rv) {
125 1.38.4.3 rmind WANTLOCK(mtx, false, true);
126 1.38.4.3 rmind LOCKED(mtx, false);
127 1.38.4.3 rmind }
128 1.38.4.3 rmind return rv;
129 1.1 pooka }
130 1.1 pooka
131 1.1 pooka void
132 1.1 pooka mutex_exit(kmutex_t *mtx)
133 1.1 pooka {
134 1.1 pooka
135 1.38.4.3 rmind UNLOCKED(mtx, false);
136 1.22 pooka rumpuser_mutex_exit(RUMPMTX(mtx));
137 1.1 pooka }
138 1.38.4.3 rmind __strong_alias(mutex_spin_exit,mutex_exit);
139 1.1 pooka
140 1.38.4.3 rmind int
141 1.38.4.3 rmind mutex_owned(kmutex_t *mtx)
142 1.6 pooka {
143 1.6 pooka
144 1.38.4.3 rmind return mutex_owner(mtx) == curlwp;
145 1.6 pooka }
146 1.6 pooka
147 1.38.4.3 rmind struct lwp *
148 1.38.4.3 rmind mutex_owner(kmutex_t *mtx)
149 1.1 pooka {
150 1.1 pooka
151 1.38.4.3 rmind return rumpuser_mutex_owner(RUMPMTX(mtx));
152 1.1 pooka }
153 1.1 pooka
154 1.22 pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
155 1.22 pooka
156 1.1 pooka /* reader/writer locks */
157 1.1 pooka
158 1.1 pooka void
159 1.1 pooka rw_init(krwlock_t *rw)
160 1.1 pooka {
161 1.1 pooka
162 1.22 pooka CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
163 1.22 pooka
164 1.22 pooka rumpuser_rw_init((struct rumpuser_rw **)rw);
165 1.38.4.3 rmind ALLOCK(rw, &rw_lockops);
166 1.1 pooka }
167 1.1 pooka
168 1.1 pooka void
169 1.1 pooka rw_destroy(krwlock_t *rw)
170 1.1 pooka {
171 1.1 pooka
172 1.38.4.3 rmind FREELOCK(rw);
173 1.22 pooka rumpuser_rw_destroy(RUMPRW(rw));
174 1.1 pooka }
175 1.1 pooka
176 1.1 pooka void
177 1.1 pooka rw_enter(krwlock_t *rw, const krw_t op)
178 1.1 pooka {
179 1.1 pooka
180 1.38.4.3 rmind
181 1.38.4.3 rmind WANTLOCK(rw, op == RW_READER, false);
182 1.22 pooka rumpuser_rw_enter(RUMPRW(rw), op == RW_WRITER);
183 1.38.4.3 rmind LOCKED(rw, op == RW_READER);
184 1.1 pooka }
185 1.1 pooka
186 1.1 pooka int
187 1.1 pooka rw_tryenter(krwlock_t *rw, const krw_t op)
188 1.1 pooka {
189 1.38.4.3 rmind int rv;
190 1.1 pooka
191 1.38.4.3 rmind rv = rumpuser_rw_tryenter(RUMPRW(rw), op == RW_WRITER);
192 1.38.4.3 rmind if (rv) {
193 1.38.4.3 rmind WANTLOCK(rw, op == RW_READER, true);
194 1.38.4.3 rmind LOCKED(rw, op == RW_READER);
195 1.38.4.3 rmind }
196 1.38.4.3 rmind return rv;
197 1.1 pooka }
198 1.1 pooka
199 1.1 pooka void
200 1.1 pooka rw_exit(krwlock_t *rw)
201 1.1 pooka {
202 1.1 pooka
203 1.38.4.3 rmind #ifdef LOCKDEBUG
204 1.38.4.3 rmind bool shared = !rw_write_held(rw);
205 1.38.4.3 rmind
206 1.38.4.3 rmind if (shared)
207 1.38.4.3 rmind KASSERT(rw_read_held(rw));
208 1.38.4.3 rmind UNLOCKED(rw, shared);
209 1.38.4.3 rmind #endif
210 1.22 pooka rumpuser_rw_exit(RUMPRW(rw));
211 1.1 pooka }
212 1.1 pooka
213 1.1 pooka /* always fails */
214 1.1 pooka int
215 1.1 pooka rw_tryupgrade(krwlock_t *rw)
216 1.1 pooka {
217 1.1 pooka
218 1.1 pooka return 0;
219 1.1 pooka }
220 1.1 pooka
221 1.38.4.3 rmind void
222 1.38.4.3 rmind rw_downgrade(krwlock_t *rw)
223 1.38.4.3 rmind {
224 1.38.4.3 rmind
225 1.38.4.3 rmind #ifdef LOCKDEBUG
226 1.38.4.3 rmind KASSERT(!rw_write_held(rw));
227 1.38.4.3 rmind #endif
228 1.38.4.3 rmind /*
229 1.38.4.3 rmind * XXX HACK: How we can downgrade re lock in rump properly.
230 1.38.4.3 rmind */
231 1.38.4.3 rmind rw_exit(rw);
232 1.38.4.3 rmind rw_enter(rw, RW_READER);
233 1.38.4.3 rmind return;
234 1.38.4.3 rmind }
235 1.38.4.3 rmind
236 1.6 pooka int
237 1.6 pooka rw_write_held(krwlock_t *rw)
238 1.6 pooka {
239 1.6 pooka
240 1.22 pooka return rumpuser_rw_wrheld(RUMPRW(rw));
241 1.10 ad }
242 1.10 ad
243 1.10 ad int
244 1.10 ad rw_read_held(krwlock_t *rw)
245 1.10 ad {
246 1.10 ad
247 1.22 pooka return rumpuser_rw_rdheld(RUMPRW(rw));
248 1.10 ad }
249 1.10 ad
250 1.10 ad int
251 1.10 ad rw_lock_held(krwlock_t *rw)
252 1.10 ad {
253 1.10 ad
254 1.22 pooka return rumpuser_rw_held(RUMPRW(rw));
255 1.6 pooka }
256 1.6 pooka
257 1.1 pooka /* curriculum vitaes */
258 1.1 pooka
259 1.24 pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
260 1.1 pooka
261 1.1 pooka void
262 1.1 pooka cv_init(kcondvar_t *cv, const char *msg)
263 1.1 pooka {
264 1.1 pooka
265 1.25 pooka CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
266 1.25 pooka
267 1.24 pooka rumpuser_cv_init((struct rumpuser_cv **)cv);
268 1.1 pooka }
269 1.1 pooka
270 1.1 pooka void
271 1.1 pooka cv_destroy(kcondvar_t *cv)
272 1.1 pooka {
273 1.1 pooka
274 1.1 pooka rumpuser_cv_destroy(RUMPCV(cv));
275 1.1 pooka }
276 1.1 pooka
277 1.38.4.3 rmind static int
278 1.38.4.3 rmind docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
279 1.38.4.3 rmind {
280 1.38.4.3 rmind struct lwp *l = curlwp;
281 1.38.4.3 rmind int rv;
282 1.38.4.3 rmind
283 1.38.4.4 rmind if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
284 1.38.4.3 rmind /*
285 1.38.4.3 rmind * yield() here, someone might want the cpu
286 1.38.4.3 rmind * to set a condition. otherwise we'll just
287 1.38.4.3 rmind * loop forever.
288 1.38.4.3 rmind */
289 1.38.4.3 rmind yield();
290 1.38.4.3 rmind return EINTR;
291 1.38.4.3 rmind }
292 1.38.4.3 rmind
293 1.38.4.3 rmind UNLOCKED(mtx, false);
294 1.38.4.3 rmind
295 1.38.4.3 rmind l->l_private = cv;
296 1.38.4.3 rmind rv = 0;
297 1.38.4.3 rmind if (ts) {
298 1.38.4.3 rmind if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
299 1.38.4.3 rmind ts->tv_sec, ts->tv_nsec))
300 1.38.4.3 rmind rv = EWOULDBLOCK;
301 1.38.4.3 rmind } else {
302 1.38.4.3 rmind rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
303 1.38.4.3 rmind }
304 1.38.4.3 rmind
305 1.38.4.4 rmind LOCKED(mtx, false);
306 1.38.4.4 rmind
307 1.38.4.3 rmind /*
308 1.38.4.4 rmind * Check for QEXIT. if so, we need to wait here until we
309 1.38.4.3 rmind * are allowed to exit.
310 1.38.4.3 rmind */
311 1.38.4.4 rmind if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
312 1.38.4.3 rmind struct proc *p = l->l_proc;
313 1.38.4.3 rmind
314 1.38.4.4 rmind UNLOCKED(mtx, false);
315 1.38.4.3 rmind mutex_exit(mtx); /* drop and retake later */
316 1.38.4.3 rmind
317 1.38.4.3 rmind mutex_enter(p->p_lock);
318 1.38.4.4 rmind while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
319 1.38.4.3 rmind /* avoid recursion */
320 1.38.4.3 rmind rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
321 1.38.4.3 rmind RUMPMTX(p->p_lock));
322 1.38.4.3 rmind }
323 1.38.4.4 rmind KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
324 1.38.4.3 rmind mutex_exit(p->p_lock);
325 1.38.4.3 rmind
326 1.38.4.3 rmind /* ok, we can exit and remove "reference" to l->private */
327 1.38.4.3 rmind
328 1.38.4.3 rmind mutex_enter(mtx);
329 1.38.4.4 rmind LOCKED(mtx, false);
330 1.38.4.3 rmind rv = EINTR;
331 1.38.4.3 rmind }
332 1.38.4.3 rmind l->l_private = NULL;
333 1.38.4.3 rmind
334 1.38.4.3 rmind return rv;
335 1.38.4.3 rmind }
336 1.38.4.3 rmind
337 1.1 pooka void
338 1.1 pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
339 1.1 pooka {
340 1.1 pooka
341 1.38.4.2 rmind if (__predict_false(rump_threads == 0))
342 1.28 pooka panic("cv_wait without threads");
343 1.38.4.3 rmind (void) docvwait(cv, mtx, NULL);
344 1.1 pooka }
345 1.1 pooka
346 1.3 pooka int
347 1.5 pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
348 1.5 pooka {
349 1.5 pooka
350 1.38.4.2 rmind if (__predict_false(rump_threads == 0))
351 1.38.4.2 rmind panic("cv_wait without threads");
352 1.38.4.3 rmind return docvwait(cv, mtx, NULL);
353 1.5 pooka }
354 1.5 pooka
355 1.5 pooka int
356 1.3 pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
357 1.3 pooka {
358 1.27 pooka struct timespec ts, tick;
359 1.3 pooka extern int hz;
360 1.38.4.3 rmind int rv;
361 1.27 pooka
362 1.9 pooka if (ticks == 0) {
363 1.38.4.3 rmind rv = cv_wait_sig(cv, mtx);
364 1.9 pooka } else {
365 1.38.4.2 rmind /*
366 1.38.4.2 rmind * XXX: this fetches rump kernel time, but
367 1.38.4.2 rmind * rumpuser_cv_timedwait uses host time.
368 1.38.4.2 rmind */
369 1.38.4.2 rmind nanotime(&ts);
370 1.38.4.2 rmind tick.tv_sec = ticks / hz;
371 1.38.4.2 rmind tick.tv_nsec = (ticks % hz) * (1000000000/hz);
372 1.38.4.2 rmind timespecadd(&ts, &tick, &ts);
373 1.38.4.2 rmind
374 1.38.4.3 rmind rv = docvwait(cv, mtx, &ts);
375 1.9 pooka }
376 1.5 pooka
377 1.38.4.3 rmind return rv;
378 1.5 pooka }
379 1.38.4.3 rmind __strong_alias(cv_timedwait_sig,cv_timedwait);
380 1.5 pooka
381 1.1 pooka void
382 1.1 pooka cv_signal(kcondvar_t *cv)
383 1.1 pooka {
384 1.1 pooka
385 1.1 pooka rumpuser_cv_signal(RUMPCV(cv));
386 1.1 pooka }
387 1.2 pooka
388 1.4 pooka void
389 1.4 pooka cv_broadcast(kcondvar_t *cv)
390 1.4 pooka {
391 1.4 pooka
392 1.4 pooka rumpuser_cv_broadcast(RUMPCV(cv));
393 1.4 pooka }
394 1.4 pooka
395 1.17 pooka bool
396 1.17 pooka cv_has_waiters(kcondvar_t *cv)
397 1.17 pooka {
398 1.17 pooka
399 1.17 pooka return rumpuser_cv_has_waiters(RUMPCV(cv));
400 1.17 pooka }
401 1.17 pooka
402 1.35 pooka /* this is not much of an attempt, but ... */
403 1.35 pooka bool
404 1.35 pooka cv_is_valid(kcondvar_t *cv)
405 1.35 pooka {
406 1.35 pooka
407 1.35 pooka return RUMPCV(cv) != NULL;
408 1.35 pooka }
409