blob: b933d0fc21b8b2011a0b8751574377724804481b [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/mm/mempool.c
4 *
5 * memory buffer pool support. Such pools are mostly used
6 * for guaranteed, deadlock-free memory allocations during
7 * extreme VM load.
8 *
9 * started by Ingo Molnar, Copyright (C) 2001
David Rientjesbdfedb72015-04-15 16:14:17 -070010 * debugging by David Rientjes, Copyright (C) 2015
Linus Torvalds1da177e2005-04-16 15:20:36 -070011 */
12
13#include <linux/mm.h>
14#include <linux/slab.h>
David Rientjesbdfedb72015-04-15 16:14:17 -070015#include <linux/highmem.h>
Andrey Ryabinin92393612015-04-15 16:15:05 -070016#include <linux/kasan.h>
Catalin Marinas17411962014-06-06 14:38:19 -070017#include <linux/kmemleak.h>
Paul Gortmakerb95f1b312011-10-16 02:01:52 -040018#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/mempool.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070020#include <linux/writeback.h>
David Rientjese244c9e2015-04-15 16:14:14 -070021#include "slab.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070022
David Rientjesbdfedb72015-04-15 16:14:17 -070023#if defined(CONFIG_DEBUG_SLAB) || defined(CONFIG_SLUB_DEBUG_ON)
24static void poison_error(mempool_t *pool, void *element, size_t size,
25 size_t byte)
26{
27 const int nr = pool->curr_nr;
28 const int start = max_t(int, byte - (BITS_PER_LONG / 8), 0);
29 const int end = min_t(int, byte + (BITS_PER_LONG / 8), size);
30 int i;
31
32 pr_err("BUG: mempool element poison mismatch\n");
33 pr_err("Mempool %p size %zu\n", pool, size);
34 pr_err(" nr=%d @ %p: %s0x", nr, element, start > 0 ? "... " : "");
35 for (i = start; i < end; i++)
36 pr_cont("%x ", *(u8 *)(element + i));
37 pr_cont("%s\n", end < size ? "..." : "");
38 dump_stack();
39}
40
41static void __check_element(mempool_t *pool, void *element, size_t size)
42{
43 u8 *obj = element;
44 size_t i;
45
46 for (i = 0; i < size; i++) {
47 u8 exp = (i < size - 1) ? POISON_FREE : POISON_END;
48
49 if (obj[i] != exp) {
50 poison_error(pool, element, size, i);
51 return;
52 }
53 }
54 memset(obj, POISON_INUSE, size);
55}
56
57static void check_element(mempool_t *pool, void *element)
58{
59 /* Mempools backed by slab allocator */
Miaohe Lin544941d2020-10-13 16:57:14 -070060 if (pool->free == mempool_free_slab || pool->free == mempool_kfree) {
David Rientjesbdfedb72015-04-15 16:14:17 -070061 __check_element(pool, element, ksize(element));
Miaohe Lin544941d2020-10-13 16:57:14 -070062 } else if (pool->free == mempool_free_pages) {
63 /* Mempools backed by page allocator */
David Rientjesbdfedb72015-04-15 16:14:17 -070064 int order = (int)(long)pool->pool_data;
65 void *addr = kmap_atomic((struct page *)element);
66
67 __check_element(pool, addr, 1UL << (PAGE_SHIFT + order));
68 kunmap_atomic(addr);
69 }
70}
71
72static void __poison_element(void *element, size_t size)
73{
74 u8 *obj = element;
75
76 memset(obj, POISON_FREE, size - 1);
77 obj[size - 1] = POISON_END;
78}
79
80static void poison_element(mempool_t *pool, void *element)
81{
82 /* Mempools backed by slab allocator */
Miaohe Lin544941d2020-10-13 16:57:14 -070083 if (pool->alloc == mempool_alloc_slab || pool->alloc == mempool_kmalloc) {
David Rientjesbdfedb72015-04-15 16:14:17 -070084 __poison_element(element, ksize(element));
Miaohe Lin544941d2020-10-13 16:57:14 -070085 } else if (pool->alloc == mempool_alloc_pages) {
86 /* Mempools backed by page allocator */
David Rientjesbdfedb72015-04-15 16:14:17 -070087 int order = (int)(long)pool->pool_data;
88 void *addr = kmap_atomic((struct page *)element);
89
90 __poison_element(addr, 1UL << (PAGE_SHIFT + order));
91 kunmap_atomic(addr);
92 }
93}
94#else /* CONFIG_DEBUG_SLAB || CONFIG_SLUB_DEBUG_ON */
95static inline void check_element(mempool_t *pool, void *element)
96{
97}
98static inline void poison_element(mempool_t *pool, void *element)
99{
100}
101#endif /* CONFIG_DEBUG_SLAB || CONFIG_SLUB_DEBUG_ON */
102
Dmitry Vyukov6860f632018-02-06 15:36:30 -0800103static __always_inline void kasan_poison_element(mempool_t *pool, void *element)
Andrey Ryabinin92393612015-04-15 16:15:05 -0700104{
Andrey Ryabinin9b75a862016-06-24 14:49:34 -0700105 if (pool->alloc == mempool_alloc_slab || pool->alloc == mempool_kmalloc)
Andrey Konovalov027b37b2021-02-24 12:05:46 -0800106 kasan_slab_free_mempool(element);
Miaohe Lin544941d2020-10-13 16:57:14 -0700107 else if (pool->alloc == mempool_alloc_pages)
Peter Collingbourne7a3b8352021-06-02 16:52:28 -0700108 kasan_poison_pages(element, (unsigned long)pool->pool_data,
109 false);
Andrey Ryabinin92393612015-04-15 16:15:05 -0700110}
111
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700112static void kasan_unpoison_element(mempool_t *pool, void *element)
Andrey Ryabinin92393612015-04-15 16:15:05 -0700113{
Andrey Ryabinin9b75a862016-06-24 14:49:34 -0700114 if (pool->alloc == mempool_alloc_slab || pool->alloc == mempool_kmalloc)
Andrey Konovalovbffe6902020-12-22 12:02:59 -0800115 kasan_unpoison_range(element, __ksize(element));
Miaohe Lin544941d2020-10-13 16:57:14 -0700116 else if (pool->alloc == mempool_alloc_pages)
Peter Collingbourne7a3b8352021-06-02 16:52:28 -0700117 kasan_unpoison_pages(element, (unsigned long)pool->pool_data,
118 false);
Andrey Ryabinin92393612015-04-15 16:15:05 -0700119}
120
Dmitry Vyukov6860f632018-02-06 15:36:30 -0800121static __always_inline void add_element(mempool_t *pool, void *element)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122{
123 BUG_ON(pool->curr_nr >= pool->min_nr);
David Rientjesbdfedb72015-04-15 16:14:17 -0700124 poison_element(pool, element);
Andrey Ryabinin92393612015-04-15 16:15:05 -0700125 kasan_poison_element(pool, element);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126 pool->elements[pool->curr_nr++] = element;
127}
128
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700129static void *remove_element(mempool_t *pool)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130{
David Rientjesbdfedb72015-04-15 16:14:17 -0700131 void *element = pool->elements[--pool->curr_nr];
132
133 BUG_ON(pool->curr_nr < 0);
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700134 kasan_unpoison_element(pool, element);
Matthew Dawson76401312016-03-11 13:08:07 -0800135 check_element(pool, element);
David Rientjesbdfedb72015-04-15 16:14:17 -0700136 return element;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137}
138
Tejun Heo0565d312012-01-10 15:08:26 -0800139/**
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700140 * mempool_exit - exit a mempool initialized with mempool_init()
141 * @pool: pointer to the memory pool which was initialized with
142 * mempool_init().
143 *
144 * Free all reserved elements in @pool and @pool itself. This function
145 * only sleeps if the free_fn() function sleeps.
146 *
147 * May be called on a zeroed but uninitialized mempool (i.e. allocated with
148 * kzalloc()).
149 */
150void mempool_exit(mempool_t *pool)
151{
152 while (pool->curr_nr) {
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700153 void *element = remove_element(pool);
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700154 pool->free(element, pool->pool_data);
155 }
156 kfree(pool->elements);
157 pool->elements = NULL;
158}
159EXPORT_SYMBOL(mempool_exit);
160
161/**
Tejun Heo0565d312012-01-10 15:08:26 -0800162 * mempool_destroy - deallocate a memory pool
163 * @pool: pointer to the memory pool which was allocated via
164 * mempool_create().
165 *
166 * Free all reserved elements in @pool and @pool itself. This function
167 * only sleeps if the free_fn() function sleeps.
168 */
169void mempool_destroy(mempool_t *pool)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170{
Sergey Senozhatsky4e3ca3e2015-09-08 15:00:53 -0700171 if (unlikely(!pool))
172 return;
173
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700174 mempool_exit(pool);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700175 kfree(pool);
176}
Tejun Heo0565d312012-01-10 15:08:26 -0800177EXPORT_SYMBOL(mempool_destroy);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700178
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700179int mempool_init_node(mempool_t *pool, int min_nr, mempool_alloc_t *alloc_fn,
180 mempool_free_t *free_fn, void *pool_data,
181 gfp_t gfp_mask, int node_id)
182{
183 spin_lock_init(&pool->lock);
184 pool->min_nr = min_nr;
185 pool->pool_data = pool_data;
186 pool->alloc = alloc_fn;
187 pool->free = free_fn;
188 init_waitqueue_head(&pool->wait);
189
190 pool->elements = kmalloc_array_node(min_nr, sizeof(void *),
191 gfp_mask, node_id);
192 if (!pool->elements)
193 return -ENOMEM;
194
195 /*
196 * First pre-allocate the guaranteed number of buffers.
197 */
198 while (pool->curr_nr < pool->min_nr) {
199 void *element;
200
201 element = pool->alloc(gfp_mask, pool->pool_data);
202 if (unlikely(!element)) {
203 mempool_exit(pool);
204 return -ENOMEM;
205 }
206 add_element(pool, element);
207 }
208
209 return 0;
210}
211EXPORT_SYMBOL(mempool_init_node);
212
213/**
214 * mempool_init - initialize a memory pool
Mike Rapoporta3bf6ce2018-08-21 21:53:03 -0700215 * @pool: pointer to the memory pool that should be initialized
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700216 * @min_nr: the minimum number of elements guaranteed to be
217 * allocated for this pool.
218 * @alloc_fn: user-defined element-allocation function.
219 * @free_fn: user-defined element-freeing function.
220 * @pool_data: optional private data available to the user-defined functions.
221 *
222 * Like mempool_create(), but initializes the pool in (i.e. embedded in another
223 * structure).
Mike Rapoporta862f682019-03-05 15:48:42 -0800224 *
225 * Return: %0 on success, negative error code otherwise.
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700226 */
227int mempool_init(mempool_t *pool, int min_nr, mempool_alloc_t *alloc_fn,
228 mempool_free_t *free_fn, void *pool_data)
229{
230 return mempool_init_node(pool, min_nr, alloc_fn, free_fn,
231 pool_data, GFP_KERNEL, NUMA_NO_NODE);
232
233}
234EXPORT_SYMBOL(mempool_init);
235
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236/**
237 * mempool_create - create a memory pool
238 * @min_nr: the minimum number of elements guaranteed to be
239 * allocated for this pool.
240 * @alloc_fn: user-defined element-allocation function.
241 * @free_fn: user-defined element-freeing function.
242 * @pool_data: optional private data available to the user-defined functions.
243 *
244 * this function creates and allocates a guaranteed size, preallocated
Robert P. J. Day72fd4a32007-02-10 01:45:59 -0800245 * memory pool. The pool can be used from the mempool_alloc() and mempool_free()
Linus Torvalds1da177e2005-04-16 15:20:36 -0700246 * functions. This function might sleep. Both the alloc_fn() and the free_fn()
Robert P. J. Day72fd4a32007-02-10 01:45:59 -0800247 * functions might sleep - as long as the mempool_alloc() function is not called
Linus Torvalds1da177e2005-04-16 15:20:36 -0700248 * from IRQ contexts.
Mike Rapoporta862f682019-03-05 15:48:42 -0800249 *
250 * Return: pointer to the created memory pool object or %NULL on error.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251 */
Christoph Lameter19460892005-06-23 00:08:19 -0700252mempool_t *mempool_create(int min_nr, mempool_alloc_t *alloc_fn,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253 mempool_free_t *free_fn, void *pool_data)
254{
Zhiyuan Dai68d68ff2021-05-04 18:40:12 -0700255 return mempool_create_node(min_nr, alloc_fn, free_fn, pool_data,
Tejun Heoa91a5ac2012-06-04 20:40:53 -0700256 GFP_KERNEL, NUMA_NO_NODE);
Christoph Lameter19460892005-06-23 00:08:19 -0700257}
258EXPORT_SYMBOL(mempool_create);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259
Christoph Lameter19460892005-06-23 00:08:19 -0700260mempool_t *mempool_create_node(int min_nr, mempool_alloc_t *alloc_fn,
Tejun Heoa91a5ac2012-06-04 20:40:53 -0700261 mempool_free_t *free_fn, void *pool_data,
262 gfp_t gfp_mask, int node_id)
Christoph Lameter19460892005-06-23 00:08:19 -0700263{
264 mempool_t *pool;
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700265
Joe Perches7b5219d2013-09-11 14:23:07 -0700266 pool = kzalloc_node(sizeof(*pool), gfp_mask, node_id);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267 if (!pool)
268 return NULL;
Kent Overstreetc1a67fe2015-05-04 16:52:20 -0700269
270 if (mempool_init_node(pool, min_nr, alloc_fn, free_fn, pool_data,
271 gfp_mask, node_id)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272 kfree(pool);
273 return NULL;
274 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276 return pool;
277}
Christoph Lameter19460892005-06-23 00:08:19 -0700278EXPORT_SYMBOL(mempool_create_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279
280/**
281 * mempool_resize - resize an existing memory pool
282 * @pool: pointer to the memory pool which was allocated via
283 * mempool_create().
284 * @new_min_nr: the new minimum number of elements guaranteed to be
285 * allocated for this pool.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286 *
287 * This function shrinks/grows the pool. In the case of growing,
288 * it cannot be guaranteed that the pool will be grown to the new
289 * size immediately, but new mempool_free() calls will refill it.
David Rientjes11d83362015-04-14 15:48:21 -0700290 * This function may sleep.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700291 *
292 * Note, the caller must guarantee that no mempool_destroy is called
293 * while this function is running. mempool_alloc() & mempool_free()
294 * might be called (eg. from IRQ contexts) while this function executes.
Mike Rapoporta862f682019-03-05 15:48:42 -0800295 *
296 * Return: %0 on success, negative error code otherwise.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700297 */
David Rientjes11d83362015-04-14 15:48:21 -0700298int mempool_resize(mempool_t *pool, int new_min_nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299{
300 void *element;
301 void **new_elements;
302 unsigned long flags;
303
304 BUG_ON(new_min_nr <= 0);
David Rientjes11d83362015-04-14 15:48:21 -0700305 might_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306
307 spin_lock_irqsave(&pool->lock, flags);
308 if (new_min_nr <= pool->min_nr) {
309 while (new_min_nr < pool->curr_nr) {
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700310 element = remove_element(pool);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311 spin_unlock_irqrestore(&pool->lock, flags);
312 pool->free(element, pool->pool_data);
313 spin_lock_irqsave(&pool->lock, flags);
314 }
315 pool->min_nr = new_min_nr;
316 goto out_unlock;
317 }
318 spin_unlock_irqrestore(&pool->lock, flags);
319
320 /* Grow the pool */
David Rientjes11d83362015-04-14 15:48:21 -0700321 new_elements = kmalloc_array(new_min_nr, sizeof(*new_elements),
322 GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323 if (!new_elements)
324 return -ENOMEM;
325
326 spin_lock_irqsave(&pool->lock, flags);
327 if (unlikely(new_min_nr <= pool->min_nr)) {
328 /* Raced, other resize will do our work */
329 spin_unlock_irqrestore(&pool->lock, flags);
330 kfree(new_elements);
331 goto out;
332 }
333 memcpy(new_elements, pool->elements,
334 pool->curr_nr * sizeof(*new_elements));
335 kfree(pool->elements);
336 pool->elements = new_elements;
337 pool->min_nr = new_min_nr;
338
339 while (pool->curr_nr < pool->min_nr) {
340 spin_unlock_irqrestore(&pool->lock, flags);
David Rientjes11d83362015-04-14 15:48:21 -0700341 element = pool->alloc(GFP_KERNEL, pool->pool_data);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342 if (!element)
343 goto out;
344 spin_lock_irqsave(&pool->lock, flags);
345 if (pool->curr_nr < pool->min_nr) {
346 add_element(pool, element);
347 } else {
348 spin_unlock_irqrestore(&pool->lock, flags);
349 pool->free(element, pool->pool_data); /* Raced */
350 goto out;
351 }
352 }
353out_unlock:
354 spin_unlock_irqrestore(&pool->lock, flags);
355out:
356 return 0;
357}
358EXPORT_SYMBOL(mempool_resize);
359
360/**
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 * mempool_alloc - allocate an element from a specific memory pool
362 * @pool: pointer to the memory pool which was allocated via
363 * mempool_create().
364 * @gfp_mask: the usual allocation bitmask.
365 *
Robert P. J. Day72fd4a32007-02-10 01:45:59 -0800366 * this function only sleeps if the alloc_fn() function sleeps or
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367 * returns NULL. Note that due to preallocation, this function
368 * *never* fails when called from process contexts. (it might
369 * fail if called from an IRQ context.)
Michal Hocko4e390b22016-07-28 15:48:44 -0700370 * Note: using __GFP_ZERO is not supported.
Mike Rapoporta862f682019-03-05 15:48:42 -0800371 *
372 * Return: pointer to the allocated element or %NULL on error.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373 */
David Rientjesf9054c72016-03-17 14:19:19 -0700374void *mempool_alloc(mempool_t *pool, gfp_t gfp_mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700375{
376 void *element;
377 unsigned long flags;
Ingo Molnarac6424b2017-06-20 12:06:13 +0200378 wait_queue_entry_t wait;
Al Viro6daa0e22005-10-21 03:18:50 -0400379 gfp_t gfp_temp;
Nick Piggin20a77772005-05-01 08:58:37 -0700380
Sebastian Ott8bf8fcb2014-06-04 16:07:00 -0700381 VM_WARN_ON_ONCE(gfp_mask & __GFP_ZERO);
Mel Gormand0164ad2015-11-06 16:28:21 -0800382 might_sleep_if(gfp_mask & __GFP_DIRECT_RECLAIM);
Nick Pigginb84a35b2005-05-01 08:58:36 -0700383
Michal Hocko4e390b22016-07-28 15:48:44 -0700384 gfp_mask |= __GFP_NOMEMALLOC; /* don't allocate emergency reserves */
Nick Pigginb84a35b2005-05-01 08:58:36 -0700385 gfp_mask |= __GFP_NORETRY; /* don't loop in __alloc_pages */
386 gfp_mask |= __GFP_NOWARN; /* failures are OK */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387
Mel Gormand0164ad2015-11-06 16:28:21 -0800388 gfp_temp = gfp_mask & ~(__GFP_DIRECT_RECLAIM|__GFP_IO);
Nick Piggin20a77772005-05-01 08:58:37 -0700389
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390repeat_alloc:
Nick Piggin20a77772005-05-01 08:58:37 -0700391
392 element = pool->alloc(gfp_temp, pool->pool_data);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700393 if (likely(element != NULL))
394 return element;
395
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396 spin_lock_irqsave(&pool->lock, flags);
397 if (likely(pool->curr_nr)) {
Jia-Ju Bai8cded862018-08-17 15:45:22 -0700398 element = remove_element(pool);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399 spin_unlock_irqrestore(&pool->lock, flags);
Tejun Heo5b990542012-01-10 15:08:23 -0800400 /* paired with rmb in mempool_free(), read comment there */
401 smp_wmb();
Catalin Marinas17411962014-06-06 14:38:19 -0700402 /*
403 * Update the allocation stack trace as this is more useful
404 * for debugging.
405 */
406 kmemleak_update_trace(element);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407 return element;
408 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700409
Tejun Heo1ebb7042012-01-10 15:08:28 -0800410 /*
Mel Gormand0164ad2015-11-06 16:28:21 -0800411 * We use gfp mask w/o direct reclaim or IO for the first round. If
Tejun Heo1ebb7042012-01-10 15:08:28 -0800412 * alloc failed with that and @pool was empty, retry immediately.
413 */
Michal Hocko4e390b22016-07-28 15:48:44 -0700414 if (gfp_temp != gfp_mask) {
Tejun Heo1ebb7042012-01-10 15:08:28 -0800415 spin_unlock_irqrestore(&pool->lock, flags);
416 gfp_temp = gfp_mask;
417 goto repeat_alloc;
418 }
419
Mel Gormand0164ad2015-11-06 16:28:21 -0800420 /* We must not sleep if !__GFP_DIRECT_RECLAIM */
421 if (!(gfp_mask & __GFP_DIRECT_RECLAIM)) {
Tejun Heo5b990542012-01-10 15:08:23 -0800422 spin_unlock_irqrestore(&pool->lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700423 return NULL;
Tejun Heo5b990542012-01-10 15:08:23 -0800424 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425
Tejun Heo5b990542012-01-10 15:08:23 -0800426 /* Let's wait for someone else to return an element to @pool */
Benjamin LaHaise01890a42005-06-23 00:10:01 -0700427 init_wait(&wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700428 prepare_to_wait(&pool->wait, &wait, TASK_UNINTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700429
Tejun Heo5b990542012-01-10 15:08:23 -0800430 spin_unlock_irqrestore(&pool->lock, flags);
431
432 /*
433 * FIXME: this should be io_schedule(). The timeout is there as a
434 * workaround for some DM problems in 2.6.18.
435 */
436 io_schedule_timeout(5*HZ);
437
438 finish_wait(&pool->wait, &wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439 goto repeat_alloc;
440}
441EXPORT_SYMBOL(mempool_alloc);
442
443/**
444 * mempool_free - return an element to the pool.
445 * @element: pool element pointer.
446 * @pool: pointer to the memory pool which was allocated via
447 * mempool_create().
448 *
449 * this function only sleeps if the free_fn() function sleeps.
450 */
451void mempool_free(void *element, mempool_t *pool)
452{
453 unsigned long flags;
454
Rusty Russellc80e7a82007-07-15 23:42:00 -0700455 if (unlikely(element == NULL))
456 return;
457
Tejun Heo5b990542012-01-10 15:08:23 -0800458 /*
459 * Paired with the wmb in mempool_alloc(). The preceding read is
460 * for @element and the following @pool->curr_nr. This ensures
461 * that the visible value of @pool->curr_nr is from after the
462 * allocation of @element. This is necessary for fringe cases
463 * where @element was passed to this task without going through
464 * barriers.
465 *
466 * For example, assume @p is %NULL at the beginning and one task
467 * performs "p = mempool_alloc(...);" while another task is doing
468 * "while (!p) cpu_relax(); mempool_free(p, ...);". This function
469 * may end up using curr_nr value which is from before allocation
470 * of @p without the following rmb.
471 */
472 smp_rmb();
473
474 /*
475 * For correctness, we need a test which is guaranteed to trigger
476 * if curr_nr + #allocated == min_nr. Testing curr_nr < min_nr
477 * without locking achieves that and refilling as soon as possible
478 * is desirable.
479 *
480 * Because curr_nr visible here is always a value after the
481 * allocation of @element, any task which decremented curr_nr below
482 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets
483 * incremented to min_nr afterwards. If curr_nr gets incremented
484 * to min_nr after the allocation of @element, the elements
485 * allocated after that are subject to the same guarantee.
486 *
487 * Waiters happen iff curr_nr is 0 and the above guarantee also
488 * ensures that there will be frees which return elements to the
489 * pool waking up the waiters.
490 */
Qian Caiabe1de42020-08-14 17:31:44 -0700491 if (unlikely(READ_ONCE(pool->curr_nr) < pool->min_nr)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492 spin_lock_irqsave(&pool->lock, flags);
Mikulas Patockaeb9a3c62014-04-07 15:37:35 -0700493 if (likely(pool->curr_nr < pool->min_nr)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494 add_element(pool, element);
495 spin_unlock_irqrestore(&pool->lock, flags);
496 wake_up(&pool->wait);
497 return;
498 }
499 spin_unlock_irqrestore(&pool->lock, flags);
500 }
501 pool->free(element, pool->pool_data);
502}
503EXPORT_SYMBOL(mempool_free);
504
505/*
506 * A commonly used alloc and free fn.
507 */
Al Virodd0fc662005-10-07 07:46:04 +0100508void *mempool_alloc_slab(gfp_t gfp_mask, void *pool_data)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509{
Pekka Enbergfcc234f2006-03-22 00:08:13 -0800510 struct kmem_cache *mem = pool_data;
David Rientjese244c9e2015-04-15 16:14:14 -0700511 VM_BUG_ON(mem->ctor);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 return kmem_cache_alloc(mem, gfp_mask);
513}
514EXPORT_SYMBOL(mempool_alloc_slab);
515
516void mempool_free_slab(void *element, void *pool_data)
517{
Pekka Enbergfcc234f2006-03-22 00:08:13 -0800518 struct kmem_cache *mem = pool_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519 kmem_cache_free(mem, element);
520}
521EXPORT_SYMBOL(mempool_free_slab);
Matthew Dobson6e0678f2006-03-26 01:37:44 -0800522
523/*
Matthew Dobson53184082006-03-26 01:37:46 -0800524 * A commonly used alloc and free fn that kmalloc/kfrees the amount of memory
Simon Arlott183ff222007-10-20 01:27:18 +0200525 * specified by pool_data
Matthew Dobson53184082006-03-26 01:37:46 -0800526 */
527void *mempool_kmalloc(gfp_t gfp_mask, void *pool_data)
528{
Figo.zhang5e2f89b2009-08-08 21:01:22 +0800529 size_t size = (size_t)pool_data;
Matthew Dobson53184082006-03-26 01:37:46 -0800530 return kmalloc(size, gfp_mask);
531}
532EXPORT_SYMBOL(mempool_kmalloc);
533
534void mempool_kfree(void *element, void *pool_data)
535{
536 kfree(element);
537}
538EXPORT_SYMBOL(mempool_kfree);
539
540/*
Matthew Dobson6e0678f2006-03-26 01:37:44 -0800541 * A simple mempool-backed page allocator that allocates pages
542 * of the order specified by pool_data.
543 */
544void *mempool_alloc_pages(gfp_t gfp_mask, void *pool_data)
545{
546 int order = (int)(long)pool_data;
547 return alloc_pages(gfp_mask, order);
548}
549EXPORT_SYMBOL(mempool_alloc_pages);
550
551void mempool_free_pages(void *element, void *pool_data)
552{
553 int order = (int)(long)pool_data;
554 __free_pages(element, order);
555}
556EXPORT_SYMBOL(mempool_free_pages);