blob: 60c5842215f1b1773519a69155b0e657e2d2dd90 [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.
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +010033 * These objects are detected in kfree() because folio_test_slab()
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 */
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100108static inline int slob_page_free(struct slab *slab)
Nick Piggin95b35122007-07-15 23:38:07 -0700109{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100110 return PageSlobFree(slab_page(slab));
Nick Piggin95b35122007-07-15 23:38:07 -0700111}
112
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100113static void set_slob_page_free(struct slab *slab, struct list_head *list)
Nick Piggin95b35122007-07-15 23:38:07 -0700114{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100115 list_add(&slab->slab_list, list);
116 __SetPageSlobFree(slab_page(slab));
Nick Piggin95b35122007-07-15 23:38:07 -0700117}
118
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100119static inline void clear_slob_page_free(struct slab *slab)
Nick Piggin95b35122007-07-15 23:38:07 -0700120{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100121 list_del(&slab->slab_list);
122 __ClearPageSlobFree(slab_page(slab));
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{
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700193 struct page *page;
Paul Mundt6193a2f2007-07-15 23:38:22 -0700194
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
Roman Gushchind42f3242020-08-06 23:20:39 -0700205 mod_node_page_state(page_pgdat(page), NR_SLAB_UNRECLAIMABLE_B,
206 PAGE_SIZE << order);
Paul Mundt6193a2f2007-07-15 23:38:22 -0700207 return page_address(page);
208}
209
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800210static void slob_free_pages(void *b, int order)
211{
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700212 struct page *sp = virt_to_page(b);
213
Nick Piggin1f0532e2009-05-05 19:13:45 +1000214 if (current->reclaim_state)
215 current->reclaim_state->reclaimed_slab += 1 << order;
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700216
Roman Gushchind42f3242020-08-06 23:20:39 -0700217 mod_node_page_state(page_pgdat(sp), NR_SLAB_UNRECLAIMABLE_B,
218 -(PAGE_SIZE << order));
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700219 __free_pages(sp, order);
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800220}
221
Nick Piggin95b35122007-07-15 23:38:07 -0700222/*
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700223 * slob_page_alloc() - Allocate a slob block within a given slob_page sp.
224 * @sp: Page to look in.
225 * @size: Size of the allocation.
226 * @align: Allocation alignment.
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700227 * @align_offset: Offset in the allocated block that will be aligned.
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700228 * @page_removed_from_list: Return parameter.
229 *
230 * Tries to find a chunk of memory at least @size bytes big within @page.
231 *
232 * Return: Pointer to memory if allocated, %NULL otherwise. If the
233 * allocation fills up @page then the page is removed from the
234 * freelist, in this case @page_removed_from_list will be set to
235 * true (set to false otherwise).
Nick Piggin95b35122007-07-15 23:38:07 -0700236 */
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100237static void *slob_page_alloc(struct slab *sp, size_t size, int align,
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700238 int align_offset, bool *page_removed_from_list)
Matt Mackall10cef602006-01-08 01:01:45 -0800239{
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800240 slob_t *prev, *cur, *aligned = NULL;
Matt Mackall10cef602006-01-08 01:01:45 -0800241 int delta = 0, units = SLOB_UNITS(size);
Matt Mackall10cef602006-01-08 01:01:45 -0800242
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700243 *page_removed_from_list = false;
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500244 for (prev = NULL, cur = sp->freelist; ; prev = cur, cur = slob_next(cur)) {
Nick Piggin95b35122007-07-15 23:38:07 -0700245 slobidx_t avail = slob_units(cur);
246
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700247 /*
248 * 'aligned' will hold the address of the slob block so that the
249 * address 'aligned'+'align_offset' is aligned according to the
250 * 'align' parameter. This is for kmalloc() which prepends the
251 * allocated block with its size, so that the block itself is
252 * aligned when needed.
253 */
Matt Mackall10cef602006-01-08 01:01:45 -0800254 if (align) {
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700255 aligned = (slob_t *)
256 (ALIGN((unsigned long)cur + align_offset, align)
257 - align_offset);
Matt Mackall10cef602006-01-08 01:01:45 -0800258 delta = aligned - cur;
259 }
Nick Piggin95b35122007-07-15 23:38:07 -0700260 if (avail >= units + delta) { /* room enough? */
261 slob_t *next;
262
Matt Mackall10cef602006-01-08 01:01:45 -0800263 if (delta) { /* need to fragment head to align? */
Nick Piggin95b35122007-07-15 23:38:07 -0700264 next = slob_next(cur);
265 set_slob(aligned, avail - delta, next);
266 set_slob(cur, delta, aligned);
Matt Mackall10cef602006-01-08 01:01:45 -0800267 prev = cur;
268 cur = aligned;
Nick Piggin95b35122007-07-15 23:38:07 -0700269 avail = slob_units(cur);
Matt Mackall10cef602006-01-08 01:01:45 -0800270 }
271
Nick Piggin95b35122007-07-15 23:38:07 -0700272 next = slob_next(cur);
273 if (avail == units) { /* exact fit? unlink. */
274 if (prev)
275 set_slob(prev, slob_units(prev), next);
276 else
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500277 sp->freelist = next;
Nick Piggin95b35122007-07-15 23:38:07 -0700278 } else { /* fragment */
279 if (prev)
280 set_slob(prev, slob_units(prev), cur + units);
281 else
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500282 sp->freelist = cur + units;
Nick Piggin95b35122007-07-15 23:38:07 -0700283 set_slob(cur + units, avail - units, next);
Matt Mackall10cef602006-01-08 01:01:45 -0800284 }
285
Nick Piggin95b35122007-07-15 23:38:07 -0700286 sp->units -= units;
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700287 if (!sp->units) {
Nick Piggin95b35122007-07-15 23:38:07 -0700288 clear_slob_page_free(sp);
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700289 *page_removed_from_list = true;
290 }
Matt Mackall10cef602006-01-08 01:01:45 -0800291 return cur;
292 }
Nick Piggin95b35122007-07-15 23:38:07 -0700293 if (slob_last(cur))
294 return NULL;
Matt Mackall10cef602006-01-08 01:01:45 -0800295 }
296}
297
Nick Piggin95b35122007-07-15 23:38:07 -0700298/*
299 * slob_alloc: entry point into the slob allocator.
300 */
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700301static void *slob_alloc(size_t size, gfp_t gfp, int align, int node,
302 int align_offset)
Nick Piggin95b35122007-07-15 23:38:07 -0700303{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100304 struct folio *folio;
305 struct slab *sp;
Matt Mackall20cecba2008-02-04 22:29:37 -0800306 struct list_head *slob_list;
Nick Piggin95b35122007-07-15 23:38:07 -0700307 slob_t *b = NULL;
308 unsigned long flags;
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700309 bool _unused;
Nick Piggin95b35122007-07-15 23:38:07 -0700310
Matt Mackall20cecba2008-02-04 22:29:37 -0800311 if (size < SLOB_BREAK1)
312 slob_list = &free_slob_small;
313 else if (size < SLOB_BREAK2)
314 slob_list = &free_slob_medium;
315 else
316 slob_list = &free_slob_large;
317
Nick Piggin95b35122007-07-15 23:38:07 -0700318 spin_lock_irqsave(&slob_lock, flags);
319 /* Iterate through each partially free page, try to find room */
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700320 list_for_each_entry(sp, slob_list, slab_list) {
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700321 bool page_removed_from_list = false;
Paul Mundt6193a2f2007-07-15 23:38:22 -0700322#ifdef CONFIG_NUMA
323 /*
324 * If there's a node specification, search for a partial
325 * page with a matching node id in the freelist.
326 */
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100327 if (node != NUMA_NO_NODE && slab_nid(sp) != node)
Paul Mundt6193a2f2007-07-15 23:38:22 -0700328 continue;
329#endif
Matt Mackalld6269542007-07-21 04:37:40 -0700330 /* Enough room on this page? */
331 if (sp->units < SLOB_UNITS(size))
332 continue;
Paul Mundt6193a2f2007-07-15 23:38:22 -0700333
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700334 b = slob_page_alloc(sp, size, align, align_offset, &page_removed_from_list);
Matt Mackalld6269542007-07-21 04:37:40 -0700335 if (!b)
336 continue;
337
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700338 /*
339 * If slob_page_alloc() removed sp from the list then we
340 * cannot call list functions on sp. If so allocation
341 * did not fragment the page anyway so optimisation is
342 * unnecessary.
343 */
344 if (!page_removed_from_list) {
345 /*
346 * Improve fragment distribution and reduce our average
347 * search time by starting our next search here. (see
348 * Knuth vol 1, sec 2.5, pg 449)
349 */
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700350 if (!list_is_first(&sp->slab_list, slob_list))
351 list_rotate_to_front(&sp->slab_list, slob_list);
Tobin C. Harding130e8e02019-05-13 17:16:03 -0700352 }
Matt Mackalld6269542007-07-21 04:37:40 -0700353 break;
Nick Piggin95b35122007-07-15 23:38:07 -0700354 }
355 spin_unlock_irqrestore(&slob_lock, flags);
356
357 /* Not enough space: must allocate a new page */
358 if (!b) {
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800359 b = slob_new_pages(gfp & ~__GFP_ZERO, 0, node);
Nick Piggin95b35122007-07-15 23:38:07 -0700360 if (!b)
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800361 return NULL;
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100362 folio = virt_to_folio(b);
363 __folio_set_slab(folio);
364 sp = folio_slab(folio);
Nick Piggin95b35122007-07-15 23:38:07 -0700365
366 spin_lock_irqsave(&slob_lock, flags);
367 sp->units = SLOB_UNITS(PAGE_SIZE);
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500368 sp->freelist = b;
Tobin C. Hardingadab7b62019-05-13 17:16:06 -0700369 INIT_LIST_HEAD(&sp->slab_list);
Nick Piggin95b35122007-07-15 23:38:07 -0700370 set_slob(b, SLOB_UNITS(PAGE_SIZE), b + SLOB_UNITS(PAGE_SIZE));
Matt Mackall20cecba2008-02-04 22:29:37 -0800371 set_slob_page_free(sp, slob_list);
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700372 b = slob_page_alloc(sp, size, align, align_offset, &_unused);
Nick Piggin95b35122007-07-15 23:38:07 -0700373 BUG_ON(!b);
374 spin_unlock_irqrestore(&slob_lock, flags);
375 }
Miles Chen9f88fae2017-11-15 17:32:10 -0800376 if (unlikely(gfp & __GFP_ZERO))
Christoph Lameterd07dbea2007-07-17 04:03:23 -0700377 memset(b, 0, size);
Nick Piggin95b35122007-07-15 23:38:07 -0700378 return b;
379}
380
381/*
382 * slob_free: entry point into the slob allocator.
383 */
Matt Mackall10cef602006-01-08 01:01:45 -0800384static void slob_free(void *block, int size)
385{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100386 struct slab *sp;
Nick Piggin95b35122007-07-15 23:38:07 -0700387 slob_t *prev, *next, *b = (slob_t *)block;
388 slobidx_t units;
Matt Mackall10cef602006-01-08 01:01:45 -0800389 unsigned long flags;
Bob Liud602dab2010-07-10 18:05:33 +0800390 struct list_head *slob_list;
Matt Mackall10cef602006-01-08 01:01:45 -0800391
Satyam Sharma2408c552007-10-16 01:24:44 -0700392 if (unlikely(ZERO_OR_NULL_PTR(block)))
Matt Mackall10cef602006-01-08 01:01:45 -0800393 return;
Nick Piggin95b35122007-07-15 23:38:07 -0700394 BUG_ON(!size);
Matt Mackall10cef602006-01-08 01:01:45 -0800395
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100396 sp = virt_to_slab(block);
Nick Piggin95b35122007-07-15 23:38:07 -0700397 units = SLOB_UNITS(size);
Matt Mackall10cef602006-01-08 01:01:45 -0800398
Matt Mackall10cef602006-01-08 01:01:45 -0800399 spin_lock_irqsave(&slob_lock, flags);
Matt Mackall10cef602006-01-08 01:01:45 -0800400
Nick Piggin95b35122007-07-15 23:38:07 -0700401 if (sp->units + units == SLOB_UNITS(PAGE_SIZE)) {
402 /* Go directly to page allocator. Do not pass slob allocator */
403 if (slob_page_free(sp))
404 clear_slob_page_free(sp);
Nick Piggin6fb8f422009-03-16 21:00:28 +1100405 spin_unlock_irqrestore(&slob_lock, flags);
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100406 __folio_clear_slab(slab_folio(sp));
Nick Piggin1f0532e2009-05-05 19:13:45 +1000407 slob_free_pages(b, 0);
Nick Piggin6fb8f422009-03-16 21:00:28 +1100408 return;
Nick Piggin95b35122007-07-15 23:38:07 -0700409 }
Matt Mackall10cef602006-01-08 01:01:45 -0800410
Nick Piggin95b35122007-07-15 23:38:07 -0700411 if (!slob_page_free(sp)) {
412 /* This slob page is about to become partially free. Easy! */
413 sp->units = units;
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500414 sp->freelist = b;
Nick Piggin95b35122007-07-15 23:38:07 -0700415 set_slob(b, units,
416 (void *)((unsigned long)(b +
417 SLOB_UNITS(PAGE_SIZE)) & PAGE_MASK));
Bob Liud602dab2010-07-10 18:05:33 +0800418 if (size < SLOB_BREAK1)
419 slob_list = &free_slob_small;
420 else if (size < SLOB_BREAK2)
421 slob_list = &free_slob_medium;
422 else
423 slob_list = &free_slob_large;
424 set_slob_page_free(sp, slob_list);
Nick Piggin95b35122007-07-15 23:38:07 -0700425 goto out;
426 }
Matt Mackall10cef602006-01-08 01:01:45 -0800427
Nick Piggin95b35122007-07-15 23:38:07 -0700428 /*
429 * Otherwise the page is already partially free, so find reinsertion
430 * point.
431 */
432 sp->units += units;
Matt Mackall10cef602006-01-08 01:01:45 -0800433
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500434 if (b < (slob_t *)sp->freelist) {
435 if (b + units == sp->freelist) {
436 units += slob_units(sp->freelist);
437 sp->freelist = slob_next(sp->freelist);
Matt Mackall679299b2008-02-04 22:29:37 -0800438 }
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500439 set_slob(b, units, sp->freelist);
440 sp->freelist = b;
Nick Piggin95b35122007-07-15 23:38:07 -0700441 } else {
Christoph Lameterb8c24c42012-06-13 10:24:52 -0500442 prev = sp->freelist;
Nick Piggin95b35122007-07-15 23:38:07 -0700443 next = slob_next(prev);
444 while (b > next) {
445 prev = next;
446 next = slob_next(prev);
447 }
448
449 if (!slob_last(prev) && b + units == next) {
450 units += slob_units(next);
451 set_slob(b, units, slob_next(next));
452 } else
453 set_slob(b, units, next);
454
455 if (prev + slob_units(prev) == b) {
456 units = slob_units(b) + slob_units(prev);
457 set_slob(prev, units, slob_next(b));
458 } else
459 set_slob(prev, slob_units(prev), b);
460 }
461out:
Matt Mackall10cef602006-01-08 01:01:45 -0800462 spin_unlock_irqrestore(&slob_lock, flags);
463}
464
Paul E. McKenney5bb1bb32021-01-07 13:46:11 -0800465#ifdef CONFIG_PRINTK
Matthew Wilcox (Oracle)72132302021-10-04 14:45:55 +0100466void kmem_obj_info(struct kmem_obj_info *kpp, void *object, struct slab *slab)
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800467{
468 kpp->kp_ptr = object;
Matthew Wilcox (Oracle)72132302021-10-04 14:45:55 +0100469 kpp->kp_slab = slab;
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800470}
Paul E. McKenney5bb1bb32021-01-07 13:46:11 -0800471#endif
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800472
Nick Piggin95b35122007-07-15 23:38:07 -0700473/*
474 * End of slob allocator proper. Begin kmem_cache_alloc and kmalloc frontend.
475 */
476
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300477static __always_inline void *
478__do_kmalloc_node(size_t size, gfp_t gfp, int node, unsigned long caller)
Matt Mackall10cef602006-01-08 01:01:45 -0800479{
Christoph Lameter6cb8f912007-07-17 04:03:22 -0700480 unsigned int *m;
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700481 int minalign = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300482 void *ret;
Nick Piggin55394842007-07-15 23:38:09 -0700483
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400484 gfp &= gfp_allowed_mask;
485
Daniel Vetter95d6c702020-12-14 19:08:34 -0800486 might_alloc(gfp);
Nick Piggincf40bd12009-01-21 08:12:39 +0100487
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700488 if (size < PAGE_SIZE - minalign) {
489 int align = minalign;
490
491 /*
492 * For power of two sizes, guarantee natural alignment for
493 * kmalloc()'d objects.
494 */
495 if (is_power_of_2(size))
496 align = max(minalign, (int) size);
497
Christoph Lameter6cb8f912007-07-17 04:03:22 -0700498 if (!size)
499 return ZERO_SIZE_PTR;
500
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700501 m = slob_alloc(size + minalign, gfp, align, node, minalign);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300502
MinChan Kim239f49c2008-05-19 22:12:08 +0900503 if (!m)
504 return NULL;
505 *m = size;
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700506 ret = (void *)m + minalign;
Nick Piggind87a1332007-07-15 23:38:08 -0700507
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300508 trace_kmalloc_node(caller, ret,
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700509 size, size + minalign, gfp, node);
Nick Piggind87a1332007-07-15 23:38:08 -0700510 } else {
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300511 unsigned int order = get_order(size);
Nick Piggind87a1332007-07-15 23:38:08 -0700512
David Rientjes8df275a2010-08-22 16:16:06 -0700513 if (likely(order))
514 gfp |= __GFP_COMP;
515 ret = slob_new_pages(gfp, order, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300516
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300517 trace_kmalloc_node(caller, ret,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200518 size, PAGE_SIZE << order, gfp, node);
Matt Mackall10cef602006-01-08 01:01:45 -0800519 }
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300520
Catalin Marinas4374e612009-06-11 13:23:17 +0100521 kmemleak_alloc(ret, size, 1, gfp);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300522 return ret;
Matt Mackall10cef602006-01-08 01:01:45 -0800523}
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300524
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000525void *__kmalloc(size_t size, gfp_t gfp)
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300526{
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000527 return __do_kmalloc_node(size, gfp, NUMA_NO_NODE, _RET_IP_);
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300528}
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000529EXPORT_SYMBOL(__kmalloc);
Matt Mackall10cef602006-01-08 01:01:45 -0800530
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300531void *__kmalloc_track_caller(size_t size, gfp_t gfp, unsigned long caller)
532{
533 return __do_kmalloc_node(size, gfp, NUMA_NO_NODE, caller);
534}
Daniel Vetterfd7cb572020-03-23 15:49:00 +0100535EXPORT_SYMBOL(__kmalloc_track_caller);
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300536
537#ifdef CONFIG_NUMA
David Rientjes82bd5502012-09-25 12:53:51 -0700538void *__kmalloc_node_track_caller(size_t size, gfp_t gfp,
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300539 int node, unsigned long caller)
540{
541 return __do_kmalloc_node(size, gfp, node, caller);
542}
Daniel Vetterfd7cb572020-03-23 15:49:00 +0100543EXPORT_SYMBOL(__kmalloc_node_track_caller);
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300544#endif
Ezequiel Garciaf3f74102012-09-08 17:47:53 -0300545
Matt Mackall10cef602006-01-08 01:01:45 -0800546void kfree(const void *block)
547{
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100548 struct folio *sp;
Matt Mackall10cef602006-01-08 01:01:45 -0800549
Pekka Enberg2121db72009-03-25 11:05:57 +0200550 trace_kfree(_RET_IP_, block);
551
Satyam Sharma2408c552007-10-16 01:24:44 -0700552 if (unlikely(ZERO_OR_NULL_PTR(block)))
Matt Mackall10cef602006-01-08 01:01:45 -0800553 return;
Catalin Marinas4374e612009-06-11 13:23:17 +0100554 kmemleak_free(block);
Matt Mackall10cef602006-01-08 01:01:45 -0800555
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100556 sp = virt_to_folio(block);
557 if (folio_test_slab(sp)) {
Arnd Bergmann789306e2012-10-05 16:55:20 +0200558 int align = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Nick Piggin55394842007-07-15 23:38:09 -0700559 unsigned int *m = (unsigned int *)(block - align);
560 slob_free(m, *m + align);
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700561 } else {
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100562 unsigned int order = folio_order(sp);
563
564 mod_node_page_state(folio_pgdat(sp), NR_SLAB_UNRECLAIMABLE_B,
Roman Gushchind42f3242020-08-06 23:20:39 -0700565 -(PAGE_SIZE << order));
Matthew Wilcox (Oracle)50757012021-10-04 14:46:43 +0100566 __free_pages(folio_page(sp, 0), order);
Vlastimil Babka6a486c02019-10-06 17:58:42 -0700567
568 }
Matt Mackall10cef602006-01-08 01:01:45 -0800569}
Matt Mackall10cef602006-01-08 01:01:45 -0800570EXPORT_SYMBOL(kfree);
571
Nick Piggind87a1332007-07-15 23:38:08 -0700572/* can't use ksize for kmem_cache_alloc memory, only kmalloc */
Marco Elver10d1f8c2019-07-11 20:54:14 -0700573size_t __ksize(const void *block)
Matt Mackall10cef602006-01-08 01:01:45 -0800574{
Matthew Wilcox (Oracle)0c248112021-10-04 14:45:54 +0100575 struct folio *folio;
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300576 int align;
577 unsigned int *m;
Matt Mackall10cef602006-01-08 01:01:45 -0800578
Christoph Lameteref8b4522007-10-16 01:24:46 -0700579 BUG_ON(!block);
580 if (unlikely(block == ZERO_SIZE_PTR))
Matt Mackall10cef602006-01-08 01:01:45 -0800581 return 0;
582
Matthew Wilcox (Oracle)0c248112021-10-04 14:45:54 +0100583 folio = virt_to_folio(block);
584 if (unlikely(!folio_test_slab(folio)))
585 return folio_size(folio);
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300586
Arnd Bergmann789306e2012-10-05 16:55:20 +0200587 align = max_t(size_t, ARCH_KMALLOC_MINALIGN, ARCH_SLAB_MINALIGN);
Ezequiel Garcia999d8792012-10-19 09:33:10 -0300588 m = (unsigned int *)(block - align);
589 return SLOB_UNITS(*m) * SLOB_UNIT;
Matt Mackall10cef602006-01-08 01:01:45 -0800590}
Marco Elver10d1f8c2019-07-11 20:54:14 -0700591EXPORT_SYMBOL(__ksize);
Matt Mackall10cef602006-01-08 01:01:45 -0800592
Alexey Dobriyand50112e2017-11-15 17:32:18 -0800593int __kmem_cache_create(struct kmem_cache *c, slab_flags_t flags)
Matt Mackall10cef602006-01-08 01:01:45 -0800594{
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800595 if (flags & SLAB_TYPESAFE_BY_RCU) {
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000596 /* leave room for rcu footer at the end of object */
597 c->size += sizeof(struct slob_rcu);
Christoph Lameter039363f2012-07-06 15:25:10 -0500598 }
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000599 c->flags = flags;
Christoph Lameter278b1bb2012-09-05 00:20:34 +0000600 return 0;
Matt Mackall10cef602006-01-08 01:01:45 -0800601}
Matt Mackall10cef602006-01-08 01:01:45 -0800602
Fabian Frederickc21a6da2015-04-14 15:44:34 -0700603static void *slob_alloc_node(struct kmem_cache *c, gfp_t flags, int node)
Matt Mackall10cef602006-01-08 01:01:45 -0800604{
605 void *b;
606
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400607 flags &= gfp_allowed_mask;
608
Daniel Vetter95d6c702020-12-14 19:08:34 -0800609 might_alloc(flags);
Steven Rostedtbd50cfa2011-06-07 07:18:45 -0400610
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300611 if (c->size < PAGE_SIZE) {
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700612 b = slob_alloc(c->size, flags, c->align, node, 0);
Ezequiel Garciafe74fe22012-10-19 09:33:11 -0300613 trace_kmem_cache_alloc_node(_RET_IP_, b, c->object_size,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200614 SLOB_UNITS(c->size) * SLOB_UNIT,
615 flags, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300616 } else {
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800617 b = slob_new_pages(flags, get_order(c->size), node);
Ezequiel Garciafe74fe22012-10-19 09:33:11 -0300618 trace_kmem_cache_alloc_node(_RET_IP_, b, c->object_size,
Eduard - Gabriel Munteanuca2b84cb2009-03-23 15:12:24 +0200619 PAGE_SIZE << get_order(c->size),
620 flags, node);
Eduard - Gabriel Munteanu3eae2cb22008-08-10 20:14:07 +0300621 }
Matt Mackall10cef602006-01-08 01:01:45 -0800622
Matthew Wilcox128227e2018-06-07 17:05:13 -0700623 if (b && c->ctor) {
624 WARN_ON_ONCE(flags & __GFP_ZERO);
Alexey Dobriyan51cc5062008-07-25 19:45:34 -0700625 c->ctor(b);
Matthew Wilcox128227e2018-06-07 17:05:13 -0700626 }
Matt Mackall10cef602006-01-08 01:01:45 -0800627
Catalin Marinas4374e612009-06-11 13:23:17 +0100628 kmemleak_alloc_recursive(b, c->size, 1, c->flags, flags);
Matt Mackall10cef602006-01-08 01:01:45 -0800629 return b;
630}
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000631
632void *kmem_cache_alloc(struct kmem_cache *cachep, gfp_t flags)
633{
634 return slob_alloc_node(cachep, flags, NUMA_NO_NODE);
635}
636EXPORT_SYMBOL(kmem_cache_alloc);
637
638#ifdef CONFIG_NUMA
639void *__kmalloc_node(size_t size, gfp_t gfp, int node)
640{
641 return __do_kmalloc_node(size, gfp, node, _RET_IP_);
642}
643EXPORT_SYMBOL(__kmalloc_node);
644
645void *kmem_cache_alloc_node(struct kmem_cache *cachep, gfp_t gfp, int node)
646{
647 return slob_alloc_node(cachep, gfp, node);
648}
Paul Mundt6193a2f2007-07-15 23:38:22 -0700649EXPORT_SYMBOL(kmem_cache_alloc_node);
Christoph Lameterf1b6eb62013-09-04 16:35:34 +0000650#endif
Matt Mackall10cef602006-01-08 01:01:45 -0800651
Nick Pigginafc0ced2007-05-16 22:10:49 -0700652static void __kmem_cache_free(void *b, int size)
653{
654 if (size < PAGE_SIZE)
655 slob_free(b, size);
656 else
Américo Wang6e9ed0c2009-01-19 02:00:38 +0800657 slob_free_pages(b, get_order(size));
Nick Pigginafc0ced2007-05-16 22:10:49 -0700658}
659
660static void kmem_rcu_free(struct rcu_head *head)
661{
662 struct slob_rcu *slob_rcu = (struct slob_rcu *)head;
663 void *b = (void *)slob_rcu - (slob_rcu->size - sizeof(struct slob_rcu));
664
665 __kmem_cache_free(b, slob_rcu->size);
666}
667
Matt Mackall10cef602006-01-08 01:01:45 -0800668void kmem_cache_free(struct kmem_cache *c, void *b)
669{
Catalin Marinas4374e612009-06-11 13:23:17 +0100670 kmemleak_free_recursive(b, c->flags);
Yunfeng Ye9a543f02021-11-19 16:43:25 -0800671 trace_kmem_cache_free(_RET_IP_, b, c->name);
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800672 if (unlikely(c->flags & SLAB_TYPESAFE_BY_RCU)) {
Nick Pigginafc0ced2007-05-16 22:10:49 -0700673 struct slob_rcu *slob_rcu;
674 slob_rcu = b + (c->size - sizeof(struct slob_rcu));
Nick Pigginafc0ced2007-05-16 22:10:49 -0700675 slob_rcu->size = c->size;
676 call_rcu(&slob_rcu->head, kmem_rcu_free);
677 } else {
Nick Pigginafc0ced2007-05-16 22:10:49 -0700678 __kmem_cache_free(b, c->size);
679 }
Matt Mackall10cef602006-01-08 01:01:45 -0800680}
681EXPORT_SYMBOL(kmem_cache_free);
682
Christoph Lameter484748f2015-09-04 15:45:34 -0700683void kmem_cache_free_bulk(struct kmem_cache *s, size_t size, void **p)
684{
685 __kmem_cache_free_bulk(s, size, p);
686}
687EXPORT_SYMBOL(kmem_cache_free_bulk);
688
Jesper Dangaard Brouer865762a2015-11-20 15:57:58 -0800689int kmem_cache_alloc_bulk(struct kmem_cache *s, gfp_t flags, size_t size,
Christoph Lameter484748f2015-09-04 15:45:34 -0700690 void **p)
691{
692 return __kmem_cache_alloc_bulk(s, flags, size, p);
693}
694EXPORT_SYMBOL(kmem_cache_alloc_bulk);
695
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000696int __kmem_cache_shutdown(struct kmem_cache *c)
697{
698 /* No way to check for remaining objects */
699 return 0;
700}
701
Dmitry Safonov52b4b952016-02-17 13:11:37 -0800702void __kmem_cache_release(struct kmem_cache *c)
703{
704}
705
Vladimir Davydov89e364d2016-12-12 16:41:32 -0800706int __kmem_cache_shrink(struct kmem_cache *d)
Christoph Lameter2e892f42006-12-13 00:34:23 -0800707{
708 return 0;
709}
Christoph Lameter2e892f42006-12-13 00:34:23 -0800710
Christoph Lameter9b030cb2012-09-05 00:20:33 +0000711struct kmem_cache kmem_cache_boot = {
712 .name = "kmem_cache",
713 .size = sizeof(struct kmem_cache),
714 .flags = SLAB_PANIC,
715 .align = ARCH_KMALLOC_MINALIGN,
716};
717
Dimitri Gorokhovikbcb4ddb2006-12-29 16:48:28 -0800718void __init kmem_cache_init(void)
719{
Christoph Lameter9b030cb2012-09-05 00:20:33 +0000720 kmem_cache = &kmem_cache_boot;
Christoph Lameter97d06602012-07-06 15:25:11 -0500721 slab_state = UP;
Matt Mackall10cef602006-01-08 01:01:45 -0800722}
Wu Fengguangbbff2e42009-08-06 11:36:25 +0300723
724void __init kmem_cache_init_late(void)
725{
Christoph Lameter97d06602012-07-06 15:25:11 -0500726 slab_state = FULL;
Wu Fengguangbbff2e42009-08-06 11:36:25 +0300727}