blob: 238293b1dbe14b7603a1808eb29a00e65402407b [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Christoph Lameter039363f2012-07-06 15:25:10 -05002/*
3 * Slab allocator functions that are independent of the allocator strategy
4 *
5 * (C) 2012 Christoph Lameter <cl@linux.com>
6 */
7#include <linux/slab.h>
8
9#include <linux/mm.h>
10#include <linux/poison.h>
11#include <linux/interrupt.h>
12#include <linux/memory.h>
Alexey Dobriyan1c99ba22018-04-05 16:20:11 -070013#include <linux/cache.h>
Christoph Lameter039363f2012-07-06 15:25:10 -050014#include <linux/compiler.h>
Alexander Potapenkod3fb45f2021-02-25 17:19:11 -080015#include <linux/kfence.h>
Christoph Lameter039363f2012-07-06 15:25:10 -050016#include <linux/module.h>
Christoph Lameter20cea962012-07-06 15:25:13 -050017#include <linux/cpu.h>
18#include <linux/uaccess.h>
Glauber Costab7454ad2012-10-19 18:20:25 +040019#include <linux/seq_file.h>
Catalin Marinas963e84b2023-06-12 16:31:48 +010020#include <linux/dma-mapping.h>
Catalin Marinasb035f5a2023-06-12 16:32:00 +010021#include <linux/swiotlb.h>
Glauber Costab7454ad2012-10-19 18:20:25 +040022#include <linux/proc_fs.h>
Waiman Longfcf8a1e2019-07-11 20:56:38 -070023#include <linux/debugfs.h>
Vlastimil Babka6011be52023-10-03 11:57:45 +020024#include <linux/kmemleak.h>
Andrey Konovalove86f8b092020-12-22 12:03:31 -080025#include <linux/kasan.h>
Christoph Lameter039363f2012-07-06 15:25:10 -050026#include <asm/cacheflush.h>
27#include <asm/tlbflush.h>
28#include <asm/page.h>
Glauber Costa2633d7a2012-12-18 14:22:34 -080029#include <linux/memcontrol.h>
Oliver Glitta5cf909c2021-07-07 18:07:47 -070030#include <linux/stackdepot.h>
Andrey Ryabinin928cec92014-08-06 16:04:44 -070031
Vasily Averinb347aa72022-06-03 06:21:49 +030032#include "internal.h"
33#include "slab.h"
34
Andrey Ryabinin928cec92014-08-06 16:04:44 -070035#define CREATE_TRACE_POINTS
Christoph Lameterf1b6eb62013-09-04 16:35:34 +000036#include <trace/events/kmem.h>
Christoph Lameter039363f2012-07-06 15:25:10 -050037
Christoph Lameter97d06602012-07-06 15:25:11 -050038enum slab_state slab_state;
Christoph Lameter18004c52012-07-06 15:25:12 -050039LIST_HEAD(slab_caches);
40DEFINE_MUTEX(slab_mutex);
Christoph Lameter9b030cb2012-09-05 00:20:33 +000041struct kmem_cache *kmem_cache;
Christoph Lameter97d06602012-07-06 15:25:11 -050042
Tejun Heo657dc2f2017-02-22 15:41:14 -080043static LIST_HEAD(slab_caches_to_rcu_destroy);
44static void slab_caches_to_rcu_destroy_workfn(struct work_struct *work);
45static DECLARE_WORK(slab_caches_to_rcu_destroy_work,
46 slab_caches_to_rcu_destroy_workfn);
47
Joonsoo Kim07f361b2014-10-09 15:26:00 -070048/*
Joonsoo Kim423c9292014-10-09 15:26:22 -070049 * Set of flags that will prevent slab merging
50 */
51#define SLAB_NEVER_MERGE (SLAB_RED_ZONE | SLAB_POISON | SLAB_STORE_USER | \
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -080052 SLAB_TRACE | SLAB_TYPESAFE_BY_RCU | SLAB_NOLEAKTRACE | \
Jesper Dangaard Brouerd0bf7d572023-01-17 14:40:00 +010053 SLAB_FAILSLAB | SLAB_NO_MERGE | kasan_never_merge())
Joonsoo Kim423c9292014-10-09 15:26:22 -070054
Vladimir Davydov230e9fc2016-01-14 15:18:15 -080055#define SLAB_MERGE_SAME (SLAB_RECLAIM_ACCOUNT | SLAB_CACHE_DMA | \
Nicolas Boichat6d6ea1e2019-03-28 20:43:42 -070056 SLAB_CACHE_DMA32 | SLAB_ACCOUNT)
Joonsoo Kim423c9292014-10-09 15:26:22 -070057
58/*
59 * Merge control. If this is set then no merging of slab caches will occur.
Joonsoo Kim423c9292014-10-09 15:26:22 -070060 */
Kees Cook7660a6f2017-07-06 15:36:40 -070061static bool slab_nomerge = !IS_ENABLED(CONFIG_SLAB_MERGE_DEFAULT);
Joonsoo Kim423c9292014-10-09 15:26:22 -070062
63static int __init setup_slab_nomerge(char *str)
64{
Kees Cook7660a6f2017-07-06 15:36:40 -070065 slab_nomerge = true;
Joonsoo Kim423c9292014-10-09 15:26:22 -070066 return 1;
67}
68
Rafael Aquini82edd9d2021-04-29 22:54:39 -070069static int __init setup_slab_merge(char *str)
70{
71 slab_nomerge = false;
72 return 1;
73}
74
Joonsoo Kim423c9292014-10-09 15:26:22 -070075__setup_param("slub_nomerge", slub_nomerge, setup_slab_nomerge, 0);
Rafael Aquini82edd9d2021-04-29 22:54:39 -070076__setup_param("slub_merge", slub_merge, setup_slab_merge, 0);
Joonsoo Kim423c9292014-10-09 15:26:22 -070077
78__setup("slab_nomerge", setup_slab_nomerge);
Rafael Aquini82edd9d2021-04-29 22:54:39 -070079__setup("slab_merge", setup_slab_merge);
Joonsoo Kim423c9292014-10-09 15:26:22 -070080
81/*
Joonsoo Kim07f361b2014-10-09 15:26:00 -070082 * Determine the size of a slab object
83 */
84unsigned int kmem_cache_size(struct kmem_cache *s)
85{
86 return s->object_size;
87}
88EXPORT_SYMBOL(kmem_cache_size);
89
Shuah Khan77be4b12012-08-16 00:09:46 -070090#ifdef CONFIG_DEBUG_VM
Alexey Dobriyanf4957d52018-04-05 16:20:37 -070091static int kmem_cache_sanity_check(const char *name, unsigned int size)
Shuah Khan77be4b12012-08-16 00:09:46 -070092{
Kees Cook74c1d3e2021-06-15 18:23:22 -070093 if (!name || in_interrupt() || size > KMALLOC_MAX_SIZE) {
Shuah Khan77be4b12012-08-16 00:09:46 -070094 pr_err("kmem_cache_create(%s) integrity check failed\n", name);
95 return -EINVAL;
96 }
97
Shuah Khan77be4b12012-08-16 00:09:46 -070098 WARN_ON(strchr(name, ' ')); /* It confuses parsers */
99 return 0;
100}
101#else
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700102static inline int kmem_cache_sanity_check(const char *name, unsigned int size)
Shuah Khan77be4b12012-08-16 00:09:46 -0700103{
104 return 0;
105}
106#endif
107
Christoph Lameter039363f2012-07-06 15:25:10 -0500108/*
Byongho Lee692ae742018-01-31 16:15:36 -0800109 * Figure out what the alignment of the objects will be given a set of
110 * flags, a user specified alignment and the size of the objects.
111 */
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700112static unsigned int calculate_alignment(slab_flags_t flags,
113 unsigned int align, unsigned int size)
Byongho Lee692ae742018-01-31 16:15:36 -0800114{
115 /*
116 * If the user wants hardware cache aligned objects then follow that
117 * suggestion if the object is sufficiently large.
118 *
119 * The hardware cache alignment cannot override the specified
120 * alignment though. If that is greater then use it.
121 */
122 if (flags & SLAB_HWCACHE_ALIGN) {
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700123 unsigned int ralign;
Byongho Lee692ae742018-01-31 16:15:36 -0800124
125 ralign = cache_line_size();
126 while (size <= ralign / 2)
127 ralign /= 2;
128 align = max(align, ralign);
129 }
130
Peter Collingbourned949a8152022-05-09 18:20:53 -0700131 align = max(align, arch_slab_minalign());
Byongho Lee692ae742018-01-31 16:15:36 -0800132
133 return ALIGN(align, sizeof(void *));
134}
135
136/*
Joonsoo Kim423c9292014-10-09 15:26:22 -0700137 * Find a mergeable slab cache
138 */
139int slab_unmergeable(struct kmem_cache *s)
140{
141 if (slab_nomerge || (s->flags & SLAB_NEVER_MERGE))
142 return 1;
143
Joonsoo Kim423c9292014-10-09 15:26:22 -0700144 if (s->ctor)
145 return 1;
146
Vlastimil Babka346907c2022-11-16 15:56:32 +0100147#ifdef CONFIG_HARDENED_USERCOPY
David Windsor8eb82842017-06-10 22:50:28 -0400148 if (s->usersize)
149 return 1;
Vlastimil Babka346907c2022-11-16 15:56:32 +0100150#endif
David Windsor8eb82842017-06-10 22:50:28 -0400151
Joonsoo Kim423c9292014-10-09 15:26:22 -0700152 /*
153 * We may have set a slab to be unmergeable during bootstrap.
154 */
155 if (s->refcount < 0)
156 return 1;
157
158 return 0;
159}
160
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700161struct kmem_cache *find_mergeable(unsigned int size, unsigned int align,
Alexey Dobriyand50112e2017-11-15 17:32:18 -0800162 slab_flags_t flags, const char *name, void (*ctor)(void *))
Joonsoo Kim423c9292014-10-09 15:26:22 -0700163{
164 struct kmem_cache *s;
165
Grygorii Maistrenkoc6e28892017-02-22 15:40:59 -0800166 if (slab_nomerge)
Joonsoo Kim423c9292014-10-09 15:26:22 -0700167 return NULL;
168
169 if (ctor)
170 return NULL;
171
172 size = ALIGN(size, sizeof(void *));
173 align = calculate_alignment(flags, align, size);
174 size = ALIGN(size, align);
Nikolay Borisov37540002021-02-24 12:00:58 -0800175 flags = kmem_cache_flags(size, flags, name);
Joonsoo Kim423c9292014-10-09 15:26:22 -0700176
Grygorii Maistrenkoc6e28892017-02-22 15:40:59 -0800177 if (flags & SLAB_NEVER_MERGE)
178 return NULL;
179
Roman Gushchinc7094402020-08-06 23:21:20 -0700180 list_for_each_entry_reverse(s, &slab_caches, list) {
Joonsoo Kim423c9292014-10-09 15:26:22 -0700181 if (slab_unmergeable(s))
182 continue;
183
184 if (size > s->size)
185 continue;
186
187 if ((flags & SLAB_MERGE_SAME) != (s->flags & SLAB_MERGE_SAME))
188 continue;
189 /*
190 * Check if alignment is compatible.
191 * Courtesy of Adrian Drzewiecki
192 */
193 if ((s->size & ~(align - 1)) != s->size)
194 continue;
195
196 if (s->size - size >= sizeof(void *))
197 continue;
198
199 return s;
200 }
201 return NULL;
202}
203
Vladimir Davydovc9a77a72015-11-05 18:45:08 -0800204static struct kmem_cache *create_cache(const char *name,
Shakeel Butt613a5eb2018-04-05 16:21:50 -0700205 unsigned int object_size, unsigned int align,
Alexey Dobriyan7bbdb812018-04-05 16:21:31 -0700206 slab_flags_t flags, unsigned int useroffset,
207 unsigned int usersize, void (*ctor)(void *),
Roman Gushchin98556092020-08-06 23:21:10 -0700208 struct kmem_cache *root_cache)
Vladimir Davydov794b1242014-04-07 15:39:26 -0700209{
210 struct kmem_cache *s;
211 int err;
212
David Windsor8eb82842017-06-10 22:50:28 -0400213 if (WARN_ON(useroffset + usersize > object_size))
214 useroffset = usersize = 0;
215
Vladimir Davydov794b1242014-04-07 15:39:26 -0700216 err = -ENOMEM;
217 s = kmem_cache_zalloc(kmem_cache, GFP_KERNEL);
218 if (!s)
219 goto out;
220
221 s->name = name;
Shakeel Butt613a5eb2018-04-05 16:21:50 -0700222 s->size = s->object_size = object_size;
Vladimir Davydov794b1242014-04-07 15:39:26 -0700223 s->align = align;
224 s->ctor = ctor;
Vlastimil Babka346907c2022-11-16 15:56:32 +0100225#ifdef CONFIG_HARDENED_USERCOPY
David Windsor8eb82842017-06-10 22:50:28 -0400226 s->useroffset = useroffset;
227 s->usersize = usersize;
Vlastimil Babka346907c2022-11-16 15:56:32 +0100228#endif
Vladimir Davydov794b1242014-04-07 15:39:26 -0700229
Vladimir Davydov794b1242014-04-07 15:39:26 -0700230 err = __kmem_cache_create(s, flags);
231 if (err)
232 goto out_free_cache;
233
234 s->refcount = 1;
235 list_add(&s->list, &slab_caches);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700236 return s;
237
238out_free_cache:
Vaishali Thakkar7c4da062015-02-10 14:09:40 -0800239 kmem_cache_free(kmem_cache, s);
Zhen Leib9dad152023-06-06 14:55:43 +0800240out:
241 return ERR_PTR(err);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700242}
Christoph Lameter45906852012-11-28 16:23:16 +0000243
Mike Rapoportf4969902018-12-06 23:13:00 +0200244/**
245 * kmem_cache_create_usercopy - Create a cache with a region suitable
246 * for copying to userspace
Christoph Lameter039363f2012-07-06 15:25:10 -0500247 * @name: A string which is used in /proc/slabinfo to identify this cache.
248 * @size: The size of objects to be created in this cache.
249 * @align: The required alignment for the objects.
250 * @flags: SLAB flags
David Windsor8eb82842017-06-10 22:50:28 -0400251 * @useroffset: Usercopy region offset
252 * @usersize: Usercopy region size
Christoph Lameter039363f2012-07-06 15:25:10 -0500253 * @ctor: A constructor for the objects.
254 *
Christoph Lameter039363f2012-07-06 15:25:10 -0500255 * Cannot be called within a interrupt, but can be interrupted.
256 * The @ctor is run when new pages are allocated by the cache.
257 *
258 * The flags are
259 *
260 * %SLAB_POISON - Poison the slab with a known test pattern (a5a5a5a5)
261 * to catch references to uninitialised memory.
262 *
Mike Rapoportf4969902018-12-06 23:13:00 +0200263 * %SLAB_RED_ZONE - Insert `Red` zones around the allocated memory to check
Christoph Lameter039363f2012-07-06 15:25:10 -0500264 * for buffer overruns.
265 *
266 * %SLAB_HWCACHE_ALIGN - Align the objects in this cache to a hardware
267 * cacheline. This can be beneficial if you're counting cycles as closely
268 * as davem.
Mike Rapoportf4969902018-12-06 23:13:00 +0200269 *
270 * Return: a pointer to the cache on success, NULL on failure.
Christoph Lameter039363f2012-07-06 15:25:10 -0500271 */
Glauber Costa2633d7a2012-12-18 14:22:34 -0800272struct kmem_cache *
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700273kmem_cache_create_usercopy(const char *name,
274 unsigned int size, unsigned int align,
Alexey Dobriyan7bbdb812018-04-05 16:21:31 -0700275 slab_flags_t flags,
276 unsigned int useroffset, unsigned int usersize,
David Windsor8eb82842017-06-10 22:50:28 -0400277 void (*ctor)(void *))
Christoph Lameter039363f2012-07-06 15:25:10 -0500278{
Alexandru Moise40911a72015-11-05 18:45:43 -0800279 struct kmem_cache *s = NULL;
Andrzej Hajda3dec16e2015-02-13 14:36:38 -0800280 const char *cache_name;
Vladimir Davydov3965fc32014-01-23 15:52:55 -0800281 int err;
Christoph Lameter039363f2012-07-06 15:25:10 -0500282
Vlastimil Babkaafe0c262021-05-14 17:27:10 -0700283#ifdef CONFIG_SLUB_DEBUG
284 /*
285 * If no slub_debug was enabled globally, the static key is not yet
286 * enabled by setup_slub_debug(). Enable it if the cache is being
287 * created with any of the debugging flags passed explicitly.
Oliver Glitta5cf909c2021-07-07 18:07:47 -0700288 * It's also possible that this is the first cache created with
289 * SLAB_STORE_USER and we should init stack_depot for it.
Vlastimil Babkaafe0c262021-05-14 17:27:10 -0700290 */
291 if (flags & SLAB_DEBUG_FLAGS)
292 static_branch_enable(&slub_debug_enabled);
Oliver Glitta5cf909c2021-07-07 18:07:47 -0700293 if (flags & SLAB_STORE_USER)
294 stack_depot_init();
Vlastimil Babkaafe0c262021-05-14 17:27:10 -0700295#endif
296
Pekka Enbergb9205362012-08-16 10:12:18 +0300297 mutex_lock(&slab_mutex);
Christoph Lameter686d5502012-09-05 00:20:33 +0000298
Vladimir Davydov794b1242014-04-07 15:39:26 -0700299 err = kmem_cache_sanity_check(name, size);
Andrew Morton3aa24f52014-10-09 15:25:58 -0700300 if (err) {
Vladimir Davydov3965fc32014-01-23 15:52:55 -0800301 goto out_unlock;
Andrew Morton3aa24f52014-10-09 15:25:58 -0700302 }
Christoph Lameter686d5502012-09-05 00:20:33 +0000303
Thomas Garniere70954f2016-12-12 16:41:38 -0800304 /* Refuse requests with allocator specific flags */
305 if (flags & ~SLAB_FLAGS_PERMITTED) {
306 err = -EINVAL;
307 goto out_unlock;
308 }
309
Glauber Costad8843922012-10-17 15:36:51 +0400310 /*
311 * Some allocators will constraint the set of valid flags to a subset
312 * of all flags. We expect them to define CACHE_CREATE_MASK in this
313 * case, and we'll just provide them with a sanitized version of the
314 * passed flags.
315 */
316 flags &= CACHE_CREATE_MASK;
Christoph Lameter686d5502012-09-05 00:20:33 +0000317
David Windsor8eb82842017-06-10 22:50:28 -0400318 /* Fail closed on bad usersize of useroffset values. */
Vlastimil Babka346907c2022-11-16 15:56:32 +0100319 if (!IS_ENABLED(CONFIG_HARDENED_USERCOPY) ||
320 WARN_ON(!usersize && useroffset) ||
David Windsor8eb82842017-06-10 22:50:28 -0400321 WARN_ON(size < usersize || size - usersize < useroffset))
322 usersize = useroffset = 0;
323
324 if (!usersize)
325 s = __kmem_cache_alias(name, size, align, flags, ctor);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700326 if (s)
Vladimir Davydov3965fc32014-01-23 15:52:55 -0800327 goto out_unlock;
Glauber Costa2633d7a2012-12-18 14:22:34 -0800328
Andrzej Hajda3dec16e2015-02-13 14:36:38 -0800329 cache_name = kstrdup_const(name, GFP_KERNEL);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700330 if (!cache_name) {
331 err = -ENOMEM;
332 goto out_unlock;
333 }
Glauber Costa2633d7a2012-12-18 14:22:34 -0800334
Shakeel Butt613a5eb2018-04-05 16:21:50 -0700335 s = create_cache(cache_name, size,
Vladimir Davydovc9a77a72015-11-05 18:45:08 -0800336 calculate_alignment(flags, align, size),
Roman Gushchin98556092020-08-06 23:21:10 -0700337 flags, useroffset, usersize, ctor, NULL);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700338 if (IS_ERR(s)) {
339 err = PTR_ERR(s);
Andrzej Hajda3dec16e2015-02-13 14:36:38 -0800340 kfree_const(cache_name);
Vladimir Davydov794b1242014-04-07 15:39:26 -0700341 }
Vladimir Davydov3965fc32014-01-23 15:52:55 -0800342
343out_unlock:
Christoph Lameter20cea962012-07-06 15:25:13 -0500344 mutex_unlock(&slab_mutex);
Vladimir Davydov03afc0e2014-06-04 16:07:20 -0700345
Dave Jonesba3253c2014-01-29 14:05:48 -0800346 if (err) {
Christoph Lameter686d5502012-09-05 00:20:33 +0000347 if (flags & SLAB_PANIC)
gumingtao4acaa7d2021-06-28 19:34:27 -0700348 panic("%s: Failed to create slab '%s'. Error %d\n",
349 __func__, name, err);
Christoph Lameter686d5502012-09-05 00:20:33 +0000350 else {
gumingtao4acaa7d2021-06-28 19:34:27 -0700351 pr_warn("%s(%s) failed with error %d\n",
352 __func__, name, err);
Christoph Lameter686d5502012-09-05 00:20:33 +0000353 dump_stack();
354 }
Christoph Lameter686d5502012-09-05 00:20:33 +0000355 return NULL;
356 }
Christoph Lameter039363f2012-07-06 15:25:10 -0500357 return s;
Glauber Costa2633d7a2012-12-18 14:22:34 -0800358}
David Windsor8eb82842017-06-10 22:50:28 -0400359EXPORT_SYMBOL(kmem_cache_create_usercopy);
360
Mike Rapoportf4969902018-12-06 23:13:00 +0200361/**
362 * kmem_cache_create - Create a cache.
363 * @name: A string which is used in /proc/slabinfo to identify this cache.
364 * @size: The size of objects to be created in this cache.
365 * @align: The required alignment for the objects.
366 * @flags: SLAB flags
367 * @ctor: A constructor for the objects.
368 *
369 * Cannot be called within a interrupt, but can be interrupted.
370 * The @ctor is run when new pages are allocated by the cache.
371 *
372 * The flags are
373 *
374 * %SLAB_POISON - Poison the slab with a known test pattern (a5a5a5a5)
375 * to catch references to uninitialised memory.
376 *
377 * %SLAB_RED_ZONE - Insert `Red` zones around the allocated memory to check
378 * for buffer overruns.
379 *
380 * %SLAB_HWCACHE_ALIGN - Align the objects in this cache to a hardware
381 * cacheline. This can be beneficial if you're counting cycles as closely
382 * as davem.
383 *
384 * Return: a pointer to the cache on success, NULL on failure.
385 */
David Windsor8eb82842017-06-10 22:50:28 -0400386struct kmem_cache *
Alexey Dobriyanf4957d52018-04-05 16:20:37 -0700387kmem_cache_create(const char *name, unsigned int size, unsigned int align,
David Windsor8eb82842017-06-10 22:50:28 -0400388 slab_flags_t flags, void (*ctor)(void *))
389{
Kees Cook6d07d1c2017-06-14 16:12:04 -0700390 return kmem_cache_create_usercopy(name, size, align, flags, 0, 0,
David Windsor8eb82842017-06-10 22:50:28 -0400391 ctor);
392}
Christoph Lameter039363f2012-07-06 15:25:10 -0500393EXPORT_SYMBOL(kmem_cache_create);
Christoph Lameter97d06602012-07-06 15:25:11 -0500394
Waiman Long0495e332022-08-12 14:30:33 -0400395#ifdef SLAB_SUPPORTS_SYSFS
396/*
397 * For a given kmem_cache, kmem_cache_destroy() should only be called
398 * once or there will be a use-after-free problem. The actual deletion
399 * and release of the kobject does not need slab_mutex or cpu_hotplug_lock
400 * protection. So they are now done without holding those locks.
401 *
402 * Note that there will be a slight delay in the deletion of sysfs files
403 * if kmem_cache_release() is called indrectly from a work function.
404 */
405static void kmem_cache_release(struct kmem_cache *s)
406{
407 sysfs_slab_unlink(s);
408 sysfs_slab_release(s);
409}
410#else
411static void kmem_cache_release(struct kmem_cache *s)
412{
413 slab_kmem_cache_release(s);
414}
415#endif
416
Tejun Heo657dc2f2017-02-22 15:41:14 -0800417static void slab_caches_to_rcu_destroy_workfn(struct work_struct *work)
Vladimir Davydovd5b3cf72015-02-10 14:11:47 -0800418{
Tejun Heo657dc2f2017-02-22 15:41:14 -0800419 LIST_HEAD(to_destroy);
Vladimir Davydovd5b3cf72015-02-10 14:11:47 -0800420 struct kmem_cache *s, *s2;
421
Tejun Heo657dc2f2017-02-22 15:41:14 -0800422 /*
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800423 * On destruction, SLAB_TYPESAFE_BY_RCU kmem_caches are put on the
Tejun Heo657dc2f2017-02-22 15:41:14 -0800424 * @slab_caches_to_rcu_destroy list. The slab pages are freed
Randy Dunlap081a06f2020-08-11 18:33:19 -0700425 * through RCU and the associated kmem_cache are dereferenced
Tejun Heo657dc2f2017-02-22 15:41:14 -0800426 * while freeing the pages, so the kmem_caches should be freed only
427 * after the pending RCU operations are finished. As rcu_barrier()
428 * is a pretty slow operation, we batch all pending destructions
429 * asynchronously.
430 */
431 mutex_lock(&slab_mutex);
432 list_splice_init(&slab_caches_to_rcu_destroy, &to_destroy);
433 mutex_unlock(&slab_mutex);
Vladimir Davydovd5b3cf72015-02-10 14:11:47 -0800434
Tejun Heo657dc2f2017-02-22 15:41:14 -0800435 if (list_empty(&to_destroy))
436 return;
437
438 rcu_barrier();
439
440 list_for_each_entry_safe(s, s2, &to_destroy, list) {
Faiyaz Mohammed64dd6842021-06-28 19:34:55 -0700441 debugfs_slab_release(s);
Alexander Potapenkod3fb45f2021-02-25 17:19:11 -0800442 kfence_shutdown_cache(s);
Waiman Long0495e332022-08-12 14:30:33 -0400443 kmem_cache_release(s);
Vladimir Davydovd5b3cf72015-02-10 14:11:47 -0800444 }
445}
446
Tejun Heo657dc2f2017-02-22 15:41:14 -0800447static int shutdown_cache(struct kmem_cache *s)
448{
Greg Thelenf9fa1d92017-02-24 15:00:05 -0800449 /* free asan quarantined objects */
450 kasan_cache_shutdown(s);
451
Tejun Heo657dc2f2017-02-22 15:41:14 -0800452 if (__kmem_cache_shutdown(s) != 0)
453 return -EBUSY;
454
455 list_del(&s->list);
Tejun Heo657dc2f2017-02-22 15:41:14 -0800456
Paul E. McKenney5f0d5a32017-01-18 02:53:44 -0800457 if (s->flags & SLAB_TYPESAFE_BY_RCU) {
Tejun Heo657dc2f2017-02-22 15:41:14 -0800458 list_add_tail(&s->list, &slab_caches_to_rcu_destroy);
459 schedule_work(&slab_caches_to_rcu_destroy_work);
460 } else {
Alexander Potapenkod3fb45f2021-02-25 17:19:11 -0800461 kfence_shutdown_cache(s);
Faiyaz Mohammed64dd6842021-06-28 19:34:55 -0700462 debugfs_slab_release(s);
Tejun Heo657dc2f2017-02-22 15:41:14 -0800463 }
464
465 return 0;
466}
467
Christoph Lameter41a21282014-05-06 12:50:08 -0700468void slab_kmem_cache_release(struct kmem_cache *s)
469{
Dmitry Safonov52b4b952016-02-17 13:11:37 -0800470 __kmem_cache_release(s);
Andrzej Hajda3dec16e2015-02-13 14:36:38 -0800471 kfree_const(s->name);
Christoph Lameter41a21282014-05-06 12:50:08 -0700472 kmem_cache_free(kmem_cache, s);
473}
474
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000475void kmem_cache_destroy(struct kmem_cache *s)
476{
Rafael Aquini46a9ea62023-09-08 19:06:49 -0400477 int err = -EBUSY;
Feng Tangd71608a2022-09-19 11:12:41 +0800478 bool rcu_set;
Waiman Long0495e332022-08-12 14:30:33 -0400479
Marco Elverbed0a9b2022-01-14 14:04:54 -0800480 if (unlikely(!s) || !kasan_check_byte(s))
Sergey Senozhatsky3942d292015-09-08 15:00:50 -0700481 return;
482
Sebastian Andrzej Siewior5a836bf2021-02-26 17:11:55 +0100483 cpus_read_lock();
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000484 mutex_lock(&slab_mutex);
Vladimir Davydovb8529902014-04-07 15:39:28 -0700485
Feng Tangd71608a2022-09-19 11:12:41 +0800486 rcu_set = s->flags & SLAB_TYPESAFE_BY_RCU;
487
Rafael Aquini46a9ea62023-09-08 19:06:49 -0400488 s->refcount--;
489 if (s->refcount)
Vladimir Davydovb8529902014-04-07 15:39:28 -0700490 goto out_unlock;
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000491
Rafael Aquini46a9ea62023-09-08 19:06:49 -0400492 err = shutdown_cache(s);
493 WARN(err, "%s %s: Slab cache still has objects when called from %pS",
Marco Elver7302e912022-01-14 14:03:58 -0800494 __func__, s->name, (void *)_RET_IP_);
Vladimir Davydovb8529902014-04-07 15:39:28 -0700495out_unlock:
496 mutex_unlock(&slab_mutex);
Sebastian Andrzej Siewior5a836bf2021-02-26 17:11:55 +0100497 cpus_read_unlock();
Rafael Aquini46a9ea62023-09-08 19:06:49 -0400498 if (!err && !rcu_set)
Waiman Long0495e332022-08-12 14:30:33 -0400499 kmem_cache_release(s);
Christoph Lameter945cf2b2012-09-04 23:18:33 +0000500}
501EXPORT_SYMBOL(kmem_cache_destroy);
502
Vladimir Davydov03afc0e2014-06-04 16:07:20 -0700503/**
504 * kmem_cache_shrink - Shrink a cache.
505 * @cachep: The cache to shrink.
506 *
507 * Releases as many slabs as possible for a cache.
508 * To help debugging, a zero exit status indicates all slabs were released.
Mike Rapoporta862f682019-03-05 15:48:42 -0800509 *
510 * Return: %0 if all slabs were released, non-zero otherwise
Vladimir Davydov03afc0e2014-06-04 16:07:20 -0700511 */
512int kmem_cache_shrink(struct kmem_cache *cachep)
513{
Alexander Potapenko55834c52016-05-20 16:59:11 -0700514 kasan_cache_shrink(cachep);
Vlastimil Babka7e1fa932021-02-24 12:01:12 -0800515
ye xingchen610f9c002022-08-23 07:52:41 +0000516 return __kmem_cache_shrink(cachep);
Vladimir Davydov03afc0e2014-06-04 16:07:20 -0700517}
518EXPORT_SYMBOL(kmem_cache_shrink);
519
Denis Kirjanovfda90122015-11-05 18:44:59 -0800520bool slab_is_available(void)
Christoph Lameter97d06602012-07-06 15:25:11 -0500521{
522 return slab_state >= UP;
523}
Glauber Costab7454ad2012-10-19 18:20:25 +0400524
Paul E. McKenney5bb1bb32021-01-07 13:46:11 -0800525#ifdef CONFIG_PRINTK
Marco Elver2dfe63e2022-04-14 19:13:40 -0700526static void kmem_obj_info(struct kmem_obj_info *kpp, void *object, struct slab *slab)
527{
528 if (__kfence_obj_info(kpp, object, slab))
529 return;
530 __kmem_obj_info(kpp, object, slab);
531}
532
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800533/**
534 * kmem_dump_obj - Print available slab provenance information
535 * @object: slab object for which to find provenance information.
536 *
537 * This function uses pr_cont(), so that the caller is expected to have
538 * printed out whatever preamble is appropriate. The provenance information
539 * depends on the type of object and on how much debugging is enabled.
540 * For a slab-cache object, the fact that it is a slab object is printed,
541 * and, if available, the slab name, return address, and stack trace from
Maninder Singhe548eaa2021-03-16 16:07:11 +0530542 * the allocation and last free path of that object.
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800543 *
Zhen Lei6e284c52023-08-05 11:17:25 +0800544 * Return: %true if the pointer is to a not-yet-freed object from
545 * kmalloc() or kmem_cache_alloc(), either %true or %false if the pointer
546 * is to an already-freed object, and %false otherwise.
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800547 */
Zhen Lei6e284c52023-08-05 11:17:25 +0800548bool kmem_dump_obj(void *object)
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800549{
550 char *cp = IS_ENABLED(CONFIG_MMU) ? "" : "/vmalloc";
551 int i;
Matthew Wilcox (Oracle)72132302021-10-04 14:45:55 +0100552 struct slab *slab;
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800553 unsigned long ptroffset;
554 struct kmem_obj_info kp = { };
555
Zhen Lei6e284c52023-08-05 11:17:25 +0800556 /* Some arches consider ZERO_SIZE_PTR to be a valid address. */
557 if (object < (void *)PAGE_SIZE || !virt_addr_valid(object))
558 return false;
Matthew Wilcox (Oracle)72132302021-10-04 14:45:55 +0100559 slab = virt_to_slab(object);
Zhen Lei6e284c52023-08-05 11:17:25 +0800560 if (!slab)
561 return false;
562
Matthew Wilcox (Oracle)72132302021-10-04 14:45:55 +0100563 kmem_obj_info(&kp, object, slab);
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800564 if (kp.kp_slab_cache)
565 pr_cont(" slab%s %s", cp, kp.kp_slab_cache->name);
566 else
567 pr_cont(" slab%s", cp);
Marco Elver2dfe63e2022-04-14 19:13:40 -0700568 if (is_kfence_address(object))
569 pr_cont(" (kfence)");
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800570 if (kp.kp_objp)
571 pr_cont(" start %px", kp.kp_objp);
572 if (kp.kp_data_offset)
573 pr_cont(" data offset %lu", kp.kp_data_offset);
574 if (kp.kp_objp) {
575 ptroffset = ((char *)object - (char *)kp.kp_objp) - kp.kp_data_offset;
576 pr_cont(" pointer offset %lu", ptroffset);
577 }
Vlastimil Babka346907c2022-11-16 15:56:32 +0100578 if (kp.kp_slab_cache && kp.kp_slab_cache->object_size)
579 pr_cont(" size %u", kp.kp_slab_cache->object_size);
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800580 if (kp.kp_ret)
581 pr_cont(" allocated at %pS\n", kp.kp_ret);
582 else
583 pr_cont("\n");
584 for (i = 0; i < ARRAY_SIZE(kp.kp_stack); i++) {
585 if (!kp.kp_stack[i])
586 break;
587 pr_info(" %pS\n", kp.kp_stack[i]);
588 }
Maninder Singhe548eaa2021-03-16 16:07:11 +0530589
590 if (kp.kp_free_stack[0])
591 pr_cont(" Free path:\n");
592
593 for (i = 0; i < ARRAY_SIZE(kp.kp_free_stack); i++) {
594 if (!kp.kp_free_stack[i])
595 break;
596 pr_info(" %pS\n", kp.kp_free_stack[i]);
597 }
598
Zhen Lei6e284c52023-08-05 11:17:25 +0800599 return true;
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800600}
Paul E. McKenney0d3dd2c2020-12-07 21:23:36 -0800601EXPORT_SYMBOL_GPL(kmem_dump_obj);
Paul E. McKenney5bb1bb32021-01-07 13:46:11 -0800602#endif
Paul E. McKenney8e7f37f2020-12-07 17:41:02 -0800603
Christoph Lameter45530c42012-11-28 16:23:07 +0000604/* Create a cache during boot when no slab services are available yet */
Alexey Dobriyan361d5752018-04-05 16:20:33 -0700605void __init create_boot_cache(struct kmem_cache *s, const char *name,
606 unsigned int size, slab_flags_t flags,
607 unsigned int useroffset, unsigned int usersize)
Christoph Lameter45530c42012-11-28 16:23:07 +0000608{
609 int err;
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700610 unsigned int align = ARCH_KMALLOC_MINALIGN;
Christoph Lameter45530c42012-11-28 16:23:07 +0000611
612 s->name = name;
613 s->size = s->object_size = size;
Vlastimil Babka59bb4792019-10-06 17:58:45 -0700614
615 /*
616 * For power of two sizes, guarantee natural alignment for kmalloc
617 * caches, regardless of SL*B debugging options.
618 */
619 if (is_power_of_2(size))
620 align = max(align, size);
621 s->align = calculate_alignment(flags, align, size);
622
Vlastimil Babka346907c2022-11-16 15:56:32 +0100623#ifdef CONFIG_HARDENED_USERCOPY
David Windsor8eb82842017-06-10 22:50:28 -0400624 s->useroffset = useroffset;
625 s->usersize = usersize;
Vlastimil Babka346907c2022-11-16 15:56:32 +0100626#endif
Vladimir Davydovf7ce3192015-02-12 14:59:20 -0800627
Christoph Lameter45530c42012-11-28 16:23:07 +0000628 err = __kmem_cache_create(s, flags);
629
630 if (err)
Alexey Dobriyan361d5752018-04-05 16:20:33 -0700631 panic("Creation of kmalloc slab %s size=%u failed. Reason %d\n",
Christoph Lameter45530c42012-11-28 16:23:07 +0000632 name, size, err);
633
634 s->refcount = -1; /* Exempt from merging for now */
635}
636
Catalin Marinas0c474d32023-06-12 16:31:47 +0100637static struct kmem_cache *__init create_kmalloc_cache(const char *name,
638 unsigned int size,
639 slab_flags_t flags)
Christoph Lameter45530c42012-11-28 16:23:07 +0000640{
641 struct kmem_cache *s = kmem_cache_zalloc(kmem_cache, GFP_NOWAIT);
642
643 if (!s)
644 panic("Out of memory when creating slab %s\n", name);
645
Catalin Marinas0c474d32023-06-12 16:31:47 +0100646 create_boot_cache(s, name, size, flags | SLAB_KMALLOC, 0, size);
Christoph Lameter45530c42012-11-28 16:23:07 +0000647 list_add(&s->list, &slab_caches);
648 s->refcount = 1;
649 return s;
650}
651
Vlastimil Babkacc252ea2018-10-26 15:05:34 -0700652struct kmem_cache *
Arnd Bergmanna07057d2019-07-16 16:25:57 -0700653kmalloc_caches[NR_KMALLOC_TYPES][KMALLOC_SHIFT_HIGH + 1] __ro_after_init =
654{ /* initialization for https://bugs.llvm.org/show_bug.cgi?id=42570 */ };
Christoph Lameter9425c582013-01-10 19:12:17 +0000655EXPORT_SYMBOL(kmalloc_caches);
656
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800657#ifdef CONFIG_RANDOM_KMALLOC_CACHES
658unsigned long random_kmalloc_seed __ro_after_init;
659EXPORT_SYMBOL(random_kmalloc_seed);
660#endif
661
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000662/*
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000663 * Conversion table for small slabs sizes / 8 to the index in the
664 * kmalloc array. This is necessary for slabs < 192 since we have non power
665 * of two cache sizes there. The size of larger slabs can be determined using
666 * fls.
667 */
Vlastimil Babka5a9d31d2023-11-13 12:02:02 +0100668u8 kmalloc_size_index[24] __ro_after_init = {
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000669 3, /* 8 */
670 4, /* 16 */
671 5, /* 24 */
672 5, /* 32 */
673 6, /* 40 */
674 6, /* 48 */
675 6, /* 56 */
676 6, /* 64 */
677 1, /* 72 */
678 1, /* 80 */
679 1, /* 88 */
680 1, /* 96 */
681 7, /* 104 */
682 7, /* 112 */
683 7, /* 120 */
684 7, /* 128 */
685 2, /* 136 */
686 2, /* 144 */
687 2, /* 152 */
688 2, /* 160 */
689 2, /* 168 */
690 2, /* 176 */
691 2, /* 184 */
692 2 /* 192 */
693};
694
Kees Cook05a94062022-09-23 13:28:08 -0700695size_t kmalloc_size_roundup(size_t size)
696{
David Laight8446a4d2023-09-07 12:42:20 +0000697 if (size && size <= KMALLOC_MAX_CACHE_SIZE) {
698 /*
699 * The flags don't matter since size_index is common to all.
700 * Neither does the caller for just getting ->object_size.
701 */
702 return kmalloc_slab(size, GFP_KERNEL, 0)->object_size;
703 }
Kees Cook05a94062022-09-23 13:28:08 -0700704
Kees Cook05a94062022-09-23 13:28:08 -0700705 /* Above the smaller buckets, size is a multiple of page size. */
David Laight8446a4d2023-09-07 12:42:20 +0000706 if (size && size <= KMALLOC_MAX_SIZE)
Kees Cook05a94062022-09-23 13:28:08 -0700707 return PAGE_SIZE << get_order(size);
708
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800709 /*
David Laight8446a4d2023-09-07 12:42:20 +0000710 * Return 'size' for 0 - kmalloc() returns ZERO_SIZE_PTR
711 * and very large size - kmalloc() may fail.
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800712 */
David Laight8446a4d2023-09-07 12:42:20 +0000713 return size;
714
Kees Cook05a94062022-09-23 13:28:08 -0700715}
716EXPORT_SYMBOL(kmalloc_size_roundup);
717
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800718#ifdef CONFIG_ZONE_DMA
Waiman Long494c1df2021-06-28 19:37:38 -0700719#define KMALLOC_DMA_NAME(sz) .name[KMALLOC_DMA] = "dma-kmalloc-" #sz,
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800720#else
Waiman Long494c1df2021-06-28 19:37:38 -0700721#define KMALLOC_DMA_NAME(sz)
722#endif
723
724#ifdef CONFIG_MEMCG_KMEM
725#define KMALLOC_CGROUP_NAME(sz) .name[KMALLOC_CGROUP] = "kmalloc-cg-" #sz,
726#else
727#define KMALLOC_CGROUP_NAME(sz)
728#endif
729
Vlastimil Babka2f7c1c12022-11-15 18:19:28 +0100730#ifndef CONFIG_SLUB_TINY
731#define KMALLOC_RCL_NAME(sz) .name[KMALLOC_RECLAIM] = "kmalloc-rcl-" #sz,
732#else
733#define KMALLOC_RCL_NAME(sz)
734#endif
735
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800736#ifdef CONFIG_RANDOM_KMALLOC_CACHES
737#define __KMALLOC_RANDOM_CONCAT(a, b) a ## b
738#define KMALLOC_RANDOM_NAME(N, sz) __KMALLOC_RANDOM_CONCAT(KMA_RAND_, N)(sz)
739#define KMA_RAND_1(sz) .name[KMALLOC_RANDOM_START + 1] = "kmalloc-rnd-01-" #sz,
740#define KMA_RAND_2(sz) KMA_RAND_1(sz) .name[KMALLOC_RANDOM_START + 2] = "kmalloc-rnd-02-" #sz,
741#define KMA_RAND_3(sz) KMA_RAND_2(sz) .name[KMALLOC_RANDOM_START + 3] = "kmalloc-rnd-03-" #sz,
742#define KMA_RAND_4(sz) KMA_RAND_3(sz) .name[KMALLOC_RANDOM_START + 4] = "kmalloc-rnd-04-" #sz,
743#define KMA_RAND_5(sz) KMA_RAND_4(sz) .name[KMALLOC_RANDOM_START + 5] = "kmalloc-rnd-05-" #sz,
744#define KMA_RAND_6(sz) KMA_RAND_5(sz) .name[KMALLOC_RANDOM_START + 6] = "kmalloc-rnd-06-" #sz,
745#define KMA_RAND_7(sz) KMA_RAND_6(sz) .name[KMALLOC_RANDOM_START + 7] = "kmalloc-rnd-07-" #sz,
746#define KMA_RAND_8(sz) KMA_RAND_7(sz) .name[KMALLOC_RANDOM_START + 8] = "kmalloc-rnd-08-" #sz,
747#define KMA_RAND_9(sz) KMA_RAND_8(sz) .name[KMALLOC_RANDOM_START + 9] = "kmalloc-rnd-09-" #sz,
748#define KMA_RAND_10(sz) KMA_RAND_9(sz) .name[KMALLOC_RANDOM_START + 10] = "kmalloc-rnd-10-" #sz,
749#define KMA_RAND_11(sz) KMA_RAND_10(sz) .name[KMALLOC_RANDOM_START + 11] = "kmalloc-rnd-11-" #sz,
750#define KMA_RAND_12(sz) KMA_RAND_11(sz) .name[KMALLOC_RANDOM_START + 12] = "kmalloc-rnd-12-" #sz,
751#define KMA_RAND_13(sz) KMA_RAND_12(sz) .name[KMALLOC_RANDOM_START + 13] = "kmalloc-rnd-13-" #sz,
752#define KMA_RAND_14(sz) KMA_RAND_13(sz) .name[KMALLOC_RANDOM_START + 14] = "kmalloc-rnd-14-" #sz,
753#define KMA_RAND_15(sz) KMA_RAND_14(sz) .name[KMALLOC_RANDOM_START + 15] = "kmalloc-rnd-15-" #sz,
754#else // CONFIG_RANDOM_KMALLOC_CACHES
755#define KMALLOC_RANDOM_NAME(N, sz)
756#endif
757
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800758#define INIT_KMALLOC_INFO(__size, __short_size) \
759{ \
760 .name[KMALLOC_NORMAL] = "kmalloc-" #__short_size, \
Vlastimil Babka2f7c1c12022-11-15 18:19:28 +0100761 KMALLOC_RCL_NAME(__short_size) \
Waiman Long494c1df2021-06-28 19:37:38 -0700762 KMALLOC_CGROUP_NAME(__short_size) \
763 KMALLOC_DMA_NAME(__short_size) \
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800764 KMALLOC_RANDOM_NAME(RANDOM_KMALLOC_CACHES_NR, __short_size) \
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800765 .size = __size, \
766}
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800767
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000768/*
Gavin Guo4066c332015-06-24 16:55:54 -0700769 * kmalloc_info[] is to make slub_debug=,kmalloc-xx option work at boot time.
Hyeonggon Yood6a71642022-08-17 19:18:19 +0900770 * kmalloc_index() supports up to 2^21=2MB, so the final entry of the table is
771 * kmalloc-2M.
Gavin Guo4066c332015-06-24 16:55:54 -0700772 */
Vlastimil Babkaaf3b5f82017-02-22 15:41:05 -0800773const struct kmalloc_info_struct kmalloc_info[] __initconst = {
Pengfei Licb5d9fb2019-11-30 17:49:21 -0800774 INIT_KMALLOC_INFO(0, 0),
775 INIT_KMALLOC_INFO(96, 96),
776 INIT_KMALLOC_INFO(192, 192),
777 INIT_KMALLOC_INFO(8, 8),
778 INIT_KMALLOC_INFO(16, 16),
779 INIT_KMALLOC_INFO(32, 32),
780 INIT_KMALLOC_INFO(64, 64),
781 INIT_KMALLOC_INFO(128, 128),
782 INIT_KMALLOC_INFO(256, 256),
783 INIT_KMALLOC_INFO(512, 512),
784 INIT_KMALLOC_INFO(1024, 1k),
785 INIT_KMALLOC_INFO(2048, 2k),
786 INIT_KMALLOC_INFO(4096, 4k),
787 INIT_KMALLOC_INFO(8192, 8k),
788 INIT_KMALLOC_INFO(16384, 16k),
789 INIT_KMALLOC_INFO(32768, 32k),
790 INIT_KMALLOC_INFO(65536, 64k),
791 INIT_KMALLOC_INFO(131072, 128k),
792 INIT_KMALLOC_INFO(262144, 256k),
793 INIT_KMALLOC_INFO(524288, 512k),
794 INIT_KMALLOC_INFO(1048576, 1M),
Hyeonggon Yood6a71642022-08-17 19:18:19 +0900795 INIT_KMALLOC_INFO(2097152, 2M)
Gavin Guo4066c332015-06-24 16:55:54 -0700796};
797
798/*
Daniel Sanders34cc6992015-06-24 16:55:57 -0700799 * Patch up the size_index table if we have strange large alignment
800 * requirements for the kmalloc array. This is only the case for
801 * MIPS it seems. The standard arches will not generate any code here.
802 *
803 * Largest permitted alignment is 256 bytes due to the way we
804 * handle the index determination for the smaller caches.
805 *
806 * Make sure that nothing crazy happens if someone starts tinkering
807 * around with ARCH_KMALLOC_MINALIGN
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000808 */
Daniel Sanders34cc6992015-06-24 16:55:57 -0700809void __init setup_kmalloc_cache_index_table(void)
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000810{
Alexey Dobriyanac914d02018-04-05 16:20:44 -0700811 unsigned int i;
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000812
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000813 BUILD_BUG_ON(KMALLOC_MIN_SIZE > 256 ||
Miaohe Lin7d6b6cc2022-02-17 17:16:09 +0800814 !is_power_of_2(KMALLOC_MIN_SIZE));
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000815
816 for (i = 8; i < KMALLOC_MIN_SIZE; i += 8) {
Alexey Dobriyanac914d02018-04-05 16:20:44 -0700817 unsigned int elem = size_index_elem(i);
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000818
Vlastimil Babka5a9d31d2023-11-13 12:02:02 +0100819 if (elem >= ARRAY_SIZE(kmalloc_size_index))
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000820 break;
Vlastimil Babka5a9d31d2023-11-13 12:02:02 +0100821 kmalloc_size_index[elem] = KMALLOC_SHIFT_LOW;
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000822 }
823
824 if (KMALLOC_MIN_SIZE >= 64) {
825 /*
Quanfa Fu0b8f0d82022-01-14 14:09:25 -0800826 * The 96 byte sized cache is not used if the alignment
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000827 * is 64 byte.
828 */
829 for (i = 64 + 8; i <= 96; i += 8)
Vlastimil Babka5a9d31d2023-11-13 12:02:02 +0100830 kmalloc_size_index[size_index_elem(i)] = 7;
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000831
832 }
833
834 if (KMALLOC_MIN_SIZE >= 128) {
835 /*
836 * The 192 byte sized cache is not used if the alignment
837 * is 128 byte. Redirect kmalloc to use the 256 byte cache
838 * instead.
839 */
840 for (i = 128 + 8; i <= 192; i += 8)
Vlastimil Babka5a9d31d2023-11-13 12:02:02 +0100841 kmalloc_size_index[size_index_elem(i)] = 8;
Christoph Lameter2c59dd62013-01-10 19:14:19 +0000842 }
Daniel Sanders34cc6992015-06-24 16:55:57 -0700843}
844
Catalin Marinas963e84b2023-06-12 16:31:48 +0100845static unsigned int __kmalloc_minalign(void)
846{
Catalin Marinasc15cdea2023-10-06 17:39:34 +0100847 unsigned int minalign = dma_get_cache_alignment();
848
Petr Tesarik05ee7742023-08-01 08:23:57 +0200849 if (IS_ENABLED(CONFIG_DMA_BOUNCE_UNALIGNED_KMALLOC) &&
850 is_swiotlb_allocated())
Catalin Marinasc15cdea2023-10-06 17:39:34 +0100851 minalign = ARCH_KMALLOC_MINALIGN;
852
853 return max(minalign, arch_slab_minalign());
Catalin Marinas963e84b2023-06-12 16:31:48 +0100854}
855
Catalin Marinas0c474d32023-06-12 16:31:47 +0100856void __init
Pengfei Li13657d02019-11-30 17:49:28 -0800857new_kmalloc_cache(int idx, enum kmalloc_cache_type type, slab_flags_t flags)
Christoph Lametera9730fc2015-06-29 09:28:08 -0500858{
Catalin Marinas963e84b2023-06-12 16:31:48 +0100859 unsigned int minalign = __kmalloc_minalign();
860 unsigned int aligned_size = kmalloc_info[idx].size;
861 int aligned_idx = idx;
862
Vlastimil Babka2f7c1c12022-11-15 18:19:28 +0100863 if ((KMALLOC_RECLAIM != KMALLOC_NORMAL) && (type == KMALLOC_RECLAIM)) {
Vlastimil Babka12915232018-10-26 15:05:38 -0700864 flags |= SLAB_RECLAIM_ACCOUNT;
Waiman Long494c1df2021-06-28 19:37:38 -0700865 } else if (IS_ENABLED(CONFIG_MEMCG_KMEM) && (type == KMALLOC_CGROUP)) {
Muchun Song17c17362022-01-14 14:05:29 -0800866 if (mem_cgroup_kmem_disabled()) {
Waiman Long494c1df2021-06-28 19:37:38 -0700867 kmalloc_caches[type][idx] = kmalloc_caches[KMALLOC_NORMAL][idx];
868 return;
869 }
870 flags |= SLAB_ACCOUNT;
Ohhoon Kwon33647782022-04-11 01:25:11 +0900871 } else if (IS_ENABLED(CONFIG_ZONE_DMA) && (type == KMALLOC_DMA)) {
872 flags |= SLAB_CACHE_DMA;
Waiman Long494c1df2021-06-28 19:37:38 -0700873 }
Vlastimil Babka12915232018-10-26 15:05:38 -0700874
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800875#ifdef CONFIG_RANDOM_KMALLOC_CACHES
876 if (type >= KMALLOC_RANDOM_START && type <= KMALLOC_RANDOM_END)
877 flags |= SLAB_NO_MERGE;
878#endif
879
Waiman Long13e680f2021-06-28 19:37:41 -0700880 /*
881 * If CONFIG_MEMCG_KMEM is enabled, disable cache merging for
882 * KMALLOC_NORMAL caches.
883 */
884 if (IS_ENABLED(CONFIG_MEMCG_KMEM) && (type == KMALLOC_NORMAL))
Vlastimil Babkad5bf4852023-06-13 12:28:21 +0200885 flags |= SLAB_NO_MERGE;
886
Catalin Marinas963e84b2023-06-12 16:31:48 +0100887 if (minalign > ARCH_KMALLOC_MINALIGN) {
888 aligned_size = ALIGN(aligned_size, minalign);
889 aligned_idx = __kmalloc_index(aligned_size, false);
890 }
891
892 if (!kmalloc_caches[type][aligned_idx])
893 kmalloc_caches[type][aligned_idx] = create_kmalloc_cache(
894 kmalloc_info[aligned_idx].name[type],
895 aligned_size, flags);
896 if (idx != aligned_idx)
897 kmalloc_caches[type][idx] = kmalloc_caches[type][aligned_idx];
Christoph Lametera9730fc2015-06-29 09:28:08 -0500898}
899
Daniel Sanders34cc6992015-06-24 16:55:57 -0700900/*
901 * Create the kmalloc array. Some of the regular kmalloc arrays
902 * may already have been created because they were needed to
903 * enable allocations for slab creation.
904 */
Alexey Dobriyand50112e2017-11-15 17:32:18 -0800905void __init create_kmalloc_caches(slab_flags_t flags)
Daniel Sanders34cc6992015-06-24 16:55:57 -0700906{
Pengfei Li13657d02019-11-30 17:49:28 -0800907 int i;
908 enum kmalloc_cache_type type;
Daniel Sanders34cc6992015-06-24 16:55:57 -0700909
Waiman Long494c1df2021-06-28 19:37:38 -0700910 /*
911 * Including KMALLOC_CGROUP if CONFIG_MEMCG_KMEM defined
912 */
Ohhoon Kwon33647782022-04-11 01:25:11 +0900913 for (type = KMALLOC_NORMAL; type < NR_KMALLOC_TYPES; type++) {
Vlastimil Babka12915232018-10-26 15:05:38 -0700914 for (i = KMALLOC_SHIFT_LOW; i <= KMALLOC_SHIFT_HIGH; i++) {
915 if (!kmalloc_caches[type][i])
916 new_kmalloc_cache(i, type, flags);
Chris Mason956e46e2013-05-08 15:56:28 -0400917
Vlastimil Babka12915232018-10-26 15:05:38 -0700918 /*
919 * Caches that are not of the two-to-the-power-of size.
920 * These have to be created immediately after the
921 * earlier power of two caches
922 */
923 if (KMALLOC_MIN_SIZE <= 32 && i == 6 &&
924 !kmalloc_caches[type][1])
925 new_kmalloc_cache(1, type, flags);
926 if (KMALLOC_MIN_SIZE <= 64 && i == 7 &&
927 !kmalloc_caches[type][2])
928 new_kmalloc_cache(2, type, flags);
929 }
Christoph Lameter8a965b32013-05-03 18:04:18 +0000930 }
GONG, Ruiqi3c615292023-07-14 14:44:22 +0800931#ifdef CONFIG_RANDOM_KMALLOC_CACHES
932 random_kmalloc_seed = get_random_u64();
933#endif
Christoph Lameter8a965b32013-05-03 18:04:18 +0000934
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000935 /* Kmalloc array is now usable */
936 slab_state = UP;
Christoph Lameterf97d5f632013-01-10 19:12:17 +0000937}
Hyeonggon Yood6a71642022-08-17 19:18:19 +0900938
Hyeonggon Yoob1405132022-08-17 19:18:21 +0900939/**
Vlastimil Babka445d41d2022-09-29 11:30:55 +0200940 * __ksize -- Report full size of underlying allocation
Lukas Bulwahna2076202022-10-31 10:29:20 +0100941 * @object: pointer to the object
Vlastimil Babka445d41d2022-09-29 11:30:55 +0200942 *
943 * This should only be used internally to query the true size of allocations.
944 * It is not meant to be a way to discover the usable size of an allocation
945 * after the fact. Instead, use kmalloc_size_roundup(). Using memory beyond
946 * the originally requested allocation size may trigger KASAN, UBSAN_BOUNDS,
947 * and/or FORTIFY_SOURCE.
948 *
Lukas Bulwahna2076202022-10-31 10:29:20 +0100949 * Return: size of the actual memory used by @object in bytes
Vlastimil Babka445d41d2022-09-29 11:30:55 +0200950 */
Hyeonggon Yoob1405132022-08-17 19:18:21 +0900951size_t __ksize(const void *object)
952{
953 struct folio *folio;
954
955 if (unlikely(object == ZERO_SIZE_PTR))
956 return 0;
957
958 folio = virt_to_folio(object);
959
Hyeonggon Yood5eff732022-08-17 19:18:26 +0900960 if (unlikely(!folio_test_slab(folio))) {
961 if (WARN_ON(folio_size(folio) <= KMALLOC_MAX_CACHE_SIZE))
962 return 0;
963 if (WARN_ON(object != folio_address(folio)))
964 return 0;
Hyeonggon Yoob1405132022-08-17 19:18:21 +0900965 return folio_size(folio);
Hyeonggon Yood5eff732022-08-17 19:18:26 +0900966 }
Hyeonggon Yoob1405132022-08-17 19:18:21 +0900967
Feng Tang946fa0d2022-10-21 11:24:05 +0800968#ifdef CONFIG_SLUB_DEBUG
969 skip_orig_size_check(folio_slab(folio)->slab_cache, object);
970#endif
971
Hyeonggon Yoob1405132022-08-17 19:18:21 +0900972 return slab_ksize(folio_slab(folio)->slab_cache);
973}
Hyeonggon Yoo26a40992022-08-17 19:18:22 +0900974
Long Li44405092020-08-06 23:18:28 -0700975gfp_t kmalloc_fix_flags(gfp_t flags)
976{
977 gfp_t invalid_mask = flags & GFP_SLAB_BUG_MASK;
978
979 flags &= ~GFP_SLAB_BUG_MASK;
980 pr_warn("Unexpected gfp: %#x (%pGg). Fixing up to gfp: %#x (%pGg). Fix your code!\n",
981 invalid_mask, &invalid_mask, flags, &flags);
982 dump_stack();
983
984 return flags;
985}
986
Thomas Garnier7c00fce2016-07-26 15:21:56 -0700987#ifdef CONFIG_SLAB_FREELIST_RANDOM
988/* Randomize a generic freelist */
David Keisar Schmidtffe4dfe2023-04-16 20:22:55 +0300989static void freelist_randomize(unsigned int *list,
Alexey Dobriyan302d55d2018-04-05 16:21:46 -0700990 unsigned int count)
Thomas Garnier7c00fce2016-07-26 15:21:56 -0700991{
Thomas Garnier7c00fce2016-07-26 15:21:56 -0700992 unsigned int rand;
Alexey Dobriyan302d55d2018-04-05 16:21:46 -0700993 unsigned int i;
Thomas Garnier7c00fce2016-07-26 15:21:56 -0700994
995 for (i = 0; i < count; i++)
996 list[i] = i;
997
998 /* Fisher-Yates shuffle */
999 for (i = count - 1; i > 0; i--) {
David Keisar Schmidtffe4dfe2023-04-16 20:22:55 +03001000 rand = get_random_u32_below(i + 1);
Thomas Garnier7c00fce2016-07-26 15:21:56 -07001001 swap(list[i], list[rand]);
1002 }
1003}
1004
1005/* Create a random sequence per cache */
1006int cache_random_seq_create(struct kmem_cache *cachep, unsigned int count,
1007 gfp_t gfp)
1008{
Thomas Garnier7c00fce2016-07-26 15:21:56 -07001009
1010 if (count < 2 || cachep->random_seq)
1011 return 0;
1012
1013 cachep->random_seq = kcalloc(count, sizeof(unsigned int), gfp);
1014 if (!cachep->random_seq)
1015 return -ENOMEM;
1016
David Keisar Schmidtffe4dfe2023-04-16 20:22:55 +03001017 freelist_randomize(cachep->random_seq, count);
Thomas Garnier7c00fce2016-07-26 15:21:56 -07001018 return 0;
1019}
1020
1021/* Destroy the per-cache random freelist sequence */
1022void cache_random_seq_destroy(struct kmem_cache *cachep)
1023{
1024 kfree(cachep->random_seq);
1025 cachep->random_seq = NULL;
1026}
1027#endif /* CONFIG_SLAB_FREELIST_RANDOM */
1028
Vlastimil Babkaa9e0b9f2023-10-02 17:43:38 +02001029#ifdef CONFIG_SLUB_DEBUG
Joe Perches0825a6f2018-06-14 15:27:58 -07001030#define SLABINFO_RIGHTS (0400)
Wanpeng Lie9b4db22013-07-04 08:33:24 +08001031
Vladimir Davydovb0475012014-12-10 15:44:19 -08001032static void print_slabinfo_header(struct seq_file *m)
Glauber Costabcee6e22012-10-19 18:20:26 +04001033{
1034 /*
1035 * Output format version, so at least we can change it
1036 * without _too_ many complaints.
1037 */
Glauber Costabcee6e22012-10-19 18:20:26 +04001038 seq_puts(m, "slabinfo - version: 2.1\n");
Joe Perches756a0252016-03-17 14:19:47 -07001039 seq_puts(m, "# name <active_objs> <num_objs> <objsize> <objperslab> <pagesperslab>");
Glauber Costabcee6e22012-10-19 18:20:26 +04001040 seq_puts(m, " : tunables <limit> <batchcount> <sharedfactor>");
1041 seq_puts(m, " : slabdata <active_slabs> <num_slabs> <sharedavail>");
Glauber Costabcee6e22012-10-19 18:20:26 +04001042 seq_putc(m, '\n');
1043}
1044
Muchun Songc29b5b32022-01-14 14:04:01 -08001045static void *slab_start(struct seq_file *m, loff_t *pos)
Glauber Costab7454ad2012-10-19 18:20:25 +04001046{
Glauber Costab7454ad2012-10-19 18:20:25 +04001047 mutex_lock(&slab_mutex);
Roman Gushchinc7094402020-08-06 23:21:20 -07001048 return seq_list_start(&slab_caches, *pos);
Glauber Costab7454ad2012-10-19 18:20:25 +04001049}
1050
Muchun Songc29b5b32022-01-14 14:04:01 -08001051static void *slab_next(struct seq_file *m, void *p, loff_t *pos)
Glauber Costab7454ad2012-10-19 18:20:25 +04001052{
Roman Gushchinc7094402020-08-06 23:21:20 -07001053 return seq_list_next(p, &slab_caches, pos);
Glauber Costab7454ad2012-10-19 18:20:25 +04001054}
1055
Muchun Songc29b5b32022-01-14 14:04:01 -08001056static void slab_stop(struct seq_file *m, void *p)
Glauber Costab7454ad2012-10-19 18:20:25 +04001057{
1058 mutex_unlock(&slab_mutex);
1059}
1060
Vladimir Davydovb0475012014-12-10 15:44:19 -08001061static void cache_show(struct kmem_cache *s, struct seq_file *m)
Glauber Costa749c5412012-12-18 14:23:01 -08001062{
Glauber Costa0d7561c2012-10-19 18:20:27 +04001063 struct slabinfo sinfo;
1064
1065 memset(&sinfo, 0, sizeof(sinfo));
1066 get_slabinfo(s, &sinfo);
1067
1068 seq_printf(m, "%-17s %6lu %6lu %6u %4u %4d",
Roman Gushchin10befea2020-08-06 23:21:27 -07001069 s->name, sinfo.active_objs, sinfo.num_objs, s->size,
Glauber Costa0d7561c2012-10-19 18:20:27 +04001070 sinfo.objects_per_slab, (1 << sinfo.cache_order));
1071
1072 seq_printf(m, " : tunables %4u %4u %4u",
1073 sinfo.limit, sinfo.batchcount, sinfo.shared);
1074 seq_printf(m, " : slabdata %6lu %6lu %6lu",
1075 sinfo.active_slabs, sinfo.num_slabs, sinfo.shared_avail);
1076 slabinfo_show_stats(m, s);
1077 seq_putc(m, '\n');
Glauber Costab7454ad2012-10-19 18:20:25 +04001078}
1079
Vladimir Davydov1df3b262014-12-10 15:42:16 -08001080static int slab_show(struct seq_file *m, void *p)
Glauber Costa749c5412012-12-18 14:23:01 -08001081{
Roman Gushchinc7094402020-08-06 23:21:20 -07001082 struct kmem_cache *s = list_entry(p, struct kmem_cache, list);
Glauber Costa749c5412012-12-18 14:23:01 -08001083
Roman Gushchinc7094402020-08-06 23:21:20 -07001084 if (p == slab_caches.next)
Vladimir Davydov1df3b262014-12-10 15:42:16 -08001085 print_slabinfo_header(m);
Roman Gushchin10befea2020-08-06 23:21:27 -07001086 cache_show(s, m);
Vladimir Davydovb0475012014-12-10 15:44:19 -08001087 return 0;
Glauber Costa749c5412012-12-18 14:23:01 -08001088}
1089
Yang Shi852d8be2017-11-15 17:32:07 -08001090void dump_unreclaimable_slab(void)
1091{
Hui Su77143042020-12-14 19:03:47 -08001092 struct kmem_cache *s;
Yang Shi852d8be2017-11-15 17:32:07 -08001093 struct slabinfo sinfo;
1094
1095 /*
1096 * Here acquiring slab_mutex is risky since we don't prefer to get
1097 * sleep in oom path. But, without mutex hold, it may introduce a
1098 * risk of crash.
1099 * Use mutex_trylock to protect the list traverse, dump nothing
1100 * without acquiring the mutex.
1101 */
1102 if (!mutex_trylock(&slab_mutex)) {
1103 pr_warn("excessive unreclaimable slab but cannot dump stats\n");
1104 return;
1105 }
1106
1107 pr_info("Unreclaimable slab info:\n");
1108 pr_info("Name Used Total\n");
1109
Hui Su77143042020-12-14 19:03:47 -08001110 list_for_each_entry(s, &slab_caches, list) {
Roman Gushchin10befea2020-08-06 23:21:27 -07001111 if (s->flags & SLAB_RECLAIM_ACCOUNT)
Yang Shi852d8be2017-11-15 17:32:07 -08001112 continue;
1113
1114 get_slabinfo(s, &sinfo);
1115
1116 if (sinfo.num_objs > 0)
Roman Gushchin10befea2020-08-06 23:21:27 -07001117 pr_info("%-17s %10luKB %10luKB\n", s->name,
Yang Shi852d8be2017-11-15 17:32:07 -08001118 (sinfo.active_objs * s->size) / 1024,
1119 (sinfo.num_objs * s->size) / 1024);
1120 }
1121 mutex_unlock(&slab_mutex);
1122}
1123
Glauber Costab7454ad2012-10-19 18:20:25 +04001124/*
1125 * slabinfo_op - iterator that generates /proc/slabinfo
1126 *
1127 * Output layout:
1128 * cache-name
1129 * num-active-objs
1130 * total-objs
1131 * object size
1132 * num-active-slabs
1133 * total-slabs
1134 * num-pages-per-slab
1135 * + further values on SMP and with statistics enabled
1136 */
1137static const struct seq_operations slabinfo_op = {
Vladimir Davydov1df3b262014-12-10 15:42:16 -08001138 .start = slab_start,
Wanpeng Li276a2432013-07-08 08:08:28 +08001139 .next = slab_next,
1140 .stop = slab_stop,
Vladimir Davydov1df3b262014-12-10 15:42:16 -08001141 .show = slab_show,
Glauber Costab7454ad2012-10-19 18:20:25 +04001142};
1143
1144static int slabinfo_open(struct inode *inode, struct file *file)
1145{
1146 return seq_open(file, &slabinfo_op);
1147}
1148
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001149static const struct proc_ops slabinfo_proc_ops = {
Alexey Dobriyand919b332020-04-06 20:09:01 -07001150 .proc_flags = PROC_ENTRY_PERMANENT,
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001151 .proc_open = slabinfo_open,
1152 .proc_read = seq_read,
1153 .proc_write = slabinfo_write,
1154 .proc_lseek = seq_lseek,
1155 .proc_release = seq_release,
Glauber Costab7454ad2012-10-19 18:20:25 +04001156};
1157
1158static int __init slab_proc_init(void)
1159{
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001160 proc_create("slabinfo", SLABINFO_RIGHTS, NULL, &slabinfo_proc_ops);
Glauber Costab7454ad2012-10-19 18:20:25 +04001161 return 0;
1162}
1163module_init(slab_proc_init);
Waiman Longfcf8a1e2019-07-11 20:56:38 -07001164
Vlastimil Babkaa9e0b9f2023-10-02 17:43:38 +02001165#endif /* CONFIG_SLUB_DEBUG */
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001166
Kees Cook9ed9cac2022-09-23 13:28:07 -07001167static __always_inline __realloc_size(2) void *
1168__do_krealloc(const void *p, size_t new_size, gfp_t flags)
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001169{
1170 void *ret;
William Kucharskifa9ba3aa2020-08-06 23:18:17 -07001171 size_t ks;
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001172
Kees Cook38931d82022-09-22 13:08:16 -07001173 /* Check for double-free before calling ksize. */
Andrey Konovalovd12d9ad2021-02-25 17:20:23 -08001174 if (likely(!ZERO_OR_NULL_PTR(p))) {
1175 if (!kasan_check_byte(p))
1176 return NULL;
Kees Cook38931d82022-09-22 13:08:16 -07001177 ks = ksize(p);
Andrey Konovalovd12d9ad2021-02-25 17:20:23 -08001178 } else
1179 ks = 0;
Andrey Konovalov26a5ca72021-02-25 17:20:19 -08001180
Andrey Konovalovd12d9ad2021-02-25 17:20:23 -08001181 /* If the object still fits, repoison it precisely. */
Andrey Ryabinin0316bec2015-02-13 14:39:42 -08001182 if (ks >= new_size) {
Andrey Konovalov0116523c2018-12-28 00:29:37 -08001183 p = kasan_krealloc((void *)p, new_size, flags);
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001184 return (void *)p;
Andrey Ryabinin0316bec2015-02-13 14:39:42 -08001185 }
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001186
1187 ret = kmalloc_track_caller(new_size, flags);
Andrey Konovalovd12d9ad2021-02-25 17:20:23 -08001188 if (ret && p) {
1189 /* Disable KASAN checks as the object's redzone is accessed. */
1190 kasan_disable_current();
1191 memcpy(ret, kasan_reset_tag(p), ks);
1192 kasan_enable_current();
1193 }
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001194
1195 return ret;
1196}
1197
1198/**
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001199 * krealloc - reallocate memory. The contents will remain unchanged.
1200 * @p: object to reallocate memory for.
1201 * @new_size: how many bytes of memory are required.
1202 * @flags: the type of memory to allocate.
1203 *
1204 * The contents of the object pointed to are preserved up to the
Bartosz Golaszewski15d5de42020-12-14 19:03:50 -08001205 * lesser of the new and old sizes (__GFP_ZERO flag is effectively ignored).
1206 * If @p is %NULL, krealloc() behaves exactly like kmalloc(). If @new_size
1207 * is 0 and @p is not a %NULL pointer, the object pointed to is freed.
Mike Rapoporta862f682019-03-05 15:48:42 -08001208 *
1209 * Return: pointer to the allocated memory or %NULL in case of error
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001210 */
1211void *krealloc(const void *p, size_t new_size, gfp_t flags)
1212{
1213 void *ret;
1214
1215 if (unlikely(!new_size)) {
1216 kfree(p);
1217 return ZERO_SIZE_PTR;
1218 }
1219
1220 ret = __do_krealloc(p, new_size, flags);
Andrey Konovalov772a2fa2018-12-28 00:30:35 -08001221 if (ret && kasan_reset_tag(p) != kasan_reset_tag(ret))
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001222 kfree(p);
1223
1224 return ret;
1225}
1226EXPORT_SYMBOL(krealloc);
1227
1228/**
Waiman Long453431a2020-08-06 23:18:13 -07001229 * kfree_sensitive - Clear sensitive information in memory before freeing
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001230 * @p: object to free memory of
1231 *
1232 * The memory of the object @p points to is zeroed before freed.
Waiman Long453431a2020-08-06 23:18:13 -07001233 * If @p is %NULL, kfree_sensitive() does nothing.
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001234 *
1235 * Note: this function zeroes the whole allocated buffer which can be a good
1236 * deal bigger than the requested buffer size passed to kmalloc(). So be
1237 * careful when using this function in performance sensitive code.
1238 */
Waiman Long453431a2020-08-06 23:18:13 -07001239void kfree_sensitive(const void *p)
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001240{
1241 size_t ks;
1242 void *mem = (void *)p;
1243
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001244 ks = ksize(mem);
Kees Cook38931d82022-09-22 13:08:16 -07001245 if (ks) {
1246 kasan_unpoison_range(mem, ks);
William Kucharskifa9ba3aa2020-08-06 23:18:17 -07001247 memzero_explicit(mem, ks);
Kees Cook38931d82022-09-22 13:08:16 -07001248 }
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001249 kfree(mem);
1250}
Waiman Long453431a2020-08-06 23:18:13 -07001251EXPORT_SYMBOL(kfree_sensitive);
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001252
Marco Elver10d1f8c2019-07-11 20:54:14 -07001253size_t ksize(const void *objp)
1254{
Marco Elver0d4ca4c2019-07-11 20:54:18 -07001255 /*
Kees Cook38931d82022-09-22 13:08:16 -07001256 * We need to first check that the pointer to the object is valid.
1257 * The KASAN report printed from ksize() is more useful, then when
1258 * it's printed later when the behaviour could be undefined due to
1259 * a potential use-after-free or double-free.
Marco Elver0d4ca4c2019-07-11 20:54:18 -07001260 *
Andrey Konovalov611806b2021-02-24 12:05:50 -08001261 * We use kasan_check_byte(), which is supported for the hardware
1262 * tag-based KASAN mode, unlike kasan_check_read/write().
1263 *
1264 * If the pointed to memory is invalid, we return 0 to avoid users of
Marco Elver0d4ca4c2019-07-11 20:54:18 -07001265 * ksize() writing to and potentially corrupting the memory region.
1266 *
1267 * We want to perform the check before __ksize(), to avoid potentially
1268 * crashing in __ksize() due to accessing invalid metadata.
1269 */
Andrey Konovalov611806b2021-02-24 12:05:50 -08001270 if (unlikely(ZERO_OR_NULL_PTR(objp)) || !kasan_check_byte(objp))
Marco Elver0d4ca4c2019-07-11 20:54:18 -07001271 return 0;
1272
Kees Cook38931d82022-09-22 13:08:16 -07001273 return kfence_ksize(objp) ?: __ksize(objp);
Marco Elver10d1f8c2019-07-11 20:54:14 -07001274}
1275EXPORT_SYMBOL(ksize);
1276
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001277/* Tracepoints definitions. */
1278EXPORT_TRACEPOINT_SYMBOL(kmalloc);
1279EXPORT_TRACEPOINT_SYMBOL(kmem_cache_alloc);
Andrey Ryabinin928cec92014-08-06 16:04:44 -07001280EXPORT_TRACEPOINT_SYMBOL(kfree);
1281EXPORT_TRACEPOINT_SYMBOL(kmem_cache_free);
Howard McLauchlan4f6923fb2018-04-05 16:23:57 -07001282