ww_mutex.h revision 1.4.2.2 1 1.4.2.2 tls /* $NetBSD: ww_mutex.h,v 1.4.2.2 2014/08/10 06:55:39 tls Exp $ */
2 1.4.2.2 tls
3 1.4.2.2 tls /*-
4 1.4.2.2 tls * Copyright (c) 2014 The NetBSD Foundation, Inc.
5 1.4.2.2 tls * All rights reserved.
6 1.4.2.2 tls *
7 1.4.2.2 tls * This code is derived from software contributed to The NetBSD Foundation
8 1.4.2.2 tls * by Taylor R. Campbell.
9 1.4.2.2 tls *
10 1.4.2.2 tls * Redistribution and use in source and binary forms, with or without
11 1.4.2.2 tls * modification, are permitted provided that the following conditions
12 1.4.2.2 tls * are met:
13 1.4.2.2 tls * 1. Redistributions of source code must retain the above copyright
14 1.4.2.2 tls * notice, this list of conditions and the following disclaimer.
15 1.4.2.2 tls * 2. Redistributions in binary form must reproduce the above copyright
16 1.4.2.2 tls * notice, this list of conditions and the following disclaimer in the
17 1.4.2.2 tls * documentation and/or other materials provided with the distribution.
18 1.4.2.2 tls *
19 1.4.2.2 tls * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.4.2.2 tls * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.4.2.2 tls * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.4.2.2 tls * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.4.2.2 tls * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.4.2.2 tls * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.4.2.2 tls * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.4.2.2 tls * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.4.2.2 tls * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.4.2.2 tls * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.4.2.2 tls * POSSIBILITY OF SUCH DAMAGE.
30 1.4.2.2 tls */
31 1.4.2.2 tls
32 1.4.2.2 tls /*
33 1.4.2.2 tls * Notes on porting:
34 1.4.2.2 tls *
35 1.4.2.2 tls * - We require a context for all locks, so ww_mutex_lock(m, NULL) is
36 1.4.2.2 tls * not kosher. Locking without a context is too painful to
37 1.4.2.2 tls * contemplate.
38 1.4.2.2 tls *
39 1.4.2.2 tls * - We require passing the context to trylock and unlock. Unlocking
40 1.4.2.2 tls * the wrong lock is too serious an error to pass up detection.
41 1.4.2.2 tls */
42 1.4.2.2 tls
43 1.4.2.2 tls #ifndef _ASM_WW_MUTEX_H_
44 1.4.2.2 tls #define _ASM_WW_MUTEX_H_
45 1.4.2.2 tls
46 1.4.2.2 tls #include <sys/rbtree.h>
47 1.4.2.2 tls
48 1.4.2.2 tls #include <linux/mutex.h>
49 1.4.2.2 tls
50 1.4.2.2 tls struct ww_class {
51 1.4.2.2 tls volatile uint64_t wwc_ticket;
52 1.4.2.2 tls };
53 1.4.2.2 tls
54 1.4.2.2 tls #define DEFINE_WW_CLASS(CLASS) \
55 1.4.2.2 tls struct ww_class CLASS = { \
56 1.4.2.2 tls .wwc_ticket = 0, \
57 1.4.2.2 tls }
58 1.4.2.2 tls
59 1.4.2.2 tls struct ww_acquire_ctx {
60 1.4.2.2 tls struct ww_class *wwx_class __diagused;
61 1.4.2.2 tls uint64_t wwx_ticket;
62 1.4.2.2 tls unsigned wwx_acquired;
63 1.4.2.2 tls bool wwx_acquire_done;
64 1.4.2.2 tls struct rb_node wwx_rb_node;
65 1.4.2.2 tls };
66 1.4.2.2 tls
67 1.4.2.2 tls static inline int
68 1.4.2.2 tls ww_acquire_ctx_compare(void *cookie __unused, const void *va, const void *vb)
69 1.4.2.2 tls {
70 1.4.2.2 tls const struct ww_acquire_ctx *const ctx_a = va;
71 1.4.2.2 tls const struct ww_acquire_ctx *const ctx_b = vb;
72 1.4.2.2 tls
73 1.4.2.2 tls if (ctx_a->wwx_ticket < ctx_b->wwx_ticket)
74 1.4.2.2 tls return -1;
75 1.4.2.2 tls if (ctx_a->wwx_ticket > ctx_b->wwx_ticket)
76 1.4.2.2 tls return -1;
77 1.4.2.2 tls return 0;
78 1.4.2.2 tls }
79 1.4.2.2 tls
80 1.4.2.2 tls static inline int
81 1.4.2.2 tls ww_acquire_ctx_compare_key(void *cookie __unused, const void *vn,
82 1.4.2.2 tls const void *vk)
83 1.4.2.2 tls {
84 1.4.2.2 tls const struct ww_acquire_ctx *const ctx = vn;
85 1.4.2.2 tls const uint64_t *const ticketp = vk, ticket = *ticketp;
86 1.4.2.2 tls
87 1.4.2.2 tls if (ctx->wwx_ticket < ticket)
88 1.4.2.2 tls return -1;
89 1.4.2.2 tls if (ctx->wwx_ticket > ticket)
90 1.4.2.2 tls return -1;
91 1.4.2.2 tls return 0;
92 1.4.2.2 tls }
93 1.4.2.2 tls
94 1.4.2.2 tls static const rb_tree_ops_t ww_acquire_ctx_rb_ops = {
95 1.4.2.2 tls .rbto_compare_nodes = &ww_acquire_ctx_compare,
96 1.4.2.2 tls .rbto_compare_key = &ww_acquire_ctx_compare_key,
97 1.4.2.2 tls .rbto_node_offset = offsetof(struct ww_acquire_ctx, wwx_rb_node),
98 1.4.2.2 tls .rbto_context = NULL,
99 1.4.2.2 tls };
100 1.4.2.2 tls
101 1.4.2.2 tls static inline void
102 1.4.2.2 tls ww_acquire_init(struct ww_acquire_ctx *ctx, struct ww_class *class)
103 1.4.2.2 tls {
104 1.4.2.2 tls
105 1.4.2.2 tls ctx->wwx_class = class;
106 1.4.2.2 tls ctx->wwx_ticket = atomic_inc_64_nv(&class->wwc_ticket);
107 1.4.2.2 tls ctx->wwx_acquired = 0;
108 1.4.2.2 tls ctx->wwx_acquire_done = false;
109 1.4.2.2 tls }
110 1.4.2.2 tls
111 1.4.2.2 tls static inline void
112 1.4.2.2 tls ww_acquire_done(struct ww_acquire_ctx *ctx)
113 1.4.2.2 tls {
114 1.4.2.2 tls
115 1.4.2.2 tls ctx->wwx_acquire_done = true;
116 1.4.2.2 tls }
117 1.4.2.2 tls
118 1.4.2.2 tls static inline void
119 1.4.2.2 tls ww_acquire_fini(struct ww_acquire_ctx *ctx)
120 1.4.2.2 tls {
121 1.4.2.2 tls
122 1.4.2.2 tls KASSERT(ctx->wwx_acquired == 0);
123 1.4.2.2 tls ctx->wwx_acquired = ~0U; /* Fail if called again. */
124 1.4.2.2 tls }
125 1.4.2.2 tls
126 1.4.2.2 tls struct ww_mutex {
127 1.4.2.2 tls kmutex_t wwm_lock;
128 1.4.2.2 tls enum ww_mutex_state {
129 1.4.2.2 tls WW_UNLOCKED,
130 1.4.2.2 tls WW_OWNED,
131 1.4.2.2 tls WW_CTX,
132 1.4.2.2 tls WW_WANTOWN,
133 1.4.2.2 tls } wwm_state;
134 1.4.2.2 tls union {
135 1.4.2.2 tls struct lwp *owner;
136 1.4.2.2 tls struct ww_acquire_ctx *ctx;
137 1.4.2.2 tls } wwm_u;
138 1.4.2.2 tls struct ww_class *wwm_class;
139 1.4.2.2 tls struct rb_tree wwm_waiters;
140 1.4.2.2 tls kcondvar_t wwm_cv;
141 1.4.2.2 tls };
142 1.4.2.2 tls
143 1.4.2.2 tls static inline void
144 1.4.2.2 tls ww_mutex_init(struct ww_mutex *mutex, struct ww_class *class)
145 1.4.2.2 tls {
146 1.4.2.2 tls
147 1.4.2.2 tls /*
148 1.4.2.2 tls * XXX Apparently Linux takes these with spin locks held. That
149 1.4.2.2 tls * strikes me as a bad idea, but so it is...
150 1.4.2.2 tls */
151 1.4.2.2 tls mutex_init(&mutex->wwm_lock, MUTEX_DEFAULT, IPL_VM);
152 1.4.2.2 tls mutex->wwm_state = WW_UNLOCKED;
153 1.4.2.2 tls mutex->wwm_class = class;
154 1.4.2.2 tls rb_tree_init(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
155 1.4.2.2 tls cv_init(&mutex->wwm_cv, "linuxwwm");
156 1.4.2.2 tls }
157 1.4.2.2 tls
158 1.4.2.2 tls static inline void
159 1.4.2.2 tls ww_mutex_destroy(struct ww_mutex *mutex)
160 1.4.2.2 tls {
161 1.4.2.2 tls
162 1.4.2.2 tls cv_destroy(&mutex->wwm_cv);
163 1.4.2.2 tls #if 0
164 1.4.2.2 tls rb_tree_destroy(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
165 1.4.2.2 tls #endif
166 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_UNLOCKED);
167 1.4.2.2 tls mutex_destroy(&mutex->wwm_lock);
168 1.4.2.2 tls }
169 1.4.2.2 tls
170 1.4.2.2 tls /*
171 1.4.2.2 tls * XXX WARNING: This returns true if it is locked by ANYONE. Does not
172 1.4.2.2 tls * mean `Do I hold this lock?' (answering which really requires an
173 1.4.2.2 tls * acquire context).
174 1.4.2.2 tls */
175 1.4.2.2 tls static inline bool
176 1.4.2.2 tls ww_mutex_is_locked(struct ww_mutex *mutex)
177 1.4.2.2 tls {
178 1.4.2.2 tls int locked;
179 1.4.2.2 tls
180 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
181 1.4.2.2 tls switch (mutex->wwm_state) {
182 1.4.2.2 tls case WW_UNLOCKED:
183 1.4.2.2 tls locked = false;
184 1.4.2.2 tls break;
185 1.4.2.2 tls case WW_OWNED:
186 1.4.2.2 tls case WW_CTX:
187 1.4.2.2 tls case WW_WANTOWN:
188 1.4.2.2 tls locked = true;
189 1.4.2.2 tls break;
190 1.4.2.2 tls default:
191 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d", mutex,
192 1.4.2.2 tls (int)mutex->wwm_state);
193 1.4.2.2 tls }
194 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
195 1.4.2.2 tls
196 1.4.2.2 tls return locked;
197 1.4.2.2 tls }
198 1.4.2.2 tls
199 1.4.2.2 tls static inline void
200 1.4.2.2 tls ww_mutex_state_wait(struct ww_mutex *mutex, enum ww_mutex_state state)
201 1.4.2.2 tls {
202 1.4.2.2 tls
203 1.4.2.2 tls KASSERT(mutex->wwm_state == state);
204 1.4.2.2 tls do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
205 1.4.2.2 tls while (mutex->wwm_state == state);
206 1.4.2.2 tls }
207 1.4.2.2 tls
208 1.4.2.2 tls static inline int
209 1.4.2.2 tls ww_mutex_state_wait_sig(struct ww_mutex *mutex, enum ww_mutex_state state)
210 1.4.2.2 tls {
211 1.4.2.2 tls int ret;
212 1.4.2.2 tls
213 1.4.2.2 tls KASSERT(mutex->wwm_state == state);
214 1.4.2.2 tls do {
215 1.4.2.2 tls /* XXX errno NetBSD->Linux */
216 1.4.2.2 tls ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
217 1.4.2.2 tls if (ret)
218 1.4.2.2 tls break;
219 1.4.2.2 tls } while (mutex->wwm_state == state);
220 1.4.2.2 tls
221 1.4.2.2 tls return ret;
222 1.4.2.2 tls }
223 1.4.2.2 tls
224 1.4.2.2 tls static inline void
225 1.4.2.2 tls ww_mutex_lock_wait(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
226 1.4.2.2 tls {
227 1.4.2.2 tls struct ww_acquire_ctx *collision __diagused;
228 1.4.2.2 tls
229 1.4.2.2 tls KASSERT(mutex_owned(&mutex->wwm_lock));
230 1.4.2.2 tls
231 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
232 1.4.2.2 tls KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
233 1.4.2.2 tls "ww mutex class mismatch: %p != %p",
234 1.4.2.2 tls ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
235 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
236 1.4.2.2 tls "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
237 1.4.2.2 tls ctx->wwx_ticket, ctx,
238 1.4.2.2 tls mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
239 1.4.2.2 tls
240 1.4.2.2 tls collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
241 1.4.2.2 tls KASSERTMSG((collision == ctx),
242 1.4.2.2 tls "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
243 1.4.2.2 tls ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
244 1.4.2.2 tls
245 1.4.2.2 tls do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
246 1.4.2.2 tls while (!((mutex->wwm_state == WW_CTX) && (mutex->wwm_u.ctx == ctx)));
247 1.4.2.2 tls
248 1.4.2.2 tls rb_tree_remove_node(&mutex->wwm_waiters, ctx);
249 1.4.2.2 tls }
250 1.4.2.2 tls
251 1.4.2.2 tls static inline int
252 1.4.2.2 tls ww_mutex_lock_wait_sig(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
253 1.4.2.2 tls {
254 1.4.2.2 tls struct ww_acquire_ctx *collision __diagused;
255 1.4.2.2 tls int ret;
256 1.4.2.2 tls
257 1.4.2.2 tls KASSERT(mutex_owned(&mutex->wwm_lock));
258 1.4.2.2 tls
259 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
260 1.4.2.2 tls KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
261 1.4.2.2 tls "ww mutex class mismatch: %p != %p",
262 1.4.2.2 tls ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
263 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
264 1.4.2.2 tls "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
265 1.4.2.2 tls ctx->wwx_ticket, ctx,
266 1.4.2.2 tls mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
267 1.4.2.2 tls
268 1.4.2.2 tls collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
269 1.4.2.2 tls KASSERTMSG((collision == ctx),
270 1.4.2.2 tls "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
271 1.4.2.2 tls ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
272 1.4.2.2 tls
273 1.4.2.2 tls do {
274 1.4.2.2 tls /* XXX errno NetBSD->Linux */
275 1.4.2.2 tls ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
276 1.4.2.2 tls if (ret)
277 1.4.2.2 tls goto out;
278 1.4.2.2 tls } while (!((mutex->wwm_state == WW_CTX) && (mutex->wwm_u.ctx == ctx)));
279 1.4.2.2 tls
280 1.4.2.2 tls out: rb_tree_remove_node(&mutex->wwm_waiters, ctx);
281 1.4.2.2 tls return ret;
282 1.4.2.2 tls }
283 1.4.2.2 tls
284 1.4.2.2 tls static inline void
285 1.4.2.2 tls ww_mutex_lock_noctx(struct ww_mutex *mutex)
286 1.4.2.2 tls {
287 1.4.2.2 tls
288 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
289 1.4.2.2 tls retry: switch (mutex->wwm_state) {
290 1.4.2.2 tls case WW_UNLOCKED:
291 1.4.2.2 tls mutex->wwm_state = WW_OWNED;
292 1.4.2.2 tls mutex->wwm_u.owner = curlwp;
293 1.4.2.2 tls break;
294 1.4.2.2 tls case WW_OWNED:
295 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
296 1.4.2.2 tls "locking against myself: %p", curlwp);
297 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_OWNED);
298 1.4.2.2 tls goto retry;
299 1.4.2.2 tls case WW_CTX:
300 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
301 1.4.2.2 tls mutex->wwm_state = WW_WANTOWN;
302 1.4.2.2 tls case WW_WANTOWN:
303 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_WANTOWN);
304 1.4.2.2 tls goto retry;
305 1.4.2.2 tls default:
306 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
307 1.4.2.2 tls mutex, (int)mutex->wwm_state);
308 1.4.2.2 tls }
309 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_OWNED);
310 1.4.2.2 tls KASSERT(mutex->wwm_u.owner == curlwp);
311 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
312 1.4.2.2 tls }
313 1.4.2.2 tls
314 1.4.2.2 tls static inline int
315 1.4.2.2 tls ww_mutex_lock_noctx_sig(struct ww_mutex *mutex)
316 1.4.2.2 tls {
317 1.4.2.2 tls int ret;
318 1.4.2.2 tls
319 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
320 1.4.2.2 tls retry: switch (mutex->wwm_state) {
321 1.4.2.2 tls case WW_UNLOCKED:
322 1.4.2.2 tls mutex->wwm_state = WW_OWNED;
323 1.4.2.2 tls mutex->wwm_u.owner = curlwp;
324 1.4.2.2 tls break;
325 1.4.2.2 tls case WW_OWNED:
326 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
327 1.4.2.2 tls "locking against myself: %p", curlwp);
328 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
329 1.4.2.2 tls if (ret)
330 1.4.2.2 tls goto out;
331 1.4.2.2 tls goto retry;
332 1.4.2.2 tls case WW_CTX:
333 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
334 1.4.2.2 tls mutex->wwm_state = WW_WANTOWN;
335 1.4.2.2 tls case WW_WANTOWN:
336 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
337 1.4.2.2 tls if (ret)
338 1.4.2.2 tls goto out;
339 1.4.2.2 tls goto retry;
340 1.4.2.2 tls default:
341 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
342 1.4.2.2 tls mutex, (int)mutex->wwm_state);
343 1.4.2.2 tls }
344 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_OWNED);
345 1.4.2.2 tls KASSERT(mutex->wwm_u.owner == curlwp);
346 1.4.2.2 tls ret = 0;
347 1.4.2.2 tls out: mutex_exit(&mutex->wwm_lock);
348 1.4.2.2 tls return ret;
349 1.4.2.2 tls }
350 1.4.2.2 tls
351 1.4.2.2 tls static inline int
352 1.4.2.2 tls ww_mutex_lock(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
353 1.4.2.2 tls {
354 1.4.2.2 tls
355 1.4.2.2 tls ASSERT_SLEEPABLE();
356 1.4.2.2 tls
357 1.4.2.2 tls if (ctx == NULL) {
358 1.4.2.2 tls ww_mutex_lock_noctx(mutex);
359 1.4.2.2 tls return 0;
360 1.4.2.2 tls }
361 1.4.2.2 tls
362 1.4.2.2 tls KASSERT(!ctx->wwx_acquire_done);
363 1.4.2.2 tls
364 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
365 1.4.2.2 tls retry: switch (mutex->wwm_state) {
366 1.4.2.2 tls case WW_UNLOCKED:
367 1.4.2.2 tls mutex->wwm_state = WW_CTX;
368 1.4.2.2 tls mutex->wwm_u.ctx = ctx;
369 1.4.2.2 tls goto locked;
370 1.4.2.2 tls case WW_OWNED:
371 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
372 1.4.2.2 tls "locking against myself: %p", curlwp);
373 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_OWNED);
374 1.4.2.2 tls goto retry;
375 1.4.2.2 tls case WW_CTX:
376 1.4.2.2 tls break;
377 1.4.2.2 tls case WW_WANTOWN:
378 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_WANTOWN);
379 1.4.2.2 tls goto retry;
380 1.4.2.2 tls default:
381 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
382 1.4.2.2 tls mutex, (int)mutex->wwm_state);
383 1.4.2.2 tls }
384 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
385 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
386 1.4.2.2 tls if (mutex->wwm_u.ctx == ctx) {
387 1.4.2.2 tls /*
388 1.4.2.2 tls * We already own it. Yes, this can happen correctly
389 1.4.2.2 tls * for objects whose locking order is determined by
390 1.4.2.2 tls * userland.
391 1.4.2.2 tls */
392 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
393 1.4.2.2 tls return -EALREADY;
394 1.4.2.2 tls } else if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
395 1.4.2.2 tls /*
396 1.4.2.2 tls * Owned by a higher-priority party. Tell the caller
397 1.4.2.2 tls * to unlock everything and start over.
398 1.4.2.2 tls */
399 1.4.2.2 tls KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
400 1.4.2.2 tls "ww mutex class mismatch: %p != %p",
401 1.4.2.2 tls ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
402 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
403 1.4.2.2 tls return -EDEADLK;
404 1.4.2.2 tls } else {
405 1.4.2.2 tls /*
406 1.4.2.2 tls * Owned by a lower-priority party. Ask that party to
407 1.4.2.2 tls * wake us when it is done or it realizes it needs to
408 1.4.2.2 tls * back off.
409 1.4.2.2 tls */
410 1.4.2.2 tls ww_mutex_lock_wait(mutex, ctx);
411 1.4.2.2 tls }
412 1.4.2.2 tls locked: ctx->wwx_acquired++;
413 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
414 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx == ctx);
415 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
416 1.4.2.2 tls return 0;
417 1.4.2.2 tls }
418 1.4.2.2 tls
419 1.4.2.2 tls static inline int
420 1.4.2.2 tls ww_mutex_lock_interruptible(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
421 1.4.2.2 tls {
422 1.4.2.2 tls int ret;
423 1.4.2.2 tls
424 1.4.2.2 tls ASSERT_SLEEPABLE();
425 1.4.2.2 tls
426 1.4.2.2 tls if (ctx == NULL)
427 1.4.2.2 tls return ww_mutex_lock_noctx_sig(mutex);
428 1.4.2.2 tls
429 1.4.2.2 tls KASSERT(!ctx->wwx_acquire_done);
430 1.4.2.2 tls
431 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
432 1.4.2.2 tls retry: switch (mutex->wwm_state) {
433 1.4.2.2 tls case WW_UNLOCKED:
434 1.4.2.2 tls mutex->wwm_state = WW_CTX;
435 1.4.2.2 tls mutex->wwm_u.ctx = ctx;
436 1.4.2.2 tls goto locked;
437 1.4.2.2 tls case WW_OWNED:
438 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
439 1.4.2.2 tls "locking against myself: %p", curlwp);
440 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
441 1.4.2.2 tls if (ret)
442 1.4.2.2 tls goto out;
443 1.4.2.2 tls goto retry;
444 1.4.2.2 tls case WW_CTX:
445 1.4.2.2 tls break;
446 1.4.2.2 tls case WW_WANTOWN:
447 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
448 1.4.2.2 tls if (ret)
449 1.4.2.2 tls goto out;
450 1.4.2.2 tls goto retry;
451 1.4.2.2 tls default:
452 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
453 1.4.2.2 tls mutex, (int)mutex->wwm_state);
454 1.4.2.2 tls }
455 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
456 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
457 1.4.2.2 tls if (mutex->wwm_u.ctx == ctx) {
458 1.4.2.2 tls /*
459 1.4.2.2 tls * We already own it. Yes, this can happen correctly
460 1.4.2.2 tls * for objects whose locking order is determined by
461 1.4.2.2 tls * userland.
462 1.4.2.2 tls */
463 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
464 1.4.2.2 tls return -EALREADY;
465 1.4.2.2 tls } else if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
466 1.4.2.2 tls /*
467 1.4.2.2 tls * Owned by a higher-priority party. Tell the caller
468 1.4.2.2 tls * to unlock everything and start over.
469 1.4.2.2 tls */
470 1.4.2.2 tls KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
471 1.4.2.2 tls "ww mutex class mismatch: %p != %p",
472 1.4.2.2 tls ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
473 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
474 1.4.2.2 tls return -EDEADLK;
475 1.4.2.2 tls } else {
476 1.4.2.2 tls /*
477 1.4.2.2 tls * Owned by a lower-priority party. Ask that party to
478 1.4.2.2 tls * wake us when it is done or it realizes it needs to
479 1.4.2.2 tls * back off.
480 1.4.2.2 tls */
481 1.4.2.2 tls ret = ww_mutex_lock_wait_sig(mutex, ctx);
482 1.4.2.2 tls if (ret)
483 1.4.2.2 tls goto out;
484 1.4.2.2 tls }
485 1.4.2.2 tls locked: KASSERT(mutex->wwm_state == WW_CTX);
486 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx == ctx);
487 1.4.2.2 tls ctx->wwx_acquired++;
488 1.4.2.2 tls ret = 0;
489 1.4.2.2 tls out: mutex_exit(&mutex->wwm_lock);
490 1.4.2.2 tls return ret;
491 1.4.2.2 tls }
492 1.4.2.2 tls
493 1.4.2.2 tls static inline void
494 1.4.2.2 tls ww_mutex_lock_slow(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
495 1.4.2.2 tls {
496 1.4.2.2 tls
497 1.4.2.2 tls ASSERT_SLEEPABLE();
498 1.4.2.2 tls
499 1.4.2.2 tls if (ctx == NULL) {
500 1.4.2.2 tls ww_mutex_lock_noctx(mutex);
501 1.4.2.2 tls return;
502 1.4.2.2 tls }
503 1.4.2.2 tls
504 1.4.2.2 tls KASSERT(!ctx->wwx_acquire_done);
505 1.4.2.2 tls
506 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
507 1.4.2.2 tls retry: switch (mutex->wwm_state) {
508 1.4.2.2 tls case WW_UNLOCKED:
509 1.4.2.2 tls mutex->wwm_state = WW_CTX;
510 1.4.2.2 tls mutex->wwm_u.ctx = ctx;
511 1.4.2.2 tls goto locked;
512 1.4.2.2 tls case WW_OWNED:
513 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
514 1.4.2.2 tls "locking against myself: %p", curlwp);
515 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_OWNED);
516 1.4.2.2 tls goto retry;
517 1.4.2.2 tls case WW_CTX:
518 1.4.2.2 tls break;
519 1.4.2.2 tls case WW_WANTOWN:
520 1.4.2.2 tls ww_mutex_state_wait(mutex, WW_WANTOWN);
521 1.4.2.2 tls goto retry;
522 1.4.2.2 tls default:
523 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
524 1.4.2.2 tls mutex, (int)mutex->wwm_state);
525 1.4.2.2 tls }
526 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
527 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
528 1.4.2.2 tls /*
529 1.4.2.2 tls * Owned by another party, of any priority. Ask that party to
530 1.4.2.2 tls * wake us when it's done.
531 1.4.2.2 tls */
532 1.4.2.2 tls ww_mutex_lock_wait(mutex, ctx);
533 1.4.2.2 tls locked: KASSERT(mutex->wwm_state == WW_CTX);
534 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx == ctx);
535 1.4.2.2 tls ctx->wwx_acquired++;
536 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
537 1.4.2.2 tls }
538 1.4.2.2 tls
539 1.4.2.2 tls static inline int
540 1.4.2.2 tls ww_mutex_lock_slow_interruptible(struct ww_mutex *mutex,
541 1.4.2.2 tls struct ww_acquire_ctx *ctx)
542 1.4.2.2 tls {
543 1.4.2.2 tls int ret;
544 1.4.2.2 tls
545 1.4.2.2 tls ASSERT_SLEEPABLE();
546 1.4.2.2 tls
547 1.4.2.2 tls if (ctx == NULL)
548 1.4.2.2 tls return ww_mutex_lock_noctx_sig(mutex);
549 1.4.2.2 tls
550 1.4.2.2 tls KASSERT(!ctx->wwx_acquire_done);
551 1.4.2.2 tls
552 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
553 1.4.2.2 tls retry: switch (mutex->wwm_state) {
554 1.4.2.2 tls case WW_UNLOCKED:
555 1.4.2.2 tls mutex->wwm_state = WW_CTX;
556 1.4.2.2 tls mutex->wwm_u.ctx = ctx;
557 1.4.2.2 tls goto locked;
558 1.4.2.2 tls case WW_OWNED:
559 1.4.2.2 tls KASSERTMSG((mutex->wwm_u.owner != curlwp),
560 1.4.2.2 tls "locking against myself: %p", curlwp);
561 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
562 1.4.2.2 tls if (ret)
563 1.4.2.2 tls goto out;
564 1.4.2.2 tls goto retry;
565 1.4.2.2 tls case WW_CTX:
566 1.4.2.2 tls break;
567 1.4.2.2 tls case WW_WANTOWN:
568 1.4.2.2 tls ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
569 1.4.2.2 tls if (ret)
570 1.4.2.2 tls goto out;
571 1.4.2.2 tls goto retry;
572 1.4.2.2 tls default:
573 1.4.2.2 tls panic("wait/wound mutex %p in bad state: %d",
574 1.4.2.2 tls mutex, (int)mutex->wwm_state);
575 1.4.2.2 tls }
576 1.4.2.2 tls KASSERT(mutex->wwm_state == WW_CTX);
577 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
578 1.4.2.2 tls /*
579 1.4.2.2 tls * Owned by another party, of any priority. Ask that party to
580 1.4.2.2 tls * wake us when it's done.
581 1.4.2.2 tls */
582 1.4.2.2 tls ret = ww_mutex_lock_wait_sig(mutex, ctx);
583 1.4.2.2 tls if (ret)
584 1.4.2.2 tls goto out;
585 1.4.2.2 tls locked: KASSERT(mutex->wwm_state == WW_CTX);
586 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx == ctx);
587 1.4.2.2 tls ctx->wwx_acquired++;
588 1.4.2.2 tls ret = 0;
589 1.4.2.2 tls out: mutex_exit(&mutex->wwm_lock);
590 1.4.2.2 tls return ret;
591 1.4.2.2 tls }
592 1.4.2.2 tls
593 1.4.2.2 tls static inline int
594 1.4.2.2 tls ww_mutex_trylock(struct ww_mutex *mutex)
595 1.4.2.2 tls {
596 1.4.2.2 tls int ret;
597 1.4.2.2 tls
598 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
599 1.4.2.2 tls if (mutex->wwm_state == WW_UNLOCKED) {
600 1.4.2.2 tls mutex->wwm_state = WW_OWNED;
601 1.4.2.2 tls mutex->wwm_u.owner = curlwp;
602 1.4.2.2 tls ret = 1;
603 1.4.2.2 tls } else {
604 1.4.2.2 tls ret = 0;
605 1.4.2.2 tls }
606 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
607 1.4.2.2 tls
608 1.4.2.2 tls return ret;
609 1.4.2.2 tls }
610 1.4.2.2 tls
611 1.4.2.2 tls static inline void
612 1.4.2.2 tls ww_mutex_unlock(struct ww_mutex *mutex)
613 1.4.2.2 tls {
614 1.4.2.2 tls struct ww_acquire_ctx *ctx;
615 1.4.2.2 tls
616 1.4.2.2 tls mutex_enter(&mutex->wwm_lock);
617 1.4.2.2 tls KASSERT(mutex->wwm_state != WW_UNLOCKED);
618 1.4.2.2 tls switch (mutex->wwm_state) {
619 1.4.2.2 tls case WW_UNLOCKED:
620 1.4.2.2 tls panic("unlocking unlocked wait/wound mutex: %p", mutex);
621 1.4.2.2 tls case WW_OWNED:
622 1.4.2.2 tls /* Let the context lockers fight over it. */
623 1.4.2.2 tls mutex->wwm_u.owner = NULL;
624 1.4.2.2 tls mutex->wwm_state = WW_UNLOCKED;
625 1.4.2.2 tls break;
626 1.4.2.2 tls case WW_CTX:
627 1.4.2.2 tls KASSERT(mutex->wwm_u.ctx != NULL);
628 1.4.2.2 tls mutex->wwm_u.ctx->wwx_acquired--;
629 1.4.2.2 tls mutex->wwm_u.ctx = NULL;
630 1.4.2.2 tls /*
631 1.4.2.2 tls * If there are any waiters with contexts, grant the
632 1.4.2.2 tls * lock to the highest-priority one. Otherwise, just
633 1.4.2.2 tls * unlock it.
634 1.4.2.2 tls */
635 1.4.2.2 tls if ((ctx = RB_TREE_MIN(&mutex->wwm_waiters)) != NULL) {
636 1.4.2.2 tls mutex->wwm_state = WW_CTX;
637 1.4.2.2 tls mutex->wwm_u.ctx = ctx;
638 1.4.2.2 tls } else {
639 1.4.2.2 tls mutex->wwm_state = WW_UNLOCKED;
640 1.4.2.2 tls }
641 1.4.2.2 tls break;
642 1.4.2.2 tls case WW_WANTOWN:
643 1.4.2.2 tls /* Let the non-context lockers fight over it. */
644 1.4.2.2 tls mutex->wwm_state = WW_UNLOCKED;
645 1.4.2.2 tls break;
646 1.4.2.2 tls }
647 1.4.2.2 tls cv_broadcast(&mutex->wwm_cv);
648 1.4.2.2 tls mutex_exit(&mutex->wwm_lock);
649 1.4.2.2 tls }
650 1.4.2.2 tls
651 1.4.2.2 tls #endif /* _ASM_WW_MUTEX_H_ */
652