Skip to content

Commit d71608a

Browse files
ftang1tehcaster
authored andcommitted
mm/slab_common: fix possible double free of kmem_cache
When doing slub_debug test, kfence's 'test_memcache_typesafe_by_rcu' kunit test case cause a use-after-free error: BUG: KASAN: use-after-free in kobject_del+0x14/0x30 Read of size 8 at addr ffff888007679090 by task kunit_try_catch/261 CPU: 1 PID: 261 Comm: kunit_try_catch Tainted: G B N 6.0.0-rc5-next-20220916 #17 Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.15.0-1 04/01/2014 Call Trace: <TASK> dump_stack_lvl+0x34/0x48 print_address_description.constprop.0+0x87/0x2a5 print_report+0x103/0x1ed kasan_report+0xb7/0x140 kobject_del+0x14/0x30 kmem_cache_destroy+0x130/0x170 test_exit+0x1a/0x30 kunit_try_run_case+0xad/0xc0 kunit_generic_run_threadfn_adapter+0x26/0x50 kthread+0x17b/0x1b0 </TASK> The cause is inside kmem_cache_destroy(): kmem_cache_destroy acquire lock/mutex shutdown_cache schedule_work(kmem_cache_release) (if RCU flag set) release lock/mutex kmem_cache_release (if RCU flag not set) In some certain timing, the scheduled work could be run before the next RCU flag checking, which can then get a wrong value and lead to double kmem_cache_release(). Fix it by caching the RCU flag inside protected area, just like 'refcnt' Fixes: 0495e33 ("mm/slab_common: Deleting kobject in kmem_cache_destroy() without holding slab_mutex/cpu_hotplug_lock") Signed-off-by: Feng Tang <[email protected]> Reviewed-by: Hyeonggon Yoo <[email protected]> Reviewed-by: Waiman Long <[email protected]> Signed-off-by: Vlastimil Babka <[email protected]>
1 parent 5373b8a commit d71608a

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

mm/slab_common.c

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -475,13 +475,16 @@ void slab_kmem_cache_release(struct kmem_cache *s)
475475
void kmem_cache_destroy(struct kmem_cache *s)
476476
{
477477
int refcnt;
478+
bool rcu_set;
478479

479480
if (unlikely(!s) || !kasan_check_byte(s))
480481
return;
481482

482483
cpus_read_lock();
483484
mutex_lock(&slab_mutex);
484485

486+
rcu_set = s->flags & SLAB_TYPESAFE_BY_RCU;
487+
485488
refcnt = --s->refcount;
486489
if (refcnt)
487490
goto out_unlock;
@@ -492,7 +495,7 @@ void kmem_cache_destroy(struct kmem_cache *s)
492495
out_unlock:
493496
mutex_unlock(&slab_mutex);
494497
cpus_read_unlock();
495-
if (!refcnt && !(s->flags & SLAB_TYPESAFE_BY_RCU))
498+
if (!refcnt && !rcu_set)
496499
kmem_cache_release(s);
497500
}
498501
EXPORT_SYMBOL(kmem_cache_destroy);

0 commit comments

Comments
 (0)