subr_psref.c revision 1.12 1 /* $NetBSD: subr_psref.c,v 1.12 2019/04/19 01:52:55 ozaki-r Exp $ */
2
3 /*-
4 * Copyright (c) 2016 The NetBSD Foundation, Inc.
5 * All rights reserved.
6 *
7 * This code is derived from software contributed to The NetBSD Foundation
8 * by Taylor R. Campbell.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 * POSSIBILITY OF SUCH DAMAGE.
30 */
31
32 /*
33 * Passive references
34 *
35 * Passive references are references to objects that guarantee the
36 * object will not be destroyed until the reference is released.
37 *
38 * Passive references require no interprocessor synchronization to
39 * acquire or release. However, destroying the target of passive
40 * references requires expensive interprocessor synchronization --
41 * xcalls to determine on which CPUs the object is still in use.
42 *
43 * Passive references may be held only on a single CPU and by a
44 * single LWP. They require the caller to allocate a little stack
45 * space, a struct psref object. Sleeping while a passive
46 * reference is held is allowed, provided that the owner's LWP is
47 * bound to a CPU -- e.g., the owner is a softint or a bound
48 * kthread. However, sleeping should be kept to a short duration,
49 * e.g. sleeping on an adaptive lock.
50 *
51 * Passive references serve as an intermediate stage between
52 * reference counting and passive serialization (pserialize(9)):
53 *
54 * - If you need references to transfer from CPU to CPU or LWP to
55 * LWP, or if you need long-term references, you must use
56 * reference counting, e.g. with atomic operations or locks,
57 * which incurs interprocessor synchronization for every use --
58 * cheaper than an xcall, but not scalable.
59 *
60 * - If all users *guarantee* that they will not sleep, then it is
61 * not necessary to use passive references: you may as well just
62 * use the even cheaper pserialize(9), because you have
63 * satisfied the requirements of a pserialize read section.
64 */
65
66 #include <sys/cdefs.h>
67 __KERNEL_RCSID(0, "$NetBSD: subr_psref.c,v 1.12 2019/04/19 01:52:55 ozaki-r Exp $");
68
69 #include <sys/types.h>
70 #include <sys/condvar.h>
71 #include <sys/cpu.h>
72 #include <sys/intr.h>
73 #include <sys/kmem.h>
74 #include <sys/lwp.h>
75 #include <sys/mutex.h>
76 #include <sys/percpu.h>
77 #include <sys/psref.h>
78 #include <sys/queue.h>
79 #include <sys/xcall.h>
80
81 SLIST_HEAD(psref_head, psref);
82
83 static bool _psref_held(const struct psref_target *, struct psref_class *,
84 bool);
85
86 /*
87 * struct psref_class
88 *
89 * Private global state for a class of passive reference targets.
90 * Opaque to callers.
91 */
92 struct psref_class {
93 kmutex_t prc_lock;
94 kcondvar_t prc_cv;
95 struct percpu *prc_percpu; /* struct psref_cpu */
96 ipl_cookie_t prc_iplcookie;
97 unsigned int prc_xc_flags;
98 };
99
100 /*
101 * struct psref_cpu
102 *
103 * Private per-CPU state for a class of passive reference targets.
104 * Not exposed by the API.
105 */
106 struct psref_cpu {
107 struct psref_head pcpu_head;
108 };
109
110 /*
111 * psref_class_create(name, ipl)
112 *
113 * Create a new passive reference class, with the given wchan name
114 * and ipl.
115 */
116 struct psref_class *
117 psref_class_create(const char *name, int ipl)
118 {
119 struct psref_class *class;
120
121 ASSERT_SLEEPABLE();
122
123 class = kmem_alloc(sizeof(*class), KM_SLEEP);
124 class->prc_percpu = percpu_alloc(sizeof(struct psref_cpu));
125 mutex_init(&class->prc_lock, MUTEX_DEFAULT, ipl);
126 cv_init(&class->prc_cv, name);
127 class->prc_iplcookie = makeiplcookie(ipl);
128 class->prc_xc_flags = XC_HIGHPRI_IPL(ipl);
129
130 return class;
131 }
132
133 #ifdef DIAGNOSTIC
134 static void
135 psref_cpu_drained_p(void *p, void *cookie, struct cpu_info *ci __unused)
136 {
137 const struct psref_cpu *pcpu = p;
138 bool *retp = cookie;
139
140 if (!SLIST_EMPTY(&pcpu->pcpu_head))
141 *retp = false;
142 }
143
144 static bool
145 psref_class_drained_p(const struct psref_class *prc)
146 {
147 bool ret = true;
148
149 percpu_foreach(prc->prc_percpu, &psref_cpu_drained_p, &ret);
150
151 return ret;
152 }
153 #endif /* DIAGNOSTIC */
154
155 /*
156 * psref_class_destroy(class)
157 *
158 * Destroy a passive reference class and free memory associated
159 * with it. All targets in this class must have been drained and
160 * destroyed already.
161 */
162 void
163 psref_class_destroy(struct psref_class *class)
164 {
165
166 KASSERT(psref_class_drained_p(class));
167
168 cv_destroy(&class->prc_cv);
169 mutex_destroy(&class->prc_lock);
170 percpu_free(class->prc_percpu, sizeof(struct psref_cpu));
171 kmem_free(class, sizeof(*class));
172 }
173
174 /*
175 * psref_target_init(target, class)
176 *
177 * Initialize a passive reference target in the specified class.
178 * The caller is responsible for issuing a membar_producer after
179 * psref_target_init and before exposing a pointer to the target
180 * to other CPUs.
181 */
182 void
183 psref_target_init(struct psref_target *target,
184 struct psref_class *class)
185 {
186
187 target->prt_class = class;
188 target->prt_draining = false;
189 }
190
191 #ifdef DEBUG
192 static bool
193 psref_exist(struct psref_cpu *pcpu, struct psref *psref)
194 {
195 struct psref *_psref;
196
197 SLIST_FOREACH(_psref, &pcpu->pcpu_head, psref_entry) {
198 if (_psref == psref)
199 return true;
200 }
201 return false;
202 }
203
204 static void
205 psref_check_duplication(struct psref_cpu *pcpu, struct psref *psref,
206 const struct psref_target *target)
207 {
208 bool found = false;
209
210 found = psref_exist(pcpu, psref);
211 if (found) {
212 panic("The psref is already in the list (acquiring twice?): "
213 "psref=%p target=%p", psref, target);
214 }
215 }
216
217 static void
218 psref_check_existence(struct psref_cpu *pcpu, struct psref *psref,
219 const struct psref_target *target)
220 {
221 bool found = false;
222
223 found = psref_exist(pcpu, psref);
224 if (!found) {
225 panic("The psref isn't in the list (releasing unused psref?): "
226 "psref=%p target=%p", psref, target);
227 }
228 }
229 #endif /* DEBUG */
230
231 /*
232 * psref_acquire(psref, target, class)
233 *
234 * Acquire a passive reference to the specified target, which must
235 * be in the specified class.
236 *
237 * The caller must guarantee that the target will not be destroyed
238 * before psref_acquire returns.
239 *
240 * The caller must additionally guarantee that it will not switch
241 * CPUs before releasing the passive reference, either by
242 * disabling kpreemption and avoiding sleeps, or by being in a
243 * softint or in an LWP bound to a CPU.
244 */
245 void
246 psref_acquire(struct psref *psref, const struct psref_target *target,
247 struct psref_class *class)
248 {
249 struct psref_cpu *pcpu;
250 int s;
251
252 KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
253 ISSET(curlwp->l_pflag, LP_BOUND)),
254 "passive references are CPU-local,"
255 " but preemption is enabled and the caller is not"
256 " in a softint or CPU-bound LWP");
257 KASSERTMSG((target->prt_class == class),
258 "mismatched psref target class: %p (ref) != %p (expected)",
259 target->prt_class, class);
260 KASSERTMSG(!target->prt_draining, "psref target already destroyed: %p",
261 target);
262
263 /* Block interrupts and acquire the current CPU's reference list. */
264 s = splraiseipl(class->prc_iplcookie);
265 pcpu = percpu_getref(class->prc_percpu);
266
267 #ifdef DEBUG
268 /* Sanity-check if the target is already acquired with the same psref. */
269 psref_check_duplication(pcpu, psref, target);
270 #endif
271
272 /* Record our reference. */
273 SLIST_INSERT_HEAD(&pcpu->pcpu_head, psref, psref_entry);
274 psref->psref_target = target;
275 psref->psref_lwp = curlwp;
276 psref->psref_cpu = curcpu();
277
278 /* Release the CPU list and restore interrupts. */
279 percpu_putref(class->prc_percpu);
280 splx(s);
281
282 #ifdef DIAGNOSTIC
283 curlwp->l_psrefs++;
284 #endif
285 }
286
287 /*
288 * psref_release(psref, target, class)
289 *
290 * Release a passive reference to the specified target, which must
291 * be in the specified class.
292 *
293 * The caller must not have switched CPUs or LWPs since acquiring
294 * the passive reference.
295 */
296 void
297 psref_release(struct psref *psref, const struct psref_target *target,
298 struct psref_class *class)
299 {
300 struct psref_cpu *pcpu;
301 int s;
302
303 KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
304 ISSET(curlwp->l_pflag, LP_BOUND)),
305 "passive references are CPU-local,"
306 " but preemption is enabled and the caller is not"
307 " in a softint or CPU-bound LWP");
308 KASSERTMSG((target->prt_class == class),
309 "mismatched psref target class: %p (ref) != %p (expected)",
310 target->prt_class, class);
311
312 /* Make sure the psref looks sensible. */
313 KASSERTMSG((psref->psref_target == target),
314 "passive reference target mismatch: %p (ref) != %p (expected)",
315 psref->psref_target, target);
316 KASSERTMSG((psref->psref_lwp == curlwp),
317 "passive reference transferred from lwp %p to lwp %p",
318 psref->psref_lwp, curlwp);
319 KASSERTMSG((psref->psref_cpu == curcpu()),
320 "passive reference transferred from CPU %u to CPU %u",
321 cpu_index(psref->psref_cpu), cpu_index(curcpu()));
322
323 /*
324 * Block interrupts and remove the psref from the current CPU's
325 * list. No need to percpu_getref or get the head of the list,
326 * and the caller guarantees that we are bound to a CPU anyway
327 * (as does blocking interrupts).
328 */
329 s = splraiseipl(class->prc_iplcookie);
330 pcpu = percpu_getref(class->prc_percpu);
331 #ifdef DEBUG
332 /* Sanity-check if the target is surely acquired before. */
333 psref_check_existence(pcpu, psref, target);
334 #endif
335 SLIST_REMOVE(&pcpu->pcpu_head, psref, psref, psref_entry);
336 percpu_putref(class->prc_percpu);
337 splx(s);
338
339 #ifdef DIAGNOSTIC
340 KASSERT(curlwp->l_psrefs > 0);
341 curlwp->l_psrefs--;
342 #endif
343
344 /* If someone is waiting for users to drain, notify 'em. */
345 if (__predict_false(target->prt_draining))
346 cv_broadcast(&class->prc_cv);
347 }
348
349 /*
350 * psref_copy(pto, pfrom, class)
351 *
352 * Copy a passive reference from pfrom, which must be in the
353 * specified class, to pto. Both pfrom and pto must later be
354 * released with psref_release.
355 *
356 * The caller must not have switched CPUs or LWPs since acquiring
357 * pfrom, and must not switch CPUs or LWPs before releasing both
358 * pfrom and pto.
359 */
360 void
361 psref_copy(struct psref *pto, const struct psref *pfrom,
362 struct psref_class *class)
363 {
364 struct psref_cpu *pcpu;
365 int s;
366
367 KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
368 ISSET(curlwp->l_pflag, LP_BOUND)),
369 "passive references are CPU-local,"
370 " but preemption is enabled and the caller is not"
371 " in a softint or CPU-bound LWP");
372 KASSERTMSG((pto != pfrom),
373 "can't copy passive reference to itself: %p",
374 pto);
375
376 /* Make sure the pfrom reference looks sensible. */
377 KASSERTMSG((pfrom->psref_lwp == curlwp),
378 "passive reference transferred from lwp %p to lwp %p",
379 pfrom->psref_lwp, curlwp);
380 KASSERTMSG((pfrom->psref_cpu == curcpu()),
381 "passive reference transferred from CPU %u to CPU %u",
382 cpu_index(pfrom->psref_cpu), cpu_index(curcpu()));
383 KASSERTMSG((pfrom->psref_target->prt_class == class),
384 "mismatched psref target class: %p (ref) != %p (expected)",
385 pfrom->psref_target->prt_class, class);
386
387 /* Block interrupts and acquire the current CPU's reference list. */
388 s = splraiseipl(class->prc_iplcookie);
389 pcpu = percpu_getref(class->prc_percpu);
390
391 /* Record the new reference. */
392 SLIST_INSERT_HEAD(&pcpu->pcpu_head, pto, psref_entry);
393 pto->psref_target = pfrom->psref_target;
394 pto->psref_lwp = curlwp;
395 pto->psref_cpu = curcpu();
396
397 /* Release the CPU list and restore interrupts. */
398 percpu_putref(class->prc_percpu);
399 splx(s);
400
401 #ifdef DIAGNOSTIC
402 curlwp->l_psrefs++;
403 #endif
404 }
405
406 /*
407 * struct psreffed
408 *
409 * Global state for draining a psref target.
410 */
411 struct psreffed {
412 struct psref_class *class;
413 struct psref_target *target;
414 bool ret;
415 };
416
417 static void
418 psreffed_p_xc(void *cookie0, void *cookie1 __unused)
419 {
420 struct psreffed *P = cookie0;
421
422 /*
423 * If we hold a psref to the target, then answer true.
424 *
425 * This is the only dynamic decision that may be made with
426 * psref_held.
427 *
428 * No need to lock anything here: every write transitions from
429 * false to true, so there can be no conflicting writes. No
430 * need for a memory barrier here because P->ret is read only
431 * after xc_wait, which has already issued any necessary memory
432 * barriers.
433 */
434 if (_psref_held(P->target, P->class, true))
435 P->ret = true;
436 }
437
438 static bool
439 psreffed_p(struct psref_target *target, struct psref_class *class)
440 {
441 struct psreffed P = {
442 .class = class,
443 .target = target,
444 .ret = false,
445 };
446
447 if (__predict_true(mp_online)) {
448 /*
449 * Ask all CPUs to say whether they hold a psref to the
450 * target.
451 */
452 xc_wait(xc_broadcast(class->prc_xc_flags, &psreffed_p_xc, &P,
453 NULL));
454 } else
455 psreffed_p_xc(&P, NULL);
456
457 return P.ret;
458 }
459
460 /*
461 * psref_target_destroy(target, class)
462 *
463 * Destroy a passive reference target. Waits for all existing
464 * references to drain. Caller must guarantee no new references
465 * will be acquired once it calls psref_target_destroy, e.g. by
466 * removing the target from a global list first. May sleep.
467 */
468 void
469 psref_target_destroy(struct psref_target *target, struct psref_class *class)
470 {
471
472 ASSERT_SLEEPABLE();
473
474 KASSERTMSG((target->prt_class == class),
475 "mismatched psref target class: %p (ref) != %p (expected)",
476 target->prt_class, class);
477
478 /* Request psref_release to notify us when done. */
479 KASSERTMSG(!target->prt_draining, "psref target already destroyed: %p",
480 target);
481 target->prt_draining = true;
482
483 /* Wait until there are no more references on any CPU. */
484 while (psreffed_p(target, class)) {
485 /*
486 * This enter/wait/exit business looks wrong, but it is
487 * both necessary, because psreffed_p performs a
488 * low-priority xcall and hence cannot run while a
489 * mutex is locked, and OK, because the wait is timed
490 * -- explicit wakeups are only an optimization.
491 */
492 mutex_enter(&class->prc_lock);
493 (void)cv_timedwait(&class->prc_cv, &class->prc_lock, 1);
494 mutex_exit(&class->prc_lock);
495 }
496
497 /* No more references. Cause subsequent psref_acquire to kassert. */
498 target->prt_class = NULL;
499 }
500
501 static bool
502 _psref_held(const struct psref_target *target, struct psref_class *class,
503 bool lwp_mismatch_ok)
504 {
505 const struct psref_cpu *pcpu;
506 const struct psref *psref;
507 int s;
508 bool held = false;
509
510 KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
511 ISSET(curlwp->l_pflag, LP_BOUND)),
512 "passive references are CPU-local,"
513 " but preemption is enabled and the caller is not"
514 " in a softint or CPU-bound LWP");
515 KASSERTMSG((target->prt_class == class),
516 "mismatched psref target class: %p (ref) != %p (expected)",
517 target->prt_class, class);
518
519 /* Block interrupts and acquire the current CPU's reference list. */
520 s = splraiseipl(class->prc_iplcookie);
521 pcpu = percpu_getref(class->prc_percpu);
522
523 /* Search through all the references on this CPU. */
524 SLIST_FOREACH(psref, &pcpu->pcpu_head, psref_entry) {
525 /* Sanity-check the reference's CPU. */
526 KASSERTMSG((psref->psref_cpu == curcpu()),
527 "passive reference transferred from CPU %u to CPU %u",
528 cpu_index(psref->psref_cpu), cpu_index(curcpu()));
529
530 /* If it doesn't match, skip it and move on. */
531 if (psref->psref_target != target)
532 continue;
533
534 /*
535 * Sanity-check the reference's LWP if we are asserting
536 * via psref_held that this LWP holds it, but not if we
537 * are testing in psref_target_destroy whether any LWP
538 * still holds it.
539 */
540 KASSERTMSG((lwp_mismatch_ok || psref->psref_lwp == curlwp),
541 "passive reference transferred from lwp %p to lwp %p",
542 psref->psref_lwp, curlwp);
543
544 /* Stop here and report that we found it. */
545 held = true;
546 break;
547 }
548
549 /* Release the CPU list and restore interrupts. */
550 percpu_putref(class->prc_percpu);
551 splx(s);
552
553 return held;
554 }
555
556 /*
557 * psref_held(target, class)
558 *
559 * True if the current CPU holds a passive reference to target,
560 * false otherwise. May be used only inside assertions.
561 */
562 bool
563 psref_held(const struct psref_target *target, struct psref_class *class)
564 {
565
566 return _psref_held(target, class, false);
567 }
568