xref: /openbmc/linux/mm/mempool.c (revision 923936157b158f36bd6a3d86496dce82b1a957de)
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>
15*92393615SAndrey 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 
105*92393615SAndrey Ryabinin static void kasan_poison_element(mempool_t *pool, void *element)
106*92393615SAndrey Ryabinin {
107*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_slab)
108*92393615SAndrey Ryabinin 		kasan_slab_free(pool->pool_data, element);
109*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_kmalloc)
110*92393615SAndrey Ryabinin 		kasan_kfree(element);
111*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_pages)
112*92393615SAndrey Ryabinin 		kasan_free_pages(element, (unsigned long)pool->pool_data);
113*92393615SAndrey Ryabinin }
114*92393615SAndrey Ryabinin 
115*92393615SAndrey Ryabinin static void kasan_unpoison_element(mempool_t *pool, void *element)
116*92393615SAndrey Ryabinin {
117*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_slab)
118*92393615SAndrey Ryabinin 		kasan_slab_alloc(pool->pool_data, element);
119*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_kmalloc)
120*92393615SAndrey Ryabinin 		kasan_krealloc(element, (size_t)pool->pool_data);
121*92393615SAndrey Ryabinin 	if (pool->alloc == mempool_alloc_pages)
122*92393615SAndrey Ryabinin 		kasan_alloc_pages(element, (unsigned long)pool->pool_data);
123*92393615SAndrey Ryabinin }
124*92393615SAndrey 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);
129*92393615SAndrey 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);
139*92393615SAndrey 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 {
1531da177e4SLinus Torvalds 	while (pool->curr_nr) {
1541da177e4SLinus Torvalds 		void *element = remove_element(pool);
1551da177e4SLinus Torvalds 		pool->free(element, pool->pool_data);
1561da177e4SLinus Torvalds 	}
1571da177e4SLinus Torvalds 	kfree(pool->elements);
1581da177e4SLinus Torvalds 	kfree(pool);
1591da177e4SLinus Torvalds }
1600565d317STejun Heo EXPORT_SYMBOL(mempool_destroy);
1611da177e4SLinus Torvalds 
1621da177e4SLinus Torvalds /**
1631da177e4SLinus Torvalds  * mempool_create - create a memory pool
1641da177e4SLinus Torvalds  * @min_nr:    the minimum number of elements guaranteed to be
1651da177e4SLinus Torvalds  *             allocated for this pool.
1661da177e4SLinus Torvalds  * @alloc_fn:  user-defined element-allocation function.
1671da177e4SLinus Torvalds  * @free_fn:   user-defined element-freeing function.
1681da177e4SLinus Torvalds  * @pool_data: optional private data available to the user-defined functions.
1691da177e4SLinus Torvalds  *
1701da177e4SLinus Torvalds  * this function creates and allocates a guaranteed size, preallocated
17172fd4a35SRobert P. J. Day  * memory pool. The pool can be used from the mempool_alloc() and mempool_free()
1721da177e4SLinus Torvalds  * functions. This function might sleep. Both the alloc_fn() and the free_fn()
17372fd4a35SRobert P. J. Day  * functions might sleep - as long as the mempool_alloc() function is not called
1741da177e4SLinus Torvalds  * from IRQ contexts.
1751da177e4SLinus Torvalds  */
1761da177e4SLinus Torvalds mempool_t *mempool_create(int min_nr, mempool_alloc_t *alloc_fn,
1771da177e4SLinus Torvalds 				mempool_free_t *free_fn, void *pool_data)
1781da177e4SLinus Torvalds {
179a91a5ac6STejun Heo 	return mempool_create_node(min_nr,alloc_fn,free_fn, pool_data,
180a91a5ac6STejun Heo 				   GFP_KERNEL, NUMA_NO_NODE);
1811946089aSChristoph Lameter }
1821946089aSChristoph Lameter EXPORT_SYMBOL(mempool_create);
1831da177e4SLinus Torvalds 
1841946089aSChristoph Lameter mempool_t *mempool_create_node(int min_nr, mempool_alloc_t *alloc_fn,
185a91a5ac6STejun Heo 			       mempool_free_t *free_fn, void *pool_data,
186a91a5ac6STejun Heo 			       gfp_t gfp_mask, int node_id)
1871946089aSChristoph Lameter {
1881946089aSChristoph Lameter 	mempool_t *pool;
1897b5219dbSJoe Perches 	pool = kzalloc_node(sizeof(*pool), gfp_mask, node_id);
1901da177e4SLinus Torvalds 	if (!pool)
1911da177e4SLinus Torvalds 		return NULL;
1921946089aSChristoph Lameter 	pool->elements = kmalloc_node(min_nr * sizeof(void *),
193a91a5ac6STejun Heo 				      gfp_mask, node_id);
1941da177e4SLinus Torvalds 	if (!pool->elements) {
1951da177e4SLinus Torvalds 		kfree(pool);
1961da177e4SLinus Torvalds 		return NULL;
1971da177e4SLinus Torvalds 	}
1981da177e4SLinus Torvalds 	spin_lock_init(&pool->lock);
1991da177e4SLinus Torvalds 	pool->min_nr = min_nr;
2001da177e4SLinus Torvalds 	pool->pool_data = pool_data;
2011da177e4SLinus Torvalds 	init_waitqueue_head(&pool->wait);
2021da177e4SLinus Torvalds 	pool->alloc = alloc_fn;
2031da177e4SLinus Torvalds 	pool->free = free_fn;
2041da177e4SLinus Torvalds 
2051da177e4SLinus Torvalds 	/*
2061da177e4SLinus Torvalds 	 * First pre-allocate the guaranteed number of buffers.
2071da177e4SLinus Torvalds 	 */
2081da177e4SLinus Torvalds 	while (pool->curr_nr < pool->min_nr) {
2091da177e4SLinus Torvalds 		void *element;
2101da177e4SLinus Torvalds 
211a91a5ac6STejun Heo 		element = pool->alloc(gfp_mask, pool->pool_data);
2121da177e4SLinus Torvalds 		if (unlikely(!element)) {
2130565d317STejun Heo 			mempool_destroy(pool);
2141da177e4SLinus Torvalds 			return NULL;
2151da177e4SLinus Torvalds 		}
2161da177e4SLinus Torvalds 		add_element(pool, element);
2171da177e4SLinus Torvalds 	}
2181da177e4SLinus Torvalds 	return pool;
2191da177e4SLinus Torvalds }
2201946089aSChristoph Lameter EXPORT_SYMBOL(mempool_create_node);
2211da177e4SLinus Torvalds 
2221da177e4SLinus Torvalds /**
2231da177e4SLinus Torvalds  * mempool_resize - resize an existing memory pool
2241da177e4SLinus Torvalds  * @pool:       pointer to the memory pool which was allocated via
2251da177e4SLinus Torvalds  *              mempool_create().
2261da177e4SLinus Torvalds  * @new_min_nr: the new minimum number of elements guaranteed to be
2271da177e4SLinus Torvalds  *              allocated for this pool.
2281da177e4SLinus Torvalds  *
2291da177e4SLinus Torvalds  * This function shrinks/grows the pool. In the case of growing,
2301da177e4SLinus Torvalds  * it cannot be guaranteed that the pool will be grown to the new
2311da177e4SLinus Torvalds  * size immediately, but new mempool_free() calls will refill it.
23211d83360SDavid Rientjes  * This function may sleep.
2331da177e4SLinus Torvalds  *
2341da177e4SLinus Torvalds  * Note, the caller must guarantee that no mempool_destroy is called
2351da177e4SLinus Torvalds  * while this function is running. mempool_alloc() & mempool_free()
2361da177e4SLinus Torvalds  * might be called (eg. from IRQ contexts) while this function executes.
2371da177e4SLinus Torvalds  */
23811d83360SDavid Rientjes int mempool_resize(mempool_t *pool, int new_min_nr)
2391da177e4SLinus Torvalds {
2401da177e4SLinus Torvalds 	void *element;
2411da177e4SLinus Torvalds 	void **new_elements;
2421da177e4SLinus Torvalds 	unsigned long flags;
2431da177e4SLinus Torvalds 
2441da177e4SLinus Torvalds 	BUG_ON(new_min_nr <= 0);
24511d83360SDavid Rientjes 	might_sleep();
2461da177e4SLinus Torvalds 
2471da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
2481da177e4SLinus Torvalds 	if (new_min_nr <= pool->min_nr) {
2491da177e4SLinus Torvalds 		while (new_min_nr < pool->curr_nr) {
2501da177e4SLinus Torvalds 			element = remove_element(pool);
2511da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
2521da177e4SLinus Torvalds 			pool->free(element, pool->pool_data);
2531da177e4SLinus Torvalds 			spin_lock_irqsave(&pool->lock, flags);
2541da177e4SLinus Torvalds 		}
2551da177e4SLinus Torvalds 		pool->min_nr = new_min_nr;
2561da177e4SLinus Torvalds 		goto out_unlock;
2571da177e4SLinus Torvalds 	}
2581da177e4SLinus Torvalds 	spin_unlock_irqrestore(&pool->lock, flags);
2591da177e4SLinus Torvalds 
2601da177e4SLinus Torvalds 	/* Grow the pool */
26111d83360SDavid Rientjes 	new_elements = kmalloc_array(new_min_nr, sizeof(*new_elements),
26211d83360SDavid Rientjes 				     GFP_KERNEL);
2631da177e4SLinus Torvalds 	if (!new_elements)
2641da177e4SLinus Torvalds 		return -ENOMEM;
2651da177e4SLinus Torvalds 
2661da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
2671da177e4SLinus Torvalds 	if (unlikely(new_min_nr <= pool->min_nr)) {
2681da177e4SLinus Torvalds 		/* Raced, other resize will do our work */
2691da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
2701da177e4SLinus Torvalds 		kfree(new_elements);
2711da177e4SLinus Torvalds 		goto out;
2721da177e4SLinus Torvalds 	}
2731da177e4SLinus Torvalds 	memcpy(new_elements, pool->elements,
2741da177e4SLinus Torvalds 			pool->curr_nr * sizeof(*new_elements));
2751da177e4SLinus Torvalds 	kfree(pool->elements);
2761da177e4SLinus Torvalds 	pool->elements = new_elements;
2771da177e4SLinus Torvalds 	pool->min_nr = new_min_nr;
2781da177e4SLinus Torvalds 
2791da177e4SLinus Torvalds 	while (pool->curr_nr < pool->min_nr) {
2801da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
28111d83360SDavid Rientjes 		element = pool->alloc(GFP_KERNEL, pool->pool_data);
2821da177e4SLinus Torvalds 		if (!element)
2831da177e4SLinus Torvalds 			goto out;
2841da177e4SLinus Torvalds 		spin_lock_irqsave(&pool->lock, flags);
2851da177e4SLinus Torvalds 		if (pool->curr_nr < pool->min_nr) {
2861da177e4SLinus Torvalds 			add_element(pool, element);
2871da177e4SLinus Torvalds 		} else {
2881da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
2891da177e4SLinus Torvalds 			pool->free(element, pool->pool_data);	/* Raced */
2901da177e4SLinus Torvalds 			goto out;
2911da177e4SLinus Torvalds 		}
2921da177e4SLinus Torvalds 	}
2931da177e4SLinus Torvalds out_unlock:
2941da177e4SLinus Torvalds 	spin_unlock_irqrestore(&pool->lock, flags);
2951da177e4SLinus Torvalds out:
2961da177e4SLinus Torvalds 	return 0;
2971da177e4SLinus Torvalds }
2981da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_resize);
2991da177e4SLinus Torvalds 
3001da177e4SLinus Torvalds /**
3011da177e4SLinus Torvalds  * mempool_alloc - allocate an element from a specific memory pool
3021da177e4SLinus Torvalds  * @pool:      pointer to the memory pool which was allocated via
3031da177e4SLinus Torvalds  *             mempool_create().
3041da177e4SLinus Torvalds  * @gfp_mask:  the usual allocation bitmask.
3051da177e4SLinus Torvalds  *
30672fd4a35SRobert P. J. Day  * this function only sleeps if the alloc_fn() function sleeps or
3071da177e4SLinus Torvalds  * returns NULL. Note that due to preallocation, this function
3081da177e4SLinus Torvalds  * *never* fails when called from process contexts. (it might
3091da177e4SLinus Torvalds  * fail if called from an IRQ context.)
3108bf8fcb0SSebastian Ott  * Note: using __GFP_ZERO is not supported.
3111da177e4SLinus Torvalds  */
312dd0fc66fSAl Viro void * mempool_alloc(mempool_t *pool, gfp_t gfp_mask)
3131da177e4SLinus Torvalds {
3141da177e4SLinus Torvalds 	void *element;
3151da177e4SLinus Torvalds 	unsigned long flags;
31601890a4cSBenjamin LaHaise 	wait_queue_t wait;
3176daa0e28SAl Viro 	gfp_t gfp_temp;
31820a77776SNick Piggin 
3198bf8fcb0SSebastian Ott 	VM_WARN_ON_ONCE(gfp_mask & __GFP_ZERO);
32020a77776SNick Piggin 	might_sleep_if(gfp_mask & __GFP_WAIT);
321b84a35beSNick Piggin 
322b84a35beSNick Piggin 	gfp_mask |= __GFP_NOMEMALLOC;	/* don't allocate emergency reserves */
323b84a35beSNick Piggin 	gfp_mask |= __GFP_NORETRY;	/* don't loop in __alloc_pages */
324b84a35beSNick Piggin 	gfp_mask |= __GFP_NOWARN;	/* failures are OK */
3251da177e4SLinus Torvalds 
32620a77776SNick Piggin 	gfp_temp = gfp_mask & ~(__GFP_WAIT|__GFP_IO);
32720a77776SNick Piggin 
3281da177e4SLinus Torvalds repeat_alloc:
32920a77776SNick Piggin 
33020a77776SNick Piggin 	element = pool->alloc(gfp_temp, pool->pool_data);
3311da177e4SLinus Torvalds 	if (likely(element != NULL))
3321da177e4SLinus Torvalds 		return element;
3331da177e4SLinus Torvalds 
3341da177e4SLinus Torvalds 	spin_lock_irqsave(&pool->lock, flags);
3351da177e4SLinus Torvalds 	if (likely(pool->curr_nr)) {
3361da177e4SLinus Torvalds 		element = remove_element(pool);
3371da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
3385b990546STejun Heo 		/* paired with rmb in mempool_free(), read comment there */
3395b990546STejun Heo 		smp_wmb();
34017411962SCatalin Marinas 		/*
34117411962SCatalin Marinas 		 * Update the allocation stack trace as this is more useful
34217411962SCatalin Marinas 		 * for debugging.
34317411962SCatalin Marinas 		 */
34417411962SCatalin Marinas 		kmemleak_update_trace(element);
3451da177e4SLinus Torvalds 		return element;
3461da177e4SLinus Torvalds 	}
3471da177e4SLinus Torvalds 
3481ebb7044STejun Heo 	/*
3491ebb7044STejun Heo 	 * We use gfp mask w/o __GFP_WAIT or IO for the first round.  If
3501ebb7044STejun Heo 	 * alloc failed with that and @pool was empty, retry immediately.
3511ebb7044STejun Heo 	 */
3521ebb7044STejun Heo 	if (gfp_temp != gfp_mask) {
3531ebb7044STejun Heo 		spin_unlock_irqrestore(&pool->lock, flags);
3541ebb7044STejun Heo 		gfp_temp = gfp_mask;
3551ebb7044STejun Heo 		goto repeat_alloc;
3561ebb7044STejun Heo 	}
3571ebb7044STejun Heo 
3581ebb7044STejun Heo 	/* We must not sleep if !__GFP_WAIT */
3595b990546STejun Heo 	if (!(gfp_mask & __GFP_WAIT)) {
3605b990546STejun Heo 		spin_unlock_irqrestore(&pool->lock, flags);
3611da177e4SLinus Torvalds 		return NULL;
3625b990546STejun Heo 	}
3631da177e4SLinus Torvalds 
3645b990546STejun Heo 	/* Let's wait for someone else to return an element to @pool */
36501890a4cSBenjamin LaHaise 	init_wait(&wait);
3661da177e4SLinus Torvalds 	prepare_to_wait(&pool->wait, &wait, TASK_UNINTERRUPTIBLE);
3675b990546STejun Heo 
3685b990546STejun Heo 	spin_unlock_irqrestore(&pool->lock, flags);
3695b990546STejun Heo 
3700b1d647aSPavel Mironchik 	/*
3715b990546STejun Heo 	 * FIXME: this should be io_schedule().  The timeout is there as a
3725b990546STejun Heo 	 * workaround for some DM problems in 2.6.18.
3730b1d647aSPavel Mironchik 	 */
3740b1d647aSPavel Mironchik 	io_schedule_timeout(5*HZ);
3751da177e4SLinus Torvalds 
3765b990546STejun Heo 	finish_wait(&pool->wait, &wait);
3771da177e4SLinus Torvalds 	goto repeat_alloc;
3781da177e4SLinus Torvalds }
3791da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_alloc);
3801da177e4SLinus Torvalds 
3811da177e4SLinus Torvalds /**
3821da177e4SLinus Torvalds  * mempool_free - return an element to the pool.
3831da177e4SLinus Torvalds  * @element:   pool element pointer.
3841da177e4SLinus Torvalds  * @pool:      pointer to the memory pool which was allocated via
3851da177e4SLinus Torvalds  *             mempool_create().
3861da177e4SLinus Torvalds  *
3871da177e4SLinus Torvalds  * this function only sleeps if the free_fn() function sleeps.
3881da177e4SLinus Torvalds  */
3891da177e4SLinus Torvalds void mempool_free(void *element, mempool_t *pool)
3901da177e4SLinus Torvalds {
3911da177e4SLinus Torvalds 	unsigned long flags;
3921da177e4SLinus Torvalds 
393c80e7a82SRusty Russell 	if (unlikely(element == NULL))
394c80e7a82SRusty Russell 		return;
395c80e7a82SRusty Russell 
3965b990546STejun Heo 	/*
3975b990546STejun Heo 	 * Paired with the wmb in mempool_alloc().  The preceding read is
3985b990546STejun Heo 	 * for @element and the following @pool->curr_nr.  This ensures
3995b990546STejun Heo 	 * that the visible value of @pool->curr_nr is from after the
4005b990546STejun Heo 	 * allocation of @element.  This is necessary for fringe cases
4015b990546STejun Heo 	 * where @element was passed to this task without going through
4025b990546STejun Heo 	 * barriers.
4035b990546STejun Heo 	 *
4045b990546STejun Heo 	 * For example, assume @p is %NULL at the beginning and one task
4055b990546STejun Heo 	 * performs "p = mempool_alloc(...);" while another task is doing
4065b990546STejun Heo 	 * "while (!p) cpu_relax(); mempool_free(p, ...);".  This function
4075b990546STejun Heo 	 * may end up using curr_nr value which is from before allocation
4085b990546STejun Heo 	 * of @p without the following rmb.
4095b990546STejun Heo 	 */
4105b990546STejun Heo 	smp_rmb();
4115b990546STejun Heo 
4125b990546STejun Heo 	/*
4135b990546STejun Heo 	 * For correctness, we need a test which is guaranteed to trigger
4145b990546STejun Heo 	 * if curr_nr + #allocated == min_nr.  Testing curr_nr < min_nr
4155b990546STejun Heo 	 * without locking achieves that and refilling as soon as possible
4165b990546STejun Heo 	 * is desirable.
4175b990546STejun Heo 	 *
4185b990546STejun Heo 	 * Because curr_nr visible here is always a value after the
4195b990546STejun Heo 	 * allocation of @element, any task which decremented curr_nr below
4205b990546STejun Heo 	 * min_nr is guaranteed to see curr_nr < min_nr unless curr_nr gets
4215b990546STejun Heo 	 * incremented to min_nr afterwards.  If curr_nr gets incremented
4225b990546STejun Heo 	 * to min_nr after the allocation of @element, the elements
4235b990546STejun Heo 	 * allocated after that are subject to the same guarantee.
4245b990546STejun Heo 	 *
4255b990546STejun Heo 	 * Waiters happen iff curr_nr is 0 and the above guarantee also
4265b990546STejun Heo 	 * ensures that there will be frees which return elements to the
4275b990546STejun Heo 	 * pool waking up the waiters.
4285b990546STejun Heo 	 */
429eb9a3c62SMikulas Patocka 	if (unlikely(pool->curr_nr < pool->min_nr)) {
4301da177e4SLinus Torvalds 		spin_lock_irqsave(&pool->lock, flags);
431eb9a3c62SMikulas Patocka 		if (likely(pool->curr_nr < pool->min_nr)) {
4321da177e4SLinus Torvalds 			add_element(pool, element);
4331da177e4SLinus Torvalds 			spin_unlock_irqrestore(&pool->lock, flags);
4341da177e4SLinus Torvalds 			wake_up(&pool->wait);
4351da177e4SLinus Torvalds 			return;
4361da177e4SLinus Torvalds 		}
4371da177e4SLinus Torvalds 		spin_unlock_irqrestore(&pool->lock, flags);
4381da177e4SLinus Torvalds 	}
4391da177e4SLinus Torvalds 	pool->free(element, pool->pool_data);
4401da177e4SLinus Torvalds }
4411da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_free);
4421da177e4SLinus Torvalds 
4431da177e4SLinus Torvalds /*
4441da177e4SLinus Torvalds  * A commonly used alloc and free fn.
4451da177e4SLinus Torvalds  */
446dd0fc66fSAl Viro void *mempool_alloc_slab(gfp_t gfp_mask, void *pool_data)
4471da177e4SLinus Torvalds {
448fcc234f8SPekka Enberg 	struct kmem_cache *mem = pool_data;
449e244c9e6SDavid Rientjes 	VM_BUG_ON(mem->ctor);
4501da177e4SLinus Torvalds 	return kmem_cache_alloc(mem, gfp_mask);
4511da177e4SLinus Torvalds }
4521da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_alloc_slab);
4531da177e4SLinus Torvalds 
4541da177e4SLinus Torvalds void mempool_free_slab(void *element, void *pool_data)
4551da177e4SLinus Torvalds {
456fcc234f8SPekka Enberg 	struct kmem_cache *mem = pool_data;
4571da177e4SLinus Torvalds 	kmem_cache_free(mem, element);
4581da177e4SLinus Torvalds }
4591da177e4SLinus Torvalds EXPORT_SYMBOL(mempool_free_slab);
4606e0678f3SMatthew Dobson 
4616e0678f3SMatthew Dobson /*
46253184082SMatthew Dobson  * A commonly used alloc and free fn that kmalloc/kfrees the amount of memory
463183ff22bSSimon Arlott  * specified by pool_data
46453184082SMatthew Dobson  */
46553184082SMatthew Dobson void *mempool_kmalloc(gfp_t gfp_mask, void *pool_data)
46653184082SMatthew Dobson {
4675e2f89b5SFigo.zhang 	size_t size = (size_t)pool_data;
46853184082SMatthew Dobson 	return kmalloc(size, gfp_mask);
46953184082SMatthew Dobson }
47053184082SMatthew Dobson EXPORT_SYMBOL(mempool_kmalloc);
47153184082SMatthew Dobson 
47253184082SMatthew Dobson void mempool_kfree(void *element, void *pool_data)
47353184082SMatthew Dobson {
47453184082SMatthew Dobson 	kfree(element);
47553184082SMatthew Dobson }
47653184082SMatthew Dobson EXPORT_SYMBOL(mempool_kfree);
47753184082SMatthew Dobson 
47853184082SMatthew Dobson /*
4796e0678f3SMatthew Dobson  * A simple mempool-backed page allocator that allocates pages
4806e0678f3SMatthew Dobson  * of the order specified by pool_data.
4816e0678f3SMatthew Dobson  */
4826e0678f3SMatthew Dobson void *mempool_alloc_pages(gfp_t gfp_mask, void *pool_data)
4836e0678f3SMatthew Dobson {
4846e0678f3SMatthew Dobson 	int order = (int)(long)pool_data;
4856e0678f3SMatthew Dobson 	return alloc_pages(gfp_mask, order);
4866e0678f3SMatthew Dobson }
4876e0678f3SMatthew Dobson EXPORT_SYMBOL(mempool_alloc_pages);
4886e0678f3SMatthew Dobson 
4896e0678f3SMatthew Dobson void mempool_free_pages(void *element, void *pool_data)
4906e0678f3SMatthew Dobson {
4916e0678f3SMatthew Dobson 	int order = (int)(long)pool_data;
4926e0678f3SMatthew Dobson 	__free_pages(element, order);
4936e0678f3SMatthew Dobson }
4946e0678f3SMatthew Dobson EXPORT_SYMBOL(mempool_free_pages);
495