xref: /openbmc/linux/mm/mempool.c (revision 4e3ca3e033d1eea62fa16c3fdbef4f20427bd0de)
11da177e4SLinus Torvalds /*
21da177e4SLinus Torvalds  *  linux/mm/mempool.c
31da177e4SLinus Torvalds  *
41da177e4SLinus Torvalds  *  memory buffer pool support. Such pools are mostly used
51da177e4SLinus Torvalds  *  for guaranteed, deadlock-free memory allocations during
61da177e4SLinus Torvalds  *  extreme VM load.
71da177e4SLinus Torvalds  *
81da177e4SLinus Torvalds  *  started by Ingo Molnar, Copyright (C) 2001
9bdfedb76SDavid Rientjes  *  debugging by David Rientjes, Copyright (C) 2015
101da177e4SLinus Torvalds  */
111da177e4SLinus Torvalds 
121da177e4SLinus Torvalds #include <linux/mm.h>
131da177e4SLinus Torvalds #include <linux/slab.h>
14bdfedb76SDavid Rientjes #include <linux/highmem.h>
1592393615SAndrey Ryabinin #include <linux/kasan.h>
1617411962SCatalin Marinas #include <linux/kmemleak.h>
17b95f1b31SPaul Gortmaker #include <linux/export.h>
181da177e4SLinus Torvalds #include <linux/mempool.h>
191da177e4SLinus Torvalds #include <linux/blkdev.h>
201da177e4SLinus Torvalds #include <linux/writeback.h>
21e244c9e6SDavid Rientjes #include "slab.h"
221da177e4SLinus Torvalds 
23bdfedb76SDavid Rientjes #if defined(CONFIG_DEBUG_SLAB) || defined(CONFIG_SLUB_DEBUG_ON)
24bdfedb76SDavid Rientjes static void poison_error(mempool_t *pool, void *element, size_t size,
25bdfedb76SDavid Rientjes 			 size_t byte)
26bdfedb76SDavid Rientjes {
27bdfedb76SDavid Rientjes 	const int nr = pool->curr_nr;
28bdfedb76SDavid Rientjes 	const int start = max_t(int, byte - (BITS_PER_LONG / 8), 0);
29bdfedb76SDavid Rientjes 	const int end = min_t(int, byte + (BITS_PER_LONG / 8), size);
30bdfedb76SDavid Rientjes 	int i;
31bdfedb76SDavid Rientjes 
32bdfedb76SDavid Rientjes 	pr_err("BUG: mempool element poison mismatch\n");
33bdfedb76SDavid Rientjes 	pr_err("Mempool %p size %zu\n", pool, size);
34bdfedb76SDavid Rientjes 	pr_err(" nr=%d @ %p: %s0x", nr, element, start > 0 ? "... " : "");
35bdfedb76SDavid Rientjes 	for (i = start; i < end; i++)
36bdfedb76SDavid Rientjes 		pr_cont("%x ", *(u8 *)(element + i));
37bdfedb76SDavid Rientjes 	pr_cont("%s\n", end < size ? "..." : "");
38bdfedb76SDavid Rientjes 	dump_stack();
39bdfedb76SDavid Rientjes }
40bdfedb76SDavid Rientjes 
41bdfedb76SDavid Rientjes static void __check_element(mempool_t *pool, void *element, size_t size)
42bdfedb76SDavid Rientjes {
43bdfedb76SDavid Rientjes 	u8 *obj = element;
44bdfedb76SDavid Rientjes 	size_t i;
45bdfedb76SDavid Rientjes 
46bdfedb76SDavid Rientjes 	for (i = 0; i < size; i++) {
47bdfedb76SDavid Rientjes 		u8 exp = (i < size - 1) ? POISON_FREE : POISON_END;
48bdfedb76SDavid Rientjes 
49bdfedb76SDavid Rientjes 		if (obj[i] != exp) {
50bdfedb76SDavid Rientjes 			poison_error(pool, element, size, i);
51bdfedb76SDavid Rientjes 			return;
52bdfedb76SDavid Rientjes 		}
53bdfedb76SDavid Rientjes 	}
54bdfedb76SDavid Rientjes 	memset(obj, POISON_INUSE, size);
55bdfedb76SDavid Rientjes }
56bdfedb76SDavid Rientjes 
57bdfedb76SDavid Rientjes static void check_element(mempool_t *pool, void *element)
58bdfedb76SDavid Rientjes {
59bdfedb76SDavid Rientjes 	/* Mempools backed by slab allocator */
60bdfedb76SDavid Rientjes 	if (pool->free == mempool_free_slab || pool->free == mempool_kfree)
61bdfedb76SDavid Rientjes 		__check_element(pool, element, ksize(element));
62bdfedb76SDavid Rientjes 
63bdfedb76SDavid Rientjes 	/* Mempools backed by page allocator */
64bdfedb76SDavid Rientjes 	if (pool->free == mempool_free_pages) {
65bdfedb76SDavid Rientjes 		int order = (int)(long)pool->pool_data;
66bdfedb76SDavid Rientjes 		void *addr = kmap_atomic((struct page *)element);
67bdfedb76SDavid Rientjes 
68bdfedb76SDavid Rientjes 		__check_element(pool, addr, 1UL << (PAGE_SHIFT + order));
69bdfedb76SDavid Rientjes 		kunmap_atomic(addr);
70bdfedb76SDavid Rientjes 	}
71bdfedb76SDavid Rientjes }
72bdfedb76SDavid Rientjes 
73bdfedb76SDavid Rientjes static void __poison_element(void *element, size_t size)
74bdfedb76SDavid Rientjes {
75bdfedb76SDavid Rientjes 	u8 *obj = element;
76bdfedb76SDavid Rientjes 
77bdfedb76SDavid Rientjes 	memset(obj, POISON_FREE, size - 1);
78bdfedb76SDavid Rientjes 	obj[size - 1] = POISON_END;
79bdfedb76SDavid Rientjes }
80bdfedb76SDavid Rientjes 
81bdfedb76SDavid Rientjes static void poison_element(mempool_t *pool, void *element)
82bdfedb76SDavid Rientjes {
83bdfedb76SDavid Rientjes 	/* Mempools backed by slab allocator */
84bdfedb76SDavid Rientjes 	if (pool->alloc == mempool_alloc_slab || pool->alloc == mempool_kmalloc)
85bdfedb76SDavid Rientjes 		__poison_element(element, ksize(element));
86bdfedb76SDavid Rientjes 
87bdfedb76SDavid Rientjes 	/* Mempools backed by page allocator */
88bdfedb76SDavid Rientjes 	if (pool->alloc == mempool_alloc_pages) {
89bdfedb76SDavid Rientjes 		int order = (int)(long)pool->pool_data;
90bdfedb76SDavid Rientjes 		void *addr = kmap_atomic((struct page *)element);
91bdfedb76SDavid Rientjes 
92bdfedb76SDavid Rientjes 		__poison_element(addr, 1UL << (PAGE_SHIFT + order));
93bdfedb76SDavid Rientjes 		kunmap_atomic(addr);
94bdfedb76SDavid Rientjes 	}
95bdfedb76SDavid Rientjes }
96bdfedb76SDavid Rientjes #else /* CONFIG_DEBUG_SLAB || CONFIG_SLUB_DEBUG_ON */
97bdfedb76SDavid Rientjes static inline void check_element(mempool_t *pool, void *element)
98bdfedb76SDavid Rientjes {
99bdfedb76SDavid Rientjes }
100bdfedb76SDavid Rientjes static inline void poison_element(mempool_t *pool, void *element)
101bdfedb76SDavid Rientjes {
102bdfedb76SDavid Rientjes }
103bdfedb76SDavid Rientjes #endif /* CONFIG_DEBUG_SLAB || CONFIG_SLUB_DEBUG_ON */
104bdfedb76SDavid Rientjes 
10592393615SAndrey Ryabinin static void kasan_poison_element(mempool_t *pool, void *element)
10692393615SAndrey Ryabinin {
10792393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_slab)
10892393615SAndrey Ryabinin 		kasan_slab_free(pool->pool_data, element);
10992393615SAndrey Ryabinin 	if (pool->alloc == mempool_kmalloc)
11092393615SAndrey Ryabinin 		kasan_kfree(element);
11192393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_pages)
11292393615SAndrey Ryabinin 		kasan_free_pages(element, (unsigned long)pool->pool_data);
11392393615SAndrey Ryabinin }
11492393615SAndrey Ryabinin 
11592393615SAndrey Ryabinin static void kasan_unpoison_element(mempool_t *pool, void *element)
11692393615SAndrey Ryabinin {
11792393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_slab)
11892393615SAndrey Ryabinin 		kasan_slab_alloc(pool->pool_data, element);
11992393615SAndrey Ryabinin 	if (pool->alloc == mempool_kmalloc)
12092393615SAndrey Ryabinin 		kasan_krealloc(element, (size_t)pool->pool_data);
12192393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_pages)
12292393615SAndrey Ryabinin 		kasan_alloc_pages(element, (unsigned long)pool->pool_data);
12392393615SAndrey Ryabinin }
12492393615SAndrey Ryabinin 
1251da177e4SLinus Torvalds static void add_element(mempool_t *pool, void *element)
1261da177e4SLinus Torvalds {
1271da177e4SLinus Torvalds 	BUG_ON(pool->curr_nr >= pool->min_nr);
128bdfedb76SDavid Rientjes 	poison_element(pool, element);
12992393615SAndrey Ryabinin 	kasan_poison_element(pool, element);
1301da177e4SLinus Torvalds 	pool->elements[pool->curr_nr++] = element;
1311da177e4SLinus Torvalds }
1321da177e4SLinus Torvalds 
1331da177e4SLinus Torvalds static void *remove_element(mempool_t *pool)
1341da177e4SLinus Torvalds {
135bdfedb76SDavid Rientjes 	void *element = pool->elements[--pool->curr_nr];
136bdfedb76SDavid Rientjes 
137bdfedb76SDavid Rientjes 	BUG_ON(pool->curr_nr < 0);
138bdfedb76SDavid Rientjes 	check_element(pool, element);
13992393615SAndrey Ryabinin 	kasan_unpoison_element(pool, element);
140bdfedb76SDavid Rientjes 	return element;
1411da177e4SLinus Torvalds }
1421da177e4SLinus Torvalds 
1430565d317STejun Heo /**
1440565d317STejun Heo  * mempool_destroy - deallocate a memory pool
1450565d317STejun Heo  * @pool:      pointer to the memory pool which was allocated via
1460565d317STejun Heo  *             mempool_create().
1470565d317STejun Heo  *
1480565d317STejun Heo  * Free all reserved elements in @pool and @pool itself.  This function
1490565d317STejun Heo  * only sleeps if the free_fn() function sleeps.
1500565d317STejun Heo  */
1510565d317STejun Heo void mempool_destroy(mempool_t *pool)
1521da177e4SLinus Torvalds {
153*4e3ca3e0SSergey Senozhatsky 	if (unlikely(!pool))
154*4e3ca3e0SSergey Senozhatsky 		return;
155*4e3ca3e0SSergey Senozhatsky 
1561da177e4SLinus Torvalds 	while (pool->curr_nr) {
1571da177e4SLinus Torvalds 		void *element = remove_element(pool);
1581da177e4SLinus Torvalds 		pool->free(element, pool->pool_data);
1591da177e4SLinus Torvalds 	}
1601da177e4SLinus Torvalds 	kfree(pool->elements);
1611da177e4SLinus Torvalds 	kfree(pool);
1621da177e4SLinus Torvalds }
1630565d317STejun Heo EXPORT_SYMBOL(mempool_destroy);
1641da177e4SLinus Torvalds 
1651da177e4SLinus Torvalds /**
1661da177e4SLinus Torvalds  * mempool_create - create a memory pool
1671da177e4SLinus Torvalds  * @min_nr:    the minimum number of elements guaranteed to be
1681da177e4SLinus Torvalds  *             allocated for this pool.
1691da177e4SLinus Torvalds  * @alloc_fn:  user-defined element-allocation function.
1701da177e4SLinus Torvalds  * @free_fn:   user-defined element-freeing function.
1711da177e4SLinus Torvalds  * @pool_data: optional private data available to the user-defined functions.
1721da177e4SLinus Torvalds  *
1731da177e4SLinus Torvalds  * this function creates and allocates a guaranteed size, preallocated
17472fd4a35SRobert P. J. Day  * memory pool. The pool can be used from the mempool_alloc() and mempool_free()
1751da177e4SLinus Torvalds  * functions. This function might sleep. Both the alloc_fn() and the free_fn()
17672fd4a35SRobert P. J. Day  * functions might sleep - as long as the mempool_alloc() function is not called
1771da177e4SLinus Torvalds  * from IRQ contexts.
1781da177e4SLinus Torvalds  */
1791da177e4SLinus Torvalds mempool_t *mempool_create(int min_nr, mempool_alloc_t *alloc_fn,
1801da177e4SLinus Torvalds 				mempool_free_t *free_fn, void *pool_data)
1811da177e4SLinus Torvalds {
182a91a5ac6STejun Heo 	return mempool_create_node(min_nr,alloc_fn,free_fn, pool_data,
183a91a5ac6STejun Heo 				   GFP_KERNEL, NUMA_NO_NODE);
1841946089aSChristoph Lameter }
1851946089aSChristoph Lameter EXPORT_SYMBOL(mempool_create);
1861da177e4SLinus Torvalds 
1871946089aSChristoph Lameter mempool_t *mempool_create_node(int min_nr, mempool_alloc_t *alloc_fn,
188a91a5ac6STejun Heo 			       mempool_free_t *free_fn, void *pool_data,
189a91a5ac6STejun Heo 			       gfp_t gfp_mask, int node_id)
1901946089aSChristoph Lameter {
1911946089aSChristoph Lameter 	mempool_t *pool;
1927b5219dbSJoe Perches 	pool = kzalloc_node(sizeof(*pool), gfp_mask, node_id);
1931da177e4SLinus Torvalds 	if (!pool)
1941da177e4SLinus Torvalds 		return NULL;
1951946089aSChristoph Lameter 	pool->elements = kmalloc_node(min_nr * sizeof(void *),
196a91a5ac6STejun Heo 				      gfp_mask, node_id);
1971da177e4SLinus Torvalds 	if (!pool->elements) {
1981da177e4SLinus Torvalds 		kfree(pool);
1991da177e4SLinus Torvalds 		return NULL;
2001da177e4SLinus Torvalds 	}
2011da177e4SLinus Torvalds 	spin_lock_init(&pool->lock);
2021da177e4SLinus Torvalds 	pool->min_nr = min_nr;
2031da177e4SLinus Torvalds 	pool->pool_data = pool_data;
2041da177e4SLinus Torvalds 	init_waitqueue_head(&pool->wait);
2051da177e4SLinus Torvalds 	pool->alloc = alloc_fn;
2061da177e4SLinus Torvalds 	pool->free = free_fn;
2071da177e4SLinus Torvalds 
2081da177e4SLinus Torvalds 	/*
2091da177e4SLinus Torvalds 	 * First pre-allocate the guaranteed number of buffers.
2101da177e4SLinus Torvalds 	 */
2111da177e4SLinus Torvalds 	while (pool->curr_nr < pool->min_nr) {
2121da177e4SLinus Torvalds 		void *element;
2131da177e4SLinus Torvalds 
214a91a5ac6STejun Heo 		element = pool->alloc(gfp_mask, pool->pool_data);
2151da177e4SLinus Torvalds 		if (unlikely(!element)) {
2160565d317STejun Heo 			mempool_destroy(pool);
2171da177e4SLinus Torvalds 			return NULL;
2181da177e4SLinus Torvalds 		}
2191da177e4SLinus Torvalds 		add_element(pool, element);
2201da177e4SLinus Torvalds 	}
2211da177e4SLinus Torvalds 	return pool;
2221da177e4SLinus Torvalds }
2231946089aSChristoph Lameter EXPORT_SYMBOL(mempool_create_node);
2241da177e4SLinus Torvalds 
2251da177e4SLinus Torvalds /**
2261da177e4SLinus Torvalds  * mempool_resize - resize an existing memory pool
2271da177e4SLinus Torvalds  * @pool:       pointer to the memory pool which was allocated via
2281da177e4SLinus Torvalds  *              mempool_create().
2291da177e4SLinus Torvalds  * @new_min_nr: the new minimum number of elements guaranteed to be
2301da177e4SLinus Torvalds  *              allocated for this pool.
2311da177e4SLinus Torvalds  *
2321da177e4SLinus Torvalds  * This function shrinks/grows the pool. In the case of growing,
2331da177e4SLinus Torvalds  * it cannot be guaranteed that the pool will be grown to the new
2341da177e4SLinus Torvalds  * size immediately, but new mempool_free() calls will refill it.
23511d83360SDavid Rientjes  * This function may sleep.
2361da177e4SLinus Torvalds  *
2371da177e4SLinus Torvalds  * Note, the caller must guarantee that no mempool_destroy is called
2381da177e4SLinus Torvalds  * while this function is running. mempool_alloc() & mempool_free()
2391da177e4SLinus Torvalds  * might be called (eg. from IRQ contexts) while this function executes.
2401da177e4SLinus Torvalds  */
24111d83360SDavid Rientjes int mempool_resize(mempool_t *pool, int new_min_nr)
2421da177e4SLinus Torvalds {
2431da177e4SLinus Torvalds 	void *element;
2441da177e4SLinus Torvalds 	void **new_elements;
2451da177e4SLinus Torvalds 	unsigned long flags;
2461da177e4SLinus Torvalds 
2471da177e4SLinus Torvalds 	BUG_ON(new_min_nr <= 0);
24811d83360SDavid Rientjes 	might_sleep();
2491da177e4SLinus Torvalds 
2501da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
2511da177e4SLinus Torvalds 	if (new_min_nr <= pool->min_nr) {
2521da177e4SLinus Torvalds 		while (new_min_nr < pool->curr_nr) {
2531da177e4SLinus Torvalds 			element = remove_element(pool);
2541da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
2551da177e4SLinus Torvalds 			pool->free(element, pool->pool_data);
2561da177e4SLinus Torvalds 			spin_lock_irqsave(&pool->lock, flags);
2571da177e4SLinus Torvalds 		}
2581da177e4SLinus Torvalds 		pool->min_nr = new_min_nr;
2591da177e4SLinus Torvalds 		goto out_unlock;
2601da177e4SLinus Torvalds 	}
2611da177e4SLinus Torvalds 	spin_unlock_irqrestore(&pool->lock, flags);
2621da177e4SLinus Torvalds 
2631da177e4SLinus Torvalds 	/* Grow the pool */
26411d83360SDavid Rientjes 	new_elements = kmalloc_array(new_min_nr, sizeof(*new_elements),
26511d83360SDavid Rientjes 				     GFP_KERNEL);
2661da177e4SLinus Torvalds 	if (!new_elements)
2671da177e4SLinus Torvalds 		return -ENOMEM;
2681da177e4SLinus Torvalds 
2691da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
2701da177e4SLinus Torvalds 	if (unlikely(new_min_nr <= pool->min_nr)) {
2711da177e4SLinus Torvalds 		/* Raced, other resize will do our work */
2721da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
2731da177e4SLinus Torvalds 		kfree(new_elements);
2741da177e4SLinus Torvalds 		goto out;
2751da177e4SLinus Torvalds 	}
2761da177e4SLinus Torvalds 	memcpy(new_elements, pool->elements,
2771da177e4SLinus Torvalds 			pool->curr_nr * sizeof(*new_elements));
2781da177e4SLinus Torvalds 	kfree(pool->elements);
2791da177e4SLinus Torvalds 	pool->elements = new_elements;
2801da177e4SLinus Torvalds 	pool->min_nr = new_min_nr;
2811da177e4SLinus Torvalds 
2821da177e4SLinus Torvalds 	while (pool->curr_nr < pool->min_nr) {
2831da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
28411d83360SDavid Rientjes 		element = pool->alloc(GFP_KERNEL, pool->pool_data);
2851da177e4SLinus Torvalds 		if (!element)
2861da177e4SLinus Torvalds 			goto out;
2871da177e4SLinus Torvalds 		spin_lock_irqsave(&pool->lock, flags);
2881da177e4SLinus Torvalds 		if (pool->curr_nr < pool->min_nr) {
2891da177e4SLinus Torvalds 			add_element(pool, element);
2901da177e4SLinus Torvalds 		} else {
2911da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
2921da177e4SLinus Torvalds 			pool->free(element, pool->pool_data);	/* Raced */
2931da177e4SLinus Torvalds 			goto out;
2941da177e4SLinus Torvalds 		}
2951da177e4SLinus Torvalds 	}
2961da177e4SLinus Torvalds out_unlock:
2971da177e4SLinus Torvalds 	spin_unlock_irqrestore(&pool->lock, flags);
2981da177e4SLinus Torvalds out:
2991da177e4SLinus Torvalds 	return 0;
3001da177e4SLinus Torvalds }
3011da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_resize);
3021da177e4SLinus Torvalds 
3031da177e4SLinus Torvalds /**
3041da177e4SLinus Torvalds  * mempool_alloc - allocate an element from a specific memory pool
3051da177e4SLinus Torvalds  * @pool:      pointer to the memory pool which was allocated via
3061da177e4SLinus Torvalds  *             mempool_create().
3071da177e4SLinus Torvalds  * @gfp_mask:  the usual allocation bitmask.
3081da177e4SLinus Torvalds  *
30972fd4a35SRobert P. J. Day  * this function only sleeps if the alloc_fn() function sleeps or
3101da177e4SLinus Torvalds  * returns NULL. Note that due to preallocation, this function
3111da177e4SLinus Torvalds  * *never* fails when called from process contexts. (it might
3121da177e4SLinus Torvalds  * fail if called from an IRQ context.)
3138bf8fcb0SSebastian Ott  * Note: using __GFP_ZERO is not supported.
3141da177e4SLinus Torvalds  */
315dd0fc66fSAl Viro void * mempool_alloc(mempool_t *pool, gfp_t gfp_mask)
3161da177e4SLinus Torvalds {
3171da177e4SLinus Torvalds 	void *element;
3181da177e4SLinus Torvalds 	unsigned long flags;
31901890a4cSBenjamin LaHaise 	wait_queue_t wait;
3206daa0e28SAl Viro 	gfp_t gfp_temp;
32120a77776SNick Piggin 
3228bf8fcb0SSebastian Ott 	VM_WARN_ON_ONCE(gfp_mask & __GFP_ZERO);
32320a77776SNick Piggin 	might_sleep_if(gfp_mask & __GFP_WAIT);
324b84a35beSNick Piggin 
325b84a35beSNick Piggin 	gfp_mask |= __GFP_NOMEMALLOC;	/* don't allocate emergency reserves */
326b84a35beSNick Piggin 	gfp_mask |= __GFP_NORETRY;	/* don't loop in __alloc_pages */
327b84a35beSNick Piggin 	gfp_mask |= __GFP_NOWARN;	/* failures are OK */
3281da177e4SLinus Torvalds 
32920a77776SNick Piggin 	gfp_temp = gfp_mask & ~(__GFP_WAIT|__GFP_IO);
33020a77776SNick Piggin 
3311da177e4SLinus Torvalds repeat_alloc:
33220a77776SNick Piggin 
33320a77776SNick Piggin 	element = pool->alloc(gfp_temp, pool->pool_data);
3341da177e4SLinus Torvalds 	if (likely(element != NULL))
3351da177e4SLinus Torvalds 		return element;
3361da177e4SLinus Torvalds 
3371da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
3381da177e4SLinus Torvalds 	if (likely(pool->curr_nr)) {
3391da177e4SLinus Torvalds 		element = remove_element(pool);
3401da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
3415b990546STejun Heo 		/* paired with rmb in mempool_free(), read comment there */
3425b990546STejun Heo 		smp_wmb();
34317411962SCatalin Marinas 		/*
34417411962SCatalin Marinas 		 * Update the allocation stack trace as this is more useful
34517411962SCatalin Marinas 		 * for debugging.
34617411962SCatalin Marinas 		 */
34717411962SCatalin Marinas 		kmemleak_update_trace(element);
3481da177e4SLinus Torvalds 		return element;
3491da177e4SLinus Torvalds 	}
3501da177e4SLinus Torvalds 
3511ebb7044STejun Heo 	/*
3521ebb7044STejun Heo 	 * We use gfp mask w/o __GFP_WAIT or IO for the first round.  If
3531ebb7044STejun Heo 	 * alloc failed with that and @pool was empty, retry immediately.
3541ebb7044STejun Heo 	 */
3551ebb7044STejun Heo 	if (gfp_temp != gfp_mask) {
3561ebb7044STejun Heo 		spin_unlock_irqrestore(&pool->lock, flags);
3571ebb7044STejun Heo 		gfp_temp = gfp_mask;
3581ebb7044STejun Heo 		goto repeat_alloc;
3591ebb7044STejun Heo 	}
3601ebb7044STejun Heo 
3611ebb7044STejun Heo 	/* We must not sleep if !__GFP_WAIT */
3625b990546STejun Heo 	if (!(gfp_mask & __GFP_WAIT)) {
3635b990546STejun Heo 		spin_unlock_irqrestore(&pool->lock, flags);
3641da177e4SLinus Torvalds 		return NULL;
3655b990546STejun Heo 	}
3661da177e4SLinus Torvalds 
3675b990546STejun Heo 	/* Let's wait for someone else to return an element to @pool */
36801890a4cSBenjamin LaHaise 	init_wait(&wait);
3691da177e4SLinus Torvalds 	prepare_to_wait(&pool->wait, &wait, TASK_UNINTERRUPTIBLE);
3705b990546STejun Heo 
3715b990546STejun Heo 	spin_unlock_irqrestore(&pool->lock, flags);
3725b990546STejun Heo 
3730b1d647aSPavel Mironchik 	/*
3745b990546STejun Heo 	 * FIXME: this should be io_schedule().  The timeout is there as a
3755b990546STejun Heo 	 * workaround for some DM problems in 2.6.18.
3760b1d647aSPavel Mironchik 	 */
3770b1d647aSPavel Mironchik 	io_schedule_timeout(5*HZ);
3781da177e4SLinus Torvalds 
3795b990546STejun Heo 	finish_wait(&pool->wait, &wait);
3801da177e4SLinus Torvalds 	goto repeat_alloc;
3811da177e4SLinus Torvalds }
3821da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_alloc);
3831da177e4SLinus Torvalds 
3841da177e4SLinus Torvalds /**
3851da177e4SLinus Torvalds  * mempool_free - return an element to the pool.
3861da177e4SLinus Torvalds  * @element:   pool element pointer.
3871da177e4SLinus Torvalds  * @pool:      pointer to the memory pool which was allocated via
3881da177e4SLinus Torvalds  *             mempool_create().
3891da177e4SLinus Torvalds  *
3901da177e4SLinus Torvalds  * this function only sleeps if the free_fn() function sleeps.
3911da177e4SLinus Torvalds  */
3921da177e4SLinus Torvalds void mempool_free(void *element, mempool_t *pool)
3931da177e4SLinus Torvalds {
3941da177e4SLinus Torvalds 	unsigned long flags;
3951da177e4SLinus Torvalds 
396c80e7a82SRusty Russell 	if (unlikely(element == NULL))
397c80e7a82SRusty Russell 		return;
398c80e7a82SRusty Russell 
3995b990546STejun Heo 	/*
4005b990546STejun Heo 	 * Paired with the wmb in mempool_alloc().  The preceding read is
4015b990546STejun Heo 	 * for @element and the following @pool->curr_nr.  This ensures
4025b990546STejun Heo 	 * that the visible value of @pool->curr_nr is from after the
4035b990546STejun Heo 	 * allocation of @element.  This is necessary for fringe cases
4045b990546STejun Heo 	 * where @element was passed to this task without going through
4055b990546STejun Heo 	 * barriers.
4065b990546STejun Heo 	 *
4075b990546STejun Heo 	 * For example, assume @p is %NULL at the beginning and one task
4085b990546STejun Heo 	 * performs "p = mempool_alloc(...);" while another task is doing
4095b990546STejun Heo 	 * "while (!p) cpu_relax(); mempool_free(p, ...);".  This function
4105b990546STejun Heo 	 * may end up using curr_nr value which is from before allocation
4115b990546STejun Heo 	 * of @p without the following rmb.
4125b990546STejun Heo 	 */
4135b990546STejun Heo 	smp_rmb();
4145b990546STejun Heo 
4155b990546STejun Heo 	/*
4165b990546STejun Heo 	 * For correctness, we need a test which is guaranteed to trigger
4175b990546STejun Heo 	 * if curr_nr + #allocated == min_nr.  Testing curr_nr < min_nr
4185b990546STejun Heo 	 * without locking achieves that and refilling as soon as possible
4195b990546STejun Heo 	 * is desirable.
4205b990546STejun Heo 	 *
4215b990546STejun Heo 	 * Because curr_nr visible here is always a value after the
4225b990546STejun Heo 	 * allocation of @element, any task which decremented curr_nr below
4235b990546STejun Heo 	 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets
4245b990546STejun Heo 	 * incremented to min_nr afterwards.  If curr_nr gets incremented
4255b990546STejun Heo 	 * to min_nr after the allocation of @element, the elements
4265b990546STejun Heo 	 * allocated after that are subject to the same guarantee.
4275b990546STejun Heo 	 *
4285b990546STejun Heo 	 * Waiters happen iff curr_nr is 0 and the above guarantee also
4295b990546STejun Heo 	 * ensures that there will be frees which return elements to the
4305b990546STejun Heo 	 * pool waking up the waiters.
4315b990546STejun Heo 	 */
432eb9a3c62SMikulas Patocka 	if (unlikely(pool->curr_nr < pool->min_nr)) {
4331da177e4SLinus Torvalds 		spin_lock_irqsave(&pool->lock, flags);
434eb9a3c62SMikulas Patocka 		if (likely(pool->curr_nr < pool->min_nr)) {
4351da177e4SLinus Torvalds 			add_element(pool, element);
4361da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
4371da177e4SLinus Torvalds 			wake_up(&pool->wait);
4381da177e4SLinus Torvalds 			return;
4391da177e4SLinus Torvalds 		}
4401da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
4411da177e4SLinus Torvalds 	}
4421da177e4SLinus Torvalds 	pool->free(element, pool->pool_data);
4431da177e4SLinus Torvalds }
4441da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_free);
4451da177e4SLinus Torvalds 
4461da177e4SLinus Torvalds /*
4471da177e4SLinus Torvalds  * A commonly used alloc and free fn.
4481da177e4SLinus Torvalds  */
449dd0fc66fSAl Viro void *mempool_alloc_slab(gfp_t gfp_mask, void *pool_data)
4501da177e4SLinus Torvalds {
451fcc234f8SPekka Enberg 	struct kmem_cache *mem = pool_data;
452e244c9e6SDavid Rientjes 	VM_BUG_ON(mem->ctor);
4531da177e4SLinus Torvalds 	return kmem_cache_alloc(mem, gfp_mask);
4541da177e4SLinus Torvalds }
4551da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_alloc_slab);
4561da177e4SLinus Torvalds 
4571da177e4SLinus Torvalds void mempool_free_slab(void *element, void *pool_data)
4581da177e4SLinus Torvalds {
459fcc234f8SPekka Enberg 	struct kmem_cache *mem = pool_data;
4601da177e4SLinus Torvalds 	kmem_cache_free(mem, element);
4611da177e4SLinus Torvalds }
4621da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_free_slab);
4636e0678f3SMatthew Dobson 
4646e0678f3SMatthew Dobson /*
46553184082SMatthew Dobson  * A commonly used alloc and free fn that kmalloc/kfrees the amount of memory
466183ff22bSSimon Arlott  * specified by pool_data
46753184082SMatthew Dobson  */
46853184082SMatthew Dobson void *mempool_kmalloc(gfp_t gfp_mask, void *pool_data)
46953184082SMatthew Dobson {
4705e2f89b5SFigo.zhang 	size_t size = (size_t)pool_data;
47153184082SMatthew Dobson 	return kmalloc(size, gfp_mask);
47253184082SMatthew Dobson }
47353184082SMatthew Dobson EXPORT_SYMBOL(mempool_kmalloc);
47453184082SMatthew Dobson 
47553184082SMatthew Dobson void mempool_kfree(void *element, void *pool_data)
47653184082SMatthew Dobson {
47753184082SMatthew Dobson 	kfree(element);
47853184082SMatthew Dobson }
47953184082SMatthew Dobson EXPORT_SYMBOL(mempool_kfree);
48053184082SMatthew Dobson 
48153184082SMatthew Dobson /*
4826e0678f3SMatthew Dobson  * A simple mempool-backed page allocator that allocates pages
4836e0678f3SMatthew Dobson  * of the order specified by pool_data.
4846e0678f3SMatthew Dobson  */
4856e0678f3SMatthew Dobson void *mempool_alloc_pages(gfp_t gfp_mask, void *pool_data)
4866e0678f3SMatthew Dobson {
4876e0678f3SMatthew Dobson 	int order = (int)(long)pool_data;
4886e0678f3SMatthew Dobson 	return alloc_pages(gfp_mask, order);
4896e0678f3SMatthew Dobson }
4906e0678f3SMatthew Dobson EXPORT_SYMBOL(mempool_alloc_pages);
4916e0678f3SMatthew Dobson 
4926e0678f3SMatthew Dobson void mempool_free_pages(void *element, void *pool_data)
4936e0678f3SMatthew Dobson {
4946e0678f3SMatthew Dobson 	int order = (int)(long)pool_data;
4956e0678f3SMatthew Dobson 	__free_pages(element, order);
4966e0678f3SMatthew Dobson }
4976e0678f3SMatthew Dobson EXPORT_SYMBOL(mempool_free_pages);
498