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