sys/sys/sx.h

   1 /*
   2  * Copyright (C) 2001 Jason Evans <jasone@freebsd.org>.  All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  * 1. Redistributions of source code must retain the above copyright
   8  *    notice(s), this list of conditions and the following disclaimer as
   9  *    the first lines of this file unmodified other than the possible
  10  *    addition of one or more copyright notices.
  11  * 2. Redistributions in binary form must reproduce the above copyright
  12  *    notice(s), this list of conditions and the following disclaimer in the
  13  *    documentation and/or other materials provided with the distribution.
  14  *
  15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
  16  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  17  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18  * DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE LIABLE FOR ANY
  19  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  20  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22  * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  23  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  24  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
  25  * DAMAGE.
  26  *
  27  * $FreeBSD$
  28  */
  29
  30 #ifndef _SYS_SX_H_
  31 #define _SYS_SX_H_
  32
  33 #ifndef LOCORE
  34 #include <sys/_mutex.h>
  35 #include <sys/condvar.h>        /* XXX */
  36
  37 struct sx {
  38         struct lock_object sx_object;   /* Common lock properties. */
  39         struct mtx      sx_lock;        /* General protection lock. */
  40         int             sx_cnt;         /* -1: xlock, > 0: slock count. */
  41         struct cv       sx_shrd_cv;     /* slock waiters. */
  42         int             sx_shrd_wcnt;   /* Number of slock waiters. */
  43         struct cv       sx_excl_cv;     /* xlock waiters. */
  44         int             sx_excl_wcnt;   /* Number of xlock waiters. */
  45         struct proc     *sx_xholder;    /* Thread presently holding xlock. */
  46 };
  47
  48 #ifdef _KERNEL
  49 void    sx_init(struct sx *sx, const char *description);
  50 void    sx_destroy(struct sx *sx);
  51 void    _sx_slock(struct sx *sx, const char *file, int line);
  52 void    _sx_xlock(struct sx *sx, const char *file, int line);
  53 void    _sx_sunlock(struct sx *sx, const char *file, int line);
  54 void    _sx_xunlock(struct sx *sx, const char *file, int line);
  55
  56 #define sx_slock(sx)    _sx_slock((sx), __FILE__, __LINE__)
  57 #define sx_xlock(sx)    _sx_xlock((sx), __FILE__, __LINE__)
  58 #define sx_sunlock(sx)  _sx_sunlock((sx), __FILE__, __LINE__)
  59 #define sx_xunlock(sx)  _sx_xunlock((sx), __FILE__, __LINE__)
  60
  61 #ifdef INVARIANTS
  62 /*
  63  * SX_ASSERT_SLOCKED() can only detect that at least *some* thread owns an
  64  * slock, but it cannot guarantee that *this* thread owns an slock.
  65  */
  66 #define SX_ASSERT_SLOCKED(sx) do {                                      \
  67         mtx_lock(&(sx)->sx_lock);                                       \
  68         _SX_ASSERT_SLOCKED((sx));                                       \
  69         mtx_unlock(&(sx)->sx_lock);                                     \
  70 } while (0)
  71 #define _SX_ASSERT_SLOCKED(sx) do {                                     \
  72         KASSERT(((sx)->sx_cnt > 0), ("%s: lacking slock %s\n",          \
  73             __FUNCTION__, (sx)->sx_object.lo_name));                    \
  74 } while (0)
  75
  76 /*
  77  * SX_ASSERT_XLOCKED() detects and guarantees that *we* own the xlock.
  78  */
  79 #define SX_ASSERT_XLOCKED(sx) do {                                      \
  80         mtx_lock(&(sx)->sx_lock);                                       \
  81         _SX_ASSERT_XLOCKED((sx));                                       \
  82         mtx_unlock(&(sx)->sx_lock);                                     \
  83 } while (0)
  84 #define _SX_ASSERT_XLOCKED(sx) do {                                     \
  85         KASSERT(((sx)->sx_xholder == curproc),                          \
  86             ("%s: thread %p lacking xlock %s\n", __FUNCTION__,          \
  87             curproc, (sx)->sx_object.lo_name));                         \
  88 } while (0)
  89
  90 #else   /* INVARIANTS */
  91 #define SX_ASSERT_SLOCKED(sx)
  92 #define SX_ASSERT_XLOCKED(sx)
  93 #define _SX_ASSERT_SLOCKED(sx)
  94 #define _SX_ASSERT_XLOCKED(sx)
  95 #endif  /* INVARIANTS */
  96
  97 #endif  /* _KERNEL */
  98 #endif  /* !LOCORE */
  99 #endif  /* _SYS_SX_H_ */