xref: /linux-6.15/lib/debugobjects.c (revision 673d62cc)
13ac7fe5aSThomas Gleixner /*
23ac7fe5aSThomas Gleixner  * Generic infrastructure for lifetime debugging of objects.
33ac7fe5aSThomas Gleixner  *
43ac7fe5aSThomas Gleixner  * Started by Thomas Gleixner
53ac7fe5aSThomas Gleixner  *
63ac7fe5aSThomas Gleixner  * Copyright (C) 2008, Thomas Gleixner <[email protected]>
73ac7fe5aSThomas Gleixner  *
83ac7fe5aSThomas Gleixner  * For licencing details see kernel-base/COPYING
93ac7fe5aSThomas Gleixner  */
103ac7fe5aSThomas Gleixner #include <linux/debugobjects.h>
113ac7fe5aSThomas Gleixner #include <linux/interrupt.h>
123ac7fe5aSThomas Gleixner #include <linux/seq_file.h>
133ac7fe5aSThomas Gleixner #include <linux/debugfs.h>
143ac7fe5aSThomas Gleixner #include <linux/hash.h>
153ac7fe5aSThomas Gleixner 
163ac7fe5aSThomas Gleixner #define ODEBUG_HASH_BITS	14
173ac7fe5aSThomas Gleixner #define ODEBUG_HASH_SIZE	(1 << ODEBUG_HASH_BITS)
183ac7fe5aSThomas Gleixner 
193ac7fe5aSThomas Gleixner #define ODEBUG_POOL_SIZE	512
203ac7fe5aSThomas Gleixner #define ODEBUG_POOL_MIN_LEVEL	256
213ac7fe5aSThomas Gleixner 
223ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_SHIFT	PAGE_SHIFT
233ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_SIZE	(1 << ODEBUG_CHUNK_SHIFT)
243ac7fe5aSThomas Gleixner #define ODEBUG_CHUNK_MASK	(~(ODEBUG_CHUNK_SIZE - 1))
253ac7fe5aSThomas Gleixner 
263ac7fe5aSThomas Gleixner struct debug_bucket {
273ac7fe5aSThomas Gleixner 	struct hlist_head	list;
283ac7fe5aSThomas Gleixner 	spinlock_t		lock;
293ac7fe5aSThomas Gleixner };
303ac7fe5aSThomas Gleixner 
313ac7fe5aSThomas Gleixner static struct debug_bucket	obj_hash[ODEBUG_HASH_SIZE];
323ac7fe5aSThomas Gleixner 
333ac7fe5aSThomas Gleixner static struct debug_obj		obj_static_pool[ODEBUG_POOL_SIZE];
343ac7fe5aSThomas Gleixner 
353ac7fe5aSThomas Gleixner static DEFINE_SPINLOCK(pool_lock);
363ac7fe5aSThomas Gleixner 
373ac7fe5aSThomas Gleixner static HLIST_HEAD(obj_pool);
383ac7fe5aSThomas Gleixner 
393ac7fe5aSThomas Gleixner static int			obj_pool_min_free = ODEBUG_POOL_SIZE;
403ac7fe5aSThomas Gleixner static int			obj_pool_free = ODEBUG_POOL_SIZE;
413ac7fe5aSThomas Gleixner static int			obj_pool_used;
423ac7fe5aSThomas Gleixner static int			obj_pool_max_used;
433ac7fe5aSThomas Gleixner static struct kmem_cache	*obj_cache;
443ac7fe5aSThomas Gleixner 
453ac7fe5aSThomas Gleixner static int			debug_objects_maxchain __read_mostly;
463ac7fe5aSThomas Gleixner static int			debug_objects_fixups __read_mostly;
473ac7fe5aSThomas Gleixner static int			debug_objects_warnings __read_mostly;
483ac7fe5aSThomas Gleixner static int			debug_objects_enabled __read_mostly;
493ac7fe5aSThomas Gleixner static struct debug_obj_descr	*descr_test  __read_mostly;
503ac7fe5aSThomas Gleixner 
513ac7fe5aSThomas Gleixner static int __init enable_object_debug(char *str)
523ac7fe5aSThomas Gleixner {
533ac7fe5aSThomas Gleixner 	debug_objects_enabled = 1;
543ac7fe5aSThomas Gleixner 	return 0;
553ac7fe5aSThomas Gleixner }
563ac7fe5aSThomas Gleixner early_param("debug_objects", enable_object_debug);
573ac7fe5aSThomas Gleixner 
583ac7fe5aSThomas Gleixner static const char *obj_states[ODEBUG_STATE_MAX] = {
593ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_NONE]		= "none",
603ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_INIT]		= "initialized",
613ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_INACTIVE]		= "inactive",
623ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_ACTIVE]		= "active",
633ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_DESTROYED]	= "destroyed",
643ac7fe5aSThomas Gleixner 	[ODEBUG_STATE_NOTAVAILABLE]	= "not available",
653ac7fe5aSThomas Gleixner };
663ac7fe5aSThomas Gleixner 
673ac7fe5aSThomas Gleixner static int fill_pool(void)
683ac7fe5aSThomas Gleixner {
693ac7fe5aSThomas Gleixner 	gfp_t gfp = GFP_ATOMIC | __GFP_NORETRY | __GFP_NOWARN;
703ac7fe5aSThomas Gleixner 	struct debug_obj *new;
7150db04ddSVegard Nossum 	unsigned long flags;
723ac7fe5aSThomas Gleixner 
733ac7fe5aSThomas Gleixner 	if (likely(obj_pool_free >= ODEBUG_POOL_MIN_LEVEL))
743ac7fe5aSThomas Gleixner 		return obj_pool_free;
753ac7fe5aSThomas Gleixner 
763ac7fe5aSThomas Gleixner 	if (unlikely(!obj_cache))
773ac7fe5aSThomas Gleixner 		return obj_pool_free;
783ac7fe5aSThomas Gleixner 
793ac7fe5aSThomas Gleixner 	while (obj_pool_free < ODEBUG_POOL_MIN_LEVEL) {
803ac7fe5aSThomas Gleixner 
813ac7fe5aSThomas Gleixner 		new = kmem_cache_zalloc(obj_cache, gfp);
823ac7fe5aSThomas Gleixner 		if (!new)
833ac7fe5aSThomas Gleixner 			return obj_pool_free;
843ac7fe5aSThomas Gleixner 
8550db04ddSVegard Nossum 		spin_lock_irqsave(&pool_lock, flags);
863ac7fe5aSThomas Gleixner 		hlist_add_head(&new->node, &obj_pool);
873ac7fe5aSThomas Gleixner 		obj_pool_free++;
8850db04ddSVegard Nossum 		spin_unlock_irqrestore(&pool_lock, flags);
893ac7fe5aSThomas Gleixner 	}
903ac7fe5aSThomas Gleixner 	return obj_pool_free;
913ac7fe5aSThomas Gleixner }
923ac7fe5aSThomas Gleixner 
933ac7fe5aSThomas Gleixner /*
943ac7fe5aSThomas Gleixner  * Lookup an object in the hash bucket.
953ac7fe5aSThomas Gleixner  */
963ac7fe5aSThomas Gleixner static struct debug_obj *lookup_object(void *addr, struct debug_bucket *b)
973ac7fe5aSThomas Gleixner {
983ac7fe5aSThomas Gleixner 	struct hlist_node *node;
993ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
1003ac7fe5aSThomas Gleixner 	int cnt = 0;
1013ac7fe5aSThomas Gleixner 
1023ac7fe5aSThomas Gleixner 	hlist_for_each_entry(obj, node, &b->list, node) {
1033ac7fe5aSThomas Gleixner 		cnt++;
1043ac7fe5aSThomas Gleixner 		if (obj->object == addr)
1053ac7fe5aSThomas Gleixner 			return obj;
1063ac7fe5aSThomas Gleixner 	}
1073ac7fe5aSThomas Gleixner 	if (cnt > debug_objects_maxchain)
1083ac7fe5aSThomas Gleixner 		debug_objects_maxchain = cnt;
1093ac7fe5aSThomas Gleixner 
1103ac7fe5aSThomas Gleixner 	return NULL;
1113ac7fe5aSThomas Gleixner }
1123ac7fe5aSThomas Gleixner 
1133ac7fe5aSThomas Gleixner /*
11450db04ddSVegard Nossum  * Allocate a new object. If the pool is empty, switch off the debugger.
115*673d62ccSVegard Nossum  * Must be called with interrupts disabled.
1163ac7fe5aSThomas Gleixner  */
1173ac7fe5aSThomas Gleixner static struct debug_obj *
1183ac7fe5aSThomas Gleixner alloc_object(void *addr, struct debug_bucket *b, struct debug_obj_descr *descr)
1193ac7fe5aSThomas Gleixner {
1203ac7fe5aSThomas Gleixner 	struct debug_obj *obj = NULL;
1213ac7fe5aSThomas Gleixner 
1223ac7fe5aSThomas Gleixner 	spin_lock(&pool_lock);
1233ac7fe5aSThomas Gleixner 	if (obj_pool.first) {
1243ac7fe5aSThomas Gleixner 		obj	    = hlist_entry(obj_pool.first, typeof(*obj), node);
1253ac7fe5aSThomas Gleixner 
1263ac7fe5aSThomas Gleixner 		obj->object = addr;
1273ac7fe5aSThomas Gleixner 		obj->descr  = descr;
1283ac7fe5aSThomas Gleixner 		obj->state  = ODEBUG_STATE_NONE;
1293ac7fe5aSThomas Gleixner 		hlist_del(&obj->node);
1303ac7fe5aSThomas Gleixner 
1313ac7fe5aSThomas Gleixner 		hlist_add_head(&obj->node, &b->list);
1323ac7fe5aSThomas Gleixner 
1333ac7fe5aSThomas Gleixner 		obj_pool_used++;
1343ac7fe5aSThomas Gleixner 		if (obj_pool_used > obj_pool_max_used)
1353ac7fe5aSThomas Gleixner 			obj_pool_max_used = obj_pool_used;
1363ac7fe5aSThomas Gleixner 
1373ac7fe5aSThomas Gleixner 		obj_pool_free--;
1383ac7fe5aSThomas Gleixner 		if (obj_pool_free < obj_pool_min_free)
1393ac7fe5aSThomas Gleixner 			obj_pool_min_free = obj_pool_free;
1403ac7fe5aSThomas Gleixner 	}
1413ac7fe5aSThomas Gleixner 	spin_unlock(&pool_lock);
1423ac7fe5aSThomas Gleixner 
1433ac7fe5aSThomas Gleixner 	return obj;
1443ac7fe5aSThomas Gleixner }
1453ac7fe5aSThomas Gleixner 
1463ac7fe5aSThomas Gleixner /*
1473ac7fe5aSThomas Gleixner  * Put the object back into the pool or give it back to kmem_cache:
1483ac7fe5aSThomas Gleixner  */
1493ac7fe5aSThomas Gleixner static void free_object(struct debug_obj *obj)
1503ac7fe5aSThomas Gleixner {
1513ac7fe5aSThomas Gleixner 	unsigned long idx = (unsigned long)(obj - obj_static_pool);
152*673d62ccSVegard Nossum 	unsigned long flags;
1533ac7fe5aSThomas Gleixner 
1543ac7fe5aSThomas Gleixner 	if (obj_pool_free < ODEBUG_POOL_SIZE || idx < ODEBUG_POOL_SIZE) {
155*673d62ccSVegard Nossum 		spin_lock_irqsave(&pool_lock, flags);
1563ac7fe5aSThomas Gleixner 		hlist_add_head(&obj->node, &obj_pool);
1573ac7fe5aSThomas Gleixner 		obj_pool_free++;
1583ac7fe5aSThomas Gleixner 		obj_pool_used--;
159*673d62ccSVegard Nossum 		spin_unlock_irqrestore(&pool_lock, flags);
1603ac7fe5aSThomas Gleixner 	} else {
161*673d62ccSVegard Nossum 		spin_lock_irqsave(&pool_lock, flags);
1623ac7fe5aSThomas Gleixner 		obj_pool_used--;
163*673d62ccSVegard Nossum 		spin_unlock_irqrestore(&pool_lock, flags);
1643ac7fe5aSThomas Gleixner 		kmem_cache_free(obj_cache, obj);
1653ac7fe5aSThomas Gleixner 	}
1663ac7fe5aSThomas Gleixner }
1673ac7fe5aSThomas Gleixner 
1683ac7fe5aSThomas Gleixner /*
1693ac7fe5aSThomas Gleixner  * We run out of memory. That means we probably have tons of objects
1703ac7fe5aSThomas Gleixner  * allocated.
1713ac7fe5aSThomas Gleixner  */
1723ac7fe5aSThomas Gleixner static void debug_objects_oom(void)
1733ac7fe5aSThomas Gleixner {
1743ac7fe5aSThomas Gleixner 	struct debug_bucket *db = obj_hash;
1753ac7fe5aSThomas Gleixner 	struct hlist_node *node, *tmp;
176*673d62ccSVegard Nossum 	HLIST_HEAD(freelist);
1773ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
1783ac7fe5aSThomas Gleixner 	unsigned long flags;
1793ac7fe5aSThomas Gleixner 	int i;
1803ac7fe5aSThomas Gleixner 
1813ac7fe5aSThomas Gleixner 	printk(KERN_WARNING "ODEBUG: Out of memory. ODEBUG disabled\n");
1823ac7fe5aSThomas Gleixner 
1833ac7fe5aSThomas Gleixner 	for (i = 0; i < ODEBUG_HASH_SIZE; i++, db++) {
1843ac7fe5aSThomas Gleixner 		spin_lock_irqsave(&db->lock, flags);
185*673d62ccSVegard Nossum 		hlist_move_list(&db->list, &freelist);
186*673d62ccSVegard Nossum 		spin_unlock_irqrestore(&db->lock, flags);
187*673d62ccSVegard Nossum 
188*673d62ccSVegard Nossum 		/* Now free them */
189*673d62ccSVegard Nossum 		hlist_for_each_entry_safe(obj, node, tmp, &freelist, node) {
1903ac7fe5aSThomas Gleixner 			hlist_del(&obj->node);
1913ac7fe5aSThomas Gleixner 			free_object(obj);
1923ac7fe5aSThomas Gleixner 		}
1933ac7fe5aSThomas Gleixner 	}
1943ac7fe5aSThomas Gleixner }
1953ac7fe5aSThomas Gleixner 
1963ac7fe5aSThomas Gleixner /*
1973ac7fe5aSThomas Gleixner  * We use the pfn of the address for the hash. That way we can check
1983ac7fe5aSThomas Gleixner  * for freed objects simply by checking the affected bucket.
1993ac7fe5aSThomas Gleixner  */
2003ac7fe5aSThomas Gleixner static struct debug_bucket *get_bucket(unsigned long addr)
2013ac7fe5aSThomas Gleixner {
2023ac7fe5aSThomas Gleixner 	unsigned long hash;
2033ac7fe5aSThomas Gleixner 
2043ac7fe5aSThomas Gleixner 	hash = hash_long((addr >> ODEBUG_CHUNK_SHIFT), ODEBUG_HASH_BITS);
2053ac7fe5aSThomas Gleixner 	return &obj_hash[hash];
2063ac7fe5aSThomas Gleixner }
2073ac7fe5aSThomas Gleixner 
2083ac7fe5aSThomas Gleixner static void debug_print_object(struct debug_obj *obj, char *msg)
2093ac7fe5aSThomas Gleixner {
2103ac7fe5aSThomas Gleixner 	static int limit;
2113ac7fe5aSThomas Gleixner 
2123ac7fe5aSThomas Gleixner 	if (limit < 5 && obj->descr != descr_test) {
2133ac7fe5aSThomas Gleixner 		limit++;
2145cd2b459SArjan van de Ven 		WARN(1, KERN_ERR "ODEBUG: %s %s object type: %s\n", msg,
2153ac7fe5aSThomas Gleixner 		       obj_states[obj->state], obj->descr->name);
2163ac7fe5aSThomas Gleixner 	}
2173ac7fe5aSThomas Gleixner 	debug_objects_warnings++;
2183ac7fe5aSThomas Gleixner }
2193ac7fe5aSThomas Gleixner 
2203ac7fe5aSThomas Gleixner /*
2213ac7fe5aSThomas Gleixner  * Try to repair the damage, so we have a better chance to get useful
2223ac7fe5aSThomas Gleixner  * debug output.
2233ac7fe5aSThomas Gleixner  */
2243ac7fe5aSThomas Gleixner static void
2253ac7fe5aSThomas Gleixner debug_object_fixup(int (*fixup)(void *addr, enum debug_obj_state state),
2263ac7fe5aSThomas Gleixner 		   void * addr, enum debug_obj_state state)
2273ac7fe5aSThomas Gleixner {
2283ac7fe5aSThomas Gleixner 	if (fixup)
2293ac7fe5aSThomas Gleixner 		debug_objects_fixups += fixup(addr, state);
2303ac7fe5aSThomas Gleixner }
2313ac7fe5aSThomas Gleixner 
2323ac7fe5aSThomas Gleixner static void debug_object_is_on_stack(void *addr, int onstack)
2333ac7fe5aSThomas Gleixner {
2343ac7fe5aSThomas Gleixner 	int is_on_stack;
2353ac7fe5aSThomas Gleixner 	static int limit;
2363ac7fe5aSThomas Gleixner 
2373ac7fe5aSThomas Gleixner 	if (limit > 4)
2383ac7fe5aSThomas Gleixner 		return;
2393ac7fe5aSThomas Gleixner 
2408b05c7e6SFUJITA Tomonori 	is_on_stack = object_is_on_stack(addr);
2413ac7fe5aSThomas Gleixner 	if (is_on_stack == onstack)
2423ac7fe5aSThomas Gleixner 		return;
2433ac7fe5aSThomas Gleixner 
2443ac7fe5aSThomas Gleixner 	limit++;
2453ac7fe5aSThomas Gleixner 	if (is_on_stack)
2463ac7fe5aSThomas Gleixner 		printk(KERN_WARNING
2473ac7fe5aSThomas Gleixner 		       "ODEBUG: object is on stack, but not annotated\n");
2483ac7fe5aSThomas Gleixner 	else
2493ac7fe5aSThomas Gleixner 		printk(KERN_WARNING
2503ac7fe5aSThomas Gleixner 		       "ODEBUG: object is not on stack, but annotated\n");
2513ac7fe5aSThomas Gleixner 	WARN_ON(1);
2523ac7fe5aSThomas Gleixner }
2533ac7fe5aSThomas Gleixner 
2543ac7fe5aSThomas Gleixner static void
2553ac7fe5aSThomas Gleixner __debug_object_init(void *addr, struct debug_obj_descr *descr, int onstack)
2563ac7fe5aSThomas Gleixner {
2573ac7fe5aSThomas Gleixner 	enum debug_obj_state state;
2583ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
2593ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
2603ac7fe5aSThomas Gleixner 	unsigned long flags;
2613ac7fe5aSThomas Gleixner 
26250db04ddSVegard Nossum 	fill_pool();
26350db04ddSVegard Nossum 
2643ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
2653ac7fe5aSThomas Gleixner 
2663ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
2673ac7fe5aSThomas Gleixner 
2683ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
2693ac7fe5aSThomas Gleixner 	if (!obj) {
2703ac7fe5aSThomas Gleixner 		obj = alloc_object(addr, db, descr);
2713ac7fe5aSThomas Gleixner 		if (!obj) {
2723ac7fe5aSThomas Gleixner 			debug_objects_enabled = 0;
2733ac7fe5aSThomas Gleixner 			spin_unlock_irqrestore(&db->lock, flags);
2743ac7fe5aSThomas Gleixner 			debug_objects_oom();
2753ac7fe5aSThomas Gleixner 			return;
2763ac7fe5aSThomas Gleixner 		}
2773ac7fe5aSThomas Gleixner 		debug_object_is_on_stack(addr, onstack);
2783ac7fe5aSThomas Gleixner 	}
2793ac7fe5aSThomas Gleixner 
2803ac7fe5aSThomas Gleixner 	switch (obj->state) {
2813ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_NONE:
2823ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_INIT:
2833ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_INACTIVE:
2843ac7fe5aSThomas Gleixner 		obj->state = ODEBUG_STATE_INIT;
2853ac7fe5aSThomas Gleixner 		break;
2863ac7fe5aSThomas Gleixner 
2873ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
2883ac7fe5aSThomas Gleixner 		debug_print_object(obj, "init");
2893ac7fe5aSThomas Gleixner 		state = obj->state;
2903ac7fe5aSThomas Gleixner 		spin_unlock_irqrestore(&db->lock, flags);
2913ac7fe5aSThomas Gleixner 		debug_object_fixup(descr->fixup_init, addr, state);
2923ac7fe5aSThomas Gleixner 		return;
2933ac7fe5aSThomas Gleixner 
2943ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_DESTROYED:
2953ac7fe5aSThomas Gleixner 		debug_print_object(obj, "init");
2963ac7fe5aSThomas Gleixner 		break;
2973ac7fe5aSThomas Gleixner 	default:
2983ac7fe5aSThomas Gleixner 		break;
2993ac7fe5aSThomas Gleixner 	}
3003ac7fe5aSThomas Gleixner 
3013ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
3023ac7fe5aSThomas Gleixner }
3033ac7fe5aSThomas Gleixner 
3043ac7fe5aSThomas Gleixner /**
3053ac7fe5aSThomas Gleixner  * debug_object_init - debug checks when an object is initialized
3063ac7fe5aSThomas Gleixner  * @addr:	address of the object
3073ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
3083ac7fe5aSThomas Gleixner  */
3093ac7fe5aSThomas Gleixner void debug_object_init(void *addr, struct debug_obj_descr *descr)
3103ac7fe5aSThomas Gleixner {
3113ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
3123ac7fe5aSThomas Gleixner 		return;
3133ac7fe5aSThomas Gleixner 
3143ac7fe5aSThomas Gleixner 	__debug_object_init(addr, descr, 0);
3153ac7fe5aSThomas Gleixner }
3163ac7fe5aSThomas Gleixner 
3173ac7fe5aSThomas Gleixner /**
3183ac7fe5aSThomas Gleixner  * debug_object_init_on_stack - debug checks when an object on stack is
3193ac7fe5aSThomas Gleixner  *				initialized
3203ac7fe5aSThomas Gleixner  * @addr:	address of the object
3213ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
3223ac7fe5aSThomas Gleixner  */
3233ac7fe5aSThomas Gleixner void debug_object_init_on_stack(void *addr, struct debug_obj_descr *descr)
3243ac7fe5aSThomas Gleixner {
3253ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
3263ac7fe5aSThomas Gleixner 		return;
3273ac7fe5aSThomas Gleixner 
3283ac7fe5aSThomas Gleixner 	__debug_object_init(addr, descr, 1);
3293ac7fe5aSThomas Gleixner }
3303ac7fe5aSThomas Gleixner 
3313ac7fe5aSThomas Gleixner /**
3323ac7fe5aSThomas Gleixner  * debug_object_activate - debug checks when an object is activated
3333ac7fe5aSThomas Gleixner  * @addr:	address of the object
3343ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
3353ac7fe5aSThomas Gleixner  */
3363ac7fe5aSThomas Gleixner void debug_object_activate(void *addr, struct debug_obj_descr *descr)
3373ac7fe5aSThomas Gleixner {
3383ac7fe5aSThomas Gleixner 	enum debug_obj_state state;
3393ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
3403ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
3413ac7fe5aSThomas Gleixner 	unsigned long flags;
3423ac7fe5aSThomas Gleixner 
3433ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
3443ac7fe5aSThomas Gleixner 		return;
3453ac7fe5aSThomas Gleixner 
3463ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
3473ac7fe5aSThomas Gleixner 
3483ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
3493ac7fe5aSThomas Gleixner 
3503ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
3513ac7fe5aSThomas Gleixner 	if (obj) {
3523ac7fe5aSThomas Gleixner 		switch (obj->state) {
3533ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_INIT:
3543ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_INACTIVE:
3553ac7fe5aSThomas Gleixner 			obj->state = ODEBUG_STATE_ACTIVE;
3563ac7fe5aSThomas Gleixner 			break;
3573ac7fe5aSThomas Gleixner 
3583ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_ACTIVE:
3593ac7fe5aSThomas Gleixner 			debug_print_object(obj, "activate");
3603ac7fe5aSThomas Gleixner 			state = obj->state;
3613ac7fe5aSThomas Gleixner 			spin_unlock_irqrestore(&db->lock, flags);
3623ac7fe5aSThomas Gleixner 			debug_object_fixup(descr->fixup_activate, addr, state);
3633ac7fe5aSThomas Gleixner 			return;
3643ac7fe5aSThomas Gleixner 
3653ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_DESTROYED:
3663ac7fe5aSThomas Gleixner 			debug_print_object(obj, "activate");
3673ac7fe5aSThomas Gleixner 			break;
3683ac7fe5aSThomas Gleixner 		default:
3693ac7fe5aSThomas Gleixner 			break;
3703ac7fe5aSThomas Gleixner 		}
3713ac7fe5aSThomas Gleixner 		spin_unlock_irqrestore(&db->lock, flags);
3723ac7fe5aSThomas Gleixner 		return;
3733ac7fe5aSThomas Gleixner 	}
3743ac7fe5aSThomas Gleixner 
3753ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
3763ac7fe5aSThomas Gleixner 	/*
3773ac7fe5aSThomas Gleixner 	 * This happens when a static object is activated. We
3783ac7fe5aSThomas Gleixner 	 * let the type specific code decide whether this is
3793ac7fe5aSThomas Gleixner 	 * true or not.
3803ac7fe5aSThomas Gleixner 	 */
3813ac7fe5aSThomas Gleixner 	debug_object_fixup(descr->fixup_activate, addr,
3823ac7fe5aSThomas Gleixner 			   ODEBUG_STATE_NOTAVAILABLE);
3833ac7fe5aSThomas Gleixner }
3843ac7fe5aSThomas Gleixner 
3853ac7fe5aSThomas Gleixner /**
3863ac7fe5aSThomas Gleixner  * debug_object_deactivate - debug checks when an object is deactivated
3873ac7fe5aSThomas Gleixner  * @addr:	address of the object
3883ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
3893ac7fe5aSThomas Gleixner  */
3903ac7fe5aSThomas Gleixner void debug_object_deactivate(void *addr, struct debug_obj_descr *descr)
3913ac7fe5aSThomas Gleixner {
3923ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
3933ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
3943ac7fe5aSThomas Gleixner 	unsigned long flags;
3953ac7fe5aSThomas Gleixner 
3963ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
3973ac7fe5aSThomas Gleixner 		return;
3983ac7fe5aSThomas Gleixner 
3993ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
4003ac7fe5aSThomas Gleixner 
4013ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
4023ac7fe5aSThomas Gleixner 
4033ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
4043ac7fe5aSThomas Gleixner 	if (obj) {
4053ac7fe5aSThomas Gleixner 		switch (obj->state) {
4063ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_INIT:
4073ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_INACTIVE:
4083ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_ACTIVE:
4093ac7fe5aSThomas Gleixner 			obj->state = ODEBUG_STATE_INACTIVE;
4103ac7fe5aSThomas Gleixner 			break;
4113ac7fe5aSThomas Gleixner 
4123ac7fe5aSThomas Gleixner 		case ODEBUG_STATE_DESTROYED:
4133ac7fe5aSThomas Gleixner 			debug_print_object(obj, "deactivate");
4143ac7fe5aSThomas Gleixner 			break;
4153ac7fe5aSThomas Gleixner 		default:
4163ac7fe5aSThomas Gleixner 			break;
4173ac7fe5aSThomas Gleixner 		}
4183ac7fe5aSThomas Gleixner 	} else {
4193ac7fe5aSThomas Gleixner 		struct debug_obj o = { .object = addr,
4203ac7fe5aSThomas Gleixner 				       .state = ODEBUG_STATE_NOTAVAILABLE,
4213ac7fe5aSThomas Gleixner 				       .descr = descr };
4223ac7fe5aSThomas Gleixner 
4233ac7fe5aSThomas Gleixner 		debug_print_object(&o, "deactivate");
4243ac7fe5aSThomas Gleixner 	}
4253ac7fe5aSThomas Gleixner 
4263ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
4273ac7fe5aSThomas Gleixner }
4283ac7fe5aSThomas Gleixner 
4293ac7fe5aSThomas Gleixner /**
4303ac7fe5aSThomas Gleixner  * debug_object_destroy - debug checks when an object is destroyed
4313ac7fe5aSThomas Gleixner  * @addr:	address of the object
4323ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
4333ac7fe5aSThomas Gleixner  */
4343ac7fe5aSThomas Gleixner void debug_object_destroy(void *addr, struct debug_obj_descr *descr)
4353ac7fe5aSThomas Gleixner {
4363ac7fe5aSThomas Gleixner 	enum debug_obj_state state;
4373ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
4383ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
4393ac7fe5aSThomas Gleixner 	unsigned long flags;
4403ac7fe5aSThomas Gleixner 
4413ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
4423ac7fe5aSThomas Gleixner 		return;
4433ac7fe5aSThomas Gleixner 
4443ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
4453ac7fe5aSThomas Gleixner 
4463ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
4473ac7fe5aSThomas Gleixner 
4483ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
4493ac7fe5aSThomas Gleixner 	if (!obj)
4503ac7fe5aSThomas Gleixner 		goto out_unlock;
4513ac7fe5aSThomas Gleixner 
4523ac7fe5aSThomas Gleixner 	switch (obj->state) {
4533ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_NONE:
4543ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_INIT:
4553ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_INACTIVE:
4563ac7fe5aSThomas Gleixner 		obj->state = ODEBUG_STATE_DESTROYED;
4573ac7fe5aSThomas Gleixner 		break;
4583ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
4593ac7fe5aSThomas Gleixner 		debug_print_object(obj, "destroy");
4603ac7fe5aSThomas Gleixner 		state = obj->state;
4613ac7fe5aSThomas Gleixner 		spin_unlock_irqrestore(&db->lock, flags);
4623ac7fe5aSThomas Gleixner 		debug_object_fixup(descr->fixup_destroy, addr, state);
4633ac7fe5aSThomas Gleixner 		return;
4643ac7fe5aSThomas Gleixner 
4653ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_DESTROYED:
4663ac7fe5aSThomas Gleixner 		debug_print_object(obj, "destroy");
4673ac7fe5aSThomas Gleixner 		break;
4683ac7fe5aSThomas Gleixner 	default:
4693ac7fe5aSThomas Gleixner 		break;
4703ac7fe5aSThomas Gleixner 	}
4713ac7fe5aSThomas Gleixner out_unlock:
4723ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
4733ac7fe5aSThomas Gleixner }
4743ac7fe5aSThomas Gleixner 
4753ac7fe5aSThomas Gleixner /**
4763ac7fe5aSThomas Gleixner  * debug_object_free - debug checks when an object is freed
4773ac7fe5aSThomas Gleixner  * @addr:	address of the object
4783ac7fe5aSThomas Gleixner  * @descr:	pointer to an object specific debug description structure
4793ac7fe5aSThomas Gleixner  */
4803ac7fe5aSThomas Gleixner void debug_object_free(void *addr, struct debug_obj_descr *descr)
4813ac7fe5aSThomas Gleixner {
4823ac7fe5aSThomas Gleixner 	enum debug_obj_state state;
4833ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
4843ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
4853ac7fe5aSThomas Gleixner 	unsigned long flags;
4863ac7fe5aSThomas Gleixner 
4873ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
4883ac7fe5aSThomas Gleixner 		return;
4893ac7fe5aSThomas Gleixner 
4903ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
4913ac7fe5aSThomas Gleixner 
4923ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
4933ac7fe5aSThomas Gleixner 
4943ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
4953ac7fe5aSThomas Gleixner 	if (!obj)
4963ac7fe5aSThomas Gleixner 		goto out_unlock;
4973ac7fe5aSThomas Gleixner 
4983ac7fe5aSThomas Gleixner 	switch (obj->state) {
4993ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
5003ac7fe5aSThomas Gleixner 		debug_print_object(obj, "free");
5013ac7fe5aSThomas Gleixner 		state = obj->state;
5023ac7fe5aSThomas Gleixner 		spin_unlock_irqrestore(&db->lock, flags);
5033ac7fe5aSThomas Gleixner 		debug_object_fixup(descr->fixup_free, addr, state);
5043ac7fe5aSThomas Gleixner 		return;
5053ac7fe5aSThomas Gleixner 	default:
5063ac7fe5aSThomas Gleixner 		hlist_del(&obj->node);
507*673d62ccSVegard Nossum 		spin_unlock_irqrestore(&db->lock, flags);
5083ac7fe5aSThomas Gleixner 		free_object(obj);
509*673d62ccSVegard Nossum 		return;
5103ac7fe5aSThomas Gleixner 	}
5113ac7fe5aSThomas Gleixner out_unlock:
5123ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
5133ac7fe5aSThomas Gleixner }
5143ac7fe5aSThomas Gleixner 
5153ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_FREE
5163ac7fe5aSThomas Gleixner static void __debug_check_no_obj_freed(const void *address, unsigned long size)
5173ac7fe5aSThomas Gleixner {
5183ac7fe5aSThomas Gleixner 	unsigned long flags, oaddr, saddr, eaddr, paddr, chunks;
5193ac7fe5aSThomas Gleixner 	struct hlist_node *node, *tmp;
520*673d62ccSVegard Nossum 	HLIST_HEAD(freelist);
5213ac7fe5aSThomas Gleixner 	struct debug_obj_descr *descr;
5223ac7fe5aSThomas Gleixner 	enum debug_obj_state state;
5233ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
5243ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
5253ac7fe5aSThomas Gleixner 	int cnt;
5263ac7fe5aSThomas Gleixner 
5273ac7fe5aSThomas Gleixner 	saddr = (unsigned long) address;
5283ac7fe5aSThomas Gleixner 	eaddr = saddr + size;
5293ac7fe5aSThomas Gleixner 	paddr = saddr & ODEBUG_CHUNK_MASK;
5303ac7fe5aSThomas Gleixner 	chunks = ((eaddr - paddr) + (ODEBUG_CHUNK_SIZE - 1));
5313ac7fe5aSThomas Gleixner 	chunks >>= ODEBUG_CHUNK_SHIFT;
5323ac7fe5aSThomas Gleixner 
5333ac7fe5aSThomas Gleixner 	for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
5343ac7fe5aSThomas Gleixner 		db = get_bucket(paddr);
5353ac7fe5aSThomas Gleixner 
5363ac7fe5aSThomas Gleixner repeat:
5373ac7fe5aSThomas Gleixner 		cnt = 0;
5383ac7fe5aSThomas Gleixner 		spin_lock_irqsave(&db->lock, flags);
5393ac7fe5aSThomas Gleixner 		hlist_for_each_entry_safe(obj, node, tmp, &db->list, node) {
5403ac7fe5aSThomas Gleixner 			cnt++;
5413ac7fe5aSThomas Gleixner 			oaddr = (unsigned long) obj->object;
5423ac7fe5aSThomas Gleixner 			if (oaddr < saddr || oaddr >= eaddr)
5433ac7fe5aSThomas Gleixner 				continue;
5443ac7fe5aSThomas Gleixner 
5453ac7fe5aSThomas Gleixner 			switch (obj->state) {
5463ac7fe5aSThomas Gleixner 			case ODEBUG_STATE_ACTIVE:
5473ac7fe5aSThomas Gleixner 				debug_print_object(obj, "free");
5483ac7fe5aSThomas Gleixner 				descr = obj->descr;
5493ac7fe5aSThomas Gleixner 				state = obj->state;
5503ac7fe5aSThomas Gleixner 				spin_unlock_irqrestore(&db->lock, flags);
5513ac7fe5aSThomas Gleixner 				debug_object_fixup(descr->fixup_free,
5523ac7fe5aSThomas Gleixner 						   (void *) oaddr, state);
5533ac7fe5aSThomas Gleixner 				goto repeat;
5543ac7fe5aSThomas Gleixner 			default:
5553ac7fe5aSThomas Gleixner 				hlist_del(&obj->node);
556*673d62ccSVegard Nossum 				hlist_add_head(&obj->node, &freelist);
5573ac7fe5aSThomas Gleixner 				break;
5583ac7fe5aSThomas Gleixner 			}
5593ac7fe5aSThomas Gleixner 		}
5603ac7fe5aSThomas Gleixner 		spin_unlock_irqrestore(&db->lock, flags);
561*673d62ccSVegard Nossum 
562*673d62ccSVegard Nossum 		/* Now free them */
563*673d62ccSVegard Nossum 		hlist_for_each_entry_safe(obj, node, tmp, &freelist, node) {
564*673d62ccSVegard Nossum 			hlist_del(&obj->node);
565*673d62ccSVegard Nossum 			free_object(obj);
566*673d62ccSVegard Nossum 		}
567*673d62ccSVegard Nossum 
5683ac7fe5aSThomas Gleixner 		if (cnt > debug_objects_maxchain)
5693ac7fe5aSThomas Gleixner 			debug_objects_maxchain = cnt;
5703ac7fe5aSThomas Gleixner 	}
5713ac7fe5aSThomas Gleixner }
5723ac7fe5aSThomas Gleixner 
5733ac7fe5aSThomas Gleixner void debug_check_no_obj_freed(const void *address, unsigned long size)
5743ac7fe5aSThomas Gleixner {
5753ac7fe5aSThomas Gleixner 	if (debug_objects_enabled)
5763ac7fe5aSThomas Gleixner 		__debug_check_no_obj_freed(address, size);
5773ac7fe5aSThomas Gleixner }
5783ac7fe5aSThomas Gleixner #endif
5793ac7fe5aSThomas Gleixner 
5803ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_FS
5813ac7fe5aSThomas Gleixner 
5823ac7fe5aSThomas Gleixner static int debug_stats_show(struct seq_file *m, void *v)
5833ac7fe5aSThomas Gleixner {
5843ac7fe5aSThomas Gleixner 	seq_printf(m, "max_chain     :%d\n", debug_objects_maxchain);
5853ac7fe5aSThomas Gleixner 	seq_printf(m, "warnings      :%d\n", debug_objects_warnings);
5863ac7fe5aSThomas Gleixner 	seq_printf(m, "fixups        :%d\n", debug_objects_fixups);
5873ac7fe5aSThomas Gleixner 	seq_printf(m, "pool_free     :%d\n", obj_pool_free);
5883ac7fe5aSThomas Gleixner 	seq_printf(m, "pool_min_free :%d\n", obj_pool_min_free);
5893ac7fe5aSThomas Gleixner 	seq_printf(m, "pool_used     :%d\n", obj_pool_used);
5903ac7fe5aSThomas Gleixner 	seq_printf(m, "pool_max_used :%d\n", obj_pool_max_used);
5913ac7fe5aSThomas Gleixner 	return 0;
5923ac7fe5aSThomas Gleixner }
5933ac7fe5aSThomas Gleixner 
5943ac7fe5aSThomas Gleixner static int debug_stats_open(struct inode *inode, struct file *filp)
5953ac7fe5aSThomas Gleixner {
5963ac7fe5aSThomas Gleixner 	return single_open(filp, debug_stats_show, NULL);
5973ac7fe5aSThomas Gleixner }
5983ac7fe5aSThomas Gleixner 
5993ac7fe5aSThomas Gleixner static const struct file_operations debug_stats_fops = {
6003ac7fe5aSThomas Gleixner 	.open		= debug_stats_open,
6013ac7fe5aSThomas Gleixner 	.read		= seq_read,
6023ac7fe5aSThomas Gleixner 	.llseek		= seq_lseek,
6033ac7fe5aSThomas Gleixner 	.release	= single_release,
6043ac7fe5aSThomas Gleixner };
6053ac7fe5aSThomas Gleixner 
6063ac7fe5aSThomas Gleixner static int __init debug_objects_init_debugfs(void)
6073ac7fe5aSThomas Gleixner {
6083ac7fe5aSThomas Gleixner 	struct dentry *dbgdir, *dbgstats;
6093ac7fe5aSThomas Gleixner 
6103ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
6113ac7fe5aSThomas Gleixner 		return 0;
6123ac7fe5aSThomas Gleixner 
6133ac7fe5aSThomas Gleixner 	dbgdir = debugfs_create_dir("debug_objects", NULL);
6143ac7fe5aSThomas Gleixner 	if (!dbgdir)
6153ac7fe5aSThomas Gleixner 		return -ENOMEM;
6163ac7fe5aSThomas Gleixner 
6173ac7fe5aSThomas Gleixner 	dbgstats = debugfs_create_file("stats", 0444, dbgdir, NULL,
6183ac7fe5aSThomas Gleixner 				       &debug_stats_fops);
6193ac7fe5aSThomas Gleixner 	if (!dbgstats)
6203ac7fe5aSThomas Gleixner 		goto err;
6213ac7fe5aSThomas Gleixner 
6223ac7fe5aSThomas Gleixner 	return 0;
6233ac7fe5aSThomas Gleixner 
6243ac7fe5aSThomas Gleixner err:
6253ac7fe5aSThomas Gleixner 	debugfs_remove(dbgdir);
6263ac7fe5aSThomas Gleixner 
6273ac7fe5aSThomas Gleixner 	return -ENOMEM;
6283ac7fe5aSThomas Gleixner }
6293ac7fe5aSThomas Gleixner __initcall(debug_objects_init_debugfs);
6303ac7fe5aSThomas Gleixner 
6313ac7fe5aSThomas Gleixner #else
6323ac7fe5aSThomas Gleixner static inline void debug_objects_init_debugfs(void) { }
6333ac7fe5aSThomas Gleixner #endif
6343ac7fe5aSThomas Gleixner 
6353ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_SELFTEST
6363ac7fe5aSThomas Gleixner 
6373ac7fe5aSThomas Gleixner /* Random data structure for the self test */
6383ac7fe5aSThomas Gleixner struct self_test {
6393ac7fe5aSThomas Gleixner 	unsigned long	dummy1[6];
6403ac7fe5aSThomas Gleixner 	int		static_init;
6413ac7fe5aSThomas Gleixner 	unsigned long	dummy2[3];
6423ac7fe5aSThomas Gleixner };
6433ac7fe5aSThomas Gleixner 
6443ac7fe5aSThomas Gleixner static __initdata struct debug_obj_descr descr_type_test;
6453ac7fe5aSThomas Gleixner 
6463ac7fe5aSThomas Gleixner /*
6473ac7fe5aSThomas Gleixner  * fixup_init is called when:
6483ac7fe5aSThomas Gleixner  * - an active object is initialized
6493ac7fe5aSThomas Gleixner  */
6503ac7fe5aSThomas Gleixner static int __init fixup_init(void *addr, enum debug_obj_state state)
6513ac7fe5aSThomas Gleixner {
6523ac7fe5aSThomas Gleixner 	struct self_test *obj = addr;
6533ac7fe5aSThomas Gleixner 
6543ac7fe5aSThomas Gleixner 	switch (state) {
6553ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
6563ac7fe5aSThomas Gleixner 		debug_object_deactivate(obj, &descr_type_test);
6573ac7fe5aSThomas Gleixner 		debug_object_init(obj, &descr_type_test);
6583ac7fe5aSThomas Gleixner 		return 1;
6593ac7fe5aSThomas Gleixner 	default:
6603ac7fe5aSThomas Gleixner 		return 0;
6613ac7fe5aSThomas Gleixner 	}
6623ac7fe5aSThomas Gleixner }
6633ac7fe5aSThomas Gleixner 
6643ac7fe5aSThomas Gleixner /*
6653ac7fe5aSThomas Gleixner  * fixup_activate is called when:
6663ac7fe5aSThomas Gleixner  * - an active object is activated
6673ac7fe5aSThomas Gleixner  * - an unknown object is activated (might be a statically initialized object)
6683ac7fe5aSThomas Gleixner  */
6693ac7fe5aSThomas Gleixner static int __init fixup_activate(void *addr, enum debug_obj_state state)
6703ac7fe5aSThomas Gleixner {
6713ac7fe5aSThomas Gleixner 	struct self_test *obj = addr;
6723ac7fe5aSThomas Gleixner 
6733ac7fe5aSThomas Gleixner 	switch (state) {
6743ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_NOTAVAILABLE:
6753ac7fe5aSThomas Gleixner 		if (obj->static_init == 1) {
6763ac7fe5aSThomas Gleixner 			debug_object_init(obj, &descr_type_test);
6773ac7fe5aSThomas Gleixner 			debug_object_activate(obj, &descr_type_test);
6783ac7fe5aSThomas Gleixner 			/*
6793ac7fe5aSThomas Gleixner 			 * Real code should return 0 here ! This is
6803ac7fe5aSThomas Gleixner 			 * not a fixup of some bad behaviour. We
6813ac7fe5aSThomas Gleixner 			 * merily call the debug_init function to keep
6823ac7fe5aSThomas Gleixner 			 * track of the object.
6833ac7fe5aSThomas Gleixner 			 */
6843ac7fe5aSThomas Gleixner 			return 1;
6853ac7fe5aSThomas Gleixner 		} else {
6863ac7fe5aSThomas Gleixner 			/* Real code needs to emit a warning here */
6873ac7fe5aSThomas Gleixner 		}
6883ac7fe5aSThomas Gleixner 		return 0;
6893ac7fe5aSThomas Gleixner 
6903ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
6913ac7fe5aSThomas Gleixner 		debug_object_deactivate(obj, &descr_type_test);
6923ac7fe5aSThomas Gleixner 		debug_object_activate(obj, &descr_type_test);
6933ac7fe5aSThomas Gleixner 		return 1;
6943ac7fe5aSThomas Gleixner 
6953ac7fe5aSThomas Gleixner 	default:
6963ac7fe5aSThomas Gleixner 		return 0;
6973ac7fe5aSThomas Gleixner 	}
6983ac7fe5aSThomas Gleixner }
6993ac7fe5aSThomas Gleixner 
7003ac7fe5aSThomas Gleixner /*
7013ac7fe5aSThomas Gleixner  * fixup_destroy is called when:
7023ac7fe5aSThomas Gleixner  * - an active object is destroyed
7033ac7fe5aSThomas Gleixner  */
7043ac7fe5aSThomas Gleixner static int __init fixup_destroy(void *addr, enum debug_obj_state state)
7053ac7fe5aSThomas Gleixner {
7063ac7fe5aSThomas Gleixner 	struct self_test *obj = addr;
7073ac7fe5aSThomas Gleixner 
7083ac7fe5aSThomas Gleixner 	switch (state) {
7093ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
7103ac7fe5aSThomas Gleixner 		debug_object_deactivate(obj, &descr_type_test);
7113ac7fe5aSThomas Gleixner 		debug_object_destroy(obj, &descr_type_test);
7123ac7fe5aSThomas Gleixner 		return 1;
7133ac7fe5aSThomas Gleixner 	default:
7143ac7fe5aSThomas Gleixner 		return 0;
7153ac7fe5aSThomas Gleixner 	}
7163ac7fe5aSThomas Gleixner }
7173ac7fe5aSThomas Gleixner 
7183ac7fe5aSThomas Gleixner /*
7193ac7fe5aSThomas Gleixner  * fixup_free is called when:
7203ac7fe5aSThomas Gleixner  * - an active object is freed
7213ac7fe5aSThomas Gleixner  */
7223ac7fe5aSThomas Gleixner static int __init fixup_free(void *addr, enum debug_obj_state state)
7233ac7fe5aSThomas Gleixner {
7243ac7fe5aSThomas Gleixner 	struct self_test *obj = addr;
7253ac7fe5aSThomas Gleixner 
7263ac7fe5aSThomas Gleixner 	switch (state) {
7273ac7fe5aSThomas Gleixner 	case ODEBUG_STATE_ACTIVE:
7283ac7fe5aSThomas Gleixner 		debug_object_deactivate(obj, &descr_type_test);
7293ac7fe5aSThomas Gleixner 		debug_object_free(obj, &descr_type_test);
7303ac7fe5aSThomas Gleixner 		return 1;
7313ac7fe5aSThomas Gleixner 	default:
7323ac7fe5aSThomas Gleixner 		return 0;
7333ac7fe5aSThomas Gleixner 	}
7343ac7fe5aSThomas Gleixner }
7353ac7fe5aSThomas Gleixner 
7363ac7fe5aSThomas Gleixner static int
7373ac7fe5aSThomas Gleixner check_results(void *addr, enum debug_obj_state state, int fixups, int warnings)
7383ac7fe5aSThomas Gleixner {
7393ac7fe5aSThomas Gleixner 	struct debug_bucket *db;
7403ac7fe5aSThomas Gleixner 	struct debug_obj *obj;
7413ac7fe5aSThomas Gleixner 	unsigned long flags;
7423ac7fe5aSThomas Gleixner 	int res = -EINVAL;
7433ac7fe5aSThomas Gleixner 
7443ac7fe5aSThomas Gleixner 	db = get_bucket((unsigned long) addr);
7453ac7fe5aSThomas Gleixner 
7463ac7fe5aSThomas Gleixner 	spin_lock_irqsave(&db->lock, flags);
7473ac7fe5aSThomas Gleixner 
7483ac7fe5aSThomas Gleixner 	obj = lookup_object(addr, db);
7493ac7fe5aSThomas Gleixner 	if (!obj && state != ODEBUG_STATE_NONE) {
7505cd2b459SArjan van de Ven 		WARN(1, KERN_ERR "ODEBUG: selftest object not found\n");
7513ac7fe5aSThomas Gleixner 		goto out;
7523ac7fe5aSThomas Gleixner 	}
7533ac7fe5aSThomas Gleixner 	if (obj && obj->state != state) {
7545cd2b459SArjan van de Ven 		WARN(1, KERN_ERR "ODEBUG: selftest wrong state: %d != %d\n",
7553ac7fe5aSThomas Gleixner 		       obj->state, state);
7563ac7fe5aSThomas Gleixner 		goto out;
7573ac7fe5aSThomas Gleixner 	}
7583ac7fe5aSThomas Gleixner 	if (fixups != debug_objects_fixups) {
7595cd2b459SArjan van de Ven 		WARN(1, KERN_ERR "ODEBUG: selftest fixups failed %d != %d\n",
7603ac7fe5aSThomas Gleixner 		       fixups, debug_objects_fixups);
7613ac7fe5aSThomas Gleixner 		goto out;
7623ac7fe5aSThomas Gleixner 	}
7633ac7fe5aSThomas Gleixner 	if (warnings != debug_objects_warnings) {
7645cd2b459SArjan van de Ven 		WARN(1, KERN_ERR "ODEBUG: selftest warnings failed %d != %d\n",
7653ac7fe5aSThomas Gleixner 		       warnings, debug_objects_warnings);
7663ac7fe5aSThomas Gleixner 		goto out;
7673ac7fe5aSThomas Gleixner 	}
7683ac7fe5aSThomas Gleixner 	res = 0;
7693ac7fe5aSThomas Gleixner out:
7703ac7fe5aSThomas Gleixner 	spin_unlock_irqrestore(&db->lock, flags);
7713ac7fe5aSThomas Gleixner 	if (res)
7723ac7fe5aSThomas Gleixner 		debug_objects_enabled = 0;
7733ac7fe5aSThomas Gleixner 	return res;
7743ac7fe5aSThomas Gleixner }
7753ac7fe5aSThomas Gleixner 
7763ac7fe5aSThomas Gleixner static __initdata struct debug_obj_descr descr_type_test = {
7773ac7fe5aSThomas Gleixner 	.name			= "selftest",
7783ac7fe5aSThomas Gleixner 	.fixup_init		= fixup_init,
7793ac7fe5aSThomas Gleixner 	.fixup_activate		= fixup_activate,
7803ac7fe5aSThomas Gleixner 	.fixup_destroy		= fixup_destroy,
7813ac7fe5aSThomas Gleixner 	.fixup_free		= fixup_free,
7823ac7fe5aSThomas Gleixner };
7833ac7fe5aSThomas Gleixner 
7843ac7fe5aSThomas Gleixner static __initdata struct self_test obj = { .static_init = 0 };
7853ac7fe5aSThomas Gleixner 
7863ac7fe5aSThomas Gleixner static void __init debug_objects_selftest(void)
7873ac7fe5aSThomas Gleixner {
7883ac7fe5aSThomas Gleixner 	int fixups, oldfixups, warnings, oldwarnings;
7893ac7fe5aSThomas Gleixner 	unsigned long flags;
7903ac7fe5aSThomas Gleixner 
7913ac7fe5aSThomas Gleixner 	local_irq_save(flags);
7923ac7fe5aSThomas Gleixner 
7933ac7fe5aSThomas Gleixner 	fixups = oldfixups = debug_objects_fixups;
7943ac7fe5aSThomas Gleixner 	warnings = oldwarnings = debug_objects_warnings;
7953ac7fe5aSThomas Gleixner 	descr_test = &descr_type_test;
7963ac7fe5aSThomas Gleixner 
7973ac7fe5aSThomas Gleixner 	debug_object_init(&obj, &descr_type_test);
7983ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings))
7993ac7fe5aSThomas Gleixner 		goto out;
8003ac7fe5aSThomas Gleixner 	debug_object_activate(&obj, &descr_type_test);
8013ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings))
8023ac7fe5aSThomas Gleixner 		goto out;
8033ac7fe5aSThomas Gleixner 	debug_object_activate(&obj, &descr_type_test);
8043ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_ACTIVE, ++fixups, ++warnings))
8053ac7fe5aSThomas Gleixner 		goto out;
8063ac7fe5aSThomas Gleixner 	debug_object_deactivate(&obj, &descr_type_test);
8073ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_INACTIVE, fixups, warnings))
8083ac7fe5aSThomas Gleixner 		goto out;
8093ac7fe5aSThomas Gleixner 	debug_object_destroy(&obj, &descr_type_test);
8103ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, warnings))
8113ac7fe5aSThomas Gleixner 		goto out;
8123ac7fe5aSThomas Gleixner 	debug_object_init(&obj, &descr_type_test);
8133ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
8143ac7fe5aSThomas Gleixner 		goto out;
8153ac7fe5aSThomas Gleixner 	debug_object_activate(&obj, &descr_type_test);
8163ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
8173ac7fe5aSThomas Gleixner 		goto out;
8183ac7fe5aSThomas Gleixner 	debug_object_deactivate(&obj, &descr_type_test);
8193ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
8203ac7fe5aSThomas Gleixner 		goto out;
8213ac7fe5aSThomas Gleixner 	debug_object_free(&obj, &descr_type_test);
8223ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings))
8233ac7fe5aSThomas Gleixner 		goto out;
8243ac7fe5aSThomas Gleixner 
8253ac7fe5aSThomas Gleixner 	obj.static_init = 1;
8263ac7fe5aSThomas Gleixner 	debug_object_activate(&obj, &descr_type_test);
8273ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_ACTIVE, ++fixups, warnings))
8283ac7fe5aSThomas Gleixner 		goto out;
8293ac7fe5aSThomas Gleixner 	debug_object_init(&obj, &descr_type_test);
8303ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_INIT, ++fixups, ++warnings))
8313ac7fe5aSThomas Gleixner 		goto out;
8323ac7fe5aSThomas Gleixner 	debug_object_free(&obj, &descr_type_test);
8333ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings))
8343ac7fe5aSThomas Gleixner 		goto out;
8353ac7fe5aSThomas Gleixner 
8363ac7fe5aSThomas Gleixner #ifdef CONFIG_DEBUG_OBJECTS_FREE
8373ac7fe5aSThomas Gleixner 	debug_object_init(&obj, &descr_type_test);
8383ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings))
8393ac7fe5aSThomas Gleixner 		goto out;
8403ac7fe5aSThomas Gleixner 	debug_object_activate(&obj, &descr_type_test);
8413ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings))
8423ac7fe5aSThomas Gleixner 		goto out;
8433ac7fe5aSThomas Gleixner 	__debug_check_no_obj_freed(&obj, sizeof(obj));
8443ac7fe5aSThomas Gleixner 	if (check_results(&obj, ODEBUG_STATE_NONE, ++fixups, ++warnings))
8453ac7fe5aSThomas Gleixner 		goto out;
8463ac7fe5aSThomas Gleixner #endif
8473ac7fe5aSThomas Gleixner 	printk(KERN_INFO "ODEBUG: selftest passed\n");
8483ac7fe5aSThomas Gleixner 
8493ac7fe5aSThomas Gleixner out:
8503ac7fe5aSThomas Gleixner 	debug_objects_fixups = oldfixups;
8513ac7fe5aSThomas Gleixner 	debug_objects_warnings = oldwarnings;
8523ac7fe5aSThomas Gleixner 	descr_test = NULL;
8533ac7fe5aSThomas Gleixner 
8543ac7fe5aSThomas Gleixner 	local_irq_restore(flags);
8553ac7fe5aSThomas Gleixner }
8563ac7fe5aSThomas Gleixner #else
8573ac7fe5aSThomas Gleixner static inline void debug_objects_selftest(void) { }
8583ac7fe5aSThomas Gleixner #endif
8593ac7fe5aSThomas Gleixner 
8603ac7fe5aSThomas Gleixner /*
8613ac7fe5aSThomas Gleixner  * Called during early boot to initialize the hash buckets and link
8623ac7fe5aSThomas Gleixner  * the static object pool objects into the poll list. After this call
8633ac7fe5aSThomas Gleixner  * the object tracker is fully operational.
8643ac7fe5aSThomas Gleixner  */
8653ac7fe5aSThomas Gleixner void __init debug_objects_early_init(void)
8663ac7fe5aSThomas Gleixner {
8673ac7fe5aSThomas Gleixner 	int i;
8683ac7fe5aSThomas Gleixner 
8693ac7fe5aSThomas Gleixner 	for (i = 0; i < ODEBUG_HASH_SIZE; i++)
8703ac7fe5aSThomas Gleixner 		spin_lock_init(&obj_hash[i].lock);
8713ac7fe5aSThomas Gleixner 
8723ac7fe5aSThomas Gleixner 	for (i = 0; i < ODEBUG_POOL_SIZE; i++)
8733ac7fe5aSThomas Gleixner 		hlist_add_head(&obj_static_pool[i].node, &obj_pool);
8743ac7fe5aSThomas Gleixner }
8753ac7fe5aSThomas Gleixner 
8763ac7fe5aSThomas Gleixner /*
8773ac7fe5aSThomas Gleixner  * Called after the kmem_caches are functional to setup a dedicated
8783ac7fe5aSThomas Gleixner  * cache pool, which has the SLAB_DEBUG_OBJECTS flag set. This flag
8793ac7fe5aSThomas Gleixner  * prevents that the debug code is called on kmem_cache_free() for the
8803ac7fe5aSThomas Gleixner  * debug tracker objects to avoid recursive calls.
8813ac7fe5aSThomas Gleixner  */
8823ac7fe5aSThomas Gleixner void __init debug_objects_mem_init(void)
8833ac7fe5aSThomas Gleixner {
8843ac7fe5aSThomas Gleixner 	if (!debug_objects_enabled)
8853ac7fe5aSThomas Gleixner 		return;
8863ac7fe5aSThomas Gleixner 
8873ac7fe5aSThomas Gleixner 	obj_cache = kmem_cache_create("debug_objects_cache",
8883ac7fe5aSThomas Gleixner 				      sizeof (struct debug_obj), 0,
8893ac7fe5aSThomas Gleixner 				      SLAB_DEBUG_OBJECTS, NULL);
8903ac7fe5aSThomas Gleixner 
8913ac7fe5aSThomas Gleixner 	if (!obj_cache)
8923ac7fe5aSThomas Gleixner 		debug_objects_enabled = 0;
8933ac7fe5aSThomas Gleixner 	else
8943ac7fe5aSThomas Gleixner 		debug_objects_selftest();
8953ac7fe5aSThomas Gleixner }
896