| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329 |
- // SPDX-License-Identifier: GPL-2.0
- #include <kunit/test.h>
- #include <kunit/test-bug.h>
- #include <linux/mm.h>
- #include <linux/slab.h>
- #include <linux/module.h>
- #include <linux/kernel.h>
- #include <linux/rcupdate.h>
- #include <linux/delay.h>
- #include "../mm/slab.h"
- static struct kunit_resource resource;
- static int slab_errors;
- /*
- * Wrapper function for kmem_cache_create(), which reduces 2 parameters:
- * 'align' and 'ctor', and sets SLAB_SKIP_KFENCE flag to avoid getting an
- * object from kfence pool, where the operation could be caught by both
- * our test and kfence sanity check.
- */
- static struct kmem_cache *test_kmem_cache_create(const char *name,
- unsigned int size, slab_flags_t flags)
- {
- struct kmem_cache *s = kmem_cache_create(name, size, 0,
- (flags | SLAB_NO_USER_FLAGS), NULL);
- s->flags |= SLAB_SKIP_KFENCE;
- return s;
- }
- static void test_clobber_zone(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_RZ_alloc", 64,
- SLAB_RED_ZONE);
- u8 *p = kmem_cache_alloc(s, GFP_KERNEL);
- kasan_disable_current();
- p[64] = 0x12;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- kasan_enable_current();
- kmem_cache_free(s, p);
- kmem_cache_destroy(s);
- }
- #ifndef CONFIG_KASAN
- static void test_next_pointer(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_next_ptr_free",
- 64, SLAB_POISON);
- u8 *p = kmem_cache_alloc(s, GFP_KERNEL);
- unsigned long tmp;
- unsigned long *ptr_addr;
- kmem_cache_free(s, p);
- ptr_addr = (unsigned long *)(p + s->offset);
- tmp = *ptr_addr;
- p[s->offset] = ~p[s->offset];
- /*
- * Expecting three errors.
- * One for the corrupted freechain and the other one for the wrong
- * count of objects in use. The third error is fixing broken cache.
- */
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 3, slab_errors);
- /*
- * Try to repair corrupted freepointer.
- * Still expecting two errors. The first for the wrong count
- * of objects in use.
- * The second error is for fixing broken cache.
- */
- *ptr_addr = tmp;
- slab_errors = 0;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- /*
- * Previous validation repaired the count of objects in use.
- * Now expecting no error.
- */
- slab_errors = 0;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 0, slab_errors);
- kmem_cache_destroy(s);
- }
- static void test_first_word(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_1th_word_free",
- 64, SLAB_POISON);
- u8 *p = kmem_cache_alloc(s, GFP_KERNEL);
- kmem_cache_free(s, p);
- *p = 0x78;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- kmem_cache_destroy(s);
- }
- static void test_clobber_50th_byte(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_50th_word_free",
- 64, SLAB_POISON);
- u8 *p = kmem_cache_alloc(s, GFP_KERNEL);
- kmem_cache_free(s, p);
- p[50] = 0x9a;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- kmem_cache_destroy(s);
- }
- #endif
- static void test_clobber_redzone_free(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_RZ_free", 64,
- SLAB_RED_ZONE);
- u8 *p = kmem_cache_alloc(s, GFP_KERNEL);
- kasan_disable_current();
- kmem_cache_free(s, p);
- p[64] = 0xab;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- kasan_enable_current();
- kmem_cache_destroy(s);
- }
- static void test_kmalloc_redzone_access(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_RZ_kmalloc", 32,
- SLAB_KMALLOC|SLAB_STORE_USER|SLAB_RED_ZONE);
- u8 *p = alloc_hooks(__kmalloc_cache_noprof(s, GFP_KERNEL, 18));
- kasan_disable_current();
- /* Suppress the -Warray-bounds warning */
- OPTIMIZER_HIDE_VAR(p);
- p[18] = 0xab;
- p[19] = 0xab;
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- kasan_enable_current();
- kmem_cache_free(s, p);
- kmem_cache_destroy(s);
- }
- struct test_kfree_rcu_struct {
- struct rcu_head rcu;
- };
- static void test_kfree_rcu(struct kunit *test)
- {
- struct kmem_cache *s;
- struct test_kfree_rcu_struct *p;
- if (IS_BUILTIN(CONFIG_SLUB_KUNIT_TEST))
- kunit_skip(test, "can't do kfree_rcu() when test is built-in");
- s = test_kmem_cache_create("TestSlub_kfree_rcu",
- sizeof(struct test_kfree_rcu_struct),
- SLAB_NO_MERGE);
- p = kmem_cache_alloc(s, GFP_KERNEL);
- kfree_rcu(p, rcu);
- kmem_cache_destroy(s);
- KUNIT_EXPECT_EQ(test, 0, slab_errors);
- }
- struct cache_destroy_work {
- struct work_struct work;
- struct kmem_cache *s;
- };
- static void cache_destroy_workfn(struct work_struct *w)
- {
- struct cache_destroy_work *cdw;
- cdw = container_of(w, struct cache_destroy_work, work);
- kmem_cache_destroy(cdw->s);
- }
- #define KMEM_CACHE_DESTROY_NR 10
- static void test_kfree_rcu_wq_destroy(struct kunit *test)
- {
- struct test_kfree_rcu_struct *p;
- struct cache_destroy_work cdw;
- struct workqueue_struct *wq;
- struct kmem_cache *s;
- unsigned int delay;
- int i;
- if (IS_BUILTIN(CONFIG_SLUB_KUNIT_TEST))
- kunit_skip(test, "can't do kfree_rcu() when test is built-in");
- INIT_WORK_ONSTACK(&cdw.work, cache_destroy_workfn);
- wq = alloc_workqueue("test_kfree_rcu_destroy_wq",
- WQ_HIGHPRI | WQ_UNBOUND | WQ_MEM_RECLAIM, 0);
- if (!wq)
- kunit_skip(test, "failed to alloc wq");
- for (i = 0; i < KMEM_CACHE_DESTROY_NR; i++) {
- s = test_kmem_cache_create("TestSlub_kfree_rcu_wq_destroy",
- sizeof(struct test_kfree_rcu_struct),
- SLAB_NO_MERGE);
- if (!s)
- kunit_skip(test, "failed to create cache");
- delay = get_random_u8();
- p = kmem_cache_alloc(s, GFP_KERNEL);
- kfree_rcu(p, rcu);
- cdw.s = s;
- msleep(delay);
- queue_work(wq, &cdw.work);
- flush_work(&cdw.work);
- }
- destroy_workqueue(wq);
- KUNIT_EXPECT_EQ(test, 0, slab_errors);
- }
- static void test_leak_destroy(struct kunit *test)
- {
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_leak_destroy",
- 64, SLAB_NO_MERGE);
- kmem_cache_alloc(s, GFP_KERNEL);
- kmem_cache_destroy(s);
- KUNIT_EXPECT_EQ(test, 2, slab_errors);
- }
- static void test_krealloc_redzone_zeroing(struct kunit *test)
- {
- u8 *p;
- int i;
- struct kmem_cache *s = test_kmem_cache_create("TestSlub_krealloc", 64,
- SLAB_KMALLOC|SLAB_STORE_USER|SLAB_RED_ZONE);
- p = alloc_hooks(__kmalloc_cache_noprof(s, GFP_KERNEL, 48));
- memset(p, 0xff, 48);
- kasan_disable_current();
- OPTIMIZER_HIDE_VAR(p);
- /* Test shrink */
- p = krealloc(p, 40, GFP_KERNEL | __GFP_ZERO);
- for (i = 40; i < 64; i++)
- KUNIT_EXPECT_EQ(test, p[i], SLUB_RED_ACTIVE);
- /* Test grow within the same 64B kmalloc object */
- p = krealloc(p, 56, GFP_KERNEL | __GFP_ZERO);
- for (i = 40; i < 56; i++)
- KUNIT_EXPECT_EQ(test, p[i], 0);
- for (i = 56; i < 64; i++)
- KUNIT_EXPECT_EQ(test, p[i], SLUB_RED_ACTIVE);
- validate_slab_cache(s);
- KUNIT_EXPECT_EQ(test, 0, slab_errors);
- memset(p, 0xff, 56);
- /* Test grow with allocating a bigger 128B object */
- p = krealloc(p, 112, GFP_KERNEL | __GFP_ZERO);
- for (i = 0; i < 56; i++)
- KUNIT_EXPECT_EQ(test, p[i], 0xff);
- for (i = 56; i < 112; i++)
- KUNIT_EXPECT_EQ(test, p[i], 0);
- kfree(p);
- kasan_enable_current();
- kmem_cache_destroy(s);
- }
- static int test_init(struct kunit *test)
- {
- slab_errors = 0;
- kunit_add_named_resource(test, NULL, NULL, &resource,
- "slab_errors", &slab_errors);
- return 0;
- }
- static struct kunit_case test_cases[] = {
- KUNIT_CASE(test_clobber_zone),
- #ifndef CONFIG_KASAN
- KUNIT_CASE(test_next_pointer),
- KUNIT_CASE(test_first_word),
- KUNIT_CASE(test_clobber_50th_byte),
- #endif
- KUNIT_CASE(test_clobber_redzone_free),
- KUNIT_CASE(test_kmalloc_redzone_access),
- KUNIT_CASE(test_kfree_rcu),
- KUNIT_CASE(test_kfree_rcu_wq_destroy),
- KUNIT_CASE(test_leak_destroy),
- KUNIT_CASE(test_krealloc_redzone_zeroing),
- {}
- };
- static struct kunit_suite test_suite = {
- .name = "slub_test",
- .init = test_init,
- .test_cases = test_cases,
- };
- kunit_test_suite(test_suite);
- MODULE_DESCRIPTION("Kunit tests for slub allocator");
- MODULE_LICENSE("GPL");
|