blob: e887b783244f28f663341fcad2bf5211745e6a48 [file] [log] [blame]
Ingo Molnarfbb9ce952006-07-03 00:24:50 -07001/*
2 * kernel/lockdep_internals.h
3 *
4 * Runtime locking correctness validator
5 *
6 * lockdep subsystem internal functions and variables.
7 */
8
9/*
10 * MAX_LOCKDEP_ENTRIES is the maximum number of lock dependencies
11 * we track.
12 *
13 * We use the per-lock dependency maps in two ways: we grow it by adding
14 * every to-be-taken lock to all currently held lock's own dependency
15 * table (if it's not there yet), and we check it for lock order
16 * conflicts and deadlocks.
17 */
18#define MAX_LOCKDEP_ENTRIES 8192UL
19
Ingo Molnar50cc6702006-12-06 20:39:30 -080020#define MAX_LOCKDEP_CHAINS_BITS 14
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070021#define MAX_LOCKDEP_CHAINS (1UL << MAX_LOCKDEP_CHAINS_BITS)
22
Huang, Ying443cd502008-06-20 16:39:21 +080023#define MAX_LOCKDEP_CHAIN_HLOCKS (MAX_LOCKDEP_CHAINS*5)
24
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070025/*
26 * Stack-trace: tightly packed array of stack backtrace
27 * addresses. Protected by the hash_lock.
28 */
Ingo Molnar9bb25bf2006-09-12 20:35:50 -070029#define MAX_STACK_TRACE_ENTRIES 262144UL
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070030
31extern struct list_head all_lock_classes;
Huang, Ying443cd502008-06-20 16:39:21 +080032extern struct lock_chain lock_chains[];
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070033
34extern void
Nick Piggincf40bd12009-01-21 08:12:39 +010035get_usage_chars(struct lock_class *class, char *c1, char *c2, char *c3,
36 char *c4, char *c5, char *c6);
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070037
38extern const char * __get_key_name(struct lockdep_subclass_key *key, char *str);
39
Huang, Ying443cd502008-06-20 16:39:21 +080040struct lock_class *lock_chain_get_class(struct lock_chain *chain, int i);
41
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070042extern unsigned long nr_lock_classes;
43extern unsigned long nr_list_entries;
44extern unsigned long nr_lock_chains;
Huang, Yingcd1a28e2008-06-23 11:20:54 +080045extern int nr_chain_hlocks;
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070046extern unsigned long nr_stack_trace_entries;
47
48extern unsigned int nr_hardirq_chains;
49extern unsigned int nr_softirq_chains;
50extern unsigned int nr_process_chains;
51extern unsigned int max_lockdep_depth;
52extern unsigned int max_recursion_depth;
53
Ingo Molnard6672c52008-08-01 11:23:50 +020054#ifdef CONFIG_PROVE_LOCKING
David Miller419ca3f2008-07-29 21:45:03 -070055extern unsigned long lockdep_count_forward_deps(struct lock_class *);
56extern unsigned long lockdep_count_backward_deps(struct lock_class *);
Ingo Molnard6672c52008-08-01 11:23:50 +020057#else
58static inline unsigned long
59lockdep_count_forward_deps(struct lock_class *class)
60{
61 return 0;
62}
63static inline unsigned long
64lockdep_count_backward_deps(struct lock_class *class)
65{
66 return 0;
67}
68#endif
David Miller419ca3f2008-07-29 21:45:03 -070069
Ingo Molnarfbb9ce952006-07-03 00:24:50 -070070#ifdef CONFIG_DEBUG_LOCKDEP
71/*
72 * Various lockdep statistics:
73 */
74extern atomic_t chain_lookup_hits;
75extern atomic_t chain_lookup_misses;
76extern atomic_t hardirqs_on_events;
77extern atomic_t hardirqs_off_events;
78extern atomic_t redundant_hardirqs_on;
79extern atomic_t redundant_hardirqs_off;
80extern atomic_t softirqs_on_events;
81extern atomic_t softirqs_off_events;
82extern atomic_t redundant_softirqs_on;
83extern atomic_t redundant_softirqs_off;
84extern atomic_t nr_unused_locks;
85extern atomic_t nr_cyclic_checks;
86extern atomic_t nr_cyclic_check_recursions;
87extern atomic_t nr_find_usage_forwards_checks;
88extern atomic_t nr_find_usage_forwards_recursions;
89extern atomic_t nr_find_usage_backwards_checks;
90extern atomic_t nr_find_usage_backwards_recursions;
91# define debug_atomic_inc(ptr) atomic_inc(ptr)
92# define debug_atomic_dec(ptr) atomic_dec(ptr)
93# define debug_atomic_read(ptr) atomic_read(ptr)
94#else
95# define debug_atomic_inc(ptr) do { } while (0)
96# define debug_atomic_dec(ptr) do { } while (0)
97# define debug_atomic_read(ptr) 0
98#endif