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