Blame view

Documentation/kmemleak.txt 7.87 KB
04f70336c   Catalin Marinas   kmemleak: Add doc...
1
2
3
4
5
6
7
8
9
10
11
12
13
  Kernel Memory Leak Detector
  ===========================
  
  Introduction
  ------------
  
  Kmemleak provides a way of detecting possible kernel memory leaks in a
  way similar to a tracing garbage collector
  (http://en.wikipedia.org/wiki/Garbage_collection_%28computer_science%29#Tracing_garbage_collectors),
  with the difference that the orphan objects are not freed but only
  reported via /sys/kernel/debug/kmemleak. A similar method is used by the
  Valgrind tool (memcheck --leak-check) to detect the memory leaks in
  user-space applications.
06a2c45d6   Maxin B. John   Documentation: up...
14
15
16
  
  Please check DEBUG_KMEMLEAK dependencies in lib/Kconfig.debug for supported
  architectures.
04f70336c   Catalin Marinas   kmemleak: Add doc...
17
18
19
20
21
  
  Usage
  -----
  
  CONFIG_DEBUG_KMEMLEAK in "Kernel hacking" has to be enabled. A kernel
bab4a34af   Catalin Marinas   kmemleak: Simplif...
22
  thread scans the memory every 10 minutes (by default) and prints the
4698c1f2b   Catalin Marinas   kmemleak: Do not ...
23
24
  number of new unreferenced objects found. To display the details of all
  the possible memory leaks:
04f70336c   Catalin Marinas   kmemleak: Add doc...
25
26
27
  
    # mount -t debugfs nodev /sys/kernel/debug/
    # cat /sys/kernel/debug/kmemleak
4698c1f2b   Catalin Marinas   kmemleak: Do not ...
28
29
30
  To trigger an intermediate memory scan:
  
    # echo scan > /sys/kernel/debug/kmemleak
30b371010   Luis R. Rodriguez   kmemleak: add cle...
31
32
33
34
35
36
  To clear the list of all current possible memory leaks:
  
    # echo clear > /sys/kernel/debug/kmemleak
  
  New leaks will then come up upon reading /sys/kernel/debug/kmemleak
  again.
04f70336c   Catalin Marinas   kmemleak: Add doc...
37
38
39
40
41
42
43
44
  Note that the orphan objects are listed in the order they were allocated
  and one object at the beginning of the list may cause other subsequent
  objects to be reported as orphan.
  
  Memory scanning parameters can be modified at run-time by writing to the
  /sys/kernel/debug/kmemleak file. The following parameters are supported:
  
    off		- disable kmemleak (irreversible)
e0a2a1601   Catalin Marinas   kmemleak: Enable ...
45
    stack=on	- enable the task stacks scanning (default)
04f70336c   Catalin Marinas   kmemleak: Add doc...
46
    stack=off	- disable the tasks stacks scanning
e0a2a1601   Catalin Marinas   kmemleak: Enable ...
47
    scan=on	- start the automatic memory scanning thread (default)
04f70336c   Catalin Marinas   kmemleak: Add doc...
48
    scan=off	- stop the automatic memory scanning thread
e0a2a1601   Catalin Marinas   kmemleak: Enable ...
49
50
    scan=<secs>	- set the automatic memory scanning period in seconds
  		  (default 600, 0 to stop the automatic scanning)
4698c1f2b   Catalin Marinas   kmemleak: Do not ...
51
    scan		- trigger a memory scan
30b371010   Luis R. Rodriguez   kmemleak: add cle...
52
53
    clear		- clear list of current memory leak suspects, done by
  		  marking all current reported unreferenced objects grey
189d84ed5   Catalin Marinas   kmemleak: Dump ob...
54
    dump=<addr>	- dump information about the object found at <addr>
04f70336c   Catalin Marinas   kmemleak: Add doc...
55
56
57
  
  Kmemleak can also be disabled at boot-time by passing "kmemleak=off" on
  the kernel command line.
a9d9058ab   Catalin Marinas   kmemleak: Allow t...
58
59
60
  Memory may be allocated or freed before kmemleak is initialised and
  these actions are stored in an early log buffer. The size of this buffer
  is configured via the CONFIG_DEBUG_KMEMLEAK_EARLY_LOG_SIZE option.
04f70336c   Catalin Marinas   kmemleak: Add doc...
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
  Basic Algorithm
  ---------------
  
  The memory allocations via kmalloc, vmalloc, kmem_cache_alloc and
  friends are traced and the pointers, together with additional
  information like size and stack trace, are stored in a prio search tree.
  The corresponding freeing function calls are tracked and the pointers
  removed from the kmemleak data structures.
  
  An allocated block of memory is considered orphan if no pointer to its
  start address or to any location inside the block can be found by
  scanning the memory (including saved registers). This means that there
  might be no way for the kernel to pass the address of the allocated
  block to a freeing function and therefore the block is considered a
  memory leak.
  
  The scanning algorithm steps:
  
    1. mark all objects as white (remaining white objects will later be
       considered orphan)
    2. scan the memory starting with the data section and stacks, checking
       the values against the addresses stored in the prio search tree. If
       a pointer to a white object is found, the object is added to the
       gray list
    3. scan the gray objects for matching addresses (some white objects
       can become gray and added at the end of the gray list) until the
       gray set is finished
    4. the remaining white objects are considered orphan and reported via
       /sys/kernel/debug/kmemleak
  
  Some allocated memory blocks have pointers stored in the kernel's
  internal data structures and they cannot be detected as orphans. To
  avoid this, kmemleak can also store the number of values pointing to an
  address inside the block address range that need to be found so that the
  block is not considered a leak. One example is __vmalloc().
30b371010   Luis R. Rodriguez   kmemleak: add cle...
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
  Testing specific sections with kmemleak
  ---------------------------------------
  
  Upon initial bootup your /sys/kernel/debug/kmemleak output page may be
  quite extensive. This can also be the case if you have very buggy code
  when doing development. To work around these situations you can use the
  'clear' command to clear all reported unreferenced objects from the
  /sys/kernel/debug/kmemleak output. By issuing a 'scan' after a 'clear'
  you can find new unreferenced objects; this should help with testing
  specific sections of code.
  
  To test a critical section on demand with a clean kmemleak do:
  
    # echo clear > /sys/kernel/debug/kmemleak
    ... test your kernel or modules ...
    # echo scan > /sys/kernel/debug/kmemleak
  
  Then as usual to get your report with:
  
    # cat /sys/kernel/debug/kmemleak
04f70336c   Catalin Marinas   kmemleak: Add doc...
116
117
118
119
120
121
122
  Kmemleak API
  ------------
  
  See the include/linux/kmemleak.h header for the functions prototype.
  
  kmemleak_init		 - initialize kmemleak
  kmemleak_alloc		 - notify of a memory block allocation
f528f0b8e   Catalin Marinas   kmemleak: Handle ...
123
  kmemleak_alloc_percpu	 - notify of a percpu memory block allocation
04f70336c   Catalin Marinas   kmemleak: Add doc...
124
  kmemleak_free		 - notify of a memory block freeing
f528f0b8e   Catalin Marinas   kmemleak: Handle ...
125
126
  kmemleak_free_part	 - notify of a partial memory block freeing
  kmemleak_free_percpu	 - notify of a percpu memory block freeing
04f70336c   Catalin Marinas   kmemleak: Add doc...
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
  kmemleak_not_leak	 - mark an object as not a leak
  kmemleak_ignore		 - do not scan or report an object as leak
  kmemleak_scan_area	 - add scan areas inside a memory block
  kmemleak_no_scan	 - do not scan a memory block
  kmemleak_erase		 - erase an old value in a pointer variable
  kmemleak_alloc_recursive - as kmemleak_alloc but checks the recursiveness
  kmemleak_free_recursive	 - as kmemleak_free but checks the recursiveness
  
  Dealing with false positives/negatives
  --------------------------------------
  
  The false negatives are real memory leaks (orphan objects) but not
  reported by kmemleak because values found during the memory scanning
  point to such objects. To reduce the number of false negatives, kmemleak
  provides the kmemleak_ignore, kmemleak_scan_area, kmemleak_no_scan and
  kmemleak_erase functions (see above). The task stacks also increase the
  amount of false negatives and their scanning is not enabled by default.
  
  The false positives are objects wrongly reported as being memory leaks
  (orphan). For objects known not to be leaks, kmemleak provides the
  kmemleak_not_leak function. The kmemleak_ignore could also be used if
  the memory block is known not to contain other pointers and it will no
  longer be scanned.
  
  Some of the reported leaks are only transient, especially on SMP
  systems, because of pointers temporarily stored in CPU registers or
  stacks. Kmemleak defines MSECS_MIN_AGE (defaulting to 1000) representing
  the minimum age of an object to be reported as a memory leak.
  
  Limitations and Drawbacks
  -------------------------
  
  The main drawback is the reduced performance of memory allocation and
  freeing. To avoid other penalties, the memory scanning is only performed
  when the /sys/kernel/debug/kmemleak file is read. Anyway, this tool is
  intended for debugging purposes where the performance might not be the
  most important requirement.
  
  To keep the algorithm simple, kmemleak scans for values pointing to any
  address inside a block's address range. This may lead to an increased
  number of false negatives. However, it is likely that a real memory leak
  will eventually become visible.
  
  Another source of false negatives is the data stored in non-pointer
  values. In a future version, kmemleak could only scan the pointer
  members in the allocated structures. This feature would solve many of
  the false negative cases described above.
  
  The tool can report false positives. These are cases where an allocated
  block doesn't need to be freed (some cases in the init_call functions),
  the pointer is calculated by other methods than the usual container_of
  macro or the pointer is stored in a location not scanned by kmemleak.
21b86bd5a   Daniel Baluta   Documentation: up...
179
  Page allocations and ioremap are not tracked.