linux_ww_mutex.c revision 1.1.4.4 1 1.1.4.4 skrll /* $NetBSD: linux_ww_mutex.c,v 1.1.4.4 2017/08/28 17:52:34 skrll Exp $ */
2 1.1.4.2 skrll
3 1.1.4.2 skrll /*-
4 1.1.4.2 skrll * Copyright (c) 2014 The NetBSD Foundation, Inc.
5 1.1.4.2 skrll * All rights reserved.
6 1.1.4.2 skrll *
7 1.1.4.2 skrll * This code is derived from software contributed to The NetBSD Foundation
8 1.1.4.2 skrll * by Taylor R. Campbell.
9 1.1.4.2 skrll *
10 1.1.4.2 skrll * Redistribution and use in source and binary forms, with or without
11 1.1.4.2 skrll * modification, are permitted provided that the following conditions
12 1.1.4.2 skrll * are met:
13 1.1.4.2 skrll * 1. Redistributions of source code must retain the above copyright
14 1.1.4.2 skrll * notice, this list of conditions and the following disclaimer.
15 1.1.4.2 skrll * 2. Redistributions in binary form must reproduce the above copyright
16 1.1.4.2 skrll * notice, this list of conditions and the following disclaimer in the
17 1.1.4.2 skrll * documentation and/or other materials provided with the distribution.
18 1.1.4.2 skrll *
19 1.1.4.2 skrll * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1.4.2 skrll * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1.4.2 skrll * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1.4.2 skrll * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1.4.2 skrll * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1.4.2 skrll * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1.4.2 skrll * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1.4.2 skrll * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1.4.2 skrll * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1.4.2 skrll * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1.4.2 skrll * POSSIBILITY OF SUCH DAMAGE.
30 1.1.4.2 skrll */
31 1.1.4.2 skrll
32 1.1.4.2 skrll #include <sys/cdefs.h>
33 1.1.4.4 skrll __KERNEL_RCSID(0, "$NetBSD: linux_ww_mutex.c,v 1.1.4.4 2017/08/28 17:52:34 skrll Exp $");
34 1.1.4.2 skrll
35 1.1.4.2 skrll #include <sys/types.h>
36 1.1.4.2 skrll #include <sys/atomic.h>
37 1.1.4.2 skrll #include <sys/condvar.h>
38 1.1.4.3 skrll #include <sys/lockdebug.h>
39 1.1.4.2 skrll #include <sys/lwp.h>
40 1.1.4.2 skrll #include <sys/mutex.h>
41 1.1.4.2 skrll #include <sys/rbtree.h>
42 1.1.4.2 skrll
43 1.1.4.2 skrll #include <linux/ww_mutex.h>
44 1.1.4.2 skrll
45 1.1.4.3 skrll #define WW_WANTLOCK(WW) \
46 1.1.4.3 skrll LOCKDEBUG_WANTLOCK((WW)->wwm_debug, (WW), \
47 1.1.4.3 skrll (uintptr_t)__builtin_return_address(0), 0)
48 1.1.4.3 skrll #define WW_LOCKED(WW) \
49 1.1.4.3 skrll LOCKDEBUG_LOCKED((WW)->wwm_debug, (WW), NULL, \
50 1.1.4.3 skrll (uintptr_t)__builtin_return_address(0), 0)
51 1.1.4.3 skrll #define WW_UNLOCKED(WW) \
52 1.1.4.3 skrll LOCKDEBUG_UNLOCKED((WW)->wwm_debug, (WW), \
53 1.1.4.3 skrll (uintptr_t)__builtin_return_address(0), 0)
54 1.1.4.3 skrll
55 1.1.4.2 skrll static int
56 1.1.4.2 skrll ww_acquire_ctx_compare(void *cookie __unused, const void *va, const void *vb)
57 1.1.4.2 skrll {
58 1.1.4.2 skrll const struct ww_acquire_ctx *const ctx_a = va;
59 1.1.4.2 skrll const struct ww_acquire_ctx *const ctx_b = vb;
60 1.1.4.2 skrll
61 1.1.4.2 skrll if (ctx_a->wwx_ticket < ctx_b->wwx_ticket)
62 1.1.4.2 skrll return -1;
63 1.1.4.2 skrll if (ctx_a->wwx_ticket > ctx_b->wwx_ticket)
64 1.1.4.2 skrll return -1;
65 1.1.4.2 skrll return 0;
66 1.1.4.2 skrll }
67 1.1.4.2 skrll
68 1.1.4.2 skrll static int
69 1.1.4.2 skrll ww_acquire_ctx_compare_key(void *cookie __unused, const void *vn,
70 1.1.4.2 skrll const void *vk)
71 1.1.4.2 skrll {
72 1.1.4.2 skrll const struct ww_acquire_ctx *const ctx = vn;
73 1.1.4.2 skrll const uint64_t *const ticketp = vk, ticket = *ticketp;
74 1.1.4.2 skrll
75 1.1.4.2 skrll if (ctx->wwx_ticket < ticket)
76 1.1.4.2 skrll return -1;
77 1.1.4.2 skrll if (ctx->wwx_ticket > ticket)
78 1.1.4.2 skrll return -1;
79 1.1.4.2 skrll return 0;
80 1.1.4.2 skrll }
81 1.1.4.2 skrll
82 1.1.4.2 skrll static const rb_tree_ops_t ww_acquire_ctx_rb_ops = {
83 1.1.4.2 skrll .rbto_compare_nodes = &ww_acquire_ctx_compare,
84 1.1.4.2 skrll .rbto_compare_key = &ww_acquire_ctx_compare_key,
85 1.1.4.2 skrll .rbto_node_offset = offsetof(struct ww_acquire_ctx, wwx_rb_node),
86 1.1.4.2 skrll .rbto_context = NULL,
87 1.1.4.2 skrll };
88 1.1.4.2 skrll
89 1.1.4.2 skrll void
90 1.1.4.2 skrll ww_acquire_init(struct ww_acquire_ctx *ctx, struct ww_class *class)
91 1.1.4.2 skrll {
92 1.1.4.2 skrll
93 1.1.4.2 skrll ctx->wwx_class = class;
94 1.1.4.2 skrll ctx->wwx_owner = curlwp;
95 1.1.4.2 skrll ctx->wwx_ticket = atomic_inc_64_nv(&class->wwc_ticket);
96 1.1.4.2 skrll ctx->wwx_acquired = 0;
97 1.1.4.2 skrll ctx->wwx_acquire_done = false;
98 1.1.4.2 skrll }
99 1.1.4.2 skrll
100 1.1.4.2 skrll void
101 1.1.4.2 skrll ww_acquire_done(struct ww_acquire_ctx *ctx)
102 1.1.4.2 skrll {
103 1.1.4.2 skrll
104 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
105 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
106 1.1.4.2 skrll
107 1.1.4.2 skrll ctx->wwx_acquire_done = true;
108 1.1.4.2 skrll }
109 1.1.4.2 skrll
110 1.1.4.2 skrll void
111 1.1.4.2 skrll ww_acquire_fini(struct ww_acquire_ctx *ctx)
112 1.1.4.2 skrll {
113 1.1.4.2 skrll
114 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
115 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
116 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired == 0), "ctx %p still holds %u locks",
117 1.1.4.2 skrll ctx, ctx->wwx_acquired);
118 1.1.4.2 skrll
119 1.1.4.2 skrll ctx->wwx_acquired = ~0U; /* Fail if called again. */
120 1.1.4.2 skrll ctx->wwx_owner = NULL;
121 1.1.4.2 skrll }
122 1.1.4.2 skrll
123 1.1.4.3 skrll #ifdef LOCKDEBUG
124 1.1.4.3 skrll static void
125 1.1.4.3 skrll ww_dump(volatile void *cookie)
126 1.1.4.3 skrll {
127 1.1.4.3 skrll volatile struct ww_mutex *mutex = cookie;
128 1.1.4.3 skrll
129 1.1.4.3 skrll printf_nolog("%-13s: ", "state");
130 1.1.4.3 skrll switch (mutex->wwm_state) {
131 1.1.4.3 skrll case WW_UNLOCKED:
132 1.1.4.3 skrll printf_nolog("unlocked\n");
133 1.1.4.3 skrll break;
134 1.1.4.3 skrll case WW_OWNED:
135 1.1.4.3 skrll printf_nolog("owned by lwp\n");
136 1.1.4.3 skrll printf_nolog("%-13s: %p\n", "owner", mutex->wwm_u.owner);
137 1.1.4.3 skrll printf_nolog("%-13s: %s\n", "waiters",
138 1.1.4.3 skrll cv_has_waiters(__UNVOLATILE(&mutex->wwm_cv))
139 1.1.4.3 skrll ? "yes" : "no");
140 1.1.4.3 skrll break;
141 1.1.4.3 skrll case WW_CTX:
142 1.1.4.3 skrll printf_nolog("owned via ctx\n");
143 1.1.4.3 skrll printf_nolog("%-13s: %p\n", "context", mutex->wwm_u.ctx);
144 1.1.4.3 skrll printf_nolog("%-13s: %p\n", "lwp",
145 1.1.4.3 skrll mutex->wwm_u.ctx->wwx_owner);
146 1.1.4.3 skrll printf_nolog("%-13s: %s\n", "waiters",
147 1.1.4.3 skrll cv_has_waiters(__UNVOLATILE(&mutex->wwm_cv))
148 1.1.4.3 skrll ? "yes" : "no");
149 1.1.4.3 skrll break;
150 1.1.4.3 skrll case WW_WANTOWN:
151 1.1.4.3 skrll printf_nolog("owned via ctx\n");
152 1.1.4.3 skrll printf_nolog("%-13s: %p\n", "context", mutex->wwm_u.ctx);
153 1.1.4.3 skrll printf_nolog("%-13s: %p\n", "lwp",
154 1.1.4.3 skrll mutex->wwm_u.ctx->wwx_owner);
155 1.1.4.3 skrll printf_nolog("%-13s: %s\n", "waiters", "yes (noctx)");
156 1.1.4.3 skrll break;
157 1.1.4.3 skrll default:
158 1.1.4.3 skrll printf_nolog("unknown\n");
159 1.1.4.3 skrll break;
160 1.1.4.3 skrll }
161 1.1.4.3 skrll }
162 1.1.4.3 skrll
163 1.1.4.3 skrll static lockops_t ww_lockops = {
164 1.1.4.3 skrll .lo_name = "Wait/wound mutex",
165 1.1.4.3 skrll .lo_type = LOCKOPS_SLEEP,
166 1.1.4.3 skrll .lo_dump = ww_dump,
167 1.1.4.3 skrll };
168 1.1.4.3 skrll #endif
169 1.1.4.3 skrll
170 1.1.4.2 skrll void
171 1.1.4.2 skrll ww_mutex_init(struct ww_mutex *mutex, struct ww_class *class)
172 1.1.4.2 skrll {
173 1.1.4.2 skrll
174 1.1.4.2 skrll /*
175 1.1.4.2 skrll * XXX Apparently Linux takes these with spin locks held. That
176 1.1.4.2 skrll * strikes me as a bad idea, but so it is...
177 1.1.4.2 skrll */
178 1.1.4.2 skrll mutex_init(&mutex->wwm_lock, MUTEX_DEFAULT, IPL_VM);
179 1.1.4.2 skrll mutex->wwm_state = WW_UNLOCKED;
180 1.1.4.2 skrll mutex->wwm_class = class;
181 1.1.4.2 skrll rb_tree_init(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
182 1.1.4.2 skrll cv_init(&mutex->wwm_cv, "linuxwwm");
183 1.1.4.3 skrll #ifdef LOCKDEBUG
184 1.1.4.3 skrll mutex->wwm_debug = LOCKDEBUG_ALLOC(mutex, &ww_lockops,
185 1.1.4.3 skrll (uintptr_t)__builtin_return_address(0));
186 1.1.4.3 skrll #endif
187 1.1.4.2 skrll }
188 1.1.4.2 skrll
189 1.1.4.2 skrll void
190 1.1.4.2 skrll ww_mutex_destroy(struct ww_mutex *mutex)
191 1.1.4.2 skrll {
192 1.1.4.2 skrll
193 1.1.4.3 skrll KASSERT(mutex->wwm_state == WW_UNLOCKED);
194 1.1.4.3 skrll
195 1.1.4.3 skrll #ifdef LOCKDEBUG
196 1.1.4.3 skrll LOCKDEBUG_FREE(mutex->wwm_debug, mutex);
197 1.1.4.3 skrll #endif
198 1.1.4.2 skrll cv_destroy(&mutex->wwm_cv);
199 1.1.4.2 skrll #if 0
200 1.1.4.2 skrll rb_tree_destroy(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
201 1.1.4.2 skrll #endif
202 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_UNLOCKED);
203 1.1.4.2 skrll mutex_destroy(&mutex->wwm_lock);
204 1.1.4.2 skrll }
205 1.1.4.2 skrll
206 1.1.4.2 skrll /*
207 1.1.4.2 skrll * XXX WARNING: This returns true if it is locked by ANYONE. Does not
208 1.1.4.2 skrll * mean `Do I hold this lock?' (answering which really requires an
209 1.1.4.2 skrll * acquire context).
210 1.1.4.2 skrll */
211 1.1.4.2 skrll bool
212 1.1.4.2 skrll ww_mutex_is_locked(struct ww_mutex *mutex)
213 1.1.4.2 skrll {
214 1.1.4.2 skrll int locked;
215 1.1.4.2 skrll
216 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
217 1.1.4.2 skrll switch (mutex->wwm_state) {
218 1.1.4.2 skrll case WW_UNLOCKED:
219 1.1.4.2 skrll locked = false;
220 1.1.4.2 skrll break;
221 1.1.4.2 skrll case WW_OWNED:
222 1.1.4.2 skrll case WW_CTX:
223 1.1.4.2 skrll case WW_WANTOWN:
224 1.1.4.2 skrll locked = true;
225 1.1.4.2 skrll break;
226 1.1.4.2 skrll default:
227 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d", mutex,
228 1.1.4.2 skrll (int)mutex->wwm_state);
229 1.1.4.2 skrll }
230 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
231 1.1.4.2 skrll
232 1.1.4.2 skrll return locked;
233 1.1.4.2 skrll }
234 1.1.4.2 skrll
235 1.1.4.2 skrll static void
236 1.1.4.2 skrll ww_mutex_state_wait(struct ww_mutex *mutex, enum ww_mutex_state state)
237 1.1.4.2 skrll {
238 1.1.4.2 skrll
239 1.1.4.2 skrll KASSERT(mutex->wwm_state == state);
240 1.1.4.2 skrll do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
241 1.1.4.2 skrll while (mutex->wwm_state == state);
242 1.1.4.2 skrll }
243 1.1.4.2 skrll
244 1.1.4.2 skrll static int
245 1.1.4.2 skrll ww_mutex_state_wait_sig(struct ww_mutex *mutex, enum ww_mutex_state state)
246 1.1.4.2 skrll {
247 1.1.4.2 skrll int ret;
248 1.1.4.2 skrll
249 1.1.4.2 skrll KASSERT(mutex->wwm_state == state);
250 1.1.4.2 skrll do {
251 1.1.4.2 skrll /* XXX errno NetBSD->Linux */
252 1.1.4.2 skrll ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
253 1.1.4.2 skrll if (ret)
254 1.1.4.2 skrll break;
255 1.1.4.2 skrll } while (mutex->wwm_state == state);
256 1.1.4.2 skrll
257 1.1.4.2 skrll return ret;
258 1.1.4.2 skrll }
259 1.1.4.2 skrll
260 1.1.4.2 skrll static void
261 1.1.4.2 skrll ww_mutex_lock_wait(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
262 1.1.4.2 skrll {
263 1.1.4.2 skrll struct ww_acquire_ctx *collision __diagused;
264 1.1.4.2 skrll
265 1.1.4.2 skrll KASSERT(mutex_owned(&mutex->wwm_lock));
266 1.1.4.2 skrll
267 1.1.4.2 skrll KASSERT((mutex->wwm_state == WW_CTX) ||
268 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
269 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != ctx);
270 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
271 1.1.4.2 skrll "ww mutex class mismatch: %p != %p",
272 1.1.4.2 skrll ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
273 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
274 1.1.4.2 skrll "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
275 1.1.4.2 skrll ctx->wwx_ticket, ctx,
276 1.1.4.2 skrll mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
277 1.1.4.2 skrll
278 1.1.4.2 skrll collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
279 1.1.4.2 skrll KASSERTMSG((collision == ctx),
280 1.1.4.2 skrll "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
281 1.1.4.2 skrll ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
282 1.1.4.2 skrll
283 1.1.4.2 skrll do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
284 1.1.4.2 skrll while (!(((mutex->wwm_state == WW_CTX) ||
285 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN)) &&
286 1.1.4.2 skrll (mutex->wwm_u.ctx == ctx)));
287 1.1.4.2 skrll
288 1.1.4.2 skrll rb_tree_remove_node(&mutex->wwm_waiters, ctx);
289 1.1.4.2 skrll }
290 1.1.4.2 skrll
291 1.1.4.2 skrll static int
292 1.1.4.2 skrll ww_mutex_lock_wait_sig(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
293 1.1.4.2 skrll {
294 1.1.4.2 skrll struct ww_acquire_ctx *collision __diagused;
295 1.1.4.2 skrll int ret;
296 1.1.4.2 skrll
297 1.1.4.2 skrll KASSERT(mutex_owned(&mutex->wwm_lock));
298 1.1.4.2 skrll
299 1.1.4.2 skrll KASSERT((mutex->wwm_state == WW_CTX) ||
300 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
301 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != ctx);
302 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
303 1.1.4.2 skrll "ww mutex class mismatch: %p != %p",
304 1.1.4.2 skrll ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
305 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
306 1.1.4.2 skrll "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
307 1.1.4.2 skrll ctx->wwx_ticket, ctx,
308 1.1.4.2 skrll mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
309 1.1.4.2 skrll
310 1.1.4.2 skrll collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
311 1.1.4.2 skrll KASSERTMSG((collision == ctx),
312 1.1.4.2 skrll "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
313 1.1.4.2 skrll ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
314 1.1.4.2 skrll
315 1.1.4.2 skrll do {
316 1.1.4.2 skrll /* XXX errno NetBSD->Linux */
317 1.1.4.2 skrll ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
318 1.1.4.2 skrll if (ret)
319 1.1.4.2 skrll goto out;
320 1.1.4.2 skrll } while (!(((mutex->wwm_state == WW_CTX) ||
321 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN)) &&
322 1.1.4.2 skrll (mutex->wwm_u.ctx == ctx)));
323 1.1.4.2 skrll
324 1.1.4.2 skrll out: rb_tree_remove_node(&mutex->wwm_waiters, ctx);
325 1.1.4.2 skrll return ret;
326 1.1.4.2 skrll }
327 1.1.4.2 skrll
328 1.1.4.2 skrll static void
329 1.1.4.2 skrll ww_mutex_lock_noctx(struct ww_mutex *mutex)
330 1.1.4.2 skrll {
331 1.1.4.2 skrll
332 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
333 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
334 1.1.4.2 skrll case WW_UNLOCKED:
335 1.1.4.2 skrll mutex->wwm_state = WW_OWNED;
336 1.1.4.2 skrll mutex->wwm_u.owner = curlwp;
337 1.1.4.2 skrll break;
338 1.1.4.2 skrll case WW_OWNED:
339 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
340 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
341 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_OWNED);
342 1.1.4.2 skrll goto retry;
343 1.1.4.2 skrll case WW_CTX:
344 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
345 1.1.4.2 skrll mutex->wwm_state = WW_WANTOWN;
346 1.1.4.2 skrll /* FALLTHROUGH */
347 1.1.4.2 skrll case WW_WANTOWN:
348 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
349 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
350 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_WANTOWN);
351 1.1.4.2 skrll goto retry;
352 1.1.4.2 skrll default:
353 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
354 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
355 1.1.4.2 skrll }
356 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_OWNED);
357 1.1.4.2 skrll KASSERT(mutex->wwm_u.owner == curlwp);
358 1.1.4.4 skrll WW_LOCKED(mutex);
359 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
360 1.1.4.2 skrll }
361 1.1.4.2 skrll
362 1.1.4.2 skrll static int
363 1.1.4.2 skrll ww_mutex_lock_noctx_sig(struct ww_mutex *mutex)
364 1.1.4.2 skrll {
365 1.1.4.2 skrll int ret;
366 1.1.4.2 skrll
367 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
368 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
369 1.1.4.2 skrll case WW_UNLOCKED:
370 1.1.4.2 skrll mutex->wwm_state = WW_OWNED;
371 1.1.4.2 skrll mutex->wwm_u.owner = curlwp;
372 1.1.4.2 skrll break;
373 1.1.4.2 skrll case WW_OWNED:
374 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
375 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
376 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
377 1.1.4.2 skrll if (ret)
378 1.1.4.2 skrll goto out;
379 1.1.4.2 skrll goto retry;
380 1.1.4.2 skrll case WW_CTX:
381 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
382 1.1.4.2 skrll mutex->wwm_state = WW_WANTOWN;
383 1.1.4.2 skrll /* FALLTHROUGH */
384 1.1.4.2 skrll case WW_WANTOWN:
385 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
386 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
387 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
388 1.1.4.2 skrll if (ret)
389 1.1.4.2 skrll goto out;
390 1.1.4.2 skrll goto retry;
391 1.1.4.2 skrll default:
392 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
393 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
394 1.1.4.2 skrll }
395 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_OWNED);
396 1.1.4.2 skrll KASSERT(mutex->wwm_u.owner == curlwp);
397 1.1.4.4 skrll WW_LOCKED(mutex);
398 1.1.4.2 skrll ret = 0;
399 1.1.4.2 skrll out: mutex_exit(&mutex->wwm_lock);
400 1.1.4.2 skrll return ret;
401 1.1.4.2 skrll }
402 1.1.4.2 skrll
403 1.1.4.2 skrll int
404 1.1.4.2 skrll ww_mutex_lock(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
405 1.1.4.2 skrll {
406 1.1.4.2 skrll
407 1.1.4.3 skrll /*
408 1.1.4.3 skrll * We do not WW_WANTLOCK at the beginning because we may
409 1.1.4.3 skrll * correctly already hold it, if we have a context, in which
410 1.1.4.3 skrll * case we must return EALREADY to the caller.
411 1.1.4.3 skrll */
412 1.1.4.2 skrll ASSERT_SLEEPABLE();
413 1.1.4.2 skrll
414 1.1.4.2 skrll if (ctx == NULL) {
415 1.1.4.3 skrll WW_WANTLOCK(mutex);
416 1.1.4.2 skrll ww_mutex_lock_noctx(mutex);
417 1.1.4.2 skrll return 0;
418 1.1.4.2 skrll }
419 1.1.4.2 skrll
420 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
421 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
422 1.1.4.2 skrll KASSERTMSG(!ctx->wwx_acquire_done,
423 1.1.4.2 skrll "ctx %p done acquiring locks, can't acquire more", ctx);
424 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired != ~0U),
425 1.1.4.2 skrll "ctx %p finished, can't be used any more", ctx);
426 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_class),
427 1.1.4.2 skrll "ctx %p in class %p, mutex %p in class %p",
428 1.1.4.2 skrll ctx, ctx->wwx_class, mutex, mutex->wwm_class);
429 1.1.4.2 skrll
430 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
431 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
432 1.1.4.2 skrll case WW_UNLOCKED:
433 1.1.4.3 skrll WW_WANTLOCK(mutex);
434 1.1.4.2 skrll mutex->wwm_state = WW_CTX;
435 1.1.4.2 skrll mutex->wwm_u.ctx = ctx;
436 1.1.4.2 skrll goto locked;
437 1.1.4.2 skrll case WW_OWNED:
438 1.1.4.3 skrll WW_WANTLOCK(mutex);
439 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
440 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
441 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_OWNED);
442 1.1.4.2 skrll goto retry;
443 1.1.4.2 skrll case WW_CTX:
444 1.1.4.2 skrll break;
445 1.1.4.2 skrll case WW_WANTOWN:
446 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_WANTOWN);
447 1.1.4.2 skrll goto retry;
448 1.1.4.2 skrll default:
449 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
450 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
451 1.1.4.2 skrll }
452 1.1.4.3 skrll
453 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_CTX);
454 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
455 1.1.4.2 skrll KASSERT((mutex->wwm_u.ctx == ctx) ||
456 1.1.4.2 skrll (mutex->wwm_u.ctx->wwx_owner != curlwp));
457 1.1.4.3 skrll
458 1.1.4.2 skrll if (mutex->wwm_u.ctx == ctx) {
459 1.1.4.2 skrll /*
460 1.1.4.2 skrll * We already own it. Yes, this can happen correctly
461 1.1.4.2 skrll * for objects whose locking order is determined by
462 1.1.4.2 skrll * userland.
463 1.1.4.2 skrll */
464 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
465 1.1.4.2 skrll return -EALREADY;
466 1.1.4.3 skrll }
467 1.1.4.3 skrll
468 1.1.4.3 skrll /*
469 1.1.4.3 skrll * We do not own it. We can safely assert to LOCKDEBUG that we
470 1.1.4.3 skrll * want it.
471 1.1.4.3 skrll */
472 1.1.4.3 skrll WW_WANTLOCK(mutex);
473 1.1.4.3 skrll
474 1.1.4.3 skrll if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
475 1.1.4.2 skrll /*
476 1.1.4.2 skrll * Owned by a higher-priority party. Tell the caller
477 1.1.4.2 skrll * to unlock everything and start over.
478 1.1.4.2 skrll */
479 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
480 1.1.4.2 skrll "ww mutex class mismatch: %p != %p",
481 1.1.4.2 skrll ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
482 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
483 1.1.4.2 skrll return -EDEADLK;
484 1.1.4.2 skrll }
485 1.1.4.3 skrll
486 1.1.4.3 skrll /*
487 1.1.4.3 skrll * Owned by a lower-priority party. Ask that party to wake us
488 1.1.4.3 skrll * when it is done or it realizes it needs to back off.
489 1.1.4.3 skrll */
490 1.1.4.3 skrll ww_mutex_lock_wait(mutex, ctx);
491 1.1.4.3 skrll
492 1.1.4.4 skrll locked: KASSERT((mutex->wwm_state == WW_CTX) ||
493 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
494 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx == ctx);
495 1.1.4.4 skrll WW_LOCKED(mutex);
496 1.1.4.4 skrll ctx->wwx_acquired++;
497 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
498 1.1.4.2 skrll return 0;
499 1.1.4.2 skrll }
500 1.1.4.2 skrll
501 1.1.4.2 skrll int
502 1.1.4.2 skrll ww_mutex_lock_interruptible(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
503 1.1.4.2 skrll {
504 1.1.4.2 skrll int ret;
505 1.1.4.2 skrll
506 1.1.4.3 skrll /*
507 1.1.4.3 skrll * We do not WW_WANTLOCK at the beginning because we may
508 1.1.4.3 skrll * correctly already hold it, if we have a context, in which
509 1.1.4.3 skrll * case we must return EALREADY to the caller.
510 1.1.4.3 skrll */
511 1.1.4.2 skrll ASSERT_SLEEPABLE();
512 1.1.4.2 skrll
513 1.1.4.3 skrll if (ctx == NULL) {
514 1.1.4.3 skrll WW_WANTLOCK(mutex);
515 1.1.4.2 skrll return ww_mutex_lock_noctx_sig(mutex);
516 1.1.4.3 skrll }
517 1.1.4.2 skrll
518 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
519 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
520 1.1.4.2 skrll KASSERTMSG(!ctx->wwx_acquire_done,
521 1.1.4.2 skrll "ctx %p done acquiring locks, can't acquire more", ctx);
522 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired != ~0U),
523 1.1.4.2 skrll "ctx %p finished, can't be used any more", ctx);
524 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_class),
525 1.1.4.2 skrll "ctx %p in class %p, mutex %p in class %p",
526 1.1.4.2 skrll ctx, ctx->wwx_class, mutex, mutex->wwm_class);
527 1.1.4.2 skrll
528 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
529 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
530 1.1.4.2 skrll case WW_UNLOCKED:
531 1.1.4.3 skrll WW_WANTLOCK(mutex);
532 1.1.4.2 skrll mutex->wwm_state = WW_CTX;
533 1.1.4.2 skrll mutex->wwm_u.ctx = ctx;
534 1.1.4.2 skrll goto locked;
535 1.1.4.2 skrll case WW_OWNED:
536 1.1.4.3 skrll WW_WANTLOCK(mutex);
537 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
538 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
539 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
540 1.1.4.2 skrll if (ret)
541 1.1.4.2 skrll goto out;
542 1.1.4.2 skrll goto retry;
543 1.1.4.2 skrll case WW_CTX:
544 1.1.4.2 skrll break;
545 1.1.4.2 skrll case WW_WANTOWN:
546 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
547 1.1.4.2 skrll if (ret)
548 1.1.4.2 skrll goto out;
549 1.1.4.2 skrll goto retry;
550 1.1.4.2 skrll default:
551 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
552 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
553 1.1.4.2 skrll }
554 1.1.4.3 skrll
555 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_CTX);
556 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
557 1.1.4.2 skrll KASSERT((mutex->wwm_u.ctx == ctx) ||
558 1.1.4.2 skrll (mutex->wwm_u.ctx->wwx_owner != curlwp));
559 1.1.4.3 skrll
560 1.1.4.2 skrll if (mutex->wwm_u.ctx == ctx) {
561 1.1.4.2 skrll /*
562 1.1.4.2 skrll * We already own it. Yes, this can happen correctly
563 1.1.4.2 skrll * for objects whose locking order is determined by
564 1.1.4.2 skrll * userland.
565 1.1.4.2 skrll */
566 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
567 1.1.4.2 skrll return -EALREADY;
568 1.1.4.3 skrll }
569 1.1.4.3 skrll
570 1.1.4.3 skrll /*
571 1.1.4.3 skrll * We do not own it. We can safely assert to LOCKDEBUG that we
572 1.1.4.3 skrll * want it.
573 1.1.4.3 skrll */
574 1.1.4.3 skrll WW_WANTLOCK(mutex);
575 1.1.4.3 skrll
576 1.1.4.3 skrll if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
577 1.1.4.2 skrll /*
578 1.1.4.2 skrll * Owned by a higher-priority party. Tell the caller
579 1.1.4.2 skrll * to unlock everything and start over.
580 1.1.4.2 skrll */
581 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
582 1.1.4.2 skrll "ww mutex class mismatch: %p != %p",
583 1.1.4.2 skrll ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
584 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
585 1.1.4.2 skrll return -EDEADLK;
586 1.1.4.2 skrll }
587 1.1.4.3 skrll
588 1.1.4.3 skrll /*
589 1.1.4.3 skrll * Owned by a lower-priority party. Ask that party to wake us
590 1.1.4.3 skrll * when it is done or it realizes it needs to back off.
591 1.1.4.3 skrll */
592 1.1.4.3 skrll ret = ww_mutex_lock_wait_sig(mutex, ctx);
593 1.1.4.3 skrll if (ret)
594 1.1.4.3 skrll goto out;
595 1.1.4.3 skrll
596 1.1.4.2 skrll locked: KASSERT((mutex->wwm_state == WW_CTX) ||
597 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
598 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx == ctx);
599 1.1.4.4 skrll WW_LOCKED(mutex);
600 1.1.4.2 skrll ctx->wwx_acquired++;
601 1.1.4.2 skrll ret = 0;
602 1.1.4.2 skrll out: mutex_exit(&mutex->wwm_lock);
603 1.1.4.2 skrll return ret;
604 1.1.4.2 skrll }
605 1.1.4.2 skrll
606 1.1.4.2 skrll void
607 1.1.4.2 skrll ww_mutex_lock_slow(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
608 1.1.4.2 skrll {
609 1.1.4.2 skrll
610 1.1.4.3 skrll /* Caller must not try to lock against self here. */
611 1.1.4.3 skrll WW_WANTLOCK(mutex);
612 1.1.4.2 skrll ASSERT_SLEEPABLE();
613 1.1.4.2 skrll
614 1.1.4.2 skrll if (ctx == NULL) {
615 1.1.4.2 skrll ww_mutex_lock_noctx(mutex);
616 1.1.4.2 skrll return;
617 1.1.4.2 skrll }
618 1.1.4.2 skrll
619 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
620 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
621 1.1.4.2 skrll KASSERTMSG(!ctx->wwx_acquire_done,
622 1.1.4.2 skrll "ctx %p done acquiring locks, can't acquire more", ctx);
623 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired != ~0U),
624 1.1.4.2 skrll "ctx %p finished, can't be used any more", ctx);
625 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired == 0),
626 1.1.4.2 skrll "ctx %p still holds %u locks, not allowed in slow path",
627 1.1.4.2 skrll ctx, ctx->wwx_acquired);
628 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_class),
629 1.1.4.2 skrll "ctx %p in class %p, mutex %p in class %p",
630 1.1.4.2 skrll ctx, ctx->wwx_class, mutex, mutex->wwm_class);
631 1.1.4.2 skrll
632 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
633 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
634 1.1.4.2 skrll case WW_UNLOCKED:
635 1.1.4.2 skrll mutex->wwm_state = WW_CTX;
636 1.1.4.2 skrll mutex->wwm_u.ctx = ctx;
637 1.1.4.2 skrll goto locked;
638 1.1.4.2 skrll case WW_OWNED:
639 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
640 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
641 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_OWNED);
642 1.1.4.2 skrll goto retry;
643 1.1.4.2 skrll case WW_CTX:
644 1.1.4.2 skrll break;
645 1.1.4.2 skrll case WW_WANTOWN:
646 1.1.4.2 skrll ww_mutex_state_wait(mutex, WW_WANTOWN);
647 1.1.4.2 skrll goto retry;
648 1.1.4.2 skrll default:
649 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
650 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
651 1.1.4.2 skrll }
652 1.1.4.3 skrll
653 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_CTX);
654 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
655 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
656 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
657 1.1.4.3 skrll
658 1.1.4.2 skrll /*
659 1.1.4.2 skrll * Owned by another party, of any priority. Ask that party to
660 1.1.4.2 skrll * wake us when it's done.
661 1.1.4.2 skrll */
662 1.1.4.2 skrll ww_mutex_lock_wait(mutex, ctx);
663 1.1.4.3 skrll
664 1.1.4.2 skrll locked: KASSERT((mutex->wwm_state == WW_CTX) ||
665 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
666 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx == ctx);
667 1.1.4.4 skrll WW_LOCKED(mutex);
668 1.1.4.2 skrll ctx->wwx_acquired++;
669 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
670 1.1.4.2 skrll }
671 1.1.4.2 skrll
672 1.1.4.2 skrll int
673 1.1.4.2 skrll ww_mutex_lock_slow_interruptible(struct ww_mutex *mutex,
674 1.1.4.2 skrll struct ww_acquire_ctx *ctx)
675 1.1.4.2 skrll {
676 1.1.4.2 skrll int ret;
677 1.1.4.2 skrll
678 1.1.4.3 skrll WW_WANTLOCK(mutex);
679 1.1.4.2 skrll ASSERT_SLEEPABLE();
680 1.1.4.2 skrll
681 1.1.4.2 skrll if (ctx == NULL)
682 1.1.4.2 skrll return ww_mutex_lock_noctx_sig(mutex);
683 1.1.4.2 skrll
684 1.1.4.2 skrll KASSERTMSG((ctx->wwx_owner == curlwp),
685 1.1.4.2 skrll "ctx %p owned by %p, not self (%p)", ctx, ctx->wwx_owner, curlwp);
686 1.1.4.2 skrll KASSERTMSG(!ctx->wwx_acquire_done,
687 1.1.4.2 skrll "ctx %p done acquiring locks, can't acquire more", ctx);
688 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired != ~0U),
689 1.1.4.2 skrll "ctx %p finished, can't be used any more", ctx);
690 1.1.4.2 skrll KASSERTMSG((ctx->wwx_acquired == 0),
691 1.1.4.2 skrll "ctx %p still holds %u locks, not allowed in slow path",
692 1.1.4.2 skrll ctx, ctx->wwx_acquired);
693 1.1.4.2 skrll KASSERTMSG((ctx->wwx_class == mutex->wwm_class),
694 1.1.4.2 skrll "ctx %p in class %p, mutex %p in class %p",
695 1.1.4.2 skrll ctx, ctx->wwx_class, mutex, mutex->wwm_class);
696 1.1.4.2 skrll
697 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
698 1.1.4.2 skrll retry: switch (mutex->wwm_state) {
699 1.1.4.2 skrll case WW_UNLOCKED:
700 1.1.4.2 skrll mutex->wwm_state = WW_CTX;
701 1.1.4.2 skrll mutex->wwm_u.ctx = ctx;
702 1.1.4.2 skrll goto locked;
703 1.1.4.2 skrll case WW_OWNED:
704 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.owner != curlwp),
705 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
706 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
707 1.1.4.2 skrll if (ret)
708 1.1.4.2 skrll goto out;
709 1.1.4.2 skrll goto retry;
710 1.1.4.2 skrll case WW_CTX:
711 1.1.4.2 skrll break;
712 1.1.4.2 skrll case WW_WANTOWN:
713 1.1.4.2 skrll ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
714 1.1.4.2 skrll if (ret)
715 1.1.4.2 skrll goto out;
716 1.1.4.2 skrll goto retry;
717 1.1.4.2 skrll default:
718 1.1.4.2 skrll panic("wait/wound mutex %p in bad state: %d",
719 1.1.4.2 skrll mutex, (int)mutex->wwm_state);
720 1.1.4.2 skrll }
721 1.1.4.3 skrll
722 1.1.4.2 skrll KASSERT(mutex->wwm_state == WW_CTX);
723 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
724 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
725 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
726 1.1.4.3 skrll
727 1.1.4.2 skrll /*
728 1.1.4.2 skrll * Owned by another party, of any priority. Ask that party to
729 1.1.4.2 skrll * wake us when it's done.
730 1.1.4.2 skrll */
731 1.1.4.2 skrll ret = ww_mutex_lock_wait_sig(mutex, ctx);
732 1.1.4.2 skrll if (ret)
733 1.1.4.2 skrll goto out;
734 1.1.4.3 skrll
735 1.1.4.2 skrll locked: KASSERT((mutex->wwm_state == WW_CTX) ||
736 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
737 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx == ctx);
738 1.1.4.4 skrll WW_LOCKED(mutex);
739 1.1.4.2 skrll ctx->wwx_acquired++;
740 1.1.4.2 skrll ret = 0;
741 1.1.4.2 skrll out: mutex_exit(&mutex->wwm_lock);
742 1.1.4.2 skrll return ret;
743 1.1.4.2 skrll }
744 1.1.4.2 skrll
745 1.1.4.2 skrll int
746 1.1.4.2 skrll ww_mutex_trylock(struct ww_mutex *mutex)
747 1.1.4.2 skrll {
748 1.1.4.2 skrll int ret;
749 1.1.4.2 skrll
750 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
751 1.1.4.2 skrll if (mutex->wwm_state == WW_UNLOCKED) {
752 1.1.4.2 skrll mutex->wwm_state = WW_OWNED;
753 1.1.4.2 skrll mutex->wwm_u.owner = curlwp;
754 1.1.4.3 skrll WW_WANTLOCK(mutex);
755 1.1.4.3 skrll WW_LOCKED(mutex);
756 1.1.4.2 skrll ret = 1;
757 1.1.4.2 skrll } else {
758 1.1.4.2 skrll KASSERTMSG(((mutex->wwm_state != WW_OWNED) ||
759 1.1.4.2 skrll (mutex->wwm_u.owner != curlwp)),
760 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
761 1.1.4.2 skrll KASSERTMSG(((mutex->wwm_state != WW_CTX) ||
762 1.1.4.2 skrll (mutex->wwm_u.ctx->wwx_owner != curlwp)),
763 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
764 1.1.4.2 skrll KASSERTMSG(((mutex->wwm_state != WW_WANTOWN) ||
765 1.1.4.2 skrll (mutex->wwm_u.ctx->wwx_owner != curlwp)),
766 1.1.4.2 skrll "locking %p against myself: %p", mutex, curlwp);
767 1.1.4.2 skrll ret = 0;
768 1.1.4.2 skrll }
769 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
770 1.1.4.2 skrll
771 1.1.4.2 skrll return ret;
772 1.1.4.2 skrll }
773 1.1.4.2 skrll
774 1.1.4.2 skrll static void
775 1.1.4.2 skrll ww_mutex_unlock_release(struct ww_mutex *mutex)
776 1.1.4.2 skrll {
777 1.1.4.2 skrll
778 1.1.4.2 skrll KASSERT(mutex_owned(&mutex->wwm_lock));
779 1.1.4.2 skrll KASSERT((mutex->wwm_state == WW_CTX) ||
780 1.1.4.2 skrll (mutex->wwm_state == WW_WANTOWN));
781 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx != NULL);
782 1.1.4.2 skrll KASSERTMSG((mutex->wwm_u.ctx->wwx_owner == curlwp),
783 1.1.4.2 skrll "ww_mutex %p ctx %p held by %p, not by self (%p)",
784 1.1.4.2 skrll mutex, mutex->wwm_u.ctx, mutex->wwm_u.ctx->wwx_owner,
785 1.1.4.2 skrll curlwp);
786 1.1.4.2 skrll KASSERT(mutex->wwm_u.ctx->wwx_acquired != ~0U);
787 1.1.4.2 skrll mutex->wwm_u.ctx->wwx_acquired--;
788 1.1.4.2 skrll mutex->wwm_u.ctx = NULL;
789 1.1.4.2 skrll }
790 1.1.4.2 skrll
791 1.1.4.2 skrll void
792 1.1.4.2 skrll ww_mutex_unlock(struct ww_mutex *mutex)
793 1.1.4.2 skrll {
794 1.1.4.2 skrll struct ww_acquire_ctx *ctx;
795 1.1.4.2 skrll
796 1.1.4.2 skrll mutex_enter(&mutex->wwm_lock);
797 1.1.4.2 skrll KASSERT(mutex->wwm_state != WW_UNLOCKED);
798 1.1.4.2 skrll switch (mutex->wwm_state) {
799 1.1.4.2 skrll case WW_UNLOCKED:
800 1.1.4.2 skrll panic("unlocking unlocked wait/wound mutex: %p", mutex);
801 1.1.4.2 skrll case WW_OWNED:
802 1.1.4.2 skrll /* Let the context lockers fight over it. */
803 1.1.4.2 skrll mutex->wwm_u.owner = NULL;
804 1.1.4.2 skrll mutex->wwm_state = WW_UNLOCKED;
805 1.1.4.2 skrll break;
806 1.1.4.2 skrll case WW_CTX:
807 1.1.4.2 skrll ww_mutex_unlock_release(mutex);
808 1.1.4.2 skrll /*
809 1.1.4.2 skrll * If there are any waiters with contexts, grant the
810 1.1.4.2 skrll * lock to the highest-priority one. Otherwise, just
811 1.1.4.2 skrll * unlock it.
812 1.1.4.2 skrll */
813 1.1.4.2 skrll if ((ctx = RB_TREE_MIN(&mutex->wwm_waiters)) != NULL) {
814 1.1.4.2 skrll mutex->wwm_state = WW_CTX;
815 1.1.4.2 skrll mutex->wwm_u.ctx = ctx;
816 1.1.4.2 skrll } else {
817 1.1.4.2 skrll mutex->wwm_state = WW_UNLOCKED;
818 1.1.4.2 skrll }
819 1.1.4.2 skrll break;
820 1.1.4.2 skrll case WW_WANTOWN:
821 1.1.4.2 skrll ww_mutex_unlock_release(mutex);
822 1.1.4.2 skrll /* Let the non-context lockers fight over it. */
823 1.1.4.2 skrll mutex->wwm_state = WW_UNLOCKED;
824 1.1.4.2 skrll break;
825 1.1.4.2 skrll }
826 1.1.4.3 skrll WW_UNLOCKED(mutex);
827 1.1.4.2 skrll cv_broadcast(&mutex->wwm_cv);
828 1.1.4.2 skrll mutex_exit(&mutex->wwm_lock);
829 1.1.4.2 skrll }
830