19e4a51adSThomas Gleixner // SPDX-License-Identifier: GPL-2.0 23ac7fe5aSThomas Gleixner /* 33ac7fe5aSThomas Gleixner * Generic infrastructure for lifetime debugging of objects. 43ac7fe5aSThomas Gleixner * 53ac7fe5aSThomas Gleixner * Copyright (C) 2008, Thomas Gleixner <[email protected]> 63ac7fe5aSThomas Gleixner */ 7719e4843SFabian Frederick 8719e4843SFabian Frederick #define pr_fmt(fmt) "ODEBUG: " fmt 9719e4843SFabian Frederick 103ac7fe5aSThomas Gleixner #include <linux/debugobjects.h> 113ac7fe5aSThomas Gleixner #include <linux/interrupt.h> 12d43c36dcSAlexey Dobriyan #include <linux/sched.h> 1368db0cf1SIngo Molnar #include <linux/sched/task_stack.h> 143ac7fe5aSThomas Gleixner #include <linux/seq_file.h> 153ac7fe5aSThomas Gleixner #include <linux/debugfs.h> 165a0e3ad6STejun Heo #include <linux/slab.h> 173ac7fe5aSThomas Gleixner #include <linux/hash.h> 18caba4cbbSWaiman Long #include <linux/kmemleak.h> 1988451f2cSZqiang #include <linux/cpu.h> 203ac7fe5aSThomas Gleixner 213ac7fe5aSThomas Gleixner #define ODEBUG_HASH_BITS 14 223ac7fe5aSThomas Gleixner #define ODEBUG_HASH_SIZE (1 << ODEBUG_HASH_BITS) 233ac7fe5aSThomas Gleixner 240b6ec8c0SChristian Borntraeger #define ODEBUG_POOL_SIZE 1024 253ac7fe5aSThomas Gleixner #define ODEBUG_POOL_MIN_LEVEL 256 26d86998b1SWaiman Long #define ODEBUG_POOL_PERCPU_SIZE 64 27634d61f4SWaiman Long #define ODEBUG_BATCH_SIZE 16 283ac7fe5aSThomas Gleixner 293ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_SHIFT PAGE_SHIFT 303ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_SIZE (1 << ODEBUG_CHUNK_SHIFT) 313ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_MASK (~(ODEBUG_CHUNK_SIZE - 1)) 323ac7fe5aSThomas Gleixner 33a7344a68SWaiman Long /* 34a7344a68SWaiman Long * We limit the freeing of debug objects via workqueue at a maximum 35a7344a68SWaiman Long * frequency of 10Hz and about 1024 objects for each freeing operation. 36a7344a68SWaiman Long * So it is freeing at most 10k debug objects per second. 37a7344a68SWaiman Long */ 38*9ce99c6dSThomas Gleixner #define ODEBUG_FREE_WORK_MAX (1024 / ODEBUG_BATCH_SIZE) 39a7344a68SWaiman Long #define ODEBUG_FREE_WORK_DELAY DIV_ROUND_UP(HZ, 10) 40a7344a68SWaiman Long 413ac7fe5aSThomas Gleixner struct debug_bucket { 423ac7fe5aSThomas Gleixner struct hlist_head list; 43aef9cb05SThomas Gleixner raw_spinlock_t lock; 443ac7fe5aSThomas Gleixner }; 453ac7fe5aSThomas Gleixner 46e18328ffSThomas Gleixner struct obj_pool { 47e18328ffSThomas Gleixner struct hlist_head objects; 48e18328ffSThomas Gleixner unsigned int cnt; 4996a9a042SThomas Gleixner unsigned int min_cnt; 5096a9a042SThomas Gleixner unsigned int max_cnt; 51e18328ffSThomas Gleixner } ____cacheline_aligned; 52e18328ffSThomas Gleixner 5396a9a042SThomas Gleixner 5496a9a042SThomas Gleixner static DEFINE_PER_CPU_ALIGNED(struct obj_pool, pool_pcpu) = { 5596a9a042SThomas Gleixner .max_cnt = ODEBUG_POOL_PERCPU_SIZE, 5696a9a042SThomas Gleixner }; 57d86998b1SWaiman Long 583ac7fe5aSThomas Gleixner static struct debug_bucket obj_hash[ODEBUG_HASH_SIZE]; 593ac7fe5aSThomas Gleixner 601be1cb7bSThomas Gleixner static struct debug_obj obj_static_pool[ODEBUG_POOL_SIZE] __initdata; 613ac7fe5aSThomas Gleixner 62aef9cb05SThomas Gleixner static DEFINE_RAW_SPINLOCK(pool_lock); 633ac7fe5aSThomas Gleixner 6496a9a042SThomas Gleixner static struct obj_pool pool_global = { 6596a9a042SThomas Gleixner .min_cnt = ODEBUG_POOL_MIN_LEVEL, 6696a9a042SThomas Gleixner .max_cnt = ODEBUG_POOL_SIZE, 6796a9a042SThomas Gleixner }; 6896a9a042SThomas Gleixner 6996a9a042SThomas Gleixner static struct obj_pool pool_to_free = { 7096a9a042SThomas Gleixner .max_cnt = UINT_MAX, 7196a9a042SThomas Gleixner }; 723ac7fe5aSThomas Gleixner 73cb58d190SThomas Gleixner static HLIST_HEAD(pool_boot); 74cb58d190SThomas Gleixner 75d86998b1SWaiman Long /* 76d86998b1SWaiman Long * Because of the presence of percpu free pools, obj_pool_free will 77d86998b1SWaiman Long * under-count those in the percpu free pools. Similarly, obj_pool_used 78d86998b1SWaiman Long * will over-count those in the percpu free pools. Adjustments will be 79d86998b1SWaiman Long * made at debug_stats_show(). Both obj_pool_min_free and obj_pool_max_used 80d86998b1SWaiman Long * can be off. 81d86998b1SWaiman Long */ 82e4757c71SZhen Lei static int __data_racy obj_pool_min_free = ODEBUG_POOL_SIZE; 833ac7fe5aSThomas Gleixner static int obj_pool_used; 84e4757c71SZhen Lei static int __data_racy obj_pool_max_used; 85a7344a68SWaiman Long static bool obj_freeing; 863ac7fe5aSThomas Gleixner 875b5baba6SBreno Leitao static int __data_racy debug_objects_maxchain __read_mostly; 885b5baba6SBreno Leitao static int __data_racy __maybe_unused debug_objects_maxchecked __read_mostly; 895b5baba6SBreno Leitao static int __data_racy debug_objects_fixups __read_mostly; 905b5baba6SBreno Leitao static int __data_racy debug_objects_warnings __read_mostly; 91661cc28bSThomas Gleixner static bool __data_racy debug_objects_enabled __read_mostly 923ae70205SIngo Molnar = CONFIG_DEBUG_OBJECTS_ENABLE_DEFAULT; 935b5baba6SBreno Leitao 94aedcade6SStephen Boyd static const struct debug_obj_descr *descr_test __read_mostly; 9568279f9cSAlexey Dobriyan static struct kmem_cache *obj_cache __ro_after_init; 963ac7fe5aSThomas Gleixner 97c4b73aabSWaiman Long /* 980cad93c3SWaiman Long * Track numbers of kmem_cache_alloc()/free() calls done. 99c4b73aabSWaiman Long */ 100e4757c71SZhen Lei static int __data_racy debug_objects_allocated; 101e4757c71SZhen Lei static int __data_racy debug_objects_freed; 102c4b73aabSWaiman Long 103337fff8bSThomas Gleixner static void free_obj_work(struct work_struct *work); 104a7344a68SWaiman Long static DECLARE_DELAYED_WORK(debug_obj_work, free_obj_work); 105337fff8bSThomas Gleixner 1063ac7fe5aSThomas Gleixner static int __init enable_object_debug(char *str) 1073ac7fe5aSThomas Gleixner { 108661cc28bSThomas Gleixner debug_objects_enabled = true; 1093ac7fe5aSThomas Gleixner return 0; 1103ac7fe5aSThomas Gleixner } 111661cc28bSThomas Gleixner early_param("debug_objects", enable_object_debug); 1123e8ebb5cSKyle McMartin 1133e8ebb5cSKyle McMartin static int __init disable_object_debug(char *str) 1143e8ebb5cSKyle McMartin { 115661cc28bSThomas Gleixner debug_objects_enabled = false; 1163e8ebb5cSKyle McMartin return 0; 1173e8ebb5cSKyle McMartin } 1183e8ebb5cSKyle McMartin early_param("no_debug_objects", disable_object_debug); 1193ac7fe5aSThomas Gleixner 1203ac7fe5aSThomas Gleixner static const char *obj_states[ODEBUG_STATE_MAX] = { 1213ac7fe5aSThomas Gleixner [ODEBUG_STATE_NONE] = "none", 1223ac7fe5aSThomas Gleixner [ODEBUG_STATE_INIT] = "initialized", 1233ac7fe5aSThomas Gleixner [ODEBUG_STATE_INACTIVE] = "inactive", 1243ac7fe5aSThomas Gleixner [ODEBUG_STATE_ACTIVE] = "active", 1253ac7fe5aSThomas Gleixner [ODEBUG_STATE_DESTROYED] = "destroyed", 1263ac7fe5aSThomas Gleixner [ODEBUG_STATE_NOTAVAILABLE] = "not available", 1273ac7fe5aSThomas Gleixner }; 1283ac7fe5aSThomas Gleixner 129e18328ffSThomas Gleixner static __always_inline unsigned int pool_count(struct obj_pool *pool) 130e18328ffSThomas Gleixner { 131e18328ffSThomas Gleixner return READ_ONCE(pool->cnt); 132e18328ffSThomas Gleixner } 133e18328ffSThomas Gleixner 13496a9a042SThomas Gleixner static __always_inline bool pool_should_refill(struct obj_pool *pool) 135e18328ffSThomas Gleixner { 13696a9a042SThomas Gleixner return pool_count(pool) < pool->min_cnt; 137e18328ffSThomas Gleixner } 138e18328ffSThomas Gleixner 13996a9a042SThomas Gleixner static __always_inline bool pool_must_refill(struct obj_pool *pool) 140e18328ffSThomas Gleixner { 14196a9a042SThomas Gleixner return pool_count(pool) < pool->min_cnt / 2; 142e18328ffSThomas Gleixner } 143e18328ffSThomas Gleixner 144fb60c004SThomas Gleixner static bool pool_move_batch(struct obj_pool *dst, struct obj_pool *src) 145fb60c004SThomas Gleixner { 146fb60c004SThomas Gleixner if (dst->cnt + ODEBUG_BATCH_SIZE > dst->max_cnt || !src->cnt) 147fb60c004SThomas Gleixner return false; 148fb60c004SThomas Gleixner 149fb60c004SThomas Gleixner for (int i = 0; i < ODEBUG_BATCH_SIZE && src->cnt; i++) { 150fb60c004SThomas Gleixner struct hlist_node *node = src->objects.first; 151fb60c004SThomas Gleixner 152fb60c004SThomas Gleixner WRITE_ONCE(src->cnt, src->cnt - 1); 153fb60c004SThomas Gleixner WRITE_ONCE(dst->cnt, dst->cnt + 1); 154fb60c004SThomas Gleixner 155fb60c004SThomas Gleixner hlist_del(node); 156fb60c004SThomas Gleixner hlist_add_head(node, &dst->objects); 157fb60c004SThomas Gleixner } 158fb60c004SThomas Gleixner return true; 159fb60c004SThomas Gleixner } 160fb60c004SThomas Gleixner 161*9ce99c6dSThomas Gleixner static bool pool_pop_batch(struct hlist_head *head, struct obj_pool *src) 162*9ce99c6dSThomas Gleixner { 163*9ce99c6dSThomas Gleixner if (!src->cnt) 164*9ce99c6dSThomas Gleixner return false; 165*9ce99c6dSThomas Gleixner 166*9ce99c6dSThomas Gleixner for (int i = 0; src->cnt && i < ODEBUG_BATCH_SIZE; i++) { 167*9ce99c6dSThomas Gleixner struct hlist_node *node = src->objects.first; 168*9ce99c6dSThomas Gleixner 169*9ce99c6dSThomas Gleixner WRITE_ONCE(src->cnt, src->cnt - 1); 170*9ce99c6dSThomas Gleixner hlist_del(node); 171*9ce99c6dSThomas Gleixner hlist_add_head(node, head); 172*9ce99c6dSThomas Gleixner } 173*9ce99c6dSThomas Gleixner return true; 174*9ce99c6dSThomas Gleixner } 175*9ce99c6dSThomas Gleixner 176fb60c004SThomas Gleixner static struct debug_obj *__alloc_object(struct hlist_head *list) 177fb60c004SThomas Gleixner { 178fb60c004SThomas Gleixner struct debug_obj *obj; 179fb60c004SThomas Gleixner 180fb60c004SThomas Gleixner if (unlikely(!list->first)) 181fb60c004SThomas Gleixner return NULL; 182fb60c004SThomas Gleixner 183fb60c004SThomas Gleixner obj = hlist_entry(list->first, typeof(*obj), node); 184fb60c004SThomas Gleixner hlist_del(&obj->node); 185fb60c004SThomas Gleixner return obj; 186fb60c004SThomas Gleixner } 187fb60c004SThomas Gleixner 188fb60c004SThomas Gleixner static struct debug_obj *pcpu_alloc(void) 189fb60c004SThomas Gleixner { 190fb60c004SThomas Gleixner struct obj_pool *pcp = this_cpu_ptr(&pool_pcpu); 191fb60c004SThomas Gleixner 192fb60c004SThomas Gleixner lockdep_assert_irqs_disabled(); 193fb60c004SThomas Gleixner 194fb60c004SThomas Gleixner for (;;) { 195fb60c004SThomas Gleixner struct debug_obj *obj = __alloc_object(&pcp->objects); 196fb60c004SThomas Gleixner 197fb60c004SThomas Gleixner if (likely(obj)) { 198fb60c004SThomas Gleixner pcp->cnt--; 199fb60c004SThomas Gleixner return obj; 200fb60c004SThomas Gleixner } 201fb60c004SThomas Gleixner 202fb60c004SThomas Gleixner guard(raw_spinlock)(&pool_lock); 203fb60c004SThomas Gleixner if (!pool_move_batch(pcp, &pool_to_free)) { 204fb60c004SThomas Gleixner if (!pool_move_batch(pcp, &pool_global)) 205fb60c004SThomas Gleixner return NULL; 206fb60c004SThomas Gleixner } 207fb60c004SThomas Gleixner obj_pool_used += pcp->cnt; 208fb60c004SThomas Gleixner 209fb60c004SThomas Gleixner if (obj_pool_used > obj_pool_max_used) 210fb60c004SThomas Gleixner obj_pool_max_used = obj_pool_used; 211fb60c004SThomas Gleixner 212fb60c004SThomas Gleixner if (pool_global.cnt < obj_pool_min_free) 213fb60c004SThomas Gleixner obj_pool_min_free = pool_global.cnt; 214fb60c004SThomas Gleixner } 215fb60c004SThomas Gleixner } 216fb60c004SThomas Gleixner 217a3b9e191SThomas Gleixner static void pcpu_free(struct debug_obj *obj) 218a3b9e191SThomas Gleixner { 219a3b9e191SThomas Gleixner struct obj_pool *pcp = this_cpu_ptr(&pool_pcpu); 220a3b9e191SThomas Gleixner 221a3b9e191SThomas Gleixner lockdep_assert_irqs_disabled(); 222a3b9e191SThomas Gleixner 223a3b9e191SThomas Gleixner hlist_add_head(&obj->node, &pcp->objects); 224a3b9e191SThomas Gleixner pcp->cnt++; 225a3b9e191SThomas Gleixner 226a3b9e191SThomas Gleixner /* Pool full ? */ 227a3b9e191SThomas Gleixner if (pcp->cnt < ODEBUG_POOL_PERCPU_SIZE) 228a3b9e191SThomas Gleixner return; 229a3b9e191SThomas Gleixner 230a3b9e191SThomas Gleixner /* Remove a batch from the per CPU pool */ 231a3b9e191SThomas Gleixner guard(raw_spinlock)(&pool_lock); 232a3b9e191SThomas Gleixner /* Try to fit the batch into the pool_global first */ 233a3b9e191SThomas Gleixner if (!pool_move_batch(&pool_global, pcp)) 234a3b9e191SThomas Gleixner pool_move_batch(&pool_to_free, pcp); 235a3b9e191SThomas Gleixner obj_pool_used -= ODEBUG_BATCH_SIZE; 236a3b9e191SThomas Gleixner } 237a3b9e191SThomas Gleixner 23849a5cb82SThomas Gleixner static void free_object_list(struct hlist_head *head) 23949a5cb82SThomas Gleixner { 24049a5cb82SThomas Gleixner struct hlist_node *tmp; 24149a5cb82SThomas Gleixner struct debug_obj *obj; 24249a5cb82SThomas Gleixner int cnt = 0; 24349a5cb82SThomas Gleixner 24449a5cb82SThomas Gleixner hlist_for_each_entry_safe(obj, tmp, head, node) { 24549a5cb82SThomas Gleixner hlist_del(&obj->node); 24649a5cb82SThomas Gleixner kmem_cache_free(obj_cache, obj); 24749a5cb82SThomas Gleixner cnt++; 24849a5cb82SThomas Gleixner } 24949a5cb82SThomas Gleixner debug_objects_freed += cnt; 25049a5cb82SThomas Gleixner } 25149a5cb82SThomas Gleixner 252d8c6cd3aSZhen Lei static void fill_pool_from_freelist(void) 2533ac7fe5aSThomas Gleixner { 254d8c6cd3aSZhen Lei static unsigned long state; 2553ac7fe5aSThomas Gleixner 25636c4ead6SYang Shi /* 25763a4a9b5SZhen Lei * Reuse objs from the global obj_to_free list; they will be 25863a4a9b5SZhen Lei * reinitialized when allocating. 25936c4ead6SYang Shi */ 260e18328ffSThomas Gleixner if (!pool_count(&pool_to_free)) 261d8c6cd3aSZhen Lei return; 262d8c6cd3aSZhen Lei 263d8c6cd3aSZhen Lei /* 264d8c6cd3aSZhen Lei * Prevent the context from being scheduled or interrupted after 265d8c6cd3aSZhen Lei * setting the state flag; 266d8c6cd3aSZhen Lei */ 267d8c6cd3aSZhen Lei guard(irqsave)(); 268d8c6cd3aSZhen Lei 269d8c6cd3aSZhen Lei /* 270d8c6cd3aSZhen Lei * Avoid lock contention on &pool_lock and avoid making the cache 271d8c6cd3aSZhen Lei * line exclusive by testing the bit before attempting to set it. 272d8c6cd3aSZhen Lei */ 273d8c6cd3aSZhen Lei if (test_bit(0, &state) || test_and_set_bit(0, &state)) 274d8c6cd3aSZhen Lei return; 275d8c6cd3aSZhen Lei 276fb60c004SThomas Gleixner /* Avoid taking the lock when there is no work to do */ 277fb60c004SThomas Gleixner while (pool_should_refill(&pool_global) && pool_count(&pool_to_free)) { 278d8c6cd3aSZhen Lei guard(raw_spinlock)(&pool_lock); 279fb60c004SThomas Gleixner /* Move a batch if possible */ 280fb60c004SThomas Gleixner pool_move_batch(&pool_global, &pool_to_free); 28136c4ead6SYang Shi } 282d8c6cd3aSZhen Lei clear_bit(0, &state); 28336c4ead6SYang Shi } 28436c4ead6SYang Shi 285d8c6cd3aSZhen Lei static void fill_pool(void) 286d8c6cd3aSZhen Lei { 287d8c6cd3aSZhen Lei static atomic_t cpus_allocating; 288d8c6cd3aSZhen Lei 289d8c6cd3aSZhen Lei /* 290d8c6cd3aSZhen Lei * Avoid allocation and lock contention when: 291d8c6cd3aSZhen Lei * - One other CPU is already allocating 292d8c6cd3aSZhen Lei * - the global pool has not reached the critical level yet 293d8c6cd3aSZhen Lei */ 29496a9a042SThomas Gleixner if (!pool_must_refill(&pool_global) && atomic_read(&cpus_allocating)) 2951fda107dSThomas Gleixner return; 2963ac7fe5aSThomas Gleixner 297d8c6cd3aSZhen Lei atomic_inc(&cpus_allocating); 29896a9a042SThomas Gleixner while (pool_should_refill(&pool_global)) { 299813fd078SZhen Lei struct debug_obj *new, *last = NULL; 300813fd078SZhen Lei HLIST_HEAD(head); 301d26bf505SWaiman Long int cnt; 3023ac7fe5aSThomas Gleixner 303d26bf505SWaiman Long for (cnt = 0; cnt < ODEBUG_BATCH_SIZE; cnt++) { 304d8c6cd3aSZhen Lei new = kmem_cache_zalloc(obj_cache, __GFP_HIGH | __GFP_NOWARN); 305813fd078SZhen Lei if (!new) 306d26bf505SWaiman Long break; 307813fd078SZhen Lei hlist_add_head(&new->node, &head); 308813fd078SZhen Lei if (!last) 309813fd078SZhen Lei last = new; 310d26bf505SWaiman Long } 311d26bf505SWaiman Long if (!cnt) 312d8c6cd3aSZhen Lei break; 3133ac7fe5aSThomas Gleixner 314d8c6cd3aSZhen Lei guard(raw_spinlock_irqsave)(&pool_lock); 315e18328ffSThomas Gleixner hlist_splice_init(&head, &last->node, &pool_global.objects); 316813fd078SZhen Lei debug_objects_allocated += cnt; 317e18328ffSThomas Gleixner WRITE_ONCE(pool_global.cnt, pool_global.cnt + cnt); 3183ac7fe5aSThomas Gleixner } 319d8c6cd3aSZhen Lei atomic_dec(&cpus_allocating); 3203ac7fe5aSThomas Gleixner } 3213ac7fe5aSThomas Gleixner 3223ac7fe5aSThomas Gleixner /* 3233ac7fe5aSThomas Gleixner * Lookup an object in the hash bucket. 3243ac7fe5aSThomas Gleixner */ 3253ac7fe5aSThomas Gleixner static struct debug_obj *lookup_object(void *addr, struct debug_bucket *b) 3263ac7fe5aSThomas Gleixner { 3273ac7fe5aSThomas Gleixner struct debug_obj *obj; 3283ac7fe5aSThomas Gleixner int cnt = 0; 3293ac7fe5aSThomas Gleixner 330b67bfe0dSSasha Levin hlist_for_each_entry(obj, &b->list, node) { 3313ac7fe5aSThomas Gleixner cnt++; 3323ac7fe5aSThomas Gleixner if (obj->object == addr) 3333ac7fe5aSThomas Gleixner return obj; 3343ac7fe5aSThomas Gleixner } 3353ac7fe5aSThomas Gleixner if (cnt > debug_objects_maxchain) 3363ac7fe5aSThomas Gleixner debug_objects_maxchain = cnt; 3373ac7fe5aSThomas Gleixner 3383ac7fe5aSThomas Gleixner return NULL; 3393ac7fe5aSThomas Gleixner } 3403ac7fe5aSThomas Gleixner 341fb60c004SThomas Gleixner static struct debug_obj *alloc_object(void *addr, struct debug_bucket *b, 342fb60c004SThomas Gleixner const struct debug_obj_descr *descr) 343d86998b1SWaiman Long { 344d86998b1SWaiman Long struct debug_obj *obj; 345d86998b1SWaiman Long 346fb60c004SThomas Gleixner if (likely(obj_cache)) 347fb60c004SThomas Gleixner obj = pcpu_alloc(); 348fb60c004SThomas Gleixner else 349cb58d190SThomas Gleixner obj = __alloc_object(&pool_boot); 3503ac7fe5aSThomas Gleixner 351fb60c004SThomas Gleixner if (likely(obj)) { 352d86998b1SWaiman Long obj->object = addr; 353d86998b1SWaiman Long obj->descr = descr; 354d86998b1SWaiman Long obj->state = ODEBUG_STATE_NONE; 355d86998b1SWaiman Long obj->astate = 0; 356d86998b1SWaiman Long hlist_add_head(&obj->node, &b->list); 357d86998b1SWaiman Long } 3583ac7fe5aSThomas Gleixner return obj; 3593ac7fe5aSThomas Gleixner } 3603ac7fe5aSThomas Gleixner 361*9ce99c6dSThomas Gleixner /* workqueue function to free objects. */ 362337fff8bSThomas Gleixner static void free_obj_work(struct work_struct *work) 363337fff8bSThomas Gleixner { 364*9ce99c6dSThomas Gleixner bool free = true; 365337fff8bSThomas Gleixner 366a7344a68SWaiman Long WRITE_ONCE(obj_freeing, false); 367*9ce99c6dSThomas Gleixner 368*9ce99c6dSThomas Gleixner if (!pool_count(&pool_to_free)) 369858274b6SWaiman Long return; 37036c4ead6SYang Shi 371*9ce99c6dSThomas Gleixner for (unsigned int cnt = 0; cnt < ODEBUG_FREE_WORK_MAX; cnt++) { 372*9ce99c6dSThomas Gleixner HLIST_HEAD(tofree); 373a7344a68SWaiman Long 374*9ce99c6dSThomas Gleixner /* Acquire and drop the lock for each batch */ 375*9ce99c6dSThomas Gleixner scoped_guard(raw_spinlock_irqsave, &pool_lock) { 376*9ce99c6dSThomas Gleixner if (!pool_to_free.cnt) 377a7344a68SWaiman Long return; 37836c4ead6SYang Shi 379*9ce99c6dSThomas Gleixner /* Refill the global pool if possible */ 380*9ce99c6dSThomas Gleixner if (pool_move_batch(&pool_global, &pool_to_free)) { 381*9ce99c6dSThomas Gleixner /* Don't free as there seems to be demand */ 382*9ce99c6dSThomas Gleixner free = false; 383*9ce99c6dSThomas Gleixner } else if (free) { 384*9ce99c6dSThomas Gleixner pool_pop_batch(&tofree, &pool_to_free); 385*9ce99c6dSThomas Gleixner } else { 386*9ce99c6dSThomas Gleixner return; 38736c4ead6SYang Shi } 388*9ce99c6dSThomas Gleixner } 38949a5cb82SThomas Gleixner free_object_list(&tofree); 390337fff8bSThomas Gleixner } 391*9ce99c6dSThomas Gleixner } 392337fff8bSThomas Gleixner 393a7344a68SWaiman Long static void __free_object(struct debug_obj *obj) 394636e1970SYang Shi { 395cb58d190SThomas Gleixner guard(irqsave)(); 396a3b9e191SThomas Gleixner if (likely(obj_cache)) 397a3b9e191SThomas Gleixner pcpu_free(obj); 398a3b9e191SThomas Gleixner else 399cb58d190SThomas Gleixner hlist_add_head(&obj->node, &pool_boot); 400636e1970SYang Shi } 401636e1970SYang Shi 402337fff8bSThomas Gleixner /* 403337fff8bSThomas Gleixner * Put the object back into the pool and schedule work to free objects 404337fff8bSThomas Gleixner * if necessary. 4053ac7fe5aSThomas Gleixner */ 4063ac7fe5aSThomas Gleixner static void free_object(struct debug_obj *obj) 4073ac7fe5aSThomas Gleixner { 408a7344a68SWaiman Long __free_object(obj); 409e18328ffSThomas Gleixner if (!READ_ONCE(obj_freeing) && pool_count(&pool_to_free)) { 410a7344a68SWaiman Long WRITE_ONCE(obj_freeing, true); 411a7344a68SWaiman Long schedule_delayed_work(&debug_obj_work, ODEBUG_FREE_WORK_DELAY); 412a7344a68SWaiman Long } 4133ac7fe5aSThomas Gleixner } 4143ac7fe5aSThomas Gleixner 415a2a70238SThomas Gleixner static void put_objects(struct hlist_head *list) 41688451f2cSZqiang { 41788451f2cSZqiang struct hlist_node *tmp; 41888451f2cSZqiang struct debug_obj *obj; 41988451f2cSZqiang 420a2a70238SThomas Gleixner /* 421a2a70238SThomas Gleixner * Using free_object() puts the objects into reuse or schedules 422a2a70238SThomas Gleixner * them for freeing and it get's all the accounting correct. 423a2a70238SThomas Gleixner */ 424a2a70238SThomas Gleixner hlist_for_each_entry_safe(obj, tmp, list, node) { 42588451f2cSZqiang hlist_del(&obj->node); 426a2a70238SThomas Gleixner free_object(obj); 427a2a70238SThomas Gleixner } 42888451f2cSZqiang } 429eabb7f1aSwuchi 43049968cf1SThomas Gleixner #ifdef CONFIG_HOTPLUG_CPU 431a2a70238SThomas Gleixner static int object_cpu_offline(unsigned int cpu) 432a2a70238SThomas Gleixner { 433a2a70238SThomas Gleixner /* Remote access is safe as the CPU is dead already */ 43418b8afcbSThomas Gleixner struct obj_pool *pcp = per_cpu_ptr(&pool_pcpu, cpu); 435eabb7f1aSwuchi 43618b8afcbSThomas Gleixner put_objects(&pcp->objects); 43718b8afcbSThomas Gleixner pcp->cnt = 0; 43888451f2cSZqiang return 0; 43988451f2cSZqiang } 44088451f2cSZqiang #endif 44188451f2cSZqiang 44249968cf1SThomas Gleixner /* Out of memory. Free all objects from hash */ 4433ac7fe5aSThomas Gleixner static void debug_objects_oom(void) 4443ac7fe5aSThomas Gleixner { 4453ac7fe5aSThomas Gleixner struct debug_bucket *db = obj_hash; 446673d62ccSVegard Nossum HLIST_HEAD(freelist); 4473ac7fe5aSThomas Gleixner 448719e4843SFabian Frederick pr_warn("Out of memory. ODEBUG disabled\n"); 4493ac7fe5aSThomas Gleixner 45049968cf1SThomas Gleixner for (int i = 0; i < ODEBUG_HASH_SIZE; i++, db++) { 45149968cf1SThomas Gleixner scoped_guard(raw_spinlock_irqsave, &db->lock) 452673d62ccSVegard Nossum hlist_move_list(&db->list, &freelist); 453673d62ccSVegard Nossum 45449968cf1SThomas Gleixner put_objects(&freelist); 4553ac7fe5aSThomas Gleixner } 4563ac7fe5aSThomas Gleixner } 4573ac7fe5aSThomas Gleixner 4583ac7fe5aSThomas Gleixner /* 4593ac7fe5aSThomas Gleixner * We use the pfn of the address for the hash. That way we can check 4603ac7fe5aSThomas Gleixner * for freed objects simply by checking the affected bucket. 4613ac7fe5aSThomas Gleixner */ 4623ac7fe5aSThomas Gleixner static struct debug_bucket *get_bucket(unsigned long addr) 4633ac7fe5aSThomas Gleixner { 4643ac7fe5aSThomas Gleixner unsigned long hash; 4653ac7fe5aSThomas Gleixner 4663ac7fe5aSThomas Gleixner hash = hash_long((addr >> ODEBUG_CHUNK_SHIFT), ODEBUG_HASH_BITS); 4673ac7fe5aSThomas Gleixner return &obj_hash[hash]; 4683ac7fe5aSThomas Gleixner } 4693ac7fe5aSThomas Gleixner 4703ac7fe5aSThomas Gleixner static void debug_print_object(struct debug_obj *obj, char *msg) 4713ac7fe5aSThomas Gleixner { 472aedcade6SStephen Boyd const struct debug_obj_descr *descr = obj->descr; 4733ac7fe5aSThomas Gleixner static int limit; 4743ac7fe5aSThomas Gleixner 4758b64d420STetsuo Handa /* 4768b64d420STetsuo Handa * Don't report if lookup_object_or_alloc() by the current thread 4778b64d420STetsuo Handa * failed because lookup_object_or_alloc()/debug_objects_oom() by a 4788b64d420STetsuo Handa * concurrent thread turned off debug_objects_enabled and cleared 4798b64d420STetsuo Handa * the hash buckets. 4808b64d420STetsuo Handa */ 4818b64d420STetsuo Handa if (!debug_objects_enabled) 4828b64d420STetsuo Handa return; 4838b64d420STetsuo Handa 48499777288SStanislaw Gruszka if (limit < 5 && descr != descr_test) { 48599777288SStanislaw Gruszka void *hint = descr->debug_hint ? 48699777288SStanislaw Gruszka descr->debug_hint(obj->object) : NULL; 4873ac7fe5aSThomas Gleixner limit++; 488a5d8e467SMathieu Desnoyers WARN(1, KERN_ERR "ODEBUG: %s %s (active state %u) " 489c4db2d3bSStephen Boyd "object: %p object type: %s hint: %pS\n", 490a5d8e467SMathieu Desnoyers msg, obj_states[obj->state], obj->astate, 491c4db2d3bSStephen Boyd obj->object, descr->name, hint); 4923ac7fe5aSThomas Gleixner } 4933ac7fe5aSThomas Gleixner debug_objects_warnings++; 4943ac7fe5aSThomas Gleixner } 4953ac7fe5aSThomas Gleixner 4963ac7fe5aSThomas Gleixner /* 4973ac7fe5aSThomas Gleixner * Try to repair the damage, so we have a better chance to get useful 4983ac7fe5aSThomas Gleixner * debug output. 4993ac7fe5aSThomas Gleixner */ 500b1e4d9d8SDu, Changbin static bool 501b1e4d9d8SDu, Changbin debug_object_fixup(bool (*fixup)(void *addr, enum debug_obj_state state), 5023ac7fe5aSThomas Gleixner void * addr, enum debug_obj_state state) 5033ac7fe5aSThomas Gleixner { 504b1e4d9d8SDu, Changbin if (fixup && fixup(addr, state)) { 505b1e4d9d8SDu, Changbin debug_objects_fixups++; 506b1e4d9d8SDu, Changbin return true; 507b1e4d9d8SDu, Changbin } 508b1e4d9d8SDu, Changbin return false; 5093ac7fe5aSThomas Gleixner } 5103ac7fe5aSThomas Gleixner 5113ac7fe5aSThomas Gleixner static void debug_object_is_on_stack(void *addr, int onstack) 5123ac7fe5aSThomas Gleixner { 5133ac7fe5aSThomas Gleixner int is_on_stack; 5143ac7fe5aSThomas Gleixner static int limit; 5153ac7fe5aSThomas Gleixner 5163ac7fe5aSThomas Gleixner if (limit > 4) 5173ac7fe5aSThomas Gleixner return; 5183ac7fe5aSThomas Gleixner 5198b05c7e6SFUJITA Tomonori is_on_stack = object_is_on_stack(addr); 5203ac7fe5aSThomas Gleixner if (is_on_stack == onstack) 5213ac7fe5aSThomas Gleixner return; 5223ac7fe5aSThomas Gleixner 5233ac7fe5aSThomas Gleixner limit++; 5243ac7fe5aSThomas Gleixner if (is_on_stack) 525fc91a3c4SJoel Fernandes (Google) pr_warn("object %p is on stack %p, but NOT annotated.\n", addr, 526fc91a3c4SJoel Fernandes (Google) task_stack_page(current)); 5273ac7fe5aSThomas Gleixner else 528fc91a3c4SJoel Fernandes (Google) pr_warn("object %p is NOT on stack %p, but annotated.\n", addr, 529fc91a3c4SJoel Fernandes (Google) task_stack_page(current)); 530fc91a3c4SJoel Fernandes (Google) 5313ac7fe5aSThomas Gleixner WARN_ON(1); 5323ac7fe5aSThomas Gleixner } 5333ac7fe5aSThomas Gleixner 53463a75969SThomas Gleixner static struct debug_obj *lookup_object_or_alloc(void *addr, struct debug_bucket *b, 53563a75969SThomas Gleixner const struct debug_obj_descr *descr, 53663a75969SThomas Gleixner bool onstack, bool alloc_ifstatic) 53763a75969SThomas Gleixner { 53863a75969SThomas Gleixner struct debug_obj *obj = lookup_object(addr, b); 53963a75969SThomas Gleixner enum debug_obj_state state = ODEBUG_STATE_NONE; 54063a75969SThomas Gleixner 54163a75969SThomas Gleixner if (likely(obj)) 54263a75969SThomas Gleixner return obj; 54363a75969SThomas Gleixner 54463a75969SThomas Gleixner /* 54563a75969SThomas Gleixner * debug_object_init() unconditionally allocates untracked 54663a75969SThomas Gleixner * objects. It does not matter whether it is a static object or 54763a75969SThomas Gleixner * not. 54863a75969SThomas Gleixner * 54963a75969SThomas Gleixner * debug_object_assert_init() and debug_object_activate() allow 55063a75969SThomas Gleixner * allocation only if the descriptor callback confirms that the 55163a75969SThomas Gleixner * object is static and considered initialized. For non-static 55263a75969SThomas Gleixner * objects the allocation needs to be done from the fixup callback. 55363a75969SThomas Gleixner */ 55463a75969SThomas Gleixner if (unlikely(alloc_ifstatic)) { 55563a75969SThomas Gleixner if (!descr->is_static_object || !descr->is_static_object(addr)) 55663a75969SThomas Gleixner return ERR_PTR(-ENOENT); 55763a75969SThomas Gleixner /* Statically allocated objects are considered initialized */ 55863a75969SThomas Gleixner state = ODEBUG_STATE_INIT; 55963a75969SThomas Gleixner } 56063a75969SThomas Gleixner 56163a75969SThomas Gleixner obj = alloc_object(addr, b, descr); 56263a75969SThomas Gleixner if (likely(obj)) { 56363a75969SThomas Gleixner obj->state = state; 56463a75969SThomas Gleixner debug_object_is_on_stack(addr, onstack); 56563a75969SThomas Gleixner return obj; 56663a75969SThomas Gleixner } 56763a75969SThomas Gleixner 56863a75969SThomas Gleixner /* Out of memory. Do the cleanup outside of the locked region */ 569661cc28bSThomas Gleixner debug_objects_enabled = false; 57063a75969SThomas Gleixner return NULL; 57163a75969SThomas Gleixner } 57263a75969SThomas Gleixner 5730af462f1SThomas Gleixner static void debug_objects_fill_pool(void) 5740af462f1SThomas Gleixner { 575d8c6cd3aSZhen Lei if (unlikely(!obj_cache)) 576d8c6cd3aSZhen Lei return; 577d8c6cd3aSZhen Lei 57896a9a042SThomas Gleixner if (likely(!pool_should_refill(&pool_global))) 579d8c6cd3aSZhen Lei return; 580d8c6cd3aSZhen Lei 581d8c6cd3aSZhen Lei /* Try reusing objects from obj_to_free_list */ 582d8c6cd3aSZhen Lei fill_pool_from_freelist(); 583d8c6cd3aSZhen Lei 58496a9a042SThomas Gleixner if (likely(!pool_should_refill(&pool_global))) 585d8c6cd3aSZhen Lei return; 586d8c6cd3aSZhen Lei 5870af462f1SThomas Gleixner /* 5880af462f1SThomas Gleixner * On RT enabled kernels the pool refill must happen in preemptible 5890cce06baSPeter Zijlstra * context -- for !RT kernels we rely on the fact that spinlock_t and 5900cce06baSPeter Zijlstra * raw_spinlock_t are basically the same type and this lock-type 5910cce06baSPeter Zijlstra * inversion works just fine. 5920af462f1SThomas Gleixner */ 5930cce06baSPeter Zijlstra if (!IS_ENABLED(CONFIG_PREEMPT_RT) || preemptible()) { 5940cce06baSPeter Zijlstra /* 5950cce06baSPeter Zijlstra * Annotate away the spinlock_t inside raw_spinlock_t warning 5960cce06baSPeter Zijlstra * by temporarily raising the wait-type to WAIT_SLEEP, matching 5970cce06baSPeter Zijlstra * the preemptible() condition above. 5980cce06baSPeter Zijlstra */ 5990cce06baSPeter Zijlstra static DEFINE_WAIT_OVERRIDE_MAP(fill_pool_map, LD_WAIT_SLEEP); 6000cce06baSPeter Zijlstra lock_map_acquire_try(&fill_pool_map); 6010af462f1SThomas Gleixner fill_pool(); 6020cce06baSPeter Zijlstra lock_map_release(&fill_pool_map); 6030cce06baSPeter Zijlstra } 6040af462f1SThomas Gleixner } 6050af462f1SThomas Gleixner 6063ac7fe5aSThomas Gleixner static void 607aedcade6SStephen Boyd __debug_object_init(void *addr, const struct debug_obj_descr *descr, int onstack) 6083ac7fe5aSThomas Gleixner { 6099bb63626SAndrzej Hajda struct debug_obj *obj, o; 6103ac7fe5aSThomas Gleixner struct debug_bucket *db; 6113ac7fe5aSThomas Gleixner unsigned long flags; 6123ac7fe5aSThomas Gleixner 6130af462f1SThomas Gleixner debug_objects_fill_pool(); 61450db04ddSVegard Nossum 6153ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 6163ac7fe5aSThomas Gleixner 617aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 6183ac7fe5aSThomas Gleixner 61963a75969SThomas Gleixner obj = lookup_object_or_alloc(addr, db, descr, onstack, false); 62063a75969SThomas Gleixner if (unlikely(!obj)) { 621aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 6223ac7fe5aSThomas Gleixner debug_objects_oom(); 6233ac7fe5aSThomas Gleixner return; 6243ac7fe5aSThomas Gleixner } 6253ac7fe5aSThomas Gleixner 6263ac7fe5aSThomas Gleixner switch (obj->state) { 6273ac7fe5aSThomas Gleixner case ODEBUG_STATE_NONE: 6283ac7fe5aSThomas Gleixner case ODEBUG_STATE_INIT: 6293ac7fe5aSThomas Gleixner case ODEBUG_STATE_INACTIVE: 6303ac7fe5aSThomas Gleixner obj->state = ODEBUG_STATE_INIT; 631aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 632d5f34153SWaiman Long return; 6333ac7fe5aSThomas Gleixner default: 6343ac7fe5aSThomas Gleixner break; 6353ac7fe5aSThomas Gleixner } 6363ac7fe5aSThomas Gleixner 6379bb63626SAndrzej Hajda o = *obj; 638aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 6399bb63626SAndrzej Hajda debug_print_object(&o, "init"); 6409bb63626SAndrzej Hajda 6419bb63626SAndrzej Hajda if (o.state == ODEBUG_STATE_ACTIVE) 6429bb63626SAndrzej Hajda debug_object_fixup(descr->fixup_init, addr, o.state); 6433ac7fe5aSThomas Gleixner } 6443ac7fe5aSThomas Gleixner 6453ac7fe5aSThomas Gleixner /** 6463ac7fe5aSThomas Gleixner * debug_object_init - debug checks when an object is initialized 6473ac7fe5aSThomas Gleixner * @addr: address of the object 6483ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 6493ac7fe5aSThomas Gleixner */ 650aedcade6SStephen Boyd void debug_object_init(void *addr, const struct debug_obj_descr *descr) 6513ac7fe5aSThomas Gleixner { 6523ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 6533ac7fe5aSThomas Gleixner return; 6543ac7fe5aSThomas Gleixner 6553ac7fe5aSThomas Gleixner __debug_object_init(addr, descr, 0); 6563ac7fe5aSThomas Gleixner } 657f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_init); 6583ac7fe5aSThomas Gleixner 6593ac7fe5aSThomas Gleixner /** 6603ac7fe5aSThomas Gleixner * debug_object_init_on_stack - debug checks when an object on stack is 6613ac7fe5aSThomas Gleixner * initialized 6623ac7fe5aSThomas Gleixner * @addr: address of the object 6633ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 6643ac7fe5aSThomas Gleixner */ 665aedcade6SStephen Boyd void debug_object_init_on_stack(void *addr, const struct debug_obj_descr *descr) 6663ac7fe5aSThomas Gleixner { 6673ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 6683ac7fe5aSThomas Gleixner return; 6693ac7fe5aSThomas Gleixner 6703ac7fe5aSThomas Gleixner __debug_object_init(addr, descr, 1); 6713ac7fe5aSThomas Gleixner } 672f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_init_on_stack); 6733ac7fe5aSThomas Gleixner 6743ac7fe5aSThomas Gleixner /** 6753ac7fe5aSThomas Gleixner * debug_object_activate - debug checks when an object is activated 6763ac7fe5aSThomas Gleixner * @addr: address of the object 6773ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 678b778ae25SPaul E. McKenney * Returns 0 for success, -EINVAL for check failed. 6793ac7fe5aSThomas Gleixner */ 680aedcade6SStephen Boyd int debug_object_activate(void *addr, const struct debug_obj_descr *descr) 6813ac7fe5aSThomas Gleixner { 68263a75969SThomas Gleixner struct debug_obj o = { .object = addr, .state = ODEBUG_STATE_NOTAVAILABLE, .descr = descr }; 6833ac7fe5aSThomas Gleixner struct debug_bucket *db; 6843ac7fe5aSThomas Gleixner struct debug_obj *obj; 6853ac7fe5aSThomas Gleixner unsigned long flags; 6863ac7fe5aSThomas Gleixner 6873ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 688b778ae25SPaul E. McKenney return 0; 6893ac7fe5aSThomas Gleixner 6900af462f1SThomas Gleixner debug_objects_fill_pool(); 6910af462f1SThomas Gleixner 6923ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 6933ac7fe5aSThomas Gleixner 694aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 6953ac7fe5aSThomas Gleixner 69663a75969SThomas Gleixner obj = lookup_object_or_alloc(addr, db, descr, false, true); 6979bb63626SAndrzej Hajda if (unlikely(!obj)) { 6989bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 6999bb63626SAndrzej Hajda debug_objects_oom(); 7009bb63626SAndrzej Hajda return 0; 7019bb63626SAndrzej Hajda } else if (likely(!IS_ERR(obj))) { 7023ac7fe5aSThomas Gleixner switch (obj->state) { 7039bb63626SAndrzej Hajda case ODEBUG_STATE_ACTIVE: 7049bb63626SAndrzej Hajda case ODEBUG_STATE_DESTROYED: 7059bb63626SAndrzej Hajda o = *obj; 7069bb63626SAndrzej Hajda break; 7073ac7fe5aSThomas Gleixner case ODEBUG_STATE_INIT: 7083ac7fe5aSThomas Gleixner case ODEBUG_STATE_INACTIVE: 7093ac7fe5aSThomas Gleixner obj->state = ODEBUG_STATE_ACTIVE; 7109bb63626SAndrzej Hajda fallthrough; 7113ac7fe5aSThomas Gleixner default: 712aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 713b778ae25SPaul E. McKenney return 0; 7143ac7fe5aSThomas Gleixner } 7159bb63626SAndrzej Hajda } 71663a75969SThomas Gleixner 7179bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 71863a75969SThomas Gleixner debug_print_object(&o, "activate"); 7199bb63626SAndrzej Hajda 7209bb63626SAndrzej Hajda switch (o.state) { 7219bb63626SAndrzej Hajda case ODEBUG_STATE_ACTIVE: 7229bb63626SAndrzej Hajda case ODEBUG_STATE_NOTAVAILABLE: 7239bb63626SAndrzej Hajda if (debug_object_fixup(descr->fixup_activate, addr, o.state)) 7249bb63626SAndrzej Hajda return 0; 7259bb63626SAndrzej Hajda fallthrough; 7269bb63626SAndrzej Hajda default: 7279bb63626SAndrzej Hajda return -EINVAL; 7289bb63626SAndrzej Hajda } 72963a75969SThomas Gleixner } 730f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_activate); 7313ac7fe5aSThomas Gleixner 7323ac7fe5aSThomas Gleixner /** 7333ac7fe5aSThomas Gleixner * debug_object_deactivate - debug checks when an object is deactivated 7343ac7fe5aSThomas Gleixner * @addr: address of the object 7353ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 7363ac7fe5aSThomas Gleixner */ 737aedcade6SStephen Boyd void debug_object_deactivate(void *addr, const struct debug_obj_descr *descr) 7383ac7fe5aSThomas Gleixner { 7399bb63626SAndrzej Hajda struct debug_obj o = { .object = addr, .state = ODEBUG_STATE_NOTAVAILABLE, .descr = descr }; 7403ac7fe5aSThomas Gleixner struct debug_bucket *db; 7413ac7fe5aSThomas Gleixner struct debug_obj *obj; 7423ac7fe5aSThomas Gleixner unsigned long flags; 7433ac7fe5aSThomas Gleixner 7443ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 7453ac7fe5aSThomas Gleixner return; 7463ac7fe5aSThomas Gleixner 7473ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 7483ac7fe5aSThomas Gleixner 749aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 7503ac7fe5aSThomas Gleixner 7513ac7fe5aSThomas Gleixner obj = lookup_object(addr, db); 7523ac7fe5aSThomas Gleixner if (obj) { 7533ac7fe5aSThomas Gleixner switch (obj->state) { 7549bb63626SAndrzej Hajda case ODEBUG_STATE_DESTROYED: 7559bb63626SAndrzej Hajda break; 7563ac7fe5aSThomas Gleixner case ODEBUG_STATE_INIT: 7573ac7fe5aSThomas Gleixner case ODEBUG_STATE_INACTIVE: 7583ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 7599bb63626SAndrzej Hajda if (obj->astate) 7609bb63626SAndrzej Hajda break; 7613ac7fe5aSThomas Gleixner obj->state = ODEBUG_STATE_INACTIVE; 7629bb63626SAndrzej Hajda fallthrough; 7633ac7fe5aSThomas Gleixner default: 7649bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 7659bb63626SAndrzej Hajda return; 7663ac7fe5aSThomas Gleixner } 7679bb63626SAndrzej Hajda o = *obj; 768d5f34153SWaiman Long } 769d5f34153SWaiman Long 770d5f34153SWaiman Long raw_spin_unlock_irqrestore(&db->lock, flags); 7713ac7fe5aSThomas Gleixner debug_print_object(&o, "deactivate"); 7723ac7fe5aSThomas Gleixner } 773f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_deactivate); 7743ac7fe5aSThomas Gleixner 7753ac7fe5aSThomas Gleixner /** 7763ac7fe5aSThomas Gleixner * debug_object_destroy - debug checks when an object is destroyed 7773ac7fe5aSThomas Gleixner * @addr: address of the object 7783ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 7793ac7fe5aSThomas Gleixner */ 780aedcade6SStephen Boyd void debug_object_destroy(void *addr, const struct debug_obj_descr *descr) 7813ac7fe5aSThomas Gleixner { 7829bb63626SAndrzej Hajda struct debug_obj *obj, o; 7833ac7fe5aSThomas Gleixner struct debug_bucket *db; 7843ac7fe5aSThomas Gleixner unsigned long flags; 7853ac7fe5aSThomas Gleixner 7863ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 7873ac7fe5aSThomas Gleixner return; 7883ac7fe5aSThomas Gleixner 7893ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 7903ac7fe5aSThomas Gleixner 791aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 7923ac7fe5aSThomas Gleixner 7933ac7fe5aSThomas Gleixner obj = lookup_object(addr, db); 7949bb63626SAndrzej Hajda if (!obj) { 7959bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 7969bb63626SAndrzej Hajda return; 7979bb63626SAndrzej Hajda } 7983ac7fe5aSThomas Gleixner 7993ac7fe5aSThomas Gleixner switch (obj->state) { 8009bb63626SAndrzej Hajda case ODEBUG_STATE_ACTIVE: 8019bb63626SAndrzej Hajda case ODEBUG_STATE_DESTROYED: 8029bb63626SAndrzej Hajda break; 8033ac7fe5aSThomas Gleixner case ODEBUG_STATE_NONE: 8043ac7fe5aSThomas Gleixner case ODEBUG_STATE_INIT: 8053ac7fe5aSThomas Gleixner case ODEBUG_STATE_INACTIVE: 8063ac7fe5aSThomas Gleixner obj->state = ODEBUG_STATE_DESTROYED; 8079bb63626SAndrzej Hajda fallthrough; 8083ac7fe5aSThomas Gleixner default: 809aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 8109bb63626SAndrzej Hajda return; 8119bb63626SAndrzej Hajda } 8129bb63626SAndrzej Hajda 8139bb63626SAndrzej Hajda o = *obj; 8149bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 8159bb63626SAndrzej Hajda debug_print_object(&o, "destroy"); 8169bb63626SAndrzej Hajda 8179bb63626SAndrzej Hajda if (o.state == ODEBUG_STATE_ACTIVE) 8189bb63626SAndrzej Hajda debug_object_fixup(descr->fixup_destroy, addr, o.state); 8193ac7fe5aSThomas Gleixner } 820f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_destroy); 8213ac7fe5aSThomas Gleixner 8223ac7fe5aSThomas Gleixner /** 8233ac7fe5aSThomas Gleixner * debug_object_free - debug checks when an object is freed 8243ac7fe5aSThomas Gleixner * @addr: address of the object 8253ac7fe5aSThomas Gleixner * @descr: pointer to an object specific debug description structure 8263ac7fe5aSThomas Gleixner */ 827aedcade6SStephen Boyd void debug_object_free(void *addr, const struct debug_obj_descr *descr) 8283ac7fe5aSThomas Gleixner { 8299bb63626SAndrzej Hajda struct debug_obj *obj, o; 8303ac7fe5aSThomas Gleixner struct debug_bucket *db; 8313ac7fe5aSThomas Gleixner unsigned long flags; 8323ac7fe5aSThomas Gleixner 8333ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 8343ac7fe5aSThomas Gleixner return; 8353ac7fe5aSThomas Gleixner 8363ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 8373ac7fe5aSThomas Gleixner 838aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 8393ac7fe5aSThomas Gleixner 8403ac7fe5aSThomas Gleixner obj = lookup_object(addr, db); 8419bb63626SAndrzej Hajda if (!obj) { 8429bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 8439bb63626SAndrzej Hajda return; 8449bb63626SAndrzej Hajda } 8453ac7fe5aSThomas Gleixner 8463ac7fe5aSThomas Gleixner switch (obj->state) { 8473ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 8489bb63626SAndrzej Hajda break; 8493ac7fe5aSThomas Gleixner default: 8503ac7fe5aSThomas Gleixner hlist_del(&obj->node); 851aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 8523ac7fe5aSThomas Gleixner free_object(obj); 853673d62ccSVegard Nossum return; 8543ac7fe5aSThomas Gleixner } 8559bb63626SAndrzej Hajda 8569bb63626SAndrzej Hajda o = *obj; 857aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 8589bb63626SAndrzej Hajda debug_print_object(&o, "free"); 8599bb63626SAndrzej Hajda 8609bb63626SAndrzej Hajda debug_object_fixup(descr->fixup_free, addr, o.state); 8613ac7fe5aSThomas Gleixner } 862f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_free); 8633ac7fe5aSThomas Gleixner 864a5d8e467SMathieu Desnoyers /** 865b84d435cSChristine Chan * debug_object_assert_init - debug checks when object should be init-ed 866b84d435cSChristine Chan * @addr: address of the object 867b84d435cSChristine Chan * @descr: pointer to an object specific debug description structure 868b84d435cSChristine Chan */ 869aedcade6SStephen Boyd void debug_object_assert_init(void *addr, const struct debug_obj_descr *descr) 870b84d435cSChristine Chan { 87163a75969SThomas Gleixner struct debug_obj o = { .object = addr, .state = ODEBUG_STATE_NOTAVAILABLE, .descr = descr }; 872b84d435cSChristine Chan struct debug_bucket *db; 873b84d435cSChristine Chan struct debug_obj *obj; 874b84d435cSChristine Chan unsigned long flags; 875b84d435cSChristine Chan 876b84d435cSChristine Chan if (!debug_objects_enabled) 877b84d435cSChristine Chan return; 878b84d435cSChristine Chan 8790af462f1SThomas Gleixner debug_objects_fill_pool(); 8800af462f1SThomas Gleixner 881b84d435cSChristine Chan db = get_bucket((unsigned long) addr); 882b84d435cSChristine Chan 883b84d435cSChristine Chan raw_spin_lock_irqsave(&db->lock, flags); 88463a75969SThomas Gleixner obj = lookup_object_or_alloc(addr, db, descr, false, true); 885b84d435cSChristine Chan raw_spin_unlock_irqrestore(&db->lock, flags); 88663a75969SThomas Gleixner if (likely(!IS_ERR_OR_NULL(obj))) 88763a75969SThomas Gleixner return; 88863a75969SThomas Gleixner 88963a75969SThomas Gleixner /* If NULL the allocation has hit OOM */ 89063a75969SThomas Gleixner if (!obj) { 89163a75969SThomas Gleixner debug_objects_oom(); 892b84d435cSChristine Chan return; 893b84d435cSChristine Chan } 894b84d435cSChristine Chan 89563a75969SThomas Gleixner /* Object is neither tracked nor static. It's not initialized. */ 89663a75969SThomas Gleixner debug_print_object(&o, "assert_init"); 89763a75969SThomas Gleixner debug_object_fixup(descr->fixup_assert_init, addr, ODEBUG_STATE_NOTAVAILABLE); 898b84d435cSChristine Chan } 899f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_assert_init); 900b84d435cSChristine Chan 901b84d435cSChristine Chan /** 902a5d8e467SMathieu Desnoyers * debug_object_active_state - debug checks object usage state machine 903a5d8e467SMathieu Desnoyers * @addr: address of the object 904a5d8e467SMathieu Desnoyers * @descr: pointer to an object specific debug description structure 905a5d8e467SMathieu Desnoyers * @expect: expected state 906a5d8e467SMathieu Desnoyers * @next: state to move to if expected state is found 907a5d8e467SMathieu Desnoyers */ 908a5d8e467SMathieu Desnoyers void 909aedcade6SStephen Boyd debug_object_active_state(void *addr, const struct debug_obj_descr *descr, 910a5d8e467SMathieu Desnoyers unsigned int expect, unsigned int next) 911a5d8e467SMathieu Desnoyers { 9129bb63626SAndrzej Hajda struct debug_obj o = { .object = addr, .state = ODEBUG_STATE_NOTAVAILABLE, .descr = descr }; 913a5d8e467SMathieu Desnoyers struct debug_bucket *db; 914a5d8e467SMathieu Desnoyers struct debug_obj *obj; 915a5d8e467SMathieu Desnoyers unsigned long flags; 916a5d8e467SMathieu Desnoyers 917a5d8e467SMathieu Desnoyers if (!debug_objects_enabled) 918a5d8e467SMathieu Desnoyers return; 919a5d8e467SMathieu Desnoyers 920a5d8e467SMathieu Desnoyers db = get_bucket((unsigned long) addr); 921a5d8e467SMathieu Desnoyers 922a5d8e467SMathieu Desnoyers raw_spin_lock_irqsave(&db->lock, flags); 923a5d8e467SMathieu Desnoyers 924a5d8e467SMathieu Desnoyers obj = lookup_object(addr, db); 925a5d8e467SMathieu Desnoyers if (obj) { 926a5d8e467SMathieu Desnoyers switch (obj->state) { 927a5d8e467SMathieu Desnoyers case ODEBUG_STATE_ACTIVE: 9289bb63626SAndrzej Hajda if (obj->astate != expect) 929a5d8e467SMathieu Desnoyers break; 9309bb63626SAndrzej Hajda obj->astate = next; 9319bb63626SAndrzej Hajda raw_spin_unlock_irqrestore(&db->lock, flags); 9329bb63626SAndrzej Hajda return; 933a5d8e467SMathieu Desnoyers default: 934a5d8e467SMathieu Desnoyers break; 935a5d8e467SMathieu Desnoyers } 9369bb63626SAndrzej Hajda o = *obj; 937d5f34153SWaiman Long } 938d5f34153SWaiman Long 939d5f34153SWaiman Long raw_spin_unlock_irqrestore(&db->lock, flags); 940a5d8e467SMathieu Desnoyers debug_print_object(&o, "active_state"); 941a5d8e467SMathieu Desnoyers } 942f8ff04e2SChris Wilson EXPORT_SYMBOL_GPL(debug_object_active_state); 943a5d8e467SMathieu Desnoyers 9443ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_FREE 9453ac7fe5aSThomas Gleixner static void __debug_check_no_obj_freed(const void *address, unsigned long size) 9463ac7fe5aSThomas Gleixner { 9473ac7fe5aSThomas Gleixner unsigned long flags, oaddr, saddr, eaddr, paddr, chunks; 9489bb63626SAndrzej Hajda int cnt, objs_checked = 0; 9499bb63626SAndrzej Hajda struct debug_obj *obj, o; 9503ac7fe5aSThomas Gleixner struct debug_bucket *db; 9511ea9b98bSYang Shi struct hlist_node *tmp; 9523ac7fe5aSThomas Gleixner 9533ac7fe5aSThomas Gleixner saddr = (unsigned long) address; 9543ac7fe5aSThomas Gleixner eaddr = saddr + size; 9553ac7fe5aSThomas Gleixner paddr = saddr & ODEBUG_CHUNK_MASK; 9563ac7fe5aSThomas Gleixner chunks = ((eaddr - paddr) + (ODEBUG_CHUNK_SIZE - 1)); 9573ac7fe5aSThomas Gleixner chunks >>= ODEBUG_CHUNK_SHIFT; 9583ac7fe5aSThomas Gleixner 9593ac7fe5aSThomas Gleixner for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) { 9603ac7fe5aSThomas Gleixner db = get_bucket(paddr); 9613ac7fe5aSThomas Gleixner 9623ac7fe5aSThomas Gleixner repeat: 9633ac7fe5aSThomas Gleixner cnt = 0; 964aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 965b67bfe0dSSasha Levin hlist_for_each_entry_safe(obj, tmp, &db->list, node) { 9663ac7fe5aSThomas Gleixner cnt++; 9673ac7fe5aSThomas Gleixner oaddr = (unsigned long) obj->object; 9683ac7fe5aSThomas Gleixner if (oaddr < saddr || oaddr >= eaddr) 9693ac7fe5aSThomas Gleixner continue; 9703ac7fe5aSThomas Gleixner 9713ac7fe5aSThomas Gleixner switch (obj->state) { 9723ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 9739bb63626SAndrzej Hajda o = *obj; 974aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 9759bb63626SAndrzej Hajda debug_print_object(&o, "free"); 9769bb63626SAndrzej Hajda debug_object_fixup(o.descr->fixup_free, (void *)oaddr, o.state); 9773ac7fe5aSThomas Gleixner goto repeat; 9783ac7fe5aSThomas Gleixner default: 9793ac7fe5aSThomas Gleixner hlist_del(&obj->node); 980a7344a68SWaiman Long __free_object(obj); 9813ac7fe5aSThomas Gleixner break; 9823ac7fe5aSThomas Gleixner } 9833ac7fe5aSThomas Gleixner } 984aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 985673d62ccSVegard Nossum 9863ac7fe5aSThomas Gleixner if (cnt > debug_objects_maxchain) 9873ac7fe5aSThomas Gleixner debug_objects_maxchain = cnt; 988bd9dcd04SYang Shi 989bd9dcd04SYang Shi objs_checked += cnt; 9903ac7fe5aSThomas Gleixner } 991bd9dcd04SYang Shi 992bd9dcd04SYang Shi if (objs_checked > debug_objects_maxchecked) 993bd9dcd04SYang Shi debug_objects_maxchecked = objs_checked; 9941ea9b98bSYang Shi 9951ea9b98bSYang Shi /* Schedule work to actually kmem_cache_free() objects */ 996e18328ffSThomas Gleixner if (!READ_ONCE(obj_freeing) && pool_count(&pool_to_free)) { 997a7344a68SWaiman Long WRITE_ONCE(obj_freeing, true); 998a7344a68SWaiman Long schedule_delayed_work(&debug_obj_work, ODEBUG_FREE_WORK_DELAY); 999a7344a68SWaiman Long } 10003ac7fe5aSThomas Gleixner } 10013ac7fe5aSThomas Gleixner 10023ac7fe5aSThomas Gleixner void debug_check_no_obj_freed(const void *address, unsigned long size) 10033ac7fe5aSThomas Gleixner { 10043ac7fe5aSThomas Gleixner if (debug_objects_enabled) 10053ac7fe5aSThomas Gleixner __debug_check_no_obj_freed(address, size); 10063ac7fe5aSThomas Gleixner } 10073ac7fe5aSThomas Gleixner #endif 10083ac7fe5aSThomas Gleixner 10093ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_FS 10103ac7fe5aSThomas Gleixner 10113ac7fe5aSThomas Gleixner static int debug_stats_show(struct seq_file *m, void *v) 10123ac7fe5aSThomas Gleixner { 1013d86998b1SWaiman Long int cpu, obj_percpu_free = 0; 1014d86998b1SWaiman Long 1015d86998b1SWaiman Long for_each_possible_cpu(cpu) 101618b8afcbSThomas Gleixner obj_percpu_free += per_cpu(pool_pcpu.cnt, cpu); 1017d86998b1SWaiman Long 10183ac7fe5aSThomas Gleixner seq_printf(m, "max_chain :%d\n", debug_objects_maxchain); 1019bd9dcd04SYang Shi seq_printf(m, "max_checked :%d\n", debug_objects_maxchecked); 10203ac7fe5aSThomas Gleixner seq_printf(m, "warnings :%d\n", debug_objects_warnings); 10213ac7fe5aSThomas Gleixner seq_printf(m, "fixups :%d\n", debug_objects_fixups); 1022e18328ffSThomas Gleixner seq_printf(m, "pool_free :%d\n", pool_count(&pool_global) + obj_percpu_free); 1023d86998b1SWaiman Long seq_printf(m, "pool_pcp_free :%d\n", obj_percpu_free); 10243ac7fe5aSThomas Gleixner seq_printf(m, "pool_min_free :%d\n", obj_pool_min_free); 1025d86998b1SWaiman Long seq_printf(m, "pool_used :%d\n", obj_pool_used - obj_percpu_free); 10263ac7fe5aSThomas Gleixner seq_printf(m, "pool_max_used :%d\n", obj_pool_max_used); 1027e18328ffSThomas Gleixner seq_printf(m, "on_free_list :%d\n", pool_count(&pool_to_free)); 10280cad93c3SWaiman Long seq_printf(m, "objs_allocated:%d\n", debug_objects_allocated); 10290cad93c3SWaiman Long seq_printf(m, "objs_freed :%d\n", debug_objects_freed); 10303ac7fe5aSThomas Gleixner return 0; 10313ac7fe5aSThomas Gleixner } 10320f85c480SQinglang Miao DEFINE_SHOW_ATTRIBUTE(debug_stats); 10333ac7fe5aSThomas Gleixner 10343ac7fe5aSThomas Gleixner static int __init debug_objects_init_debugfs(void) 10353ac7fe5aSThomas Gleixner { 1036fecb0d95SGreg Kroah-Hartman struct dentry *dbgdir; 10373ac7fe5aSThomas Gleixner 10383ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 10393ac7fe5aSThomas Gleixner return 0; 10403ac7fe5aSThomas Gleixner 10413ac7fe5aSThomas Gleixner dbgdir = debugfs_create_dir("debug_objects", NULL); 10423ac7fe5aSThomas Gleixner 1043fecb0d95SGreg Kroah-Hartman debugfs_create_file("stats", 0444, dbgdir, NULL, &debug_stats_fops); 10443ac7fe5aSThomas Gleixner 10453ac7fe5aSThomas Gleixner return 0; 10463ac7fe5aSThomas Gleixner } 10473ac7fe5aSThomas Gleixner __initcall(debug_objects_init_debugfs); 10483ac7fe5aSThomas Gleixner 10493ac7fe5aSThomas Gleixner #else 10503ac7fe5aSThomas Gleixner static inline void debug_objects_init_debugfs(void) { } 10513ac7fe5aSThomas Gleixner #endif 10523ac7fe5aSThomas Gleixner 10533ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_SELFTEST 10543ac7fe5aSThomas Gleixner 10553ac7fe5aSThomas Gleixner /* Random data structure for the self test */ 10563ac7fe5aSThomas Gleixner struct self_test { 10573ac7fe5aSThomas Gleixner unsigned long dummy1[6]; 10583ac7fe5aSThomas Gleixner int static_init; 10593ac7fe5aSThomas Gleixner unsigned long dummy2[3]; 10603ac7fe5aSThomas Gleixner }; 10613ac7fe5aSThomas Gleixner 1062aedcade6SStephen Boyd static __initconst const struct debug_obj_descr descr_type_test; 10633ac7fe5aSThomas Gleixner 1064b9fdac7fSDu, Changbin static bool __init is_static_object(void *addr) 1065b9fdac7fSDu, Changbin { 1066b9fdac7fSDu, Changbin struct self_test *obj = addr; 1067b9fdac7fSDu, Changbin 1068b9fdac7fSDu, Changbin return obj->static_init; 1069b9fdac7fSDu, Changbin } 1070b9fdac7fSDu, Changbin 10713ac7fe5aSThomas Gleixner /* 10723ac7fe5aSThomas Gleixner * fixup_init is called when: 10733ac7fe5aSThomas Gleixner * - an active object is initialized 10743ac7fe5aSThomas Gleixner */ 1075b1e4d9d8SDu, Changbin static bool __init fixup_init(void *addr, enum debug_obj_state state) 10763ac7fe5aSThomas Gleixner { 10773ac7fe5aSThomas Gleixner struct self_test *obj = addr; 10783ac7fe5aSThomas Gleixner 10793ac7fe5aSThomas Gleixner switch (state) { 10803ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 10813ac7fe5aSThomas Gleixner debug_object_deactivate(obj, &descr_type_test); 10823ac7fe5aSThomas Gleixner debug_object_init(obj, &descr_type_test); 1083b1e4d9d8SDu, Changbin return true; 10843ac7fe5aSThomas Gleixner default: 1085b1e4d9d8SDu, Changbin return false; 10863ac7fe5aSThomas Gleixner } 10873ac7fe5aSThomas Gleixner } 10883ac7fe5aSThomas Gleixner 10893ac7fe5aSThomas Gleixner /* 10903ac7fe5aSThomas Gleixner * fixup_activate is called when: 10913ac7fe5aSThomas Gleixner * - an active object is activated 1092b9fdac7fSDu, Changbin * - an unknown non-static object is activated 10933ac7fe5aSThomas Gleixner */ 1094b1e4d9d8SDu, Changbin static bool __init fixup_activate(void *addr, enum debug_obj_state state) 10953ac7fe5aSThomas Gleixner { 10963ac7fe5aSThomas Gleixner struct self_test *obj = addr; 10973ac7fe5aSThomas Gleixner 10983ac7fe5aSThomas Gleixner switch (state) { 10993ac7fe5aSThomas Gleixner case ODEBUG_STATE_NOTAVAILABLE: 1100b1e4d9d8SDu, Changbin return true; 11013ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 11023ac7fe5aSThomas Gleixner debug_object_deactivate(obj, &descr_type_test); 11033ac7fe5aSThomas Gleixner debug_object_activate(obj, &descr_type_test); 1104b1e4d9d8SDu, Changbin return true; 11053ac7fe5aSThomas Gleixner 11063ac7fe5aSThomas Gleixner default: 1107b1e4d9d8SDu, Changbin return false; 11083ac7fe5aSThomas Gleixner } 11093ac7fe5aSThomas Gleixner } 11103ac7fe5aSThomas Gleixner 11113ac7fe5aSThomas Gleixner /* 11123ac7fe5aSThomas Gleixner * fixup_destroy is called when: 11133ac7fe5aSThomas Gleixner * - an active object is destroyed 11143ac7fe5aSThomas Gleixner */ 1115b1e4d9d8SDu, Changbin static bool __init fixup_destroy(void *addr, enum debug_obj_state state) 11163ac7fe5aSThomas Gleixner { 11173ac7fe5aSThomas Gleixner struct self_test *obj = addr; 11183ac7fe5aSThomas Gleixner 11193ac7fe5aSThomas Gleixner switch (state) { 11203ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 11213ac7fe5aSThomas Gleixner debug_object_deactivate(obj, &descr_type_test); 11223ac7fe5aSThomas Gleixner debug_object_destroy(obj, &descr_type_test); 1123b1e4d9d8SDu, Changbin return true; 11243ac7fe5aSThomas Gleixner default: 1125b1e4d9d8SDu, Changbin return false; 11263ac7fe5aSThomas Gleixner } 11273ac7fe5aSThomas Gleixner } 11283ac7fe5aSThomas Gleixner 11293ac7fe5aSThomas Gleixner /* 11303ac7fe5aSThomas Gleixner * fixup_free is called when: 11313ac7fe5aSThomas Gleixner * - an active object is freed 11323ac7fe5aSThomas Gleixner */ 1133b1e4d9d8SDu, Changbin static bool __init fixup_free(void *addr, enum debug_obj_state state) 11343ac7fe5aSThomas Gleixner { 11353ac7fe5aSThomas Gleixner struct self_test *obj = addr; 11363ac7fe5aSThomas Gleixner 11373ac7fe5aSThomas Gleixner switch (state) { 11383ac7fe5aSThomas Gleixner case ODEBUG_STATE_ACTIVE: 11393ac7fe5aSThomas Gleixner debug_object_deactivate(obj, &descr_type_test); 11403ac7fe5aSThomas Gleixner debug_object_free(obj, &descr_type_test); 1141b1e4d9d8SDu, Changbin return true; 11423ac7fe5aSThomas Gleixner default: 1143b1e4d9d8SDu, Changbin return false; 11443ac7fe5aSThomas Gleixner } 11453ac7fe5aSThomas Gleixner } 11463ac7fe5aSThomas Gleixner 11471fb2f77cSHenrik Kretzschmar static int __init 11483ac7fe5aSThomas Gleixner check_results(void *addr, enum debug_obj_state state, int fixups, int warnings) 11493ac7fe5aSThomas Gleixner { 11503ac7fe5aSThomas Gleixner struct debug_bucket *db; 11513ac7fe5aSThomas Gleixner struct debug_obj *obj; 11523ac7fe5aSThomas Gleixner unsigned long flags; 11533ac7fe5aSThomas Gleixner int res = -EINVAL; 11543ac7fe5aSThomas Gleixner 11553ac7fe5aSThomas Gleixner db = get_bucket((unsigned long) addr); 11563ac7fe5aSThomas Gleixner 1157aef9cb05SThomas Gleixner raw_spin_lock_irqsave(&db->lock, flags); 11583ac7fe5aSThomas Gleixner 11593ac7fe5aSThomas Gleixner obj = lookup_object(addr, db); 11603ac7fe5aSThomas Gleixner if (!obj && state != ODEBUG_STATE_NONE) { 11615cd2b459SArjan van de Ven WARN(1, KERN_ERR "ODEBUG: selftest object not found\n"); 11623ac7fe5aSThomas Gleixner goto out; 11633ac7fe5aSThomas Gleixner } 11643ac7fe5aSThomas Gleixner if (obj && obj->state != state) { 11655cd2b459SArjan van de Ven WARN(1, KERN_ERR "ODEBUG: selftest wrong state: %d != %d\n", 11663ac7fe5aSThomas Gleixner obj->state, state); 11673ac7fe5aSThomas Gleixner goto out; 11683ac7fe5aSThomas Gleixner } 11693ac7fe5aSThomas Gleixner if (fixups != debug_objects_fixups) { 11705cd2b459SArjan van de Ven WARN(1, KERN_ERR "ODEBUG: selftest fixups failed %d != %d\n", 11713ac7fe5aSThomas Gleixner fixups, debug_objects_fixups); 11723ac7fe5aSThomas Gleixner goto out; 11733ac7fe5aSThomas Gleixner } 11743ac7fe5aSThomas Gleixner if (warnings != debug_objects_warnings) { 11755cd2b459SArjan van de Ven WARN(1, KERN_ERR "ODEBUG: selftest warnings failed %d != %d\n", 11763ac7fe5aSThomas Gleixner warnings, debug_objects_warnings); 11773ac7fe5aSThomas Gleixner goto out; 11783ac7fe5aSThomas Gleixner } 11793ac7fe5aSThomas Gleixner res = 0; 11803ac7fe5aSThomas Gleixner out: 1181aef9cb05SThomas Gleixner raw_spin_unlock_irqrestore(&db->lock, flags); 11823ac7fe5aSThomas Gleixner if (res) 1183661cc28bSThomas Gleixner debug_objects_enabled = false; 11843ac7fe5aSThomas Gleixner return res; 11853ac7fe5aSThomas Gleixner } 11863ac7fe5aSThomas Gleixner 1187aedcade6SStephen Boyd static __initconst const struct debug_obj_descr descr_type_test = { 11883ac7fe5aSThomas Gleixner .name = "selftest", 1189b9fdac7fSDu, Changbin .is_static_object = is_static_object, 11903ac7fe5aSThomas Gleixner .fixup_init = fixup_init, 11913ac7fe5aSThomas Gleixner .fixup_activate = fixup_activate, 11923ac7fe5aSThomas Gleixner .fixup_destroy = fixup_destroy, 11933ac7fe5aSThomas Gleixner .fixup_free = fixup_free, 11943ac7fe5aSThomas Gleixner }; 11953ac7fe5aSThomas Gleixner 11963ac7fe5aSThomas Gleixner static __initdata struct self_test obj = { .static_init = 0 }; 11973ac7fe5aSThomas Gleixner 119855fb412eSThomas Gleixner static bool __init debug_objects_selftest(void) 11993ac7fe5aSThomas Gleixner { 12003ac7fe5aSThomas Gleixner int fixups, oldfixups, warnings, oldwarnings; 12013ac7fe5aSThomas Gleixner unsigned long flags; 12023ac7fe5aSThomas Gleixner 12033ac7fe5aSThomas Gleixner local_irq_save(flags); 12043ac7fe5aSThomas Gleixner 12053ac7fe5aSThomas Gleixner fixups = oldfixups = debug_objects_fixups; 12063ac7fe5aSThomas Gleixner warnings = oldwarnings = debug_objects_warnings; 12073ac7fe5aSThomas Gleixner descr_test = &descr_type_test; 12083ac7fe5aSThomas Gleixner 12093ac7fe5aSThomas Gleixner debug_object_init(&obj, &descr_type_test); 12103ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings)) 12113ac7fe5aSThomas Gleixner goto out; 12123ac7fe5aSThomas Gleixner debug_object_activate(&obj, &descr_type_test); 12133ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings)) 12143ac7fe5aSThomas Gleixner goto out; 12153ac7fe5aSThomas Gleixner debug_object_activate(&obj, &descr_type_test); 12163ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_ACTIVE, ++fixups, ++warnings)) 12173ac7fe5aSThomas Gleixner goto out; 12183ac7fe5aSThomas Gleixner debug_object_deactivate(&obj, &descr_type_test); 12193ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_INACTIVE, fixups, warnings)) 12203ac7fe5aSThomas Gleixner goto out; 12213ac7fe5aSThomas Gleixner debug_object_destroy(&obj, &descr_type_test); 12223ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, warnings)) 12233ac7fe5aSThomas Gleixner goto out; 12243ac7fe5aSThomas Gleixner debug_object_init(&obj, &descr_type_test); 12253ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings)) 12263ac7fe5aSThomas Gleixner goto out; 12273ac7fe5aSThomas Gleixner debug_object_activate(&obj, &descr_type_test); 12283ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings)) 12293ac7fe5aSThomas Gleixner goto out; 12303ac7fe5aSThomas Gleixner debug_object_deactivate(&obj, &descr_type_test); 12313ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings)) 12323ac7fe5aSThomas Gleixner goto out; 12333ac7fe5aSThomas Gleixner debug_object_free(&obj, &descr_type_test); 12343ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings)) 12353ac7fe5aSThomas Gleixner goto out; 12363ac7fe5aSThomas Gleixner 12373ac7fe5aSThomas Gleixner obj.static_init = 1; 12383ac7fe5aSThomas Gleixner debug_object_activate(&obj, &descr_type_test); 12399f78ff00SStephen Boyd if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings)) 12403ac7fe5aSThomas Gleixner goto out; 12413ac7fe5aSThomas Gleixner debug_object_init(&obj, &descr_type_test); 12423ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_INIT, ++fixups, ++warnings)) 12433ac7fe5aSThomas Gleixner goto out; 12443ac7fe5aSThomas Gleixner debug_object_free(&obj, &descr_type_test); 12453ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings)) 12463ac7fe5aSThomas Gleixner goto out; 12473ac7fe5aSThomas Gleixner 12483ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_FREE 12493ac7fe5aSThomas Gleixner debug_object_init(&obj, &descr_type_test); 12503ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings)) 12513ac7fe5aSThomas Gleixner goto out; 12523ac7fe5aSThomas Gleixner debug_object_activate(&obj, &descr_type_test); 12533ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings)) 12543ac7fe5aSThomas Gleixner goto out; 12553ac7fe5aSThomas Gleixner __debug_check_no_obj_freed(&obj, sizeof(obj)); 12563ac7fe5aSThomas Gleixner if (check_results(&obj, ODEBUG_STATE_NONE, ++fixups, ++warnings)) 12573ac7fe5aSThomas Gleixner goto out; 12583ac7fe5aSThomas Gleixner #endif 1259719e4843SFabian Frederick pr_info("selftest passed\n"); 12603ac7fe5aSThomas Gleixner 12613ac7fe5aSThomas Gleixner out: 12623ac7fe5aSThomas Gleixner debug_objects_fixups = oldfixups; 12633ac7fe5aSThomas Gleixner debug_objects_warnings = oldwarnings; 12643ac7fe5aSThomas Gleixner descr_test = NULL; 12653ac7fe5aSThomas Gleixner 12663ac7fe5aSThomas Gleixner local_irq_restore(flags); 1267661cc28bSThomas Gleixner return debug_objects_enabled; 12683ac7fe5aSThomas Gleixner } 12693ac7fe5aSThomas Gleixner #else 127055fb412eSThomas Gleixner static inline bool debug_objects_selftest(void) { return true; } 12713ac7fe5aSThomas Gleixner #endif 12723ac7fe5aSThomas Gleixner 12733ac7fe5aSThomas Gleixner /* 12743ac7fe5aSThomas Gleixner * Called during early boot to initialize the hash buckets and link 12753ac7fe5aSThomas Gleixner * the static object pool objects into the poll list. After this call 12763ac7fe5aSThomas Gleixner * the object tracker is fully operational. 12773ac7fe5aSThomas Gleixner */ 12783ac7fe5aSThomas Gleixner void __init debug_objects_early_init(void) 12793ac7fe5aSThomas Gleixner { 12803ac7fe5aSThomas Gleixner int i; 12813ac7fe5aSThomas Gleixner 12823ac7fe5aSThomas Gleixner for (i = 0; i < ODEBUG_HASH_SIZE; i++) 1283aef9cb05SThomas Gleixner raw_spin_lock_init(&obj_hash[i].lock); 12843ac7fe5aSThomas Gleixner 1285cb58d190SThomas Gleixner /* Keep early boot simple and add everything to the boot list */ 12863ac7fe5aSThomas Gleixner for (i = 0; i < ODEBUG_POOL_SIZE; i++) 1287cb58d190SThomas Gleixner hlist_add_head(&obj_static_pool[i].node, &pool_boot); 12883ac7fe5aSThomas Gleixner } 12893ac7fe5aSThomas Gleixner 12903ac7fe5aSThomas Gleixner /* 129155fb412eSThomas Gleixner * Convert the statically allocated objects to dynamic ones. 129255fb412eSThomas Gleixner * debug_objects_mem_init() is called early so only one CPU is up and 129355fb412eSThomas Gleixner * interrupts are disabled, which means it is safe to replace the active 129455fb412eSThomas Gleixner * object references. 12951be1cb7bSThomas Gleixner */ 129655fb412eSThomas Gleixner static bool __init debug_objects_replace_static_objects(struct kmem_cache *cache) 12971be1cb7bSThomas Gleixner { 12981be1cb7bSThomas Gleixner struct debug_bucket *db = obj_hash; 12991be1cb7bSThomas Gleixner struct debug_obj *obj, *new; 130055fb412eSThomas Gleixner struct hlist_node *tmp; 13011be1cb7bSThomas Gleixner HLIST_HEAD(objects); 1302241463f4SThomas Gleixner int i; 13031be1cb7bSThomas Gleixner 13041be1cb7bSThomas Gleixner for (i = 0; i < ODEBUG_POOL_SIZE; i++) { 130555fb412eSThomas Gleixner obj = kmem_cache_zalloc(cache, GFP_KERNEL); 13061be1cb7bSThomas Gleixner if (!obj) 13071be1cb7bSThomas Gleixner goto free; 13081be1cb7bSThomas Gleixner hlist_add_head(&obj->node, &objects); 13091be1cb7bSThomas Gleixner } 13101be1cb7bSThomas Gleixner 1311e18328ffSThomas Gleixner debug_objects_allocated = ODEBUG_POOL_SIZE; 1312e18328ffSThomas Gleixner pool_global.cnt = ODEBUG_POOL_SIZE; 1313eabb7f1aSwuchi 13141be1cb7bSThomas Gleixner /* 1315cb58d190SThomas Gleixner * Move the allocated objects to the global pool and disconnect the 1316cb58d190SThomas Gleixner * boot pool. 1317a0ae9504SZhen Lei */ 1318e18328ffSThomas Gleixner hlist_move_list(&objects, &pool_global.objects); 1319cb58d190SThomas Gleixner pool_boot.first = NULL; 13201be1cb7bSThomas Gleixner 13211be1cb7bSThomas Gleixner /* Replace the active object references */ 13221be1cb7bSThomas Gleixner for (i = 0; i < ODEBUG_HASH_SIZE; i++, db++) { 13231be1cb7bSThomas Gleixner hlist_move_list(&db->list, &objects); 13241be1cb7bSThomas Gleixner 1325b67bfe0dSSasha Levin hlist_for_each_entry(obj, &objects, node) { 1326e18328ffSThomas Gleixner new = hlist_entry(pool_global.objects.first, typeof(*obj), node); 13271be1cb7bSThomas Gleixner hlist_del(&new->node); 1328e18328ffSThomas Gleixner pool_global.cnt--; 13291be1cb7bSThomas Gleixner /* copy object data */ 13301be1cb7bSThomas Gleixner *new = *obj; 13311be1cb7bSThomas Gleixner hlist_add_head(&new->node, &db->list); 13321be1cb7bSThomas Gleixner } 13331be1cb7bSThomas Gleixner } 133455fb412eSThomas Gleixner return true; 13351be1cb7bSThomas Gleixner free: 133649a5cb82SThomas Gleixner /* Can't use free_object_list() as the cache is not populated yet */ 1337b67bfe0dSSasha Levin hlist_for_each_entry_safe(obj, tmp, &objects, node) { 13381be1cb7bSThomas Gleixner hlist_del(&obj->node); 133955fb412eSThomas Gleixner kmem_cache_free(cache, obj); 13401be1cb7bSThomas Gleixner } 134155fb412eSThomas Gleixner return false; 13421be1cb7bSThomas Gleixner } 13431be1cb7bSThomas Gleixner 13441be1cb7bSThomas Gleixner /* 13453ac7fe5aSThomas Gleixner * Called after the kmem_caches are functional to setup a dedicated 13463ac7fe5aSThomas Gleixner * cache pool, which has the SLAB_DEBUG_OBJECTS flag set. This flag 13473ac7fe5aSThomas Gleixner * prevents that the debug code is called on kmem_cache_free() for the 13483ac7fe5aSThomas Gleixner * debug tracker objects to avoid recursive calls. 13493ac7fe5aSThomas Gleixner */ 13503ac7fe5aSThomas Gleixner void __init debug_objects_mem_init(void) 13513ac7fe5aSThomas Gleixner { 135255fb412eSThomas Gleixner struct kmem_cache *cache; 13533f397bf9SThomas Gleixner int extras; 1354d86998b1SWaiman Long 13553ac7fe5aSThomas Gleixner if (!debug_objects_enabled) 13563ac7fe5aSThomas Gleixner return; 13573ac7fe5aSThomas Gleixner 135855fb412eSThomas Gleixner if (!debug_objects_selftest()) 1359eabb7f1aSwuchi return; 136055fb412eSThomas Gleixner 136155fb412eSThomas Gleixner cache = kmem_cache_create("debug_objects_cache", sizeof (struct debug_obj), 0, 136255fb412eSThomas Gleixner SLAB_DEBUG_OBJECTS | SLAB_NOLEAKTRACE, NULL); 136355fb412eSThomas Gleixner 136455fb412eSThomas Gleixner if (!cache || !debug_objects_replace_static_objects(cache)) { 1365661cc28bSThomas Gleixner debug_objects_enabled = false; 136655fb412eSThomas Gleixner pr_warn("Out of memory.\n"); 136755fb412eSThomas Gleixner return; 136855fb412eSThomas Gleixner } 136955fb412eSThomas Gleixner 137055fb412eSThomas Gleixner /* 137155fb412eSThomas Gleixner * Adjust the thresholds for allocating and freeing objects 137255fb412eSThomas Gleixner * according to the number of possible CPUs available in the 137355fb412eSThomas Gleixner * system. 137455fb412eSThomas Gleixner */ 137555fb412eSThomas Gleixner extras = num_possible_cpus() * ODEBUG_BATCH_SIZE; 137696a9a042SThomas Gleixner pool_global.max_cnt += extras; 137796a9a042SThomas Gleixner pool_global.min_cnt += extras; 137855fb412eSThomas Gleixner 137955fb412eSThomas Gleixner /* Everything worked. Expose the cache */ 138055fb412eSThomas Gleixner obj_cache = cache; 1381634d61f4SWaiman Long 138288451f2cSZqiang #ifdef CONFIG_HOTPLUG_CPU 138388451f2cSZqiang cpuhp_setup_state_nocalls(CPUHP_DEBUG_OBJ_DEAD, "object:offline", NULL, 138488451f2cSZqiang object_cpu_offline); 138588451f2cSZqiang #endif 138655fb412eSThomas Gleixner return; 13873ac7fe5aSThomas Gleixner } 1388