blob: be89f393274fbd086a4f14b4e56bb82c0a29c76d [file] [log] [blame]
Jim Kenistond27a4dd2005-08-04 12:53:35 -07001Title : Kernel Probes (Kprobes)
2Authors : Jim Keniston <jkenisto@us.ibm.com>
3 : Prasanna S Panchamukhi <prasanna@in.ibm.com>
4
5CONTENTS
6
71. Concepts: Kprobes, Jprobes, Return Probes
82. Architectures Supported
93. Configuring Kprobes
104. API Reference
115. Kprobes Features and Limitations
126. Probe Overhead
137. TODO
148. Kprobes Example
159. Jprobes Example
1610. Kretprobes Example
Ananth N Mavinakayanahallibf8f6e5b2007-05-08 00:34:16 -070017Appendix A: The kprobes debugfs interface
Jim Kenistond27a4dd2005-08-04 12:53:35 -070018
191. Concepts: Kprobes, Jprobes, Return Probes
20
21Kprobes enables you to dynamically break into any kernel routine and
22collect debugging and performance information non-disruptively. You
23can trap at almost any kernel code address, specifying a handler
24routine to be invoked when the breakpoint is hit.
25
26There are currently three types of probes: kprobes, jprobes, and
27kretprobes (also called return probes). A kprobe can be inserted
28on virtually any instruction in the kernel. A jprobe is inserted at
29the entry to a kernel function, and provides convenient access to the
30function's arguments. A return probe fires when a specified function
31returns.
32
33In the typical case, Kprobes-based instrumentation is packaged as
34a kernel module. The module's init function installs ("registers")
35one or more probes, and the exit function unregisters them. A
36registration function such as register_kprobe() specifies where
37the probe is to be inserted and what handler is to be called when
38the probe is hit.
39
40The next three subsections explain how the different types of
41probes work. They explain certain things that you'll need to
42know in order to make the best use of Kprobes -- e.g., the
43difference between a pre_handler and a post_handler, and how
44to use the maxactive and nmissed fields of a kretprobe. But
45if you're in a hurry to start using Kprobes, you can skip ahead
46to section 2.
47
481.1 How Does a Kprobe Work?
49
50When a kprobe is registered, Kprobes makes a copy of the probed
51instruction and replaces the first byte(s) of the probed instruction
52with a breakpoint instruction (e.g., int3 on i386 and x86_64).
53
54When a CPU hits the breakpoint instruction, a trap occurs, the CPU's
55registers are saved, and control passes to Kprobes via the
56notifier_call_chain mechanism. Kprobes executes the "pre_handler"
57associated with the kprobe, passing the handler the addresses of the
58kprobe struct and the saved registers.
59
60Next, Kprobes single-steps its copy of the probed instruction.
61(It would be simpler to single-step the actual instruction in place,
62but then Kprobes would have to temporarily remove the breakpoint
63instruction. This would open a small time window when another CPU
64could sail right past the probepoint.)
65
66After the instruction is single-stepped, Kprobes executes the
67"post_handler," if any, that is associated with the kprobe.
68Execution then continues with the instruction following the probepoint.
69
701.2 How Does a Jprobe Work?
71
72A jprobe is implemented using a kprobe that is placed on a function's
73entry point. It employs a simple mirroring principle to allow
74seamless access to the probed function's arguments. The jprobe
75handler routine should have the same signature (arg list and return
76type) as the function being probed, and must always end by calling
77the Kprobes function jprobe_return().
78
79Here's how it works. When the probe is hit, Kprobes makes a copy of
80the saved registers and a generous portion of the stack (see below).
81Kprobes then points the saved instruction pointer at the jprobe's
82handler routine, and returns from the trap. As a result, control
83passes to the handler, which is presented with the same register and
84stack contents as the probed function. When it is done, the handler
85calls jprobe_return(), which traps again to restore the original stack
86contents and processor state and switch to the probed function.
87
88By convention, the callee owns its arguments, so gcc may produce code
89that unexpectedly modifies that portion of the stack. This is why
90Kprobes saves a copy of the stack and restores it after the jprobe
91handler has run. Up to MAX_STACK_SIZE bytes are copied -- e.g.,
9264 bytes on i386.
93
94Note that the probed function's args may be passed on the stack
Harvey Harrisonb5606c22008-02-13 15:03:16 -080095or in registers. The jprobe will work in either case, so long as the
96handler's prototype matches that of the probed function.
Jim Kenistond27a4dd2005-08-04 12:53:35 -070097
Abhishek Sagarf47cd9b2008-02-06 01:38:22 -0800981.3 Return Probes
99
1001.3.1 How Does a Return Probe Work?
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700101
102When you call register_kretprobe(), Kprobes establishes a kprobe at
103the entry to the function. When the probed function is called and this
104probe is hit, Kprobes saves a copy of the return address, and replaces
105the return address with the address of a "trampoline." The trampoline
106is an arbitrary piece of code -- typically just a nop instruction.
107At boot time, Kprobes registers a kprobe at the trampoline.
108
109When the probed function executes its return instruction, control
110passes to the trampoline and that probe is hit. Kprobes' trampoline
Abhishek Sagarf47cd9b2008-02-06 01:38:22 -0800111handler calls the user-specified return handler associated with the
112kretprobe, then sets the saved instruction pointer to the saved return
113address, and that's where execution resumes upon return from the trap.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700114
115While the probed function is executing, its return address is
116stored in an object of type kretprobe_instance. Before calling
117register_kretprobe(), the user sets the maxactive field of the
118kretprobe struct to specify how many instances of the specified
119function can be probed simultaneously. register_kretprobe()
120pre-allocates the indicated number of kretprobe_instance objects.
121
122For example, if the function is non-recursive and is called with a
123spinlock held, maxactive = 1 should be enough. If the function is
124non-recursive and can never relinquish the CPU (e.g., via a semaphore
125or preemption), NR_CPUS should be enough. If maxactive <= 0, it is
126set to a default value. If CONFIG_PREEMPT is enabled, the default
127is max(10, 2*NR_CPUS). Otherwise, the default is NR_CPUS.
128
129It's not a disaster if you set maxactive too low; you'll just miss
130some probes. In the kretprobe struct, the nmissed field is set to
131zero when the return probe is registered, and is incremented every
132time the probed function is entered but there is no kretprobe_instance
133object available for establishing the return probe.
134
Abhishek Sagarf47cd9b2008-02-06 01:38:22 -08001351.3.2 Kretprobe entry-handler
136
137Kretprobes also provides an optional user-specified handler which runs
138on function entry. This handler is specified by setting the entry_handler
139field of the kretprobe struct. Whenever the kprobe placed by kretprobe at the
140function entry is hit, the user-defined entry_handler, if any, is invoked.
141If the entry_handler returns 0 (success) then a corresponding return handler
142is guaranteed to be called upon function return. If the entry_handler
143returns a non-zero error then Kprobes leaves the return address as is, and
144the kretprobe has no further effect for that particular function instance.
145
146Multiple entry and return handler invocations are matched using the unique
147kretprobe_instance object associated with them. Additionally, a user
148may also specify per return-instance private data to be part of each
149kretprobe_instance object. This is especially useful when sharing private
150data between corresponding user entry and return handlers. The size of each
151private data object can be specified at kretprobe registration time by
152setting the data_size field of the kretprobe struct. This data can be
153accessed through the data field of each kretprobe_instance object.
154
155In case probed function is entered but there is no kretprobe_instance
156object available, then in addition to incrementing the nmissed count,
157the user entry_handler invocation is also skipped.
158
Jim Kenistond27a4dd2005-08-04 12:53:35 -07001592. Architectures Supported
160
161Kprobes, jprobes, and return probes are implemented on the following
162architectures:
163
164- i386
Jim Keniston8861da32006-02-14 13:53:06 -0800165- x86_64 (AMD-64, EM64T)
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700166- ppc64
Jim Keniston8861da32006-02-14 13:53:06 -0800167- ia64 (Does not support probes on instruction slot1.)
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700168- sparc64 (Return probes not yet implemented.)
Nicolas Pitre5de865b2007-12-03 17:15:52 -0500169- arm
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700170
1713. Configuring Kprobes
172
173When configuring the kernel using make menuconfig/xconfig/oldconfig,
Jim Keniston8861da32006-02-14 13:53:06 -0800174ensure that CONFIG_KPROBES is set to "y". Under "Instrumentation
175Support", look for "Kprobes".
176
177So that you can load and unload Kprobes-based instrumentation modules,
178make sure "Loadable module support" (CONFIG_MODULES) and "Module
179unloading" (CONFIG_MODULE_UNLOAD) are set to "y".
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700180
Ananth N Mavinakayanahalli09b18202006-10-02 02:17:32 -0700181Also make sure that CONFIG_KALLSYMS and perhaps even CONFIG_KALLSYMS_ALL
182are set to "y", since kallsyms_lookup_name() is used by the in-kernel
183kprobe address resolution code.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700184
185If you need to insert a probe in the middle of a function, you may find
186it useful to "Compile the kernel with debug info" (CONFIG_DEBUG_INFO),
187so you can use "objdump -d -l vmlinux" to see the source-to-object
188code mapping.
189
1904. API Reference
191
192The Kprobes API includes a "register" function and an "unregister"
193function for each type of probe. Here are terse, mini-man-page
194specifications for these functions and the associated probe handlers
Ananth N Mavinakayanahalli804defe2008-03-04 14:28:38 -0800195that you'll write. See the files in the samples/kprobes/ sub-directory
196for examples.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700197
1984.1 register_kprobe
199
200#include <linux/kprobes.h>
201int register_kprobe(struct kprobe *kp);
202
203Sets a breakpoint at the address kp->addr. When the breakpoint is
204hit, Kprobes calls kp->pre_handler. After the probed instruction
205is single-stepped, Kprobe calls kp->post_handler. If a fault
206occurs during execution of kp->pre_handler or kp->post_handler,
207or during single-stepping of the probed instruction, Kprobes calls
208kp->fault_handler. Any or all handlers can be NULL.
209
Ananth N Mavinakayanahalli09b18202006-10-02 02:17:32 -0700210NOTE:
2111. With the introduction of the "symbol_name" field to struct kprobe,
212the probepoint address resolution will now be taken care of by the kernel.
213The following will now work:
214
215 kp.symbol_name = "symbol_name";
216
217(64-bit powerpc intricacies such as function descriptors are handled
218transparently)
219
2202. Use the "offset" field of struct kprobe if the offset into the symbol
221to install a probepoint is known. This field is used to calculate the
222probepoint.
223
2243. Specify either the kprobe "symbol_name" OR the "addr". If both are
225specified, kprobe registration will fail with -EINVAL.
226
2274. With CISC architectures (such as i386 and x86_64), the kprobes code
228does not validate if the kprobe.addr is at an instruction boundary.
229Use "offset" with caution.
230
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700231register_kprobe() returns 0 on success, or a negative errno otherwise.
232
233User's pre-handler (kp->pre_handler):
234#include <linux/kprobes.h>
235#include <linux/ptrace.h>
236int pre_handler(struct kprobe *p, struct pt_regs *regs);
237
238Called with p pointing to the kprobe associated with the breakpoint,
239and regs pointing to the struct containing the registers saved when
240the breakpoint was hit. Return 0 here unless you're a Kprobes geek.
241
242User's post-handler (kp->post_handler):
243#include <linux/kprobes.h>
244#include <linux/ptrace.h>
245void post_handler(struct kprobe *p, struct pt_regs *regs,
246 unsigned long flags);
247
248p and regs are as described for the pre_handler. flags always seems
249to be zero.
250
251User's fault-handler (kp->fault_handler):
252#include <linux/kprobes.h>
253#include <linux/ptrace.h>
254int fault_handler(struct kprobe *p, struct pt_regs *regs, int trapnr);
255
256p and regs are as described for the pre_handler. trapnr is the
257architecture-specific trap number associated with the fault (e.g.,
258on i386, 13 for a general protection fault or 14 for a page fault).
259Returns 1 if it successfully handled the exception.
260
2614.2 register_jprobe
262
263#include <linux/kprobes.h>
264int register_jprobe(struct jprobe *jp)
265
266Sets a breakpoint at the address jp->kp.addr, which must be the address
267of the first instruction of a function. When the breakpoint is hit,
268Kprobes runs the handler whose address is jp->entry.
269
270The handler should have the same arg list and return type as the probed
271function; and just before it returns, it must call jprobe_return().
272(The handler never actually returns, since jprobe_return() returns
Harvey Harrisonb5606c22008-02-13 15:03:16 -0800273control to Kprobes.) If the probed function is declared asmlinkage
274or anything else that affects how args are passed, the handler's
275declaration must match.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700276
277register_jprobe() returns 0 on success, or a negative errno otherwise.
278
2794.3 register_kretprobe
280
281#include <linux/kprobes.h>
282int register_kretprobe(struct kretprobe *rp);
283
284Establishes a return probe for the function whose address is
285rp->kp.addr. When that function returns, Kprobes calls rp->handler.
286You must set rp->maxactive appropriately before you call
287register_kretprobe(); see "How Does a Return Probe Work?" for details.
288
289register_kretprobe() returns 0 on success, or a negative errno
290otherwise.
291
292User's return-probe handler (rp->handler):
293#include <linux/kprobes.h>
294#include <linux/ptrace.h>
295int kretprobe_handler(struct kretprobe_instance *ri, struct pt_regs *regs);
296
297regs is as described for kprobe.pre_handler. ri points to the
298kretprobe_instance object, of which the following fields may be
299of interest:
300- ret_addr: the return address
301- rp: points to the corresponding kretprobe object
302- task: points to the corresponding task struct
Abhishek Sagarf47cd9b2008-02-06 01:38:22 -0800303- data: points to per return-instance private data; see "Kretprobe
304 entry-handler" for details.
Ananth N Mavinakayanahalli09b18202006-10-02 02:17:32 -0700305
306The regs_return_value(regs) macro provides a simple abstraction to
307extract the return value from the appropriate register as defined by
308the architecture's ABI.
309
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700310The handler's return value is currently ignored.
311
3124.4 unregister_*probe
313
314#include <linux/kprobes.h>
315void unregister_kprobe(struct kprobe *kp);
316void unregister_jprobe(struct jprobe *jp);
317void unregister_kretprobe(struct kretprobe *rp);
318
319Removes the specified probe. The unregister function can be called
320at any time after the probe has been registered.
321
3225. Kprobes Features and Limitations
323
Jim Keniston8861da32006-02-14 13:53:06 -0800324Kprobes allows multiple probes at the same address. Currently,
325however, there cannot be multiple jprobes on the same function at
326the same time.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700327
328In general, you can install a probe anywhere in the kernel.
329In particular, you can probe interrupt handlers. Known exceptions
330are discussed in this section.
331
Jim Keniston8861da32006-02-14 13:53:06 -0800332The register_*probe functions will return -EINVAL if you attempt
333to install a probe in the code that implements Kprobes (mostly
334kernel/kprobes.c and arch/*/kernel/kprobes.c, but also functions such
335as do_page_fault and notifier_call_chain).
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700336
337If you install a probe in an inline-able function, Kprobes makes
338no attempt to chase down all inline instances of the function and
339install probes there. gcc may inline a function without being asked,
340so keep this in mind if you're not seeing the probe hits you expect.
341
342A probe handler can modify the environment of the probed function
343-- e.g., by modifying kernel data structures, or by modifying the
344contents of the pt_regs struct (which are restored to the registers
345upon return from the breakpoint). So Kprobes can be used, for example,
346to install a bug fix or to inject faults for testing. Kprobes, of
347course, has no way to distinguish the deliberately injected faults
348from the accidental ones. Don't drink and probe.
349
350Kprobes makes no attempt to prevent probe handlers from stepping on
351each other -- e.g., probing printk() and then calling printk() from a
Jim Keniston8861da32006-02-14 13:53:06 -0800352probe handler. If a probe handler hits a probe, that second probe's
353handlers won't be run in that instance, and the kprobe.nmissed member
354of the second probe will be incremented.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700355
Jim Keniston8861da32006-02-14 13:53:06 -0800356As of Linux v2.6.15-rc1, multiple handlers (or multiple instances of
357the same handler) may run concurrently on different CPUs.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700358
Jim Keniston8861da32006-02-14 13:53:06 -0800359Kprobes does not use mutexes or allocate memory except during
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700360registration and unregistration.
361
362Probe handlers are run with preemption disabled. Depending on the
363architecture, handlers may also run with interrupts disabled. In any
364case, your handler should not yield the CPU (e.g., by attempting to
365acquire a semaphore).
366
367Since a return probe is implemented by replacing the return
368address with the trampoline's address, stack backtraces and calls
369to __builtin_return_address() will typically yield the trampoline's
370address instead of the real return address for kretprobed functions.
371(As far as we can tell, __builtin_return_address() is used only
372for instrumentation and error reporting.)
373
Jim Keniston8861da32006-02-14 13:53:06 -0800374If the number of times a function is called does not match the number
375of times it returns, registering a return probe on that function may
Ananth N Mavinakayanahallibf8f6e5b2007-05-08 00:34:16 -0700376produce undesirable results. In such a case, a line:
377kretprobe BUG!: Processing kretprobe d000000000041aa8 @ c00000000004f48c
378gets printed. With this information, one will be able to correlate the
379exact instance of the kretprobe that caused the problem. We have the
380do_exit() case covered. do_execve() and do_fork() are not an issue.
381We're unaware of other specific cases where this could be a problem.
Jim Keniston8861da32006-02-14 13:53:06 -0800382
383If, upon entry to or exit from a function, the CPU is running on
384a stack other than that of the current task, registering a return
385probe on that function may produce undesirable results. For this
386reason, Kprobes doesn't support return probes (or kprobes or jprobes)
387on the x86_64 version of __switch_to(); the registration functions
388return -EINVAL.
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700389
3906. Probe Overhead
391
392On a typical CPU in use in 2005, a kprobe hit takes 0.5 to 1.0
393microseconds to process. Specifically, a benchmark that hits the same
394probepoint repeatedly, firing a simple handler each time, reports 1-2
395million hits per second, depending on the architecture. A jprobe or
396return-probe hit typically takes 50-75% longer than a kprobe hit.
397When you have a return probe set on a function, adding a kprobe at
398the entry to that function adds essentially no overhead.
399
400Here are sample overhead figures (in usec) for different architectures.
401k = kprobe; j = jprobe; r = return probe; kr = kprobe + return probe
402on same function; jr = jprobe + return probe on same function
403
404i386: Intel Pentium M, 1495 MHz, 2957.31 bogomips
405k = 0.57 usec; j = 1.00; r = 0.92; kr = 0.99; jr = 1.40
406
407x86_64: AMD Opteron 246, 1994 MHz, 3971.48 bogomips
408k = 0.49 usec; j = 0.76; r = 0.80; kr = 0.82; jr = 1.07
409
410ppc64: POWER5 (gr), 1656 MHz (SMT disabled, 1 virtual CPU per physical CPU)
411k = 0.77 usec; j = 1.31; r = 1.26; kr = 1.45; jr = 1.99
412
4137. TODO
414
Jim Keniston8861da32006-02-14 13:53:06 -0800415a. SystemTap (http://sourceware.org/systemtap): Provides a simplified
416programming interface for probe-based instrumentation. Try it out.
417b. Kernel return probes for sparc64.
418c. Support for other architectures.
419d. User-space probes.
420e. Watchpoint probes (which fire on data references).
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700421
4228. Kprobes Example
423
Ananth N Mavinakayanahalli804defe2008-03-04 14:28:38 -0800424See samples/kprobes/kprobe_example.c
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700425
4269. Jprobes Example
427
Ananth N Mavinakayanahalli804defe2008-03-04 14:28:38 -0800428See samples/kprobes/jprobe_example.c
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700429
43010. Kretprobes Example
431
Ananth N Mavinakayanahalli804defe2008-03-04 14:28:38 -0800432See samples/kprobes/kretprobe_example.c
Jim Kenistond27a4dd2005-08-04 12:53:35 -0700433
434For additional information on Kprobes, refer to the following URLs:
435http://www-106.ibm.com/developerworks/library/l-kprobes.html?ca=dgr-lnxw42Kprobe
436http://www.redhat.com/magazine/005mar05/features/kprobes/
Ananth N Mavinakayanahalli09b18202006-10-02 02:17:32 -0700437http://www-users.cs.umn.edu/~boutcher/kprobes/
438http://www.linuxsymposium.org/2006/linuxsymposium_procv2.pdf (pages 101-115)
Ananth N Mavinakayanahallibf8f6e5b2007-05-08 00:34:16 -0700439
440
441Appendix A: The kprobes debugfs interface
442
443With recent kernels (> 2.6.20) the list of registered kprobes is visible
444under the /debug/kprobes/ directory (assuming debugfs is mounted at /debug).
445
446/debug/kprobes/list: Lists all registered probes on the system
447
448c015d71a k vfs_read+0x0
449c011a316 j do_fork+0x0
450c03dedc5 r tcp_v4_rcv+0x0
451
452The first column provides the kernel address where the probe is inserted.
453The second column identifies the type of probe (k - kprobe, r - kretprobe
454and j - jprobe), while the third column specifies the symbol+offset of
455the probe. If the probed function belongs to a module, the module name
456is also specified.
457
458/debug/kprobes/enabled: Turn kprobes ON/OFF
459
460Provides a knob to globally turn registered kprobes ON or OFF. By default,
461all kprobes are enabled. By echoing "0" to this file, all registered probes
462will be disarmed, till such time a "1" is echoed to this file.