blob: cf377beab96212bc8e717eaabfac6b263b9108cf [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Matt Mackall10cef602006-01-08 01:01:45 -08002/*
3 * SLOB Allocator: Simple List Of Blocks
4 *
5 * Matt Mackall <mpm@selenic.com> 12/30/03
6 *
Paul Mundt6193a2f2007-07-15 23:38:22 -07007 * NUMA support by Paul Mundt, 2007.
8 *
Matt Mackall10cef602006-01-08 01:01:45 -08009 * How SLOB works:
10 *
11 * The core of SLOB is a traditional K&R style heap allocator, with
12 * support for returning aligned objects. The granularity of this
Nick Piggin55394842007-07-15 23:38:09 -070013 * allocator is as little as 2 bytes, however typically most architectures
14 * will require 4 bytes on 32-bit and 8 bytes on 64-bit.
Nick Piggin95b35122007-07-15 23:38:07 -070015 *
Matt Mackall20cecba2008-02-04 22:29:37 -080016 * The slob heap is a set of linked list of pages from alloc_pages(),
17 * and within each page, there is a singly-linked list of free blocks
18 * (slob_t). The heap is grown on demand. To reduce fragmentation,
19 * heap pages are segregated into three lists, with objects less than
20 * 256 bytes, objects less than 1024 bytes, and all other objects.
21 *
22 * Allocation from heap involves first searching for a page with
23 * sufficient free blocks (using a next-fit-like approach) followed by
24 * a first-fit scan of the page. Deallocation inserts objects back
25 * into the free list in address order, so this is effectively an
26 * address-ordered first fit.
Matt Mackall10cef602006-01-08 01:01:45 -080027 *
28 * Above this is an implementation of kmalloc/kfree. Blocks returned
Nick Piggin55394842007-07-15 23:38:09 -070029 * from kmalloc are prepended with a 4-byte header with the kmalloc size.
Matt Mackall10cef602006-01-08 01:01:45 -080030 * If kmalloc is asked for objects of PAGE_SIZE or larger, it calls
Paul Mundt6193a2f2007-07-15 23:38:22 -070031 * alloc_pages() directly, allocating compound pages so the page order
Ezequiel Garcia999d8792012-10-19 09:33:10 -030032 * does not have to be separately tracked.
33 * These objects are detected in kfree() because PageSlab()
Nick Piggind87a1332007-07-15 23:38:08 -070034 * is false for them.
Matt Mackall10cef602006-01-08 01:01:45 -080035 *
36 * SLAB is emulated on top of SLOB by simply calling constructors and
Nick Piggin95b35122007-07-15 23:38:07 -070037 * destructors for every SLAB allocation. Objects are returned with the
38 * 4-byte alignment unless the SLAB_HWCACHE_ALIGN flag is set, in which
39 * case the low-level allocator will fragment blocks to create the proper
40 * alignment. Again, objects of page-size or greater are allocated by
Paul Mundt6193a2f2007-07-15 23:38:22 -070041 * calling alloc_pages(). As SLAB objects know their size, no separate
Nick Piggin95b35122007-07-15 23:38:07 -070042 * size bookkeeping is necessary and there is essentially no allocation
Nick Piggind87a1332007-07-15 23:38:08 -070043 * space overhead, and compound pages aren't needed for multi-page
44 * allocations.
Paul Mundt6193a2f2007-07-15 23:38:22 -070045 *
46 * NUMA support in SLOB is fairly simplistic, pushing most of the real
47 * logic down to the page allocator, and simply doing the node accounting
48 * on the upper levels. In the event that a node id is explicitly
Vlastimil Babka96db8002015-09-08 15:03:50 -070049 * provided, __alloc_pages_node() with the specified node id is used
Paul Mundt6193a2f2007-07-15 23:38:22 -070050 * instead. The common case (or when the node id isn't explicitly provided)
51 * will default to the current node, as per numa_node_id().
52 *
53 * Node aware pages are still inserted in to the global freelist, and
54 * these are scanned for by matching against the node id encoded in the
55 * page flags. As a result, block allocations that can be satisfied from
56 * the freelist will only be done so on pages residing on the same node,
57 * in order to prevent random node placement.
Matt Mackall10cef602006-01-08 01:01:45 -080058 */
59
Nick Piggin95b35122007-07-15 23:38:07 -070060#include <linux/kernel.h>
Matt Mackall10cef602006-01-08 01:01:45 -080061#include <linux/slab.h>
Christoph Lameter97d06602012-07-06 15:25:11 -050062
Matt Mackall10cef602006-01-08 01:01:45 -080063#include <linux/mm.h>
Nick Piggin1f0532e2009-05-05 19:13:45 +100064#include <linux/swap.h> /* struct reclaim_state */
Matt Mackall10cef602006-01-08 01:01:45 -080065#include <linux/cache.h>
66#include <linux/init.h>
Paul Gortmakerb95f1b312011-10-16 02:01:52 -040067#include <linux/export.h>
Nick Pigginafc0ced2007-05-16 22:10:49 -070068#include <linux/rcupdate.h>
Nick Piggin95b35122007-07-15 23:38:07 -070069#include <linux/list.h>
Catalin Marinas4374e612009-06-11 13:23:17 +010070#include <linux/kmemleak.h>
Li Zefan039ca4e2010-05-26 17:22:17 +080071
72#include <trace/events/kmem.h>
73
Arun Sharma600634972011-07-26 16:09:06 -070074#include <linux/atomic.h>
Matt Mackall10cef602006-01-08 01:01:45 -080075
Glauber Costab9ce5ef2012-12-18 14:22:46 -080076#include "slab.h"
Nick Piggin95b35122007-07-15 23:38:07 -070077/*
78 * slob_block has a field 'units', which indicates size of block if +ve,
79 * or offset of next block if -ve (in SLOB_UNITs).
80 *
81 * Free blocks of size 1 unit simply contain the offset of the next block.
82 * Those with larger size contain their size in the first SLOB_UNIT of
83 * memory, and the offset of the next free block in the second SLOB_UNIT.
84 */
Nick Piggin55394842007-07-15 23:38:09 -070085#if PAGE_SIZE <= (32767 * 2)
Nick Piggin95b35122007-07-15 23:38:07 -070086typedef s16 slobidx_t;
87#else
88typedef s32 slobidx_t;
89#endif
90
Matt Mackall10cef602006-01-08 01:01:45 -080091struct slob_block {
Nick Piggin95b35122007-07-15 23:38:07 -070092 slobidx_t units;
Nick Piggin55394842007-07-15 23:38:09 -070093};
Matt Mackall10cef602006-01-08 01:01:45 -080094typedef struct slob_block slob_t;
95
Nick Piggin95b35122007-07-15 23:38:07 -070096/*
Matt Mackall20cecba2008-02-04 22:29:37 -080097 * All partially free slob pages go on these lists.
Nick Piggin95b35122007-07-15 23:38:07 -070098 */
Matt Mackall20cecba2008-02-04 22:29:37 -080099#define SLOB_BREAK1 256
100#define SLOB_BREAK2 1024
101static LIST_HEAD(free_slob_small);
102static LIST_HEAD(free_slob_medium);
103static LIST_HEAD(free_slob_large);
Nick Piggin95b35122007-07-15 23:38:07 -0700104
105/*
Nick Piggin95b35122007-07-15 23:38:07 -0700106 * slob_page_free: true for pages on free_slob_pages list.
107 */
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500108static inline int slob_page_free(struct page *sp)
Nick Piggin95b35122007-07-15 23:38:07 -0700109{
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500110 return PageSlobFree(sp);
Nick Piggin95b35122007-07-15 23:38:07 -0700111}
112
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500113static void set_slob_page_free(struct page *sp, struct list_head *list)
Nick Piggin95b35122007-07-15 23:38:07 -0700114{
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700115 list_add(&sp->slab_list, list);
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500116 __SetPageSlobFree(sp);
Nick Piggin95b35122007-07-15 23:38:07 -0700117}
118
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500119static inline void clear_slob_page_free(struct page *sp)
Nick Piggin95b35122007-07-15 23:38:07 -0700120{
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700121 list_del(&sp->slab_list);
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500122 __ClearPageSlobFree(sp);
Nick Piggin95b35122007-07-15 23:38:07 -0700123}
124
Matt Mackall10cef602006-01-08 01:01:45 -0800125#define SLOB_UNIT sizeof(slob_t)
Sasha Levina6d78152012-12-20 14:11:39 -0500126#define SLOB_UNITS(size) DIV_ROUND_UP(size, SLOB_UNIT)
Matt Mackall10cef602006-01-08 01:01:45 -0800127
Nick Pigginafc0ced2007-05-16 22:10:49 -0700128/*
129 * struct slob_rcu is inserted at the tail of allocated slob blocks, which
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800130 * were created with a SLAB_TYPESAFE_BY_RCU slab. slob_rcu is used to free
Nick Pigginafc0ced2007-05-16 22:10:49 -0700131 * the block using call_rcu.
132 */
133struct slob_rcu {
134 struct rcu_head head;
135 int size;
136};
137
Nick Piggin95b35122007-07-15 23:38:07 -0700138/*
139 * slob_lock protects all slob allocator structures.
140 */
Matt Mackall10cef602006-01-08 01:01:45 -0800141static DEFINE_SPINLOCK(slob_lock);
Matt Mackall10cef602006-01-08 01:01:45 -0800142
Nick Piggin95b35122007-07-15 23:38:07 -0700143/*
144 * Encode the given size and next info into a free slob block s.
145 */
146static void set_slob(slob_t *s, slobidx_t size, slob_t *next)
147{
148 slob_t *base = (slob_t *)((unsigned long)s & PAGE_MASK);
149 slobidx_t offset = next - base;
Dimitri Gorokhovikbcb4ddb2006-12-29 16:48:28 -0800150
Nick Piggin95b35122007-07-15 23:38:07 -0700151 if (size > 1) {
152 s[0].units = size;
153 s[1].units = offset;
154 } else
155 s[0].units = -offset;
156}
Matt Mackall10cef602006-01-08 01:01:45 -0800157
Nick Piggin95b35122007-07-15 23:38:07 -0700158/*
159 * Return the size of a slob block.
160 */
161static slobidx_t slob_units(slob_t *s)
162{
163 if (s->units > 0)
164 return s->units;
165 return 1;
166}
167
168/*
169 * Return the next free slob block pointer after this one.
170 */
171static slob_t *slob_next(slob_t *s)
172{
173 slob_t *base = (slob_t *)((unsigned long)s & PAGE_MASK);
174 slobidx_t next;
175
176 if (s[0].units < 0)
177 next = -s[0].units;
178 else
179 next = s[1].units;
180 return base+next;
181}
182
183/*
184 * Returns true if s is the last free block in its page.
185 */
186static int slob_last(slob_t *s)
187{
188 return !((unsigned long)slob_next(s) & ~PAGE_MASK);
189}
190
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800191static void *slob_new_pages(gfp_t gfp, int order, int node)
Paul Mundt6193a2f2007-07-15 23:38:22 -0700192{
193 void *page;
194
195#ifdef CONFIG_NUMA
Ezequiel Garcia90f2cbb2012-09-08 17:47:51 -0300196 if (node != NUMA_NO_NODE)
Vlastimil Babka96db8002015-09-08 15:03:50 -0700197 page = __alloc_pages_node(node, gfp, order);
Paul Mundt6193a2f2007-07-15 23:38:22 -0700198 else
199#endif
200 page = alloc_pages(gfp, order);
201
202 if (!page)
203 return NULL;
204
205 return page_address(page);
206}
207
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800208static void slob_free_pages(void *b, int order)
209{
Nick Piggin1f0532e2009-05-05 19:13:45 +1000210 if (current->reclaim_state)
211 current->reclaim_state->reclaimed_slab += 1 << order;
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800212 free_pages((unsigned long)b, order);
213}
214
Nick Piggin95b35122007-07-15 23:38:07 -0700215/*
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700216 * slob_page_alloc() - Allocate a slob block within a given slob_page sp.
217 * @sp: Page to look in.
218 * @size: Size of the allocation.
219 * @align: Allocation alignment.
220 * @page_removed_from_list: Return parameter.
221 *
222 * Tries to find a chunk of memory at least @size bytes big within @page.
223 *
224 * Return: Pointer to memory if allocated, %NULL otherwise. If the
225 * allocation fills up @page then the page is removed from the
226 * freelist, in this case @page_removed_from_list will be set to
227 * true (set to false otherwise).
Nick Piggin95b35122007-07-15 23:38:07 -0700228 */
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700229static void *slob_page_alloc(struct page *sp, size_t size, int align,
230 bool *page_removed_from_list)
Matt Mackall10cef602006-01-08 01:01:45 -0800231{
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800232 slob_t *prev, *cur, *aligned = NULL;
Matt Mackall10cef602006-01-08 01:01:45 -0800233 int delta = 0, units = SLOB_UNITS(size);
Matt Mackall10cef602006-01-08 01:01:45 -0800234
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700235 *page_removed_from_list = false;
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500236 for (prev = NULL, cur = sp->freelist; ; prev = cur, cur = slob_next(cur)) {
Nick Piggin95b35122007-07-15 23:38:07 -0700237 slobidx_t avail = slob_units(cur);
238
Matt Mackall10cef602006-01-08 01:01:45 -0800239 if (align) {
240 aligned = (slob_t *)ALIGN((unsigned long)cur, align);
241 delta = aligned - cur;
242 }
Nick Piggin95b35122007-07-15 23:38:07 -0700243 if (avail >= units + delta) { /* room enough? */
244 slob_t *next;
245
Matt Mackall10cef602006-01-08 01:01:45 -0800246 if (delta) { /* need to fragment head to align? */
Nick Piggin95b35122007-07-15 23:38:07 -0700247 next = slob_next(cur);
248 set_slob(aligned, avail - delta, next);
249 set_slob(cur, delta, aligned);
Matt Mackall10cef602006-01-08 01:01:45 -0800250 prev = cur;
251 cur = aligned;
Nick Piggin95b35122007-07-15 23:38:07 -0700252 avail = slob_units(cur);
Matt Mackall10cef602006-01-08 01:01:45 -0800253 }
254
Nick Piggin95b35122007-07-15 23:38:07 -0700255 next = slob_next(cur);
256 if (avail == units) { /* exact fit? unlink. */
257 if (prev)
258 set_slob(prev, slob_units(prev), next);
259 else
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500260 sp->freelist = next;
Nick Piggin95b35122007-07-15 23:38:07 -0700261 } else { /* fragment */
262 if (prev)
263 set_slob(prev, slob_units(prev), cur + units);
264 else
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500265 sp->freelist = cur + units;
Nick Piggin95b35122007-07-15 23:38:07 -0700266 set_slob(cur + units, avail - units, next);
Matt Mackall10cef602006-01-08 01:01:45 -0800267 }
268
Nick Piggin95b35122007-07-15 23:38:07 -0700269 sp->units -= units;
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700270 if (!sp->units) {
Nick Piggin95b35122007-07-15 23:38:07 -0700271 clear_slob_page_free(sp);
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700272 *page_removed_from_list = true;
273 }
Matt Mackall10cef602006-01-08 01:01:45 -0800274 return cur;
275 }
Nick Piggin95b35122007-07-15 23:38:07 -0700276 if (slob_last(cur))
277 return NULL;
Matt Mackall10cef602006-01-08 01:01:45 -0800278 }
279}
280
Nick Piggin95b35122007-07-15 23:38:07 -0700281/*
282 * slob_alloc: entry point into the slob allocator.
283 */
Paul Mundt6193a2f2007-07-15 23:38:22 -0700284static void *slob_alloc(size_t size, gfp_t gfp, int align, int node)
Nick Piggin95b35122007-07-15 23:38:07 -0700285{
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500286 struct page *sp;
Matt Mackall20cecba2008-02-04 22:29:37 -0800287 struct list_head *slob_list;
Nick Piggin95b35122007-07-15 23:38:07 -0700288 slob_t *b = NULL;
289 unsigned long flags;
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700290 bool _unused;
Nick Piggin95b35122007-07-15 23:38:07 -0700291
Matt Mackall20cecba2008-02-04 22:29:37 -0800292 if (size < SLOB_BREAK1)
293 slob_list = &free_slob_small;
294 else if (size < SLOB_BREAK2)
295 slob_list = &free_slob_medium;
296 else
297 slob_list = &free_slob_large;
298
Nick Piggin95b35122007-07-15 23:38:07 -0700299 spin_lock_irqsave(&slob_lock, flags);
300 /* Iterate through each partially free page, try to find room */
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700301 list_for_each_entry(sp, slob_list, slab_list) {
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700302 bool page_removed_from_list = false;
Paul Mundt6193a2f2007-07-15 23:38:22 -0700303#ifdef CONFIG_NUMA
304 /*
305 * If there's a node specification, search for a partial
306 * page with a matching node id in the freelist.
307 */
Ezequiel Garcia90f2cbb2012-09-08 17:47:51 -0300308 if (node != NUMA_NO_NODE && page_to_nid(sp) != node)
Paul Mundt6193a2f2007-07-15 23:38:22 -0700309 continue;
310#endif
Matt Mackalld6269542007-07-21 04:37:40 -0700311 /* Enough room on this page? */
312 if (sp->units < SLOB_UNITS(size))
313 continue;
Paul Mundt6193a2f2007-07-15 23:38:22 -0700314
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700315 b = slob_page_alloc(sp, size, align, &page_removed_from_list);
Matt Mackalld6269542007-07-21 04:37:40 -0700316 if (!b)
317 continue;
318
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700319 /*
320 * If slob_page_alloc() removed sp from the list then we
321 * cannot call list functions on sp. If so allocation
322 * did not fragment the page anyway so optimisation is
323 * unnecessary.
324 */
325 if (!page_removed_from_list) {
326 /*
327 * Improve fragment distribution and reduce our average
328 * search time by starting our next search here. (see
329 * Knuth vol 1, sec 2.5, pg 449)
330 */
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700331 if (!list_is_first(&sp->slab_list, slob_list))
332 list_rotate_to_front(&sp->slab_list, slob_list);
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700333 }
Matt Mackalld6269542007-07-21 04:37:40 -0700334 break;
Nick Piggin95b35122007-07-15 23:38:07 -0700335 }
336 spin_unlock_irqrestore(&slob_lock, flags);
337
338 /* Not enough space: must allocate a new page */
339 if (!b) {
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800340 b = slob_new_pages(gfp & ~__GFP_ZERO, 0, node);
Nick Piggin95b35122007-07-15 23:38:07 -0700341 if (!b)
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800342 return NULL;
Christoph Lameterb5568282012-06-13 10:24:54 -0500343 sp = virt_to_page(b);
344 __SetPageSlab(sp);
Nick Piggin95b35122007-07-15 23:38:07 -0700345
346 spin_lock_irqsave(&slob_lock, flags);
347 sp->units = SLOB_UNITS(PAGE_SIZE);
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500348 sp->freelist = b;
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700349 INIT_LIST_HEAD(&sp->slab_list);
Nick Piggin95b35122007-07-15 23:38:07 -0700350 set_slob(b, SLOB_UNITS(PAGE_SIZE), b + SLOB_UNITS(PAGE_SIZE));
Matt Mackall20cecba2008-02-04 22:29:37 -0800351 set_slob_page_free(sp, slob_list);
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700352 b = slob_page_alloc(sp, size, align, &_unused);
Nick Piggin95b35122007-07-15 23:38:07 -0700353 BUG_ON(!b);
354 spin_unlock_irqrestore(&slob_lock, flags);
355 }
Miles Chen9f88fae2017-11-15 17:32:10 -0800356 if (unlikely(gfp & __GFP_ZERO))
Christoph Lameterd07dbea2007-07-17 04:03:23 -0700357 memset(b, 0, size);
Nick Piggin95b35122007-07-15 23:38:07 -0700358 return b;
359}
360
361/*
362 * slob_free: entry point into the slob allocator.
363 */
Matt Mackall10cef602006-01-08 01:01:45 -0800364static void slob_free(void *block, int size)
365{
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500366 struct page *sp;
Nick Piggin95b35122007-07-15 23:38:07 -0700367 slob_t *prev, *next, *b = (slob_t *)block;
368 slobidx_t units;
Matt Mackall10cef602006-01-08 01:01:45 -0800369 unsigned long flags;
Bob Liud602dab2010-07-10 18:05:33 +0800370 struct list_head *slob_list;
Matt Mackall10cef602006-01-08 01:01:45 -0800371
Satyam Sharma2408c552007-10-16 01:24:44 -0700372 if (unlikely(ZERO_OR_NULL_PTR(block)))
Matt Mackall10cef602006-01-08 01:01:45 -0800373 return;
Nick Piggin95b35122007-07-15 23:38:07 -0700374 BUG_ON(!size);
Matt Mackall10cef602006-01-08 01:01:45 -0800375
Christoph Lameterb5568282012-06-13 10:24:54 -0500376 sp = virt_to_page(block);
Nick Piggin95b35122007-07-15 23:38:07 -0700377 units = SLOB_UNITS(size);
Matt Mackall10cef602006-01-08 01:01:45 -0800378
Matt Mackall10cef602006-01-08 01:01:45 -0800379 spin_lock_irqsave(&slob_lock, flags);
Matt Mackall10cef602006-01-08 01:01:45 -0800380
Nick Piggin95b35122007-07-15 23:38:07 -0700381 if (sp->units + units == SLOB_UNITS(PAGE_SIZE)) {
382 /* Go directly to page allocator. Do not pass slob allocator */
383 if (slob_page_free(sp))
384 clear_slob_page_free(sp);
Nick Piggin6fb8f422009-03-16 21:00:28 +1100385 spin_unlock_irqrestore(&slob_lock, flags);
Christoph Lameterb5568282012-06-13 10:24:54 -0500386 __ClearPageSlab(sp);
Mel Gorman22b751c2013-02-22 16:34:59 -0800387 page_mapcount_reset(sp);
Nick Piggin1f0532e2009-05-05 19:13:45 +1000388 slob_free_pages(b, 0);
Nick Piggin6fb8f422009-03-16 21:00:28 +1100389 return;
Nick Piggin95b35122007-07-15 23:38:07 -0700390 }
Matt Mackall10cef602006-01-08 01:01:45 -0800391
Nick Piggin95b35122007-07-15 23:38:07 -0700392 if (!slob_page_free(sp)) {
393 /* This slob page is about to become partially free. Easy! */
394 sp->units = units;
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500395 sp->freelist = b;
Nick Piggin95b35122007-07-15 23:38:07 -0700396 set_slob(b, units,
397 (void *)((unsigned long)(b +
398 SLOB_UNITS(PAGE_SIZE)) & PAGE_MASK));
Bob Liud602dab2010-07-10 18:05:33 +0800399 if (size < SLOB_BREAK1)
400 slob_list = &free_slob_small;
401 else if (size < SLOB_BREAK2)
402 slob_list = &free_slob_medium;
403 else
404 slob_list = &free_slob_large;
405 set_slob_page_free(sp, slob_list);
Nick Piggin95b35122007-07-15 23:38:07 -0700406 goto out;
407 }
Matt Mackall10cef602006-01-08 01:01:45 -0800408
Nick Piggin95b35122007-07-15 23:38:07 -0700409 /*
410 * Otherwise the page is already partially free, so find reinsertion
411 * point.
412 */
413 sp->units += units;
Matt Mackall10cef602006-01-08 01:01:45 -0800414
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500415 if (b < (slob_t *)sp->freelist) {
416 if (b + units == sp->freelist) {
417 units += slob_units(sp->freelist);
418 sp->freelist = slob_next(sp->freelist);
Matt Mackall679299b2008-02-04 22:29:37 -0800419 }
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500420 set_slob(b, units, sp->freelist);
421 sp->freelist = b;
Nick Piggin95b35122007-07-15 23:38:07 -0700422 } else {
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500423 prev = sp->freelist;
Nick Piggin95b35122007-07-15 23:38:07 -0700424 next = slob_next(prev);
425 while (b > next) {
426 prev = next;
427 next = slob_next(prev);
428 }
429
430 if (!slob_last(prev) && b + units == next) {
431 units += slob_units(next);
432 set_slob(b, units, slob_next(next));
433 } else
434 set_slob(b, units, next);
435
436 if (prev + slob_units(prev) == b) {
437 units = slob_units(b) + slob_units(prev);
438 set_slob(prev, units, slob_next(b));
439 } else
440 set_slob(prev, slob_units(prev), b);
441 }
442out:
Matt Mackall10cef602006-01-08 01:01:45 -0800443 spin_unlock_irqrestore(&slob_lock, flags);
444}
445
Nick Piggin95b35122007-07-15 23:38:07 -0700446/*
447 * End of slob allocator proper. Begin kmem_cache_alloc and kmalloc frontend.
448 */
449
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300450static __always_inline void *
451__do_kmalloc_node(size_t size, gfp_t gfp, int node, unsigned long caller)
Matt Mackall10cef602006-01-08 01:01:45 -0800452{
Christoph Lameter6cb8f912007-07-17 04:03:22 -0700453 unsigned int *m;
Arnd Bergmann789306e2012-10-05 16:55:20 +0200454 int align = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300455 void *ret;
Nick Piggin55394842007-07-15 23:38:09 -0700456
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400457 gfp &= gfp_allowed_mask;
458
Peter Zijlstrad92a8cf2017-03-03 10:13:38 +0100459 fs_reclaim_acquire(gfp);
460 fs_reclaim_release(gfp);
Nick Piggincf40bd12009-01-21 08:12:39 +0100461
Nick Piggin55394842007-07-15 23:38:09 -0700462 if (size < PAGE_SIZE - align) {
Christoph Lameter6cb8f912007-07-17 04:03:22 -0700463 if (!size)
464 return ZERO_SIZE_PTR;
465
Paul Mundt6193a2f2007-07-15 23:38:22 -0700466 m = slob_alloc(size + align, gfp, align, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300467
MinChan Kim239f49c2008-05-19 22:12:08 +0900468 if (!m)
469 return NULL;
470 *m = size;
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300471 ret = (void *)m + align;
Nick Piggind87a1332007-07-15 23:38:08 -0700472
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300473 trace_kmalloc_node(caller, ret,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200474 size, size + align, gfp, node);
Nick Piggind87a1332007-07-15 23:38:08 -0700475 } else {
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300476 unsigned int order = get_order(size);
Nick Piggind87a1332007-07-15 23:38:08 -0700477
David Rientjes8df275a2010-08-22 16:16:06 -0700478 if (likely(order))
479 gfp |= __GFP_COMP;
480 ret = slob_new_pages(gfp, order, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300481
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300482 trace_kmalloc_node(caller, ret,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200483 size, PAGE_SIZE << order, gfp, node);
Matt Mackall10cef602006-01-08 01:01:45 -0800484 }
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300485
Catalin Marinas4374e612009-06-11 13:23:17 +0100486 kmemleak_alloc(ret, size, 1, gfp);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300487 return ret;
Matt Mackall10cef602006-01-08 01:01:45 -0800488}
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300489
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000490void *__kmalloc(size_t size, gfp_t gfp)
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300491{
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000492 return __do_kmalloc_node(size, gfp, NUMA_NO_NODE, _RET_IP_);
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300493}
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000494EXPORT_SYMBOL(__kmalloc);
Matt Mackall10cef602006-01-08 01:01:45 -0800495
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300496void *__kmalloc_track_caller(size_t size, gfp_t gfp, unsigned long caller)
497{
498 return __do_kmalloc_node(size, gfp, NUMA_NO_NODE, caller);
499}
500
501#ifdef CONFIG_NUMA
David Rientjes82bd5502012-09-25 12:53:51 -0700502void *__kmalloc_node_track_caller(size_t size, gfp_t gfp,
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300503 int node, unsigned long caller)
504{
505 return __do_kmalloc_node(size, gfp, node, caller);
506}
507#endif
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300508
Matt Mackall10cef602006-01-08 01:01:45 -0800509void kfree(const void *block)
510{
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500511 struct page *sp;
Matt Mackall10cef602006-01-08 01:01:45 -0800512
Pekka Enberg2121db72009-03-25 11:05:57 +0200513 trace_kfree(_RET_IP_, block);
514
Satyam Sharma2408c552007-10-16 01:24:44 -0700515 if (unlikely(ZERO_OR_NULL_PTR(block)))
Matt Mackall10cef602006-01-08 01:01:45 -0800516 return;
Catalin Marinas4374e612009-06-11 13:23:17 +0100517 kmemleak_free(block);
Matt Mackall10cef602006-01-08 01:01:45 -0800518
Christoph Lameterb5568282012-06-13 10:24:54 -0500519 sp = virt_to_page(block);
520 if (PageSlab(sp)) {
Arnd Bergmann789306e2012-10-05 16:55:20 +0200521 int align = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Nick Piggin55394842007-07-15 23:38:09 -0700522 unsigned int *m = (unsigned int *)(block - align);
523 slob_free(m, *m + align);
Nick Piggind87a1332007-07-15 23:38:08 -0700524 } else
Ezequiel Garcia8cf98642012-10-22 09:04:31 -0300525 __free_pages(sp, compound_order(sp));
Matt Mackall10cef602006-01-08 01:01:45 -0800526}
Matt Mackall10cef602006-01-08 01:01:45 -0800527EXPORT_SYMBOL(kfree);
528
Nick Piggind87a1332007-07-15 23:38:08 -0700529/* can't use ksize for kmem_cache_alloc memory, only kmalloc */
Marco Elver10d1f8c2019-07-11 20:54:14 -0700530size_t __ksize(const void *block)
Matt Mackall10cef602006-01-08 01:01:45 -0800531{
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500532 struct page *sp;
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300533 int align;
534 unsigned int *m;
Matt Mackall10cef602006-01-08 01:01:45 -0800535
Christoph Lameteref8b4522007-10-16 01:24:46 -0700536 BUG_ON(!block);
537 if (unlikely(block == ZERO_SIZE_PTR))
Matt Mackall10cef602006-01-08 01:01:45 -0800538 return 0;
539
Christoph Lameterb5568282012-06-13 10:24:54 -0500540 sp = virt_to_page(block);
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300541 if (unlikely(!PageSlab(sp)))
Matthew Wilcox (Oracle)a50b8542019-09-23 15:34:25 -0700542 return page_size(sp);
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300543
Arnd Bergmann789306e2012-10-05 16:55:20 +0200544 align = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300545 m = (unsigned int *)(block - align);
546 return SLOB_UNITS(*m) * SLOB_UNIT;
Matt Mackall10cef602006-01-08 01:01:45 -0800547}
Marco Elver10d1f8c2019-07-11 20:54:14 -0700548EXPORT_SYMBOL(__ksize);
Matt Mackall10cef602006-01-08 01:01:45 -0800549
Alexey Dobriyand50112e2017-11-15 17:32:18 -0800550int __kmem_cache_create(struct kmem_cache *c, slab_flags_t flags)
Matt Mackall10cef602006-01-08 01:01:45 -0800551{
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800552 if (flags & SLAB_TYPESAFE_BY_RCU) {
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000553 /* leave room for rcu footer at the end of object */
554 c->size += sizeof(struct slob_rcu);
Christoph Lameter039363f2012-07-06 15:25:10 -0500555 }
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000556 c->flags = flags;
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000557 return 0;
Matt Mackall10cef602006-01-08 01:01:45 -0800558}
Matt Mackall10cef602006-01-08 01:01:45 -0800559
Fabian Frederickc21a6da2015-04-14 15:44:34 -0700560static void *slob_alloc_node(struct kmem_cache *c, gfp_t flags, int node)
Matt Mackall10cef602006-01-08 01:01:45 -0800561{
562 void *b;
563
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400564 flags &= gfp_allowed_mask;
565
Peter Zijlstrad92a8cf2017-03-03 10:13:38 +0100566 fs_reclaim_acquire(flags);
567 fs_reclaim_release(flags);
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400568
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300569 if (c->size < PAGE_SIZE) {
Paul Mundt6193a2f2007-07-15 23:38:22 -0700570 b = slob_alloc(c->size, flags, c->align, node);
Ezequiel Garciafe74fe22012-10-19 09:33:11 -0300571 trace_kmem_cache_alloc_node(_RET_IP_, b, c->object_size,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200572 SLOB_UNITS(c->size) * SLOB_UNIT,
573 flags, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300574 } else {
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800575 b = slob_new_pages(flags, get_order(c->size), node);
Ezequiel Garciafe74fe22012-10-19 09:33:11 -0300576 trace_kmem_cache_alloc_node(_RET_IP_, b, c->object_size,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200577 PAGE_SIZE << get_order(c->size),
578 flags, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300579 }
Matt Mackall10cef602006-01-08 01:01:45 -0800580
Matthew Wilcox128227e2018-06-07 17:05:13 -0700581 if (b && c->ctor) {
582 WARN_ON_ONCE(flags & __GFP_ZERO);
Alexey Dobriyan51cc5062008-07-25 19:45:34 -0700583 c->ctor(b);
Matthew Wilcox128227e2018-06-07 17:05:13 -0700584 }
Matt Mackall10cef602006-01-08 01:01:45 -0800585
Catalin Marinas4374e612009-06-11 13:23:17 +0100586 kmemleak_alloc_recursive(b, c->size, 1, c->flags, flags);
Matt Mackall10cef602006-01-08 01:01:45 -0800587 return b;
588}
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000589
590void *kmem_cache_alloc(struct kmem_cache *cachep, gfp_t flags)
591{
592 return slob_alloc_node(cachep, flags, NUMA_NO_NODE);
593}
594EXPORT_SYMBOL(kmem_cache_alloc);
595
596#ifdef CONFIG_NUMA
597void *__kmalloc_node(size_t size, gfp_t gfp, int node)
598{
599 return __do_kmalloc_node(size, gfp, node, _RET_IP_);
600}
601EXPORT_SYMBOL(__kmalloc_node);
602
603void *kmem_cache_alloc_node(struct kmem_cache *cachep, gfp_t gfp, int node)
604{
605 return slob_alloc_node(cachep, gfp, node);
606}
Paul Mundt6193a2f2007-07-15 23:38:22 -0700607EXPORT_SYMBOL(kmem_cache_alloc_node);
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000608#endif
Matt Mackall10cef602006-01-08 01:01:45 -0800609
Nick Pigginafc0ced2007-05-16 22:10:49 -0700610static void __kmem_cache_free(void *b, int size)
611{
612 if (size < PAGE_SIZE)
613 slob_free(b, size);
614 else
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800615 slob_free_pages(b, get_order(size));
Nick Pigginafc0ced2007-05-16 22:10:49 -0700616}
617
618static void kmem_rcu_free(struct rcu_head *head)
619{
620 struct slob_rcu *slob_rcu = (struct slob_rcu *)head;
621 void *b = (void *)slob_rcu - (slob_rcu->size - sizeof(struct slob_rcu));
622
623 __kmem_cache_free(b, slob_rcu->size);
624}
625
Matt Mackall10cef602006-01-08 01:01:45 -0800626void kmem_cache_free(struct kmem_cache *c, void *b)
627{
Catalin Marinas4374e612009-06-11 13:23:17 +0100628 kmemleak_free_recursive(b, c->flags);
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800629 if (unlikely(c->flags & SLAB_TYPESAFE_BY_RCU)) {
Nick Pigginafc0ced2007-05-16 22:10:49 -0700630 struct slob_rcu *slob_rcu;
631 slob_rcu = b + (c->size - sizeof(struct slob_rcu));
Nick Pigginafc0ced2007-05-16 22:10:49 -0700632 slob_rcu->size = c->size;
633 call_rcu(&slob_rcu->head, kmem_rcu_free);
634 } else {
Nick Pigginafc0ced2007-05-16 22:10:49 -0700635 __kmem_cache_free(b, c->size);
636 }
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300637
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200638 trace_kmem_cache_free(_RET_IP_, b);
Matt Mackall10cef602006-01-08 01:01:45 -0800639}
640EXPORT_SYMBOL(kmem_cache_free);
641
Christoph Lameter484748f2015-09-04 15:45:34 -0700642void kmem_cache_free_bulk(struct kmem_cache *s, size_t size, void **p)
643{
644 __kmem_cache_free_bulk(s, size, p);
645}
646EXPORT_SYMBOL(kmem_cache_free_bulk);
647
Jesper Dangaard Brouer865762a2015-11-20 15:57:58 -0800648int kmem_cache_alloc_bulk(struct kmem_cache *s, gfp_t flags, size_t size,
Christoph Lameter484748f2015-09-04 15:45:34 -0700649 void **p)
650{
651 return __kmem_cache_alloc_bulk(s, flags, size, p);
652}
653EXPORT_SYMBOL(kmem_cache_alloc_bulk);
654
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000655int __kmem_cache_shutdown(struct kmem_cache *c)
656{
657 /* No way to check for remaining objects */
658 return 0;
659}
660
Dmitry Safonov52b4b952016-02-17 13:11:37 -0800661void __kmem_cache_release(struct kmem_cache *c)
662{
663}
664
Vladimir Davydov89e364d2016-12-12 16:41:32 -0800665int __kmem_cache_shrink(struct kmem_cache *d)
Christoph Lameter2e892f42006-12-13 00:34:23 -0800666{
667 return 0;
668}
Christoph Lameter2e892f42006-12-13 00:34:23 -0800669
Christoph Lameter9b030cb2012-09-05 00:20:33 +0000670struct kmem_cache kmem_cache_boot = {
671 .name = "kmem_cache",
672 .size = sizeof(struct kmem_cache),
673 .flags = SLAB_PANIC,
674 .align = ARCH_KMALLOC_MINALIGN,
675};
676
Dimitri Gorokhovikbcb4ddb2006-12-29 16:48:28 -0800677void __init kmem_cache_init(void)
678{
Christoph Lameter9b030cb2012-09-05 00:20:33 +0000679 kmem_cache = &kmem_cache_boot;
Christoph Lameter97d06602012-07-06 15:25:11 -0500680 slab_state = UP;
Matt Mackall10cef602006-01-08 01:01:45 -0800681}
Wu Fengguangbbff2e42009-08-06 11:36:25 +0300682
683void __init kmem_cache_init_late(void)
684{
Christoph Lameter97d06602012-07-06 15:25:11 -0500685 slab_state = FULL;
Wu Fengguangbbff2e42009-08-06 11:36:25 +0300686}