blob: 2755a3bd16a1ca527b5bd01ccd2c9cabde05a77e [file] [log] [blame]
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -07001/*
2 * Generic infrastructure for lifetime debugging of objects.
3 *
4 * Started by Thomas Gleixner
5 *
6 * Copyright (C) 2008, Thomas Gleixner <tglx@linutronix.de>
7 *
8 * For licencing details see kernel-base/COPYING
9 */
10#include <linux/debugobjects.h>
11#include <linux/interrupt.h>
12#include <linux/seq_file.h>
13#include <linux/debugfs.h>
14#include <linux/hash.h>
15
16#define ODEBUG_HASH_BITS 14
17#define ODEBUG_HASH_SIZE (1 << ODEBUG_HASH_BITS)
18
19#define ODEBUG_POOL_SIZE 512
20#define ODEBUG_POOL_MIN_LEVEL 256
21
22#define ODEBUG_CHUNK_SHIFT PAGE_SHIFT
23#define ODEBUG_CHUNK_SIZE (1 << ODEBUG_CHUNK_SHIFT)
24#define ODEBUG_CHUNK_MASK (~(ODEBUG_CHUNK_SIZE - 1))
25
26struct debug_bucket {
27 struct hlist_head list;
28 spinlock_t lock;
29};
30
31static struct debug_bucket obj_hash[ODEBUG_HASH_SIZE];
32
Thomas Gleixner1be1cb72009-03-16 18:53:18 +010033static struct debug_obj obj_static_pool[ODEBUG_POOL_SIZE] __initdata;
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070034
35static DEFINE_SPINLOCK(pool_lock);
36
37static HLIST_HEAD(obj_pool);
38
39static int obj_pool_min_free = ODEBUG_POOL_SIZE;
40static int obj_pool_free = ODEBUG_POOL_SIZE;
41static int obj_pool_used;
42static int obj_pool_max_used;
43static struct kmem_cache *obj_cache;
44
45static int debug_objects_maxchain __read_mostly;
46static int debug_objects_fixups __read_mostly;
47static int debug_objects_warnings __read_mostly;
Ingo Molnar3ae70202008-11-26 10:02:00 +010048static int debug_objects_enabled __read_mostly
49 = CONFIG_DEBUG_OBJECTS_ENABLE_DEFAULT;
50
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070051static struct debug_obj_descr *descr_test __read_mostly;
52
Thomas Gleixner337fff82009-03-16 10:04:53 +010053static void free_obj_work(struct work_struct *work);
54static DECLARE_WORK(debug_obj_work, free_obj_work);
55
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070056static int __init enable_object_debug(char *str)
57{
58 debug_objects_enabled = 1;
59 return 0;
60}
Kyle McMartin3e8ebb52009-03-01 20:41:41 -050061
62static int __init disable_object_debug(char *str)
63{
64 debug_objects_enabled = 0;
65 return 0;
66}
67
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070068early_param("debug_objects", enable_object_debug);
Kyle McMartin3e8ebb52009-03-01 20:41:41 -050069early_param("no_debug_objects", disable_object_debug);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070070
71static const char *obj_states[ODEBUG_STATE_MAX] = {
72 [ODEBUG_STATE_NONE] = "none",
73 [ODEBUG_STATE_INIT] = "initialized",
74 [ODEBUG_STATE_INACTIVE] = "inactive",
75 [ODEBUG_STATE_ACTIVE] = "active",
76 [ODEBUG_STATE_DESTROYED] = "destroyed",
77 [ODEBUG_STATE_NOTAVAILABLE] = "not available",
78};
79
80static int fill_pool(void)
81{
82 gfp_t gfp = GFP_ATOMIC | __GFP_NORETRY | __GFP_NOWARN;
83 struct debug_obj *new;
Vegard Nossum50db04d2008-06-15 00:47:36 +020084 unsigned long flags;
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070085
86 if (likely(obj_pool_free >= ODEBUG_POOL_MIN_LEVEL))
87 return obj_pool_free;
88
89 if (unlikely(!obj_cache))
90 return obj_pool_free;
91
92 while (obj_pool_free < ODEBUG_POOL_MIN_LEVEL) {
93
94 new = kmem_cache_zalloc(obj_cache, gfp);
95 if (!new)
96 return obj_pool_free;
97
Vegard Nossum50db04d2008-06-15 00:47:36 +020098 spin_lock_irqsave(&pool_lock, flags);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -070099 hlist_add_head(&new->node, &obj_pool);
100 obj_pool_free++;
Vegard Nossum50db04d2008-06-15 00:47:36 +0200101 spin_unlock_irqrestore(&pool_lock, flags);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700102 }
103 return obj_pool_free;
104}
105
106/*
107 * Lookup an object in the hash bucket.
108 */
109static struct debug_obj *lookup_object(void *addr, struct debug_bucket *b)
110{
111 struct hlist_node *node;
112 struct debug_obj *obj;
113 int cnt = 0;
114
115 hlist_for_each_entry(obj, node, &b->list, node) {
116 cnt++;
117 if (obj->object == addr)
118 return obj;
119 }
120 if (cnt > debug_objects_maxchain)
121 debug_objects_maxchain = cnt;
122
123 return NULL;
124}
125
126/*
Vegard Nossum50db04d2008-06-15 00:47:36 +0200127 * Allocate a new object. If the pool is empty, switch off the debugger.
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200128 * Must be called with interrupts disabled.
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700129 */
130static struct debug_obj *
131alloc_object(void *addr, struct debug_bucket *b, struct debug_obj_descr *descr)
132{
133 struct debug_obj *obj = NULL;
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700134
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700135 spin_lock(&pool_lock);
136 if (obj_pool.first) {
137 obj = hlist_entry(obj_pool.first, typeof(*obj), node);
138
139 obj->object = addr;
140 obj->descr = descr;
141 obj->state = ODEBUG_STATE_NONE;
142 hlist_del(&obj->node);
143
144 hlist_add_head(&obj->node, &b->list);
145
146 obj_pool_used++;
147 if (obj_pool_used > obj_pool_max_used)
148 obj_pool_max_used = obj_pool_used;
149
150 obj_pool_free--;
151 if (obj_pool_free < obj_pool_min_free)
152 obj_pool_min_free = obj_pool_free;
153 }
154 spin_unlock(&pool_lock);
155
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700156 return obj;
157}
158
159/*
Thomas Gleixner337fff82009-03-16 10:04:53 +0100160 * workqueue function to free objects.
161 */
162static void free_obj_work(struct work_struct *work)
163{
164 struct debug_obj *obj;
165 unsigned long flags;
166
167 spin_lock_irqsave(&pool_lock, flags);
168 while (obj_pool_free > ODEBUG_POOL_SIZE) {
169 obj = hlist_entry(obj_pool.first, typeof(*obj), node);
170 hlist_del(&obj->node);
171 obj_pool_free--;
172 /*
173 * We release pool_lock across kmem_cache_free() to
174 * avoid contention on pool_lock.
175 */
176 spin_unlock_irqrestore(&pool_lock, flags);
177 kmem_cache_free(obj_cache, obj);
178 spin_lock_irqsave(&pool_lock, flags);
179 }
180 spin_unlock_irqrestore(&pool_lock, flags);
181}
182
183/*
184 * Put the object back into the pool and schedule work to free objects
185 * if necessary.
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700186 */
187static void free_object(struct debug_obj *obj)
188{
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200189 unsigned long flags;
Thomas Gleixner337fff82009-03-16 10:04:53 +0100190 int sched = 0;
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700191
Thomas Gleixner337fff82009-03-16 10:04:53 +0100192 spin_lock_irqsave(&pool_lock, flags);
193 /*
194 * schedule work when the pool is filled and the cache is
195 * initialized:
196 */
197 if (obj_pool_free > ODEBUG_POOL_SIZE && obj_cache)
198 sched = !work_pending(&debug_obj_work);
199 hlist_add_head(&obj->node, &obj_pool);
200 obj_pool_free++;
201 obj_pool_used--;
202 spin_unlock_irqrestore(&pool_lock, flags);
203 if (sched)
204 schedule_work(&debug_obj_work);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700205}
206
207/*
208 * We run out of memory. That means we probably have tons of objects
209 * allocated.
210 */
211static void debug_objects_oom(void)
212{
213 struct debug_bucket *db = obj_hash;
214 struct hlist_node *node, *tmp;
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200215 HLIST_HEAD(freelist);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700216 struct debug_obj *obj;
217 unsigned long flags;
218 int i;
219
220 printk(KERN_WARNING "ODEBUG: Out of memory. ODEBUG disabled\n");
221
222 for (i = 0; i < ODEBUG_HASH_SIZE; i++, db++) {
223 spin_lock_irqsave(&db->lock, flags);
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200224 hlist_move_list(&db->list, &freelist);
225 spin_unlock_irqrestore(&db->lock, flags);
226
227 /* Now free them */
228 hlist_for_each_entry_safe(obj, node, tmp, &freelist, node) {
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700229 hlist_del(&obj->node);
230 free_object(obj);
231 }
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700232 }
233}
234
235/*
236 * We use the pfn of the address for the hash. That way we can check
237 * for freed objects simply by checking the affected bucket.
238 */
239static struct debug_bucket *get_bucket(unsigned long addr)
240{
241 unsigned long hash;
242
243 hash = hash_long((addr >> ODEBUG_CHUNK_SHIFT), ODEBUG_HASH_BITS);
244 return &obj_hash[hash];
245}
246
247static void debug_print_object(struct debug_obj *obj, char *msg)
248{
249 static int limit;
250
251 if (limit < 5 && obj->descr != descr_test) {
252 limit++;
Arjan van de Ven5cd2b452008-07-25 19:45:39 -0700253 WARN(1, KERN_ERR "ODEBUG: %s %s object type: %s\n", msg,
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700254 obj_states[obj->state], obj->descr->name);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700255 }
256 debug_objects_warnings++;
257}
258
259/*
260 * Try to repair the damage, so we have a better chance to get useful
261 * debug output.
262 */
263static void
264debug_object_fixup(int (*fixup)(void *addr, enum debug_obj_state state),
265 void * addr, enum debug_obj_state state)
266{
267 if (fixup)
268 debug_objects_fixups += fixup(addr, state);
269}
270
271static void debug_object_is_on_stack(void *addr, int onstack)
272{
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700273 int is_on_stack;
274 static int limit;
275
276 if (limit > 4)
277 return;
278
FUJITA Tomonori8b05c7e2008-07-23 21:26:53 -0700279 is_on_stack = object_is_on_stack(addr);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700280 if (is_on_stack == onstack)
281 return;
282
283 limit++;
284 if (is_on_stack)
285 printk(KERN_WARNING
286 "ODEBUG: object is on stack, but not annotated\n");
287 else
288 printk(KERN_WARNING
289 "ODEBUG: object is not on stack, but annotated\n");
290 WARN_ON(1);
291}
292
293static void
294__debug_object_init(void *addr, struct debug_obj_descr *descr, int onstack)
295{
296 enum debug_obj_state state;
297 struct debug_bucket *db;
298 struct debug_obj *obj;
299 unsigned long flags;
300
Vegard Nossum50db04d2008-06-15 00:47:36 +0200301 fill_pool();
302
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700303 db = get_bucket((unsigned long) addr);
304
305 spin_lock_irqsave(&db->lock, flags);
306
307 obj = lookup_object(addr, db);
308 if (!obj) {
309 obj = alloc_object(addr, db, descr);
310 if (!obj) {
311 debug_objects_enabled = 0;
312 spin_unlock_irqrestore(&db->lock, flags);
313 debug_objects_oom();
314 return;
315 }
316 debug_object_is_on_stack(addr, onstack);
317 }
318
319 switch (obj->state) {
320 case ODEBUG_STATE_NONE:
321 case ODEBUG_STATE_INIT:
322 case ODEBUG_STATE_INACTIVE:
323 obj->state = ODEBUG_STATE_INIT;
324 break;
325
326 case ODEBUG_STATE_ACTIVE:
327 debug_print_object(obj, "init");
328 state = obj->state;
329 spin_unlock_irqrestore(&db->lock, flags);
330 debug_object_fixup(descr->fixup_init, addr, state);
331 return;
332
333 case ODEBUG_STATE_DESTROYED:
334 debug_print_object(obj, "init");
335 break;
336 default:
337 break;
338 }
339
340 spin_unlock_irqrestore(&db->lock, flags);
341}
342
343/**
344 * debug_object_init - debug checks when an object is initialized
345 * @addr: address of the object
346 * @descr: pointer to an object specific debug description structure
347 */
348void debug_object_init(void *addr, struct debug_obj_descr *descr)
349{
350 if (!debug_objects_enabled)
351 return;
352
353 __debug_object_init(addr, descr, 0);
354}
355
356/**
357 * debug_object_init_on_stack - debug checks when an object on stack is
358 * initialized
359 * @addr: address of the object
360 * @descr: pointer to an object specific debug description structure
361 */
362void debug_object_init_on_stack(void *addr, struct debug_obj_descr *descr)
363{
364 if (!debug_objects_enabled)
365 return;
366
367 __debug_object_init(addr, descr, 1);
368}
369
370/**
371 * debug_object_activate - debug checks when an object is activated
372 * @addr: address of the object
373 * @descr: pointer to an object specific debug description structure
374 */
375void debug_object_activate(void *addr, struct debug_obj_descr *descr)
376{
377 enum debug_obj_state state;
378 struct debug_bucket *db;
379 struct debug_obj *obj;
380 unsigned long flags;
381
382 if (!debug_objects_enabled)
383 return;
384
385 db = get_bucket((unsigned long) addr);
386
387 spin_lock_irqsave(&db->lock, flags);
388
389 obj = lookup_object(addr, db);
390 if (obj) {
391 switch (obj->state) {
392 case ODEBUG_STATE_INIT:
393 case ODEBUG_STATE_INACTIVE:
394 obj->state = ODEBUG_STATE_ACTIVE;
395 break;
396
397 case ODEBUG_STATE_ACTIVE:
398 debug_print_object(obj, "activate");
399 state = obj->state;
400 spin_unlock_irqrestore(&db->lock, flags);
401 debug_object_fixup(descr->fixup_activate, addr, state);
402 return;
403
404 case ODEBUG_STATE_DESTROYED:
405 debug_print_object(obj, "activate");
406 break;
407 default:
408 break;
409 }
410 spin_unlock_irqrestore(&db->lock, flags);
411 return;
412 }
413
414 spin_unlock_irqrestore(&db->lock, flags);
415 /*
416 * This happens when a static object is activated. We
417 * let the type specific code decide whether this is
418 * true or not.
419 */
420 debug_object_fixup(descr->fixup_activate, addr,
421 ODEBUG_STATE_NOTAVAILABLE);
422}
423
424/**
425 * debug_object_deactivate - debug checks when an object is deactivated
426 * @addr: address of the object
427 * @descr: pointer to an object specific debug description structure
428 */
429void debug_object_deactivate(void *addr, struct debug_obj_descr *descr)
430{
431 struct debug_bucket *db;
432 struct debug_obj *obj;
433 unsigned long flags;
434
435 if (!debug_objects_enabled)
436 return;
437
438 db = get_bucket((unsigned long) addr);
439
440 spin_lock_irqsave(&db->lock, flags);
441
442 obj = lookup_object(addr, db);
443 if (obj) {
444 switch (obj->state) {
445 case ODEBUG_STATE_INIT:
446 case ODEBUG_STATE_INACTIVE:
447 case ODEBUG_STATE_ACTIVE:
448 obj->state = ODEBUG_STATE_INACTIVE;
449 break;
450
451 case ODEBUG_STATE_DESTROYED:
452 debug_print_object(obj, "deactivate");
453 break;
454 default:
455 break;
456 }
457 } else {
458 struct debug_obj o = { .object = addr,
459 .state = ODEBUG_STATE_NOTAVAILABLE,
460 .descr = descr };
461
462 debug_print_object(&o, "deactivate");
463 }
464
465 spin_unlock_irqrestore(&db->lock, flags);
466}
467
468/**
469 * debug_object_destroy - debug checks when an object is destroyed
470 * @addr: address of the object
471 * @descr: pointer to an object specific debug description structure
472 */
473void debug_object_destroy(void *addr, struct debug_obj_descr *descr)
474{
475 enum debug_obj_state state;
476 struct debug_bucket *db;
477 struct debug_obj *obj;
478 unsigned long flags;
479
480 if (!debug_objects_enabled)
481 return;
482
483 db = get_bucket((unsigned long) addr);
484
485 spin_lock_irqsave(&db->lock, flags);
486
487 obj = lookup_object(addr, db);
488 if (!obj)
489 goto out_unlock;
490
491 switch (obj->state) {
492 case ODEBUG_STATE_NONE:
493 case ODEBUG_STATE_INIT:
494 case ODEBUG_STATE_INACTIVE:
495 obj->state = ODEBUG_STATE_DESTROYED;
496 break;
497 case ODEBUG_STATE_ACTIVE:
498 debug_print_object(obj, "destroy");
499 state = obj->state;
500 spin_unlock_irqrestore(&db->lock, flags);
501 debug_object_fixup(descr->fixup_destroy, addr, state);
502 return;
503
504 case ODEBUG_STATE_DESTROYED:
505 debug_print_object(obj, "destroy");
506 break;
507 default:
508 break;
509 }
510out_unlock:
511 spin_unlock_irqrestore(&db->lock, flags);
512}
513
514/**
515 * debug_object_free - debug checks when an object is freed
516 * @addr: address of the object
517 * @descr: pointer to an object specific debug description structure
518 */
519void debug_object_free(void *addr, struct debug_obj_descr *descr)
520{
521 enum debug_obj_state state;
522 struct debug_bucket *db;
523 struct debug_obj *obj;
524 unsigned long flags;
525
526 if (!debug_objects_enabled)
527 return;
528
529 db = get_bucket((unsigned long) addr);
530
531 spin_lock_irqsave(&db->lock, flags);
532
533 obj = lookup_object(addr, db);
534 if (!obj)
535 goto out_unlock;
536
537 switch (obj->state) {
538 case ODEBUG_STATE_ACTIVE:
539 debug_print_object(obj, "free");
540 state = obj->state;
541 spin_unlock_irqrestore(&db->lock, flags);
542 debug_object_fixup(descr->fixup_free, addr, state);
543 return;
544 default:
545 hlist_del(&obj->node);
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200546 spin_unlock_irqrestore(&db->lock, flags);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700547 free_object(obj);
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200548 return;
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700549 }
550out_unlock:
551 spin_unlock_irqrestore(&db->lock, flags);
552}
553
554#ifdef CONFIG_DEBUG_OBJECTS_FREE
555static void __debug_check_no_obj_freed(const void *address, unsigned long size)
556{
557 unsigned long flags, oaddr, saddr, eaddr, paddr, chunks;
558 struct hlist_node *node, *tmp;
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200559 HLIST_HEAD(freelist);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700560 struct debug_obj_descr *descr;
561 enum debug_obj_state state;
562 struct debug_bucket *db;
563 struct debug_obj *obj;
564 int cnt;
565
566 saddr = (unsigned long) address;
567 eaddr = saddr + size;
568 paddr = saddr & ODEBUG_CHUNK_MASK;
569 chunks = ((eaddr - paddr) + (ODEBUG_CHUNK_SIZE - 1));
570 chunks >>= ODEBUG_CHUNK_SHIFT;
571
572 for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
573 db = get_bucket(paddr);
574
575repeat:
576 cnt = 0;
577 spin_lock_irqsave(&db->lock, flags);
578 hlist_for_each_entry_safe(obj, node, tmp, &db->list, node) {
579 cnt++;
580 oaddr = (unsigned long) obj->object;
581 if (oaddr < saddr || oaddr >= eaddr)
582 continue;
583
584 switch (obj->state) {
585 case ODEBUG_STATE_ACTIVE:
586 debug_print_object(obj, "free");
587 descr = obj->descr;
588 state = obj->state;
589 spin_unlock_irqrestore(&db->lock, flags);
590 debug_object_fixup(descr->fixup_free,
591 (void *) oaddr, state);
592 goto repeat;
593 default:
594 hlist_del(&obj->node);
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200595 hlist_add_head(&obj->node, &freelist);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700596 break;
597 }
598 }
599 spin_unlock_irqrestore(&db->lock, flags);
Vegard Nossum673d62cc2008-08-31 23:39:21 +0200600
601 /* Now free them */
602 hlist_for_each_entry_safe(obj, node, tmp, &freelist, node) {
603 hlist_del(&obj->node);
604 free_object(obj);
605 }
606
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700607 if (cnt > debug_objects_maxchain)
608 debug_objects_maxchain = cnt;
609 }
610}
611
612void debug_check_no_obj_freed(const void *address, unsigned long size)
613{
614 if (debug_objects_enabled)
615 __debug_check_no_obj_freed(address, size);
616}
617#endif
618
619#ifdef CONFIG_DEBUG_FS
620
621static int debug_stats_show(struct seq_file *m, void *v)
622{
623 seq_printf(m, "max_chain :%d\n", debug_objects_maxchain);
624 seq_printf(m, "warnings :%d\n", debug_objects_warnings);
625 seq_printf(m, "fixups :%d\n", debug_objects_fixups);
626 seq_printf(m, "pool_free :%d\n", obj_pool_free);
627 seq_printf(m, "pool_min_free :%d\n", obj_pool_min_free);
628 seq_printf(m, "pool_used :%d\n", obj_pool_used);
629 seq_printf(m, "pool_max_used :%d\n", obj_pool_max_used);
630 return 0;
631}
632
633static int debug_stats_open(struct inode *inode, struct file *filp)
634{
635 return single_open(filp, debug_stats_show, NULL);
636}
637
638static const struct file_operations debug_stats_fops = {
639 .open = debug_stats_open,
640 .read = seq_read,
641 .llseek = seq_lseek,
642 .release = single_release,
643};
644
645static int __init debug_objects_init_debugfs(void)
646{
647 struct dentry *dbgdir, *dbgstats;
648
649 if (!debug_objects_enabled)
650 return 0;
651
652 dbgdir = debugfs_create_dir("debug_objects", NULL);
653 if (!dbgdir)
654 return -ENOMEM;
655
656 dbgstats = debugfs_create_file("stats", 0444, dbgdir, NULL,
657 &debug_stats_fops);
658 if (!dbgstats)
659 goto err;
660
661 return 0;
662
663err:
664 debugfs_remove(dbgdir);
665
666 return -ENOMEM;
667}
668__initcall(debug_objects_init_debugfs);
669
670#else
671static inline void debug_objects_init_debugfs(void) { }
672#endif
673
674#ifdef CONFIG_DEBUG_OBJECTS_SELFTEST
675
676/* Random data structure for the self test */
677struct self_test {
678 unsigned long dummy1[6];
679 int static_init;
680 unsigned long dummy2[3];
681};
682
683static __initdata struct debug_obj_descr descr_type_test;
684
685/*
686 * fixup_init is called when:
687 * - an active object is initialized
688 */
689static int __init fixup_init(void *addr, enum debug_obj_state state)
690{
691 struct self_test *obj = addr;
692
693 switch (state) {
694 case ODEBUG_STATE_ACTIVE:
695 debug_object_deactivate(obj, &descr_type_test);
696 debug_object_init(obj, &descr_type_test);
697 return 1;
698 default:
699 return 0;
700 }
701}
702
703/*
704 * fixup_activate is called when:
705 * - an active object is activated
706 * - an unknown object is activated (might be a statically initialized object)
707 */
708static int __init fixup_activate(void *addr, enum debug_obj_state state)
709{
710 struct self_test *obj = addr;
711
712 switch (state) {
713 case ODEBUG_STATE_NOTAVAILABLE:
714 if (obj->static_init == 1) {
715 debug_object_init(obj, &descr_type_test);
716 debug_object_activate(obj, &descr_type_test);
717 /*
718 * Real code should return 0 here ! This is
719 * not a fixup of some bad behaviour. We
720 * merily call the debug_init function to keep
721 * track of the object.
722 */
723 return 1;
724 } else {
725 /* Real code needs to emit a warning here */
726 }
727 return 0;
728
729 case ODEBUG_STATE_ACTIVE:
730 debug_object_deactivate(obj, &descr_type_test);
731 debug_object_activate(obj, &descr_type_test);
732 return 1;
733
734 default:
735 return 0;
736 }
737}
738
739/*
740 * fixup_destroy is called when:
741 * - an active object is destroyed
742 */
743static int __init fixup_destroy(void *addr, enum debug_obj_state state)
744{
745 struct self_test *obj = addr;
746
747 switch (state) {
748 case ODEBUG_STATE_ACTIVE:
749 debug_object_deactivate(obj, &descr_type_test);
750 debug_object_destroy(obj, &descr_type_test);
751 return 1;
752 default:
753 return 0;
754 }
755}
756
757/*
758 * fixup_free is called when:
759 * - an active object is freed
760 */
761static int __init fixup_free(void *addr, enum debug_obj_state state)
762{
763 struct self_test *obj = addr;
764
765 switch (state) {
766 case ODEBUG_STATE_ACTIVE:
767 debug_object_deactivate(obj, &descr_type_test);
768 debug_object_free(obj, &descr_type_test);
769 return 1;
770 default:
771 return 0;
772 }
773}
774
775static int
776check_results(void *addr, enum debug_obj_state state, int fixups, int warnings)
777{
778 struct debug_bucket *db;
779 struct debug_obj *obj;
780 unsigned long flags;
781 int res = -EINVAL;
782
783 db = get_bucket((unsigned long) addr);
784
785 spin_lock_irqsave(&db->lock, flags);
786
787 obj = lookup_object(addr, db);
788 if (!obj && state != ODEBUG_STATE_NONE) {
Arjan van de Ven5cd2b452008-07-25 19:45:39 -0700789 WARN(1, KERN_ERR "ODEBUG: selftest object not found\n");
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700790 goto out;
791 }
792 if (obj && obj->state != state) {
Arjan van de Ven5cd2b452008-07-25 19:45:39 -0700793 WARN(1, KERN_ERR "ODEBUG: selftest wrong state: %d != %d\n",
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700794 obj->state, state);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700795 goto out;
796 }
797 if (fixups != debug_objects_fixups) {
Arjan van de Ven5cd2b452008-07-25 19:45:39 -0700798 WARN(1, KERN_ERR "ODEBUG: selftest fixups failed %d != %d\n",
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700799 fixups, debug_objects_fixups);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700800 goto out;
801 }
802 if (warnings != debug_objects_warnings) {
Arjan van de Ven5cd2b452008-07-25 19:45:39 -0700803 WARN(1, KERN_ERR "ODEBUG: selftest warnings failed %d != %d\n",
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700804 warnings, debug_objects_warnings);
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700805 goto out;
806 }
807 res = 0;
808out:
809 spin_unlock_irqrestore(&db->lock, flags);
810 if (res)
811 debug_objects_enabled = 0;
812 return res;
813}
814
815static __initdata struct debug_obj_descr descr_type_test = {
816 .name = "selftest",
817 .fixup_init = fixup_init,
818 .fixup_activate = fixup_activate,
819 .fixup_destroy = fixup_destroy,
820 .fixup_free = fixup_free,
821};
822
823static __initdata struct self_test obj = { .static_init = 0 };
824
825static void __init debug_objects_selftest(void)
826{
827 int fixups, oldfixups, warnings, oldwarnings;
828 unsigned long flags;
829
830 local_irq_save(flags);
831
832 fixups = oldfixups = debug_objects_fixups;
833 warnings = oldwarnings = debug_objects_warnings;
834 descr_test = &descr_type_test;
835
836 debug_object_init(&obj, &descr_type_test);
837 if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings))
838 goto out;
839 debug_object_activate(&obj, &descr_type_test);
840 if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings))
841 goto out;
842 debug_object_activate(&obj, &descr_type_test);
843 if (check_results(&obj, ODEBUG_STATE_ACTIVE, ++fixups, ++warnings))
844 goto out;
845 debug_object_deactivate(&obj, &descr_type_test);
846 if (check_results(&obj, ODEBUG_STATE_INACTIVE, fixups, warnings))
847 goto out;
848 debug_object_destroy(&obj, &descr_type_test);
849 if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, warnings))
850 goto out;
851 debug_object_init(&obj, &descr_type_test);
852 if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
853 goto out;
854 debug_object_activate(&obj, &descr_type_test);
855 if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
856 goto out;
857 debug_object_deactivate(&obj, &descr_type_test);
858 if (check_results(&obj, ODEBUG_STATE_DESTROYED, fixups, ++warnings))
859 goto out;
860 debug_object_free(&obj, &descr_type_test);
861 if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings))
862 goto out;
863
864 obj.static_init = 1;
865 debug_object_activate(&obj, &descr_type_test);
866 if (check_results(&obj, ODEBUG_STATE_ACTIVE, ++fixups, warnings))
867 goto out;
868 debug_object_init(&obj, &descr_type_test);
869 if (check_results(&obj, ODEBUG_STATE_INIT, ++fixups, ++warnings))
870 goto out;
871 debug_object_free(&obj, &descr_type_test);
872 if (check_results(&obj, ODEBUG_STATE_NONE, fixups, warnings))
873 goto out;
874
875#ifdef CONFIG_DEBUG_OBJECTS_FREE
876 debug_object_init(&obj, &descr_type_test);
877 if (check_results(&obj, ODEBUG_STATE_INIT, fixups, warnings))
878 goto out;
879 debug_object_activate(&obj, &descr_type_test);
880 if (check_results(&obj, ODEBUG_STATE_ACTIVE, fixups, warnings))
881 goto out;
882 __debug_check_no_obj_freed(&obj, sizeof(obj));
883 if (check_results(&obj, ODEBUG_STATE_NONE, ++fixups, ++warnings))
884 goto out;
885#endif
886 printk(KERN_INFO "ODEBUG: selftest passed\n");
887
888out:
889 debug_objects_fixups = oldfixups;
890 debug_objects_warnings = oldwarnings;
891 descr_test = NULL;
892
893 local_irq_restore(flags);
894}
895#else
896static inline void debug_objects_selftest(void) { }
897#endif
898
899/*
900 * Called during early boot to initialize the hash buckets and link
901 * the static object pool objects into the poll list. After this call
902 * the object tracker is fully operational.
903 */
904void __init debug_objects_early_init(void)
905{
906 int i;
907
908 for (i = 0; i < ODEBUG_HASH_SIZE; i++)
909 spin_lock_init(&obj_hash[i].lock);
910
911 for (i = 0; i < ODEBUG_POOL_SIZE; i++)
912 hlist_add_head(&obj_static_pool[i].node, &obj_pool);
913}
914
915/*
Thomas Gleixner1be1cb72009-03-16 18:53:18 +0100916 * Convert the statically allocated objects to dynamic ones:
917 */
918static int debug_objects_replace_static_objects(void)
919{
920 struct debug_bucket *db = obj_hash;
921 struct hlist_node *node, *tmp;
922 struct debug_obj *obj, *new;
923 HLIST_HEAD(objects);
924 int i, cnt = 0;
925
926 for (i = 0; i < ODEBUG_POOL_SIZE; i++) {
927 obj = kmem_cache_zalloc(obj_cache, GFP_KERNEL);
928 if (!obj)
929 goto free;
930 hlist_add_head(&obj->node, &objects);
931 }
932
933 /*
934 * When debug_objects_mem_init() is called we know that only
935 * one CPU is up, so disabling interrupts is enough
936 * protection. This avoids the lockdep hell of lock ordering.
937 */
938 local_irq_disable();
939
940 /* Remove the statically allocated objects from the pool */
941 hlist_for_each_entry_safe(obj, node, tmp, &obj_pool, node)
942 hlist_del(&obj->node);
943 /* Move the allocated objects to the pool */
944 hlist_move_list(&objects, &obj_pool);
945
946 /* Replace the active object references */
947 for (i = 0; i < ODEBUG_HASH_SIZE; i++, db++) {
948 hlist_move_list(&db->list, &objects);
949
950 hlist_for_each_entry(obj, node, &objects, node) {
951 new = hlist_entry(obj_pool.first, typeof(*obj), node);
952 hlist_del(&new->node);
953 /* copy object data */
954 *new = *obj;
955 hlist_add_head(&new->node, &db->list);
956 cnt++;
957 }
958 }
959
960 printk(KERN_DEBUG "ODEBUG: %d of %d active objects replaced\n", cnt,
961 obj_pool_used);
962 local_irq_enable();
963 return 0;
964free:
965 hlist_for_each_entry_safe(obj, node, tmp, &objects, node) {
966 hlist_del(&obj->node);
967 kmem_cache_free(obj_cache, obj);
968 }
969 return -ENOMEM;
970}
971
972/*
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700973 * Called after the kmem_caches are functional to setup a dedicated
974 * cache pool, which has the SLAB_DEBUG_OBJECTS flag set. This flag
975 * prevents that the debug code is called on kmem_cache_free() for the
976 * debug tracker objects to avoid recursive calls.
977 */
978void __init debug_objects_mem_init(void)
979{
980 if (!debug_objects_enabled)
981 return;
982
983 obj_cache = kmem_cache_create("debug_objects_cache",
984 sizeof (struct debug_obj), 0,
985 SLAB_DEBUG_OBJECTS, NULL);
986
Thomas Gleixner1be1cb72009-03-16 18:53:18 +0100987 if (!obj_cache || debug_objects_replace_static_objects()) {
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700988 debug_objects_enabled = 0;
Thomas Gleixner1be1cb72009-03-16 18:53:18 +0100989 if (obj_cache)
990 kmem_cache_destroy(obj_cache);
991 printk(KERN_WARNING "ODEBUG: out of memory.\n");
992 } else
Thomas Gleixner3ac7fe52008-04-30 00:55:01 -0700993 debug_objects_selftest();
994}