locks.c revision 1.14 1 1.14 ad /* $NetBSD: locks.c,v 1.14 2008/04/11 15:23:45 ad Exp $ */
2 1.14 ad
3 1.14 ad /*-
4 1.14 ad * Copyright (c) 2008 The NetBSD Foundation, Inc.
5 1.14 ad * All rights reserved.
6 1.14 ad *
7 1.14 ad * Redistribution and use in source and binary forms, with or without
8 1.14 ad * modification, are permitted provided that the following conditions
9 1.14 ad * are met:
10 1.14 ad * 1. Redistributions of source code must retain the above copyright
11 1.14 ad * notice, this list of conditions and the following disclaimer.
12 1.14 ad * 2. Redistributions in binary form must reproduce the above copyright
13 1.14 ad * notice, this list of conditions and the following disclaimer in the
14 1.14 ad * documentation and/or other materials provided with the distribution.
15 1.14 ad * 3. All advertising materials mentioning features or use of this software
16 1.14 ad * must display the following acknowledgement:
17 1.14 ad * This product includes software developed by the NetBSD
18 1.14 ad * Foundation, Inc. and its contributors.
19 1.14 ad * 4. Neither the name of The NetBSD Foundation nor the names of its
20 1.14 ad * contributors may be used to endorse or promote products derived
21 1.14 ad * from this software without specific prior written permission.
22 1.14 ad *
23 1.14 ad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
24 1.14 ad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
25 1.14 ad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
26 1.14 ad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
27 1.14 ad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
28 1.14 ad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
29 1.14 ad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
30 1.14 ad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
31 1.14 ad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
32 1.14 ad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
33 1.14 ad * POSSIBILITY OF SUCH DAMAGE.
34 1.14 ad */
35 1.1 pooka
36 1.1 pooka /*
37 1.1 pooka * Copyright (c) 2007 Antti Kantee. All Rights Reserved.
38 1.1 pooka *
39 1.1 pooka * Development of this software was supported by the
40 1.1 pooka * Finnish Cultural Foundation.
41 1.1 pooka *
42 1.1 pooka * Redistribution and use in source and binary forms, with or without
43 1.1 pooka * modification, are permitted provided that the following conditions
44 1.1 pooka * are met:
45 1.1 pooka * 1. Redistributions of source code must retain the above copyright
46 1.1 pooka * notice, this list of conditions and the following disclaimer.
47 1.1 pooka * 2. Redistributions in binary form must reproduce the above copyright
48 1.1 pooka * notice, this list of conditions and the following disclaimer in the
49 1.1 pooka * documentation and/or other materials provided with the distribution.
50 1.1 pooka *
51 1.1 pooka * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
52 1.1 pooka * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
53 1.1 pooka * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
54 1.1 pooka * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
55 1.1 pooka * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
56 1.1 pooka * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
57 1.1 pooka * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
58 1.1 pooka * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
59 1.1 pooka * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
60 1.1 pooka * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
61 1.1 pooka * SUCH DAMAGE.
62 1.1 pooka */
63 1.1 pooka
64 1.1 pooka #include <sys/param.h>
65 1.1 pooka #include <sys/mutex.h>
66 1.1 pooka #include <sys/rwlock.h>
67 1.14 ad #include <sys/atomic.h>
68 1.1 pooka
69 1.2 pooka #include "rump_private.h"
70 1.2 pooka
71 1.1 pooka #include "rumpuser.h"
72 1.1 pooka
73 1.1 pooka void
74 1.1 pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
75 1.1 pooka {
76 1.1 pooka
77 1.1 pooka rumpuser_mutex_init(&mtx->kmtx_mtx);
78 1.1 pooka }
79 1.1 pooka
80 1.1 pooka void
81 1.1 pooka mutex_destroy(kmutex_t *mtx)
82 1.1 pooka {
83 1.1 pooka
84 1.1 pooka rumpuser_mutex_destroy(mtx->kmtx_mtx);
85 1.1 pooka }
86 1.1 pooka
87 1.1 pooka void
88 1.1 pooka mutex_enter(kmutex_t *mtx)
89 1.1 pooka {
90 1.1 pooka
91 1.1 pooka rumpuser_mutex_enter(mtx->kmtx_mtx);
92 1.1 pooka }
93 1.1 pooka
94 1.6 pooka void
95 1.6 pooka mutex_spin_enter(kmutex_t *mtx)
96 1.6 pooka {
97 1.6 pooka
98 1.6 pooka mutex_enter(mtx);
99 1.6 pooka }
100 1.6 pooka
101 1.1 pooka int
102 1.1 pooka mutex_tryenter(kmutex_t *mtx)
103 1.1 pooka {
104 1.1 pooka
105 1.12 pooka return rumpuser_mutex_tryenter(mtx->kmtx_mtx);
106 1.1 pooka }
107 1.1 pooka
108 1.1 pooka void
109 1.1 pooka mutex_exit(kmutex_t *mtx)
110 1.1 pooka {
111 1.1 pooka
112 1.1 pooka rumpuser_mutex_exit(mtx->kmtx_mtx);
113 1.1 pooka }
114 1.1 pooka
115 1.6 pooka void
116 1.6 pooka mutex_spin_exit(kmutex_t *mtx)
117 1.6 pooka {
118 1.6 pooka
119 1.6 pooka mutex_exit(mtx);
120 1.6 pooka }
121 1.6 pooka
122 1.1 pooka int
123 1.1 pooka mutex_owned(kmutex_t *mtx)
124 1.1 pooka {
125 1.1 pooka
126 1.10 ad return rumpuser_mutex_held(mtx->kmtx_mtx);
127 1.1 pooka }
128 1.1 pooka
129 1.1 pooka /* reader/writer locks */
130 1.1 pooka
131 1.1 pooka void
132 1.1 pooka rw_init(krwlock_t *rw)
133 1.1 pooka {
134 1.1 pooka
135 1.1 pooka rumpuser_rw_init(&rw->krw_pthlock);
136 1.1 pooka }
137 1.1 pooka
138 1.1 pooka void
139 1.1 pooka rw_destroy(krwlock_t *rw)
140 1.1 pooka {
141 1.1 pooka
142 1.1 pooka rumpuser_rw_destroy(rw->krw_pthlock);
143 1.1 pooka }
144 1.1 pooka
145 1.1 pooka void
146 1.1 pooka rw_enter(krwlock_t *rw, const krw_t op)
147 1.1 pooka {
148 1.1 pooka
149 1.1 pooka rumpuser_rw_enter(rw->krw_pthlock, op == RW_WRITER);
150 1.1 pooka }
151 1.1 pooka
152 1.1 pooka int
153 1.1 pooka rw_tryenter(krwlock_t *rw, const krw_t op)
154 1.1 pooka {
155 1.1 pooka
156 1.1 pooka return rumpuser_rw_tryenter(rw->krw_pthlock, op == RW_WRITER);
157 1.1 pooka }
158 1.1 pooka
159 1.1 pooka void
160 1.1 pooka rw_exit(krwlock_t *rw)
161 1.1 pooka {
162 1.1 pooka
163 1.1 pooka rumpuser_rw_exit(rw->krw_pthlock);
164 1.1 pooka }
165 1.1 pooka
166 1.1 pooka /* always fails */
167 1.1 pooka int
168 1.1 pooka rw_tryupgrade(krwlock_t *rw)
169 1.1 pooka {
170 1.1 pooka
171 1.1 pooka return 0;
172 1.1 pooka }
173 1.1 pooka
174 1.6 pooka int
175 1.6 pooka rw_write_held(krwlock_t *rw)
176 1.6 pooka {
177 1.6 pooka
178 1.10 ad return rumpuser_rw_wrheld(rw->krw_pthlock);
179 1.10 ad }
180 1.10 ad
181 1.10 ad int
182 1.10 ad rw_read_held(krwlock_t *rw)
183 1.10 ad {
184 1.10 ad
185 1.10 ad return rumpuser_rw_rdheld(rw->krw_pthlock);
186 1.10 ad }
187 1.10 ad
188 1.10 ad int
189 1.10 ad rw_lock_held(krwlock_t *rw)
190 1.10 ad {
191 1.10 ad
192 1.10 ad return rumpuser_rw_held(rw->krw_pthlock);
193 1.6 pooka }
194 1.6 pooka
195 1.1 pooka /* curriculum vitaes */
196 1.1 pooka
197 1.1 pooka /* forgive me for I have sinned */
198 1.1 pooka #define RUMPCV(a) ((struct rumpuser_cv *)(__UNCONST((a)->cv_wmesg)))
199 1.1 pooka
200 1.1 pooka void
201 1.1 pooka cv_init(kcondvar_t *cv, const char *msg)
202 1.1 pooka {
203 1.1 pooka
204 1.1 pooka rumpuser_cv_init((struct rumpuser_cv **)__UNCONST(&cv->cv_wmesg));
205 1.1 pooka }
206 1.1 pooka
207 1.1 pooka void
208 1.1 pooka cv_destroy(kcondvar_t *cv)
209 1.1 pooka {
210 1.1 pooka
211 1.1 pooka rumpuser_cv_destroy(RUMPCV(cv));
212 1.1 pooka }
213 1.1 pooka
214 1.1 pooka void
215 1.1 pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
216 1.1 pooka {
217 1.1 pooka
218 1.1 pooka rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
219 1.1 pooka }
220 1.1 pooka
221 1.3 pooka int
222 1.5 pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
223 1.5 pooka {
224 1.5 pooka
225 1.5 pooka rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
226 1.5 pooka return 0;
227 1.5 pooka }
228 1.5 pooka
229 1.5 pooka int
230 1.3 pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
231 1.3 pooka {
232 1.3 pooka extern int hz;
233 1.3 pooka
234 1.9 pooka if (ticks == 0) {
235 1.9 pooka cv_wait(cv, mtx);
236 1.9 pooka return 0;
237 1.9 pooka } else {
238 1.9 pooka KASSERT(hz == 100);
239 1.9 pooka return rumpuser_cv_timedwait(RUMPCV(cv), mtx->kmtx_mtx, ticks);
240 1.9 pooka }
241 1.3 pooka }
242 1.3 pooka
243 1.5 pooka int
244 1.5 pooka cv_timedwait_sig(kcondvar_t *cv, kmutex_t *mtx, int ticks)
245 1.5 pooka {
246 1.5 pooka
247 1.9 pooka return cv_timedwait(cv, mtx, ticks);
248 1.5 pooka }
249 1.5 pooka
250 1.1 pooka void
251 1.1 pooka cv_signal(kcondvar_t *cv)
252 1.1 pooka {
253 1.1 pooka
254 1.1 pooka rumpuser_cv_signal(RUMPCV(cv));
255 1.1 pooka }
256 1.2 pooka
257 1.4 pooka void
258 1.4 pooka cv_broadcast(kcondvar_t *cv)
259 1.4 pooka {
260 1.4 pooka
261 1.4 pooka rumpuser_cv_broadcast(RUMPCV(cv));
262 1.4 pooka }
263 1.4 pooka
264 1.2 pooka /* kernel biglock, only for vnode_if */
265 1.2 pooka
266 1.2 pooka void
267 1.13 drochner _kernel_lock(int nlocks)
268 1.2 pooka {
269 1.2 pooka
270 1.2 pooka KASSERT(nlocks == 1);
271 1.2 pooka mutex_enter(&rump_giantlock);
272 1.2 pooka }
273 1.2 pooka
274 1.2 pooka void
275 1.13 drochner _kernel_unlock(int nlocks, int *countp)
276 1.2 pooka {
277 1.2 pooka
278 1.2 pooka KASSERT(nlocks == 1);
279 1.2 pooka mutex_exit(&rump_giantlock);
280 1.2 pooka if (countp)
281 1.2 pooka *countp = 1;
282 1.2 pooka }
283 1.14 ad
284 1.14 ad struct kmutexobj {
285 1.14 ad kmutex_t mo_lock;
286 1.14 ad u_int mo_refcnt;
287 1.14 ad };
288 1.14 ad
289 1.14 ad kmutex_t *
290 1.14 ad mutex_obj_alloc(kmutex_type_t type, int ipl)
291 1.14 ad {
292 1.14 ad struct kmutexobj *mo;
293 1.14 ad
294 1.14 ad mo = kmem_alloc(sizeof(*mo), KM_SLEEP);
295 1.14 ad mutex_init(&mo->mo_lock, type, ipl);
296 1.14 ad mo->mo_refcnt = 1;
297 1.14 ad
298 1.14 ad return (kmutex_t *)mo;
299 1.14 ad }
300 1.14 ad
301 1.14 ad void
302 1.14 ad mutex_obj_hold(kmutex_t *lock)
303 1.14 ad {
304 1.14 ad struct kmutexobj *mo = (struct kmutexobj *)lock;
305 1.14 ad
306 1.14 ad atomic_inc_uint(&mo->mo_refcnt);
307 1.14 ad }
308 1.14 ad
309 1.14 ad bool
310 1.14 ad mutex_obj_free(kmutex_t *lock)
311 1.14 ad {
312 1.14 ad struct kmutexobj *mo = (struct kmutexobj *)lock;
313 1.14 ad
314 1.14 ad if (atomic_dec_uint_nv(&mo->mo_refcnt) > 0) {
315 1.14 ad return false;
316 1.14 ad }
317 1.14 ad mutex_destroy(&mo->mo_lock);
318 1.14 ad kmem_free(mo, sizeof(*mo));
319 1.14 ad return true;
320 1.14 ad }
321