FreeBSD kernel kern code
kern_mtxpool.c
Go to the documentation of this file.
1 /*-
2  * Copyright (c) 2001 Matthew Dillon. 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, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  * notice, this list of conditions and the following disclaimer in the
11  * documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY AUTHOR AND CONTRIBUTORS ``AS IS'' AND
14  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
16  * ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
17  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
18  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
19  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
20  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
21  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
22  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
23  * SUCH DAMAGE.
24  */
25 
26 /* Mutex pool routines. These routines are designed to be used as short
27  * term leaf mutexes (e.g. the last mutex you might acquire other then
28  * calling msleep()). They operate using a shared pool. A mutex is chosen
29  * from the pool based on the supplied pointer (which may or may not be
30  * valid).
31  *
32  * Advantages:
33  * - no structural overhead. Mutexes can be associated with structures
34  * without adding bloat to the structures.
35  * - mutexes can be obtained for invalid pointers, useful when uses
36  * mutexes to interlock destructor ops.
37  * - no initialization/destructor overhead.
38  * - can be used with msleep.
39  *
40  * Disadvantages:
41  * - should generally only be used as leaf mutexes.
42  * - pool/pool dependancy ordering cannot be depended on.
43  * - possible L1 cache mastersip contention between cpus.
44  */
45 
46 #include <sys/cdefs.h>
47 __FBSDID("$BSDSUniX$");
48 
49 #include <sys/param.h>
50 #include <sys/proc.h>
51 #include <sys/kernel.h>
52 #include <sys/ktr.h>
53 #include <sys/lock.h>
54 #include <sys/malloc.h>
55 #include <sys/mutex.h>
56 #include <sys/systm.h>
57 
58 
59 static MALLOC_DEFINE(M_MTXPOOL, "mtx_pool", "mutex pool");
60 
61 /* Pool sizes must be a power of two */
62 #ifndef MTX_POOL_LOCKBUILDER_SIZE
63 #define MTX_POOL_LOCKBUILDER_SIZE 128
64 #endif
65 #ifndef MTX_POOL_SLEEP_SIZE
66 #define MTX_POOL_SLEEP_SIZE 128
67 #endif
68 
74 };
75 
76 struct mtx_pool {
78  struct mtx mtx_pool_ary[1];
79 };
80 
81 static struct mtx_pool_lockbuilder {
85 
86 #define mtx_pool_size mtx_pool_header.mtxpool_size
87 #define mtx_pool_mask mtx_pool_header.mtxpool_mask
88 #define mtx_pool_shift mtx_pool_header.mtxpool_shift
89 #define mtx_pool_next mtx_pool_header.mtxpool_next
90 
93 
94 #if UINTPTR_MAX == UINT64_MAX /* 64 bits */
95 # define POINTER_BITS 64
96 # define HASH_MULTIPLIER 11400714819323198485u /* (2^64)*(sqrt(5)-1)/2 */
97 #else /* assume 32 bits */
98 # define POINTER_BITS 32
99 # define HASH_MULTIPLIER 2654435769u /* (2^32)*(sqrt(5)-1)/2 */
100 #endif
101 
102 /*
103  * Return the (shared) pool mutex associated with the specified address.
104  * The returned mutex is a leaf level mutex, meaning that if you obtain it
105  * you cannot obtain any other mutexes until you release it. You can
106  * legally msleep() on the mutex.
107  */
108 struct mtx *
109 mtx_pool_find(struct mtx_pool *pool, void *ptr)
110 {
111  int p;
112 
113  KASSERT(pool != NULL, ("_mtx_pool_find(): null pool"));
114  /*
115  * Fibonacci hash, see Knuth's
116  * _Art of Computer Programming, Volume 3 / Sorting and Searching_
117  */
118  p = ((HASH_MULTIPLIER * (uintptr_t)ptr) >> pool->mtx_pool_shift) &
119  pool->mtx_pool_mask;
120  return (&pool->mtx_pool_ary[p]);
121 }
122 
123 static void
124 mtx_pool_initialize(struct mtx_pool *pool, const char *mtx_name, int pool_size,
125  int opts)
126 {
127  int i, maskbits;
128 
129  pool->mtx_pool_size = pool_size;
130  pool->mtx_pool_mask = pool_size - 1;
131  for (i = 1, maskbits = 0; (i & pool_size) == 0; i = i << 1)
132  maskbits++;
133  pool->mtx_pool_shift = POINTER_BITS - maskbits;
134  pool->mtx_pool_next = 0;
135  for (i = 0; i < pool_size; ++i)
136  mtx_init(&pool->mtx_pool_ary[i], mtx_name, NULL, opts);
137 }
138 
139 struct mtx_pool *
140 mtx_pool_create(const char *mtx_name, int pool_size, int opts)
141 {
142  struct mtx_pool *pool;
143 
144  if (pool_size <= 0 || !powerof2(pool_size)) {
145  printf("WARNING: %s pool size is not a power of 2.\n",
146  mtx_name);
147  pool_size = 128;
148  }
149  pool = malloc(sizeof (struct mtx_pool) +
150  ((pool_size - 1) * sizeof (struct mtx)),
151  M_MTXPOOL, M_WAITOK | M_ZERO);
152  mtx_pool_initialize(pool, mtx_name, pool_size, opts);
153  return pool;
154 }
155 
156 void
157 mtx_pool_destroy(struct mtx_pool **poolp)
158 {
159  int i;
160  struct mtx_pool *pool = *poolp;
161 
162  for (i = pool->mtx_pool_size - 1; i >= 0; --i)
163  mtx_destroy(&pool->mtx_pool_ary[i]);
164  free(pool, M_MTXPOOL);
165  *poolp = NULL;
166 }
167 
168 static void
170 {
172  "lockbuilder mtxpool", MTX_POOL_LOCKBUILDER_SIZE,
173  MTX_DEF | MTX_NOWITNESS | MTX_QUIET);
174  mtxpool_lockbuilder = (struct mtx_pool *)&lockbuilder_pool;
175 }
176 
177 static void
179 {
180  mtxpool_sleep = mtx_pool_create("sleep mtxpool",
181  MTX_POOL_SLEEP_SIZE, MTX_DEF);
182 }
183 
184 /*
185  * Obtain a (shared) mutex from the pool. The returned mutex is a leaf
186  * level mutex, meaning that if you obtain it you cannot obtain any other
187  * mutexes until you release it. You can legally msleep() on the mutex.
188  */
189 struct mtx *
191 {
192  int i;
193 
194  KASSERT(pool != NULL, ("mtx_pool_alloc(): null pool"));
195  /*
196  * mtx_pool_next is unprotected against multiple accesses,
197  * but simultaneous access by two CPUs should not be very
198  * harmful.
199  */
200  i = pool->mtx_pool_next;
201  pool->mtx_pool_next = (i + 1) & pool->mtx_pool_mask;
202  return (&pool->mtx_pool_ary[i]);
203 }
204 
205 /*
206  * The lockbuilder pool must be initialized early because the lockmgr
207  * and sx locks depend on it. The sx locks are used in the kernel
208  * memory allocator. The lockmgr subsystem is initialized by
209  * SYSINIT(..., SI_SUB_LOCKMGR, ...).
210  *
211  * We can't call malloc() to dynamically allocate the sleep pool
212  * until after kmeminit() has been called, which is done by
213  * SYSINIT(..., SI_SUB_KMEM, ...).
214  */
215 SYSINIT(mtxpooli1, SI_SUB_MTX_POOL_STATIC, SI_ORDER_FIRST,
216  mtx_pool_setup_static, NULL);
217 SYSINIT(mtxpooli2, SI_SUB_MTX_POOL_DYNAMIC, SI_ORDER_FIRST,
218  mtx_pool_setup_dynamic, NULL);
#define HASH_MULTIPLIER
Definition: kern_mtxpool.c:96
#define MTX_POOL_SLEEP_SIZE
Definition: kern_mtxpool.c:66
struct mtx_pool * mtxpool_sleep
Definition: kern_mtxpool.c:91
struct mtxpool_header mtx_pool_header
Definition: kern_mtxpool.c:77
struct mtx * mtx_pool_alloc(struct mtx_pool *pool)
Definition: kern_mtxpool.c:190
struct mtxpool_header mtx_pool_header
Definition: kern_mtxpool.c:82
void * malloc(unsigned long size, struct malloc_type *mtp, int flags)
Definition: kern_malloc.c:454
struct mtx mtx_pool_ary[MTX_POOL_LOCKBUILDER_SIZE]
Definition: kern_mtxpool.c:83
SYSINIT(mtxpooli1, SI_SUB_MTX_POOL_STATIC, SI_ORDER_FIRST, mtx_pool_setup_static, NULL)
struct mtx * mtx_pool_find(struct mtx_pool *pool, void *ptr)
Definition: kern_mtxpool.c:109
static void mtx_pool_setup_dynamic(void *dummy __unused)
Definition: kern_mtxpool.c:178
static int dummy
static MALLOC_DEFINE(M_MTXPOOL,"mtx_pool","mutex pool")
static struct mtx_pool_lockbuilder lockbuilder_pool
#define MTX_POOL_LOCKBUILDER_SIZE
Definition: kern_mtxpool.c:63
static void mtx_pool_initialize(struct mtx_pool *pool, const char *mtx_name, int pool_size, int opts)
Definition: kern_mtxpool.c:124
struct mtx_pool * mtx_pool_create(const char *mtx_name, int pool_size, int opts)
Definition: kern_mtxpool.c:140
void free(void *addr, struct malloc_type *mtp)
Definition: kern_malloc.c:554
int printf(const char *fmt,...)
Definition: subr_prf.c:367
struct mtx mtx_pool_ary[1]
Definition: kern_mtxpool.c:78
void mtx_init(struct mtx *m, const char *name, const char *type, int opts)
Definition: kern_mutex.c:837
struct mtx_pool * mtxpool_lockbuilder
Definition: kern_mtxpool.c:92
void mtx_pool_destroy(struct mtx_pool **poolp)
Definition: kern_mtxpool.c:157
__FBSDID("$BSDSUniX$")
void mtx_destroy(struct mtx *m)
Definition: kern_mutex.c:884
#define POINTER_BITS
Definition: kern_mtxpool.c:95
static void mtx_pool_setup_static(void *dummy __unused)
Definition: kern_mtxpool.c:169