]>
Commit | Line | Data |
---|---|---|
3ac7fe5a TG |
1 | /* |
2 | * Generic infrastructure for lifetime debugging of objects. | |
3 | * | |
4 | * Started by Thomas Gleixner | |
5 | * | |
6 | * Copyright (C) 2008, Thomas Gleixner <[email protected]> | |
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 | ||
26 | struct debug_bucket { | |
27 | struct hlist_head list; | |
28 | spinlock_t lock; | |
29 | }; | |
30 | ||
31 | static struct debug_bucket obj_hash[ODEBUG_HASH_SIZE]; | |
32 | ||
1be1cb7b | 33 | static struct debug_obj obj_static_pool[ODEBUG_POOL_SIZE] __initdata; |
3ac7fe5a TG |
34 | |
35 | static DEFINE_SPINLOCK(pool_lock); | |
36 | ||
37 | static HLIST_HEAD(obj_pool); | |
38 | ||
39 | static int obj_pool_min_free = ODEBUG_POOL_SIZE; | |
40 | static int obj_pool_free = ODEBUG_POOL_SIZE; | |
41 | static int obj_pool_used; | |
42 | static int obj_pool_max_used; | |
43 | static struct kmem_cache *obj_cache; | |
44 | ||
45 | static int debug_objects_maxchain __read_mostly; | |
46 | static int debug_objects_fixups __read_mostly; | |
47 | static int debug_objects_warnings __read_mostly; | |
3ae70205 IM |
48 | static int debug_objects_enabled __read_mostly |
49 | = CONFIG_DEBUG_OBJECTS_ENABLE_DEFAULT; | |
50 | ||
3ac7fe5a TG |
51 | static struct debug_obj_descr *descr_test __read_mostly; |
52 | ||
337fff8b TG |
53 | static void free_obj_work(struct work_struct *work); |
54 | static DECLARE_WORK(debug_obj_work, free_obj_work); | |
55 | ||
3ac7fe5a TG |
56 | static int __init enable_object_debug(char *str) |
57 | { | |
58 | debug_objects_enabled = 1; | |
59 | return 0; | |
60 | } | |
3e8ebb5c KM |
61 | |
62 | static int __init disable_object_debug(char *str) | |
63 | { | |
64 | debug_objects_enabled = 0; | |
65 | return 0; | |
66 | } | |
67 | ||
3ac7fe5a | 68 | early_param("debug_objects", enable_object_debug); |
3e8ebb5c | 69 | early_param("no_debug_objects", disable_object_debug); |
3ac7fe5a TG |
70 | |
71 | static 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 | ||
80 | static int fill_pool(void) | |
81 | { | |
82 | gfp_t gfp = GFP_ATOMIC | __GFP_NORETRY | __GFP_NOWARN; | |
83 | struct debug_obj *new; | |
50db04dd | 84 | unsigned long flags; |
3ac7fe5a TG |
85 | |
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 | ||
50db04dd | 98 | spin_lock_irqsave(&pool_lock, flags); |
3ac7fe5a TG |
99 | hlist_add_head(&new->node, &obj_pool); |
100 | obj_pool_free++; | |
50db04dd | 101 | spin_unlock_irqrestore(&pool_lock, flags); |
3ac7fe5a TG |
102 | } |
103 | return obj_pool_free; | |
104 | } | |
105 | ||
106 | /* | |
107 | * Lookup an object in the hash bucket. | |
108 | */ | |
109 | static 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 | /* | |
50db04dd | 127 | * Allocate a new object. If the pool is empty, switch off the debugger. |
673d62cc | 128 | * Must be called with interrupts disabled. |
3ac7fe5a TG |
129 | */ |
130 | static struct debug_obj * | |
131 | alloc_object(void *addr, struct debug_bucket *b, struct debug_obj_descr *descr) | |
132 | { | |
133 | struct debug_obj *obj = NULL; | |
3ac7fe5a | 134 | |
3ac7fe5a TG |
135 | 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 | ||
3ac7fe5a TG |
156 | return obj; |
157 | } | |
158 | ||
159 | /* | |
337fff8b | 160 | * workqueue function to free objects. |
3ac7fe5a | 161 | */ |
337fff8b | 162 | static void free_obj_work(struct work_struct *work) |
3ac7fe5a | 163 | { |
337fff8b | 164 | struct debug_obj *obj; |
673d62cc | 165 | unsigned long flags; |
3ac7fe5a | 166 | |
337fff8b TG |
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 | */ | |
673d62cc | 176 | spin_unlock_irqrestore(&pool_lock, flags); |
3ac7fe5a | 177 | kmem_cache_free(obj_cache, obj); |
337fff8b | 178 | spin_lock_irqsave(&pool_lock, flags); |
3ac7fe5a | 179 | } |
337fff8b TG |
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. | |
186 | */ | |
187 | static void free_object(struct debug_obj *obj) | |
188 | { | |
189 | unsigned long flags; | |
190 | int sched = 0; | |
191 | ||
192 | 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); | |
3ac7fe5a TG |
205 | } |
206 | ||
207 | /* | |
208 | * We run out of memory. That means we probably have tons of objects | |
209 | * allocated. | |
210 | */ | |
211 | static void debug_objects_oom(void) | |
212 | { | |
213 | struct debug_bucket *db = obj_hash; | |
214 | struct hlist_node *node, *tmp; | |
673d62cc | 215 | HLIST_HEAD(freelist); |
3ac7fe5a TG |
216 | 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); | |
673d62cc VN |
224 | 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) { | |
3ac7fe5a TG |
229 | hlist_del(&obj->node); |
230 | free_object(obj); | |
231 | } | |
3ac7fe5a TG |
232 | } |
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 | */ | |
239 | static 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 | ||
247 | static 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++; | |
5cd2b459 | 253 | WARN(1, KERN_ERR "ODEBUG: %s %s object type: %s\n", msg, |
3ac7fe5a | 254 | obj_states[obj->state], obj->descr->name); |
3ac7fe5a TG |
255 | } |
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 | */ | |
263 | static void | |
264 | debug_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 | ||
271 | static void debug_object_is_on_stack(void *addr, int onstack) | |
272 | { | |
3ac7fe5a TG |
273 | int is_on_stack; |
274 | static int limit; | |
275 | ||
276 | if (limit > 4) | |
277 | return; | |
278 | ||
8b05c7e6 | 279 | is_on_stack = object_is_on_stack(addr); |
3ac7fe5a TG |
280 | 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 | ||
293 | static 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 | ||
50db04dd VN |
301 | fill_pool(); |
302 | ||
3ac7fe5a TG |
303 | 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 | */ | |
348 | void 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 | */ | |
362 | void 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 | */ | |
375 | void 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 | */ | |
429 | void 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 | */ | |
473 | void 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 | } | |
510 | out_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 | */ | |
519 | void 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); | |
673d62cc | 546 | spin_unlock_irqrestore(&db->lock, flags); |
3ac7fe5a | 547 | free_object(obj); |
673d62cc | 548 | return; |
3ac7fe5a TG |
549 | } |
550 | out_unlock: | |
551 | spin_unlock_irqrestore(&db->lock, flags); | |
552 | } | |
553 | ||
554 | #ifdef CONFIG_DEBUG_OBJECTS_FREE | |
555 | static 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; | |
673d62cc | 559 | HLIST_HEAD(freelist); |
3ac7fe5a TG |
560 | 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 | ||
575 | repeat: | |
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); | |
673d62cc | 595 | hlist_add_head(&obj->node, &freelist); |
3ac7fe5a TG |
596 | break; |
597 | } | |
598 | } | |
599 | spin_unlock_irqrestore(&db->lock, flags); | |
673d62cc VN |
600 | |
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 | ||
3ac7fe5a TG |
607 | if (cnt > debug_objects_maxchain) |
608 | debug_objects_maxchain = cnt; | |
609 | } | |
610 | } | |
611 | ||
612 | void 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 | ||
621 | static 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 | ||
633 | static int debug_stats_open(struct inode *inode, struct file *filp) | |
634 | { | |
635 | return single_open(filp, debug_stats_show, NULL); | |
636 | } | |
637 | ||
638 | static 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 | ||
645 | static 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 | ||
663 | err: | |
664 | debugfs_remove(dbgdir); | |
665 | ||
666 | return -ENOMEM; | |
667 | } | |
668 | __initcall(debug_objects_init_debugfs); | |
669 | ||
670 | #else | |
671 | static 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 */ | |
677 | struct self_test { | |
678 | unsigned long dummy1[6]; | |
679 | int static_init; | |
680 | unsigned long dummy2[3]; | |
681 | }; | |
682 | ||
683 | static __initdata struct debug_obj_descr descr_type_test; | |
684 | ||
685 | /* | |
686 | * fixup_init is called when: | |
687 | * - an active object is initialized | |
688 | */ | |
689 | static 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 | */ | |
708 | static 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 | */ | |
743 | static 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 | */ | |
761 | static 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 | ||
775 | static int | |
776 | check_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) { | |
5cd2b459 | 789 | WARN(1, KERN_ERR "ODEBUG: selftest object not found\n"); |
3ac7fe5a TG |
790 | goto out; |
791 | } | |
792 | if (obj && obj->state != state) { | |
5cd2b459 | 793 | WARN(1, KERN_ERR "ODEBUG: selftest wrong state: %d != %d\n", |
3ac7fe5a | 794 | obj->state, state); |
3ac7fe5a TG |
795 | goto out; |
796 | } | |
797 | if (fixups != debug_objects_fixups) { | |
5cd2b459 | 798 | WARN(1, KERN_ERR "ODEBUG: selftest fixups failed %d != %d\n", |
3ac7fe5a | 799 | fixups, debug_objects_fixups); |
3ac7fe5a TG |
800 | goto out; |
801 | } | |
802 | if (warnings != debug_objects_warnings) { | |
5cd2b459 | 803 | WARN(1, KERN_ERR "ODEBUG: selftest warnings failed %d != %d\n", |
3ac7fe5a | 804 | warnings, debug_objects_warnings); |
3ac7fe5a TG |
805 | goto out; |
806 | } | |
807 | res = 0; | |
808 | out: | |
809 | spin_unlock_irqrestore(&db->lock, flags); | |
810 | if (res) | |
811 | debug_objects_enabled = 0; | |
812 | return res; | |
813 | } | |
814 | ||
815 | static __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 | ||
823 | static __initdata struct self_test obj = { .static_init = 0 }; | |
824 | ||
825 | static 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 | ||
888 | out: | |
889 | debug_objects_fixups = oldfixups; | |
890 | debug_objects_warnings = oldwarnings; | |
891 | descr_test = NULL; | |
892 | ||
893 | local_irq_restore(flags); | |
894 | } | |
895 | #else | |
896 | static 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 | */ | |
904 | void __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 | ||
1be1cb7b TG |
915 | /* |
916 | * Convert the statically allocated objects to dynamic ones: | |
917 | */ | |
918 | static 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; | |
964 | free: | |
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 | ||
3ac7fe5a TG |
972 | /* |
973 | * 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 | */ | |
978 | void __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 | ||
1be1cb7b | 987 | if (!obj_cache || debug_objects_replace_static_objects()) { |
3ac7fe5a | 988 | debug_objects_enabled = 0; |
1be1cb7b TG |
989 | if (obj_cache) |
990 | kmem_cache_destroy(obj_cache); | |
991 | printk(KERN_WARNING "ODEBUG: out of memory.\n"); | |
992 | } else | |
3ac7fe5a TG |
993 | debug_objects_selftest(); |
994 | } |