Home | History | Annotate | Line # | Download | only in kern
subr_psref.c revision 1.11
      1 /*	$NetBSD: subr_psref.c,v 1.11 2018/02/01 03:17:00 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.11 2018/02/01 03:17:00 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 
    283 /*
    284  * psref_release(psref, target, class)
    285  *
    286  *	Release a passive reference to the specified target, which must
    287  *	be in the specified class.
    288  *
    289  *	The caller must not have switched CPUs or LWPs since acquiring
    290  *	the passive reference.
    291  */
    292 void
    293 psref_release(struct psref *psref, const struct psref_target *target,
    294     struct psref_class *class)
    295 {
    296 	struct psref_cpu *pcpu;
    297 	int s;
    298 
    299 	KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
    300 		ISSET(curlwp->l_pflag, LP_BOUND)),
    301 	    "passive references are CPU-local,"
    302 	    " but preemption is enabled and the caller is not"
    303 	    " in a softint or CPU-bound LWP");
    304 	KASSERTMSG((target->prt_class == class),
    305 	    "mismatched psref target class: %p (ref) != %p (expected)",
    306 	    target->prt_class, class);
    307 
    308 	/* Make sure the psref looks sensible.  */
    309 	KASSERTMSG((psref->psref_target == target),
    310 	    "passive reference target mismatch: %p (ref) != %p (expected)",
    311 	    psref->psref_target, target);
    312 	KASSERTMSG((psref->psref_lwp == curlwp),
    313 	    "passive reference transferred from lwp %p to lwp %p",
    314 	    psref->psref_lwp, curlwp);
    315 	KASSERTMSG((psref->psref_cpu == curcpu()),
    316 	    "passive reference transferred from CPU %u to CPU %u",
    317 	    cpu_index(psref->psref_cpu), cpu_index(curcpu()));
    318 
    319 	/*
    320 	 * Block interrupts and remove the psref from the current CPU's
    321 	 * list.  No need to percpu_getref or get the head of the list,
    322 	 * and the caller guarantees that we are bound to a CPU anyway
    323 	 * (as does blocking interrupts).
    324 	 */
    325 	s = splraiseipl(class->prc_iplcookie);
    326 	pcpu = percpu_getref(class->prc_percpu);
    327 #ifdef DEBUG
    328 	/* Sanity-check if the target is surely acquired before.  */
    329 	psref_check_existence(pcpu, psref, target);
    330 #endif
    331 	SLIST_REMOVE(&pcpu->pcpu_head, psref, psref, psref_entry);
    332 	percpu_putref(class->prc_percpu);
    333 	splx(s);
    334 
    335 	/* If someone is waiting for users to drain, notify 'em.  */
    336 	if (__predict_false(target->prt_draining))
    337 		cv_broadcast(&class->prc_cv);
    338 }
    339 
    340 /*
    341  * psref_copy(pto, pfrom, class)
    342  *
    343  *	Copy a passive reference from pfrom, which must be in the
    344  *	specified class, to pto.  Both pfrom and pto must later be
    345  *	released with psref_release.
    346  *
    347  *	The caller must not have switched CPUs or LWPs since acquiring
    348  *	pfrom, and must not switch CPUs or LWPs before releasing both
    349  *	pfrom and pto.
    350  */
    351 void
    352 psref_copy(struct psref *pto, const struct psref *pfrom,
    353     struct psref_class *class)
    354 {
    355 	struct psref_cpu *pcpu;
    356 	int s;
    357 
    358 	KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
    359 		ISSET(curlwp->l_pflag, LP_BOUND)),
    360 	    "passive references are CPU-local,"
    361 	    " but preemption is enabled and the caller is not"
    362 	    " in a softint or CPU-bound LWP");
    363 	KASSERTMSG((pto != pfrom),
    364 	    "can't copy passive reference to itself: %p",
    365 	    pto);
    366 
    367 	/* Make sure the pfrom reference looks sensible.  */
    368 	KASSERTMSG((pfrom->psref_lwp == curlwp),
    369 	    "passive reference transferred from lwp %p to lwp %p",
    370 	    pfrom->psref_lwp, curlwp);
    371 	KASSERTMSG((pfrom->psref_cpu == curcpu()),
    372 	    "passive reference transferred from CPU %u to CPU %u",
    373 	    cpu_index(pfrom->psref_cpu), cpu_index(curcpu()));
    374 	KASSERTMSG((pfrom->psref_target->prt_class == class),
    375 	    "mismatched psref target class: %p (ref) != %p (expected)",
    376 	    pfrom->psref_target->prt_class, class);
    377 
    378 	/* Block interrupts and acquire the current CPU's reference list.  */
    379 	s = splraiseipl(class->prc_iplcookie);
    380 	pcpu = percpu_getref(class->prc_percpu);
    381 
    382 	/* Record the new reference.  */
    383 	SLIST_INSERT_HEAD(&pcpu->pcpu_head, pto, psref_entry);
    384 	pto->psref_target = pfrom->psref_target;
    385 	pto->psref_lwp = curlwp;
    386 	pto->psref_cpu = curcpu();
    387 
    388 	/* Release the CPU list and restore interrupts.  */
    389 	percpu_putref(class->prc_percpu);
    390 	splx(s);
    391 }
    392 
    393 /*
    394  * struct psreffed
    395  *
    396  *	Global state for draining a psref target.
    397  */
    398 struct psreffed {
    399 	struct psref_class	*class;
    400 	struct psref_target	*target;
    401 	bool			ret;
    402 };
    403 
    404 static void
    405 psreffed_p_xc(void *cookie0, void *cookie1 __unused)
    406 {
    407 	struct psreffed *P = cookie0;
    408 
    409 	/*
    410 	 * If we hold a psref to the target, then answer true.
    411 	 *
    412 	 * This is the only dynamic decision that may be made with
    413 	 * psref_held.
    414 	 *
    415 	 * No need to lock anything here: every write transitions from
    416 	 * false to true, so there can be no conflicting writes.  No
    417 	 * need for a memory barrier here because P->ret is read only
    418 	 * after xc_wait, which has already issued any necessary memory
    419 	 * barriers.
    420 	 */
    421 	if (_psref_held(P->target, P->class, true))
    422 		P->ret = true;
    423 }
    424 
    425 static bool
    426 psreffed_p(struct psref_target *target, struct psref_class *class)
    427 {
    428 	struct psreffed P = {
    429 		.class = class,
    430 		.target = target,
    431 		.ret = false,
    432 	};
    433 
    434 	if (__predict_true(mp_online)) {
    435 		/*
    436 		 * Ask all CPUs to say whether they hold a psref to the
    437 		 * target.
    438 		 */
    439 		xc_wait(xc_broadcast(class->prc_xc_flags, &psreffed_p_xc, &P,
    440 		                     NULL));
    441 	} else
    442 		psreffed_p_xc(&P, NULL);
    443 
    444 	return P.ret;
    445 }
    446 
    447 /*
    448  * psref_target_destroy(target, class)
    449  *
    450  *	Destroy a passive reference target.  Waits for all existing
    451  *	references to drain.  Caller must guarantee no new references
    452  *	will be acquired once it calls psref_target_destroy, e.g. by
    453  *	removing the target from a global list first.  May sleep.
    454  */
    455 void
    456 psref_target_destroy(struct psref_target *target, struct psref_class *class)
    457 {
    458 
    459 	ASSERT_SLEEPABLE();
    460 
    461 	KASSERTMSG((target->prt_class == class),
    462 	    "mismatched psref target class: %p (ref) != %p (expected)",
    463 	    target->prt_class, class);
    464 
    465 	/* Request psref_release to notify us when done.  */
    466 	KASSERTMSG(!target->prt_draining, "psref target already destroyed: %p",
    467 	    target);
    468 	target->prt_draining = true;
    469 
    470 	/* Wait until there are no more references on any CPU.  */
    471 	while (psreffed_p(target, class)) {
    472 		/*
    473 		 * This enter/wait/exit business looks wrong, but it is
    474 		 * both necessary, because psreffed_p performs a
    475 		 * low-priority xcall and hence cannot run while a
    476 		 * mutex is locked, and OK, because the wait is timed
    477 		 * -- explicit wakeups are only an optimization.
    478 		 */
    479 		mutex_enter(&class->prc_lock);
    480 		(void)cv_timedwait(&class->prc_cv, &class->prc_lock, 1);
    481 		mutex_exit(&class->prc_lock);
    482 	}
    483 
    484 	/* No more references.  Cause subsequent psref_acquire to kassert.  */
    485 	target->prt_class = NULL;
    486 }
    487 
    488 static bool
    489 _psref_held(const struct psref_target *target, struct psref_class *class,
    490     bool lwp_mismatch_ok)
    491 {
    492 	const struct psref_cpu *pcpu;
    493 	const struct psref *psref;
    494 	int s;
    495 	bool held = false;
    496 
    497 	KASSERTMSG((kpreempt_disabled() || cpu_softintr_p() ||
    498 		ISSET(curlwp->l_pflag, LP_BOUND)),
    499 	    "passive references are CPU-local,"
    500 	    " but preemption is enabled and the caller is not"
    501 	    " in a softint or CPU-bound LWP");
    502 	KASSERTMSG((target->prt_class == class),
    503 	    "mismatched psref target class: %p (ref) != %p (expected)",
    504 	    target->prt_class, class);
    505 
    506 	/* Block interrupts and acquire the current CPU's reference list.  */
    507 	s = splraiseipl(class->prc_iplcookie);
    508 	pcpu = percpu_getref(class->prc_percpu);
    509 
    510 	/* Search through all the references on this CPU.  */
    511 	SLIST_FOREACH(psref, &pcpu->pcpu_head, psref_entry) {
    512 		/* Sanity-check the reference's CPU.  */
    513 		KASSERTMSG((psref->psref_cpu == curcpu()),
    514 		    "passive reference transferred from CPU %u to CPU %u",
    515 		    cpu_index(psref->psref_cpu), cpu_index(curcpu()));
    516 
    517 		/* If it doesn't match, skip it and move on.  */
    518 		if (psref->psref_target != target)
    519 			continue;
    520 
    521 		/*
    522 		 * Sanity-check the reference's LWP if we are asserting
    523 		 * via psref_held that this LWP holds it, but not if we
    524 		 * are testing in psref_target_destroy whether any LWP
    525 		 * still holds it.
    526 		 */
    527 		KASSERTMSG((lwp_mismatch_ok || psref->psref_lwp == curlwp),
    528 		    "passive reference transferred from lwp %p to lwp %p",
    529 		    psref->psref_lwp, curlwp);
    530 
    531 		/* Stop here and report that we found it.  */
    532 		held = true;
    533 		break;
    534 	}
    535 
    536 	/* Release the CPU list and restore interrupts.  */
    537 	percpu_putref(class->prc_percpu);
    538 	splx(s);
    539 
    540 	return held;
    541 }
    542 
    543 /*
    544  * psref_held(target, class)
    545  *
    546  *	True if the current CPU holds a passive reference to target,
    547  *	false otherwise.  May be used only inside assertions.
    548  */
    549 bool
    550 psref_held(const struct psref_target *target, struct psref_class *class)
    551 {
    552 
    553 	return _psref_held(target, class, false);
    554 }
    555