locks.c revision 1.1.6.5 1 1.1.6.5 matt /* locks.c,v 1.1.6.4 2008/01/09 01:58:00 matt Exp */
2 1.1.6.2 matt
3 1.1.6.2 matt /*
4 1.1.6.2 matt * Copyright (c) 2007 Antti Kantee. All Rights Reserved.
5 1.1.6.2 matt *
6 1.1.6.2 matt * Development of this software was supported by the
7 1.1.6.2 matt * Finnish Cultural Foundation.
8 1.1.6.2 matt *
9 1.1.6.2 matt * Redistribution and use in source and binary forms, with or without
10 1.1.6.2 matt * modification, are permitted provided that the following conditions
11 1.1.6.2 matt * are met:
12 1.1.6.2 matt * 1. Redistributions of source code must retain the above copyright
13 1.1.6.2 matt * notice, this list of conditions and the following disclaimer.
14 1.1.6.2 matt * 2. Redistributions in binary form must reproduce the above copyright
15 1.1.6.2 matt * notice, this list of conditions and the following disclaimer in the
16 1.1.6.2 matt * documentation and/or other materials provided with the distribution.
17 1.1.6.2 matt *
18 1.1.6.2 matt * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
19 1.1.6.2 matt * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
20 1.1.6.2 matt * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 1.1.6.2 matt * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22 1.1.6.2 matt * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 1.1.6.2 matt * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
24 1.1.6.2 matt * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25 1.1.6.2 matt * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26 1.1.6.2 matt * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27 1.1.6.2 matt * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 1.1.6.2 matt * SUCH DAMAGE.
29 1.1.6.2 matt */
30 1.1.6.2 matt
31 1.1.6.2 matt #include <sys/param.h>
32 1.1.6.2 matt #include <sys/mutex.h>
33 1.1.6.2 matt #include <sys/rwlock.h>
34 1.1.6.2 matt
35 1.1.6.3 matt #include "rump_private.h"
36 1.1.6.3 matt
37 1.1.6.2 matt #include "rumpuser.h"
38 1.1.6.2 matt
39 1.1.6.2 matt void
40 1.1.6.2 matt mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
41 1.1.6.2 matt {
42 1.1.6.2 matt
43 1.1.6.2 matt rumpuser_mutex_init(&mtx->kmtx_mtx);
44 1.1.6.2 matt }
45 1.1.6.2 matt
46 1.1.6.2 matt void
47 1.1.6.2 matt mutex_destroy(kmutex_t *mtx)
48 1.1.6.2 matt {
49 1.1.6.2 matt
50 1.1.6.2 matt rumpuser_mutex_destroy(mtx->kmtx_mtx);
51 1.1.6.2 matt }
52 1.1.6.2 matt
53 1.1.6.2 matt void
54 1.1.6.2 matt mutex_enter(kmutex_t *mtx)
55 1.1.6.2 matt {
56 1.1.6.2 matt
57 1.1.6.2 matt rumpuser_mutex_enter(mtx->kmtx_mtx);
58 1.1.6.2 matt }
59 1.1.6.2 matt
60 1.1.6.4 matt void
61 1.1.6.4 matt mutex_spin_enter(kmutex_t *mtx)
62 1.1.6.4 matt {
63 1.1.6.4 matt
64 1.1.6.4 matt mutex_enter(mtx);
65 1.1.6.4 matt }
66 1.1.6.4 matt
67 1.1.6.2 matt int
68 1.1.6.2 matt mutex_tryenter(kmutex_t *mtx)
69 1.1.6.2 matt {
70 1.1.6.2 matt
71 1.1.6.5 matt return rumpuser_mutex_tryenter(mtx->kmtx_mtx);
72 1.1.6.2 matt }
73 1.1.6.2 matt
74 1.1.6.2 matt void
75 1.1.6.2 matt mutex_exit(kmutex_t *mtx)
76 1.1.6.2 matt {
77 1.1.6.2 matt
78 1.1.6.2 matt rumpuser_mutex_exit(mtx->kmtx_mtx);
79 1.1.6.2 matt }
80 1.1.6.2 matt
81 1.1.6.4 matt void
82 1.1.6.4 matt mutex_spin_exit(kmutex_t *mtx)
83 1.1.6.4 matt {
84 1.1.6.4 matt
85 1.1.6.4 matt mutex_exit(mtx);
86 1.1.6.4 matt }
87 1.1.6.4 matt
88 1.1.6.2 matt int
89 1.1.6.2 matt mutex_owned(kmutex_t *mtx)
90 1.1.6.2 matt {
91 1.1.6.2 matt
92 1.1.6.5 matt return rumpuser_mutex_held(mtx->kmtx_mtx);
93 1.1.6.2 matt }
94 1.1.6.2 matt
95 1.1.6.2 matt /* reader/writer locks */
96 1.1.6.2 matt
97 1.1.6.2 matt void
98 1.1.6.2 matt rw_init(krwlock_t *rw)
99 1.1.6.2 matt {
100 1.1.6.2 matt
101 1.1.6.2 matt rumpuser_rw_init(&rw->krw_pthlock);
102 1.1.6.2 matt }
103 1.1.6.2 matt
104 1.1.6.2 matt void
105 1.1.6.2 matt rw_destroy(krwlock_t *rw)
106 1.1.6.2 matt {
107 1.1.6.2 matt
108 1.1.6.2 matt rumpuser_rw_destroy(rw->krw_pthlock);
109 1.1.6.2 matt }
110 1.1.6.2 matt
111 1.1.6.2 matt void
112 1.1.6.2 matt rw_enter(krwlock_t *rw, const krw_t op)
113 1.1.6.2 matt {
114 1.1.6.2 matt
115 1.1.6.2 matt rumpuser_rw_enter(rw->krw_pthlock, op == RW_WRITER);
116 1.1.6.2 matt }
117 1.1.6.2 matt
118 1.1.6.2 matt int
119 1.1.6.2 matt rw_tryenter(krwlock_t *rw, const krw_t op)
120 1.1.6.2 matt {
121 1.1.6.2 matt
122 1.1.6.2 matt return rumpuser_rw_tryenter(rw->krw_pthlock, op == RW_WRITER);
123 1.1.6.2 matt }
124 1.1.6.2 matt
125 1.1.6.2 matt void
126 1.1.6.2 matt rw_exit(krwlock_t *rw)
127 1.1.6.2 matt {
128 1.1.6.2 matt
129 1.1.6.2 matt rumpuser_rw_exit(rw->krw_pthlock);
130 1.1.6.2 matt }
131 1.1.6.2 matt
132 1.1.6.2 matt /* always fails */
133 1.1.6.2 matt int
134 1.1.6.2 matt rw_tryupgrade(krwlock_t *rw)
135 1.1.6.2 matt {
136 1.1.6.2 matt
137 1.1.6.2 matt return 0;
138 1.1.6.2 matt }
139 1.1.6.2 matt
140 1.1.6.4 matt int
141 1.1.6.4 matt rw_write_held(krwlock_t *rw)
142 1.1.6.4 matt {
143 1.1.6.4 matt
144 1.1.6.5 matt return rumpuser_rw_wrheld(rw->krw_pthlock);
145 1.1.6.5 matt }
146 1.1.6.5 matt
147 1.1.6.5 matt int
148 1.1.6.5 matt rw_read_held(krwlock_t *rw)
149 1.1.6.5 matt {
150 1.1.6.5 matt
151 1.1.6.5 matt return rumpuser_rw_rdheld(rw->krw_pthlock);
152 1.1.6.5 matt }
153 1.1.6.5 matt
154 1.1.6.5 matt int
155 1.1.6.5 matt rw_lock_held(krwlock_t *rw)
156 1.1.6.5 matt {
157 1.1.6.5 matt
158 1.1.6.5 matt return rumpuser_rw_held(rw->krw_pthlock);
159 1.1.6.4 matt }
160 1.1.6.4 matt
161 1.1.6.2 matt /* curriculum vitaes */
162 1.1.6.2 matt
163 1.1.6.2 matt /* forgive me for I have sinned */
164 1.1.6.2 matt #define RUMPCV(a) ((struct rumpuser_cv *)(__UNCONST((a)->cv_wmesg)))
165 1.1.6.2 matt
166 1.1.6.2 matt void
167 1.1.6.2 matt cv_init(kcondvar_t *cv, const char *msg)
168 1.1.6.2 matt {
169 1.1.6.2 matt
170 1.1.6.2 matt rumpuser_cv_init((struct rumpuser_cv **)__UNCONST(&cv->cv_wmesg));
171 1.1.6.2 matt }
172 1.1.6.2 matt
173 1.1.6.2 matt void
174 1.1.6.2 matt cv_destroy(kcondvar_t *cv)
175 1.1.6.2 matt {
176 1.1.6.2 matt
177 1.1.6.2 matt rumpuser_cv_destroy(RUMPCV(cv));
178 1.1.6.2 matt }
179 1.1.6.2 matt
180 1.1.6.2 matt void
181 1.1.6.2 matt cv_wait(kcondvar_t *cv, kmutex_t *mtx)
182 1.1.6.2 matt {
183 1.1.6.2 matt
184 1.1.6.2 matt rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
185 1.1.6.2 matt }
186 1.1.6.2 matt
187 1.1.6.4 matt int
188 1.1.6.4 matt cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
189 1.1.6.4 matt {
190 1.1.6.4 matt
191 1.1.6.4 matt rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
192 1.1.6.4 matt return 0;
193 1.1.6.4 matt }
194 1.1.6.4 matt
195 1.1.6.4 matt int
196 1.1.6.4 matt cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
197 1.1.6.4 matt {
198 1.1.6.4 matt extern int hz;
199 1.1.6.4 matt
200 1.1.6.5 matt if (ticks == 0) {
201 1.1.6.5 matt cv_wait(cv, mtx);
202 1.1.6.5 matt return 0;
203 1.1.6.5 matt } else {
204 1.1.6.5 matt KASSERT(hz == 100);
205 1.1.6.5 matt return rumpuser_cv_timedwait(RUMPCV(cv), mtx->kmtx_mtx, ticks);
206 1.1.6.5 matt }
207 1.1.6.4 matt }
208 1.1.6.4 matt
209 1.1.6.4 matt int
210 1.1.6.4 matt cv_timedwait_sig(kcondvar_t *cv, kmutex_t *mtx, int ticks)
211 1.1.6.4 matt {
212 1.1.6.4 matt
213 1.1.6.5 matt return cv_timedwait(cv, mtx, ticks);
214 1.1.6.4 matt }
215 1.1.6.4 matt
216 1.1.6.2 matt void
217 1.1.6.2 matt cv_signal(kcondvar_t *cv)
218 1.1.6.2 matt {
219 1.1.6.2 matt
220 1.1.6.2 matt rumpuser_cv_signal(RUMPCV(cv));
221 1.1.6.2 matt }
222 1.1.6.3 matt
223 1.1.6.4 matt void
224 1.1.6.4 matt cv_broadcast(kcondvar_t *cv)
225 1.1.6.4 matt {
226 1.1.6.4 matt
227 1.1.6.4 matt rumpuser_cv_broadcast(RUMPCV(cv));
228 1.1.6.4 matt }
229 1.1.6.4 matt
230 1.1.6.3 matt /* kernel biglock, only for vnode_if */
231 1.1.6.3 matt
232 1.1.6.3 matt void
233 1.1.6.3 matt _kernel_lock(int nlocks, struct lwp *l)
234 1.1.6.3 matt {
235 1.1.6.3 matt
236 1.1.6.3 matt KASSERT(nlocks == 1);
237 1.1.6.3 matt mutex_enter(&rump_giantlock);
238 1.1.6.3 matt }
239 1.1.6.3 matt
240 1.1.6.3 matt void
241 1.1.6.3 matt _kernel_unlock(int nlocks, struct lwp *l, int *countp)
242 1.1.6.3 matt {
243 1.1.6.3 matt
244 1.1.6.3 matt KASSERT(nlocks == 1);
245 1.1.6.3 matt mutex_exit(&rump_giantlock);
246 1.1.6.3 matt if (countp)
247 1.1.6.3 matt *countp = 1;
248 1.1.6.3 matt }
249