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