]> git.proxmox.com Git - mirror_ubuntu-hirsute-kernel.git/blame - Documentation/trace/kprobes.rst
Merge tag 'locking-urgent-2020-12-27' of git://git.kernel.org/pub/scm/linux/kernel...
[mirror_ubuntu-hirsute-kernel.git] / Documentation / trace / kprobes.rst
CommitLineData
a1dac767
MCC
1=======================
2Kernel Probes (Kprobes)
3=======================
4
5:Author: Jim Keniston <jkenisto@us.ibm.com>
6:Author: Prasanna S Panchamukhi <prasanna.panchamukhi@gmail.com>
7:Author: Masami Hiramatsu <mhiramat@redhat.com>
8
9.. CONTENTS
10
9b17374e 11 1. Concepts: Kprobes, and Return Probes
a1dac767
MCC
12 2. Architectures Supported
13 3. Configuring Kprobes
14 4. API Reference
15 5. Kprobes Features and Limitations
16 6. Probe Overhead
17 7. TODO
18 8. Kprobes Example
9b17374e
MH
19 9. Kretprobes Example
20 10. Deprecated Features
a1dac767
MCC
21 Appendix A: The kprobes debugfs interface
22 Appendix B: The kprobes sysctl interface
0c75f127 23 Appendix C: References
a1dac767 24
9b17374e 25Concepts: Kprobes and Return Probes
a1dac767 26=========================================
d27a4ddd
JK
27
28Kprobes enables you to dynamically break into any kernel routine and
29collect debugging and performance information non-disruptively. You
a1dac767 30can trap at almost any kernel code address [1]_, specifying a handler
d27a4ddd 31routine to be invoked when the breakpoint is hit.
a1dac767
MCC
32
33.. [1] some parts of the kernel code can not be trapped, see
34 :ref:`kprobes_blacklist`)
d27a4ddd 35
9b17374e
MH
36There are currently two types of probes: kprobes, and kretprobes
37(also called return probes). A kprobe can be inserted on virtually
38any instruction in the kernel. A return probe fires when a specified
39function returns.
d27a4ddd
JK
40
41In the typical case, Kprobes-based instrumentation is packaged as
42a kernel module. The module's init function installs ("registers")
43one or more probes, and the exit function unregisters them. A
44registration function such as register_kprobe() specifies where
45the probe is to be inserted and what handler is to be called when
46the probe is hit.
47
a1dac767
MCC
48There are also ``register_/unregister_*probes()`` functions for batch
49registration/unregistration of a group of ``*probes``. These functions
3b0cb4ca
MH
50can speed up unregistration process when you have to unregister
51a lot of probes at once.
52
b26486bf
MH
53The next four subsections explain how the different types of
54probes work and how jump optimization works. They explain certain
55things that you'll need to know in order to make the best use of
56Kprobes -- e.g., the difference between a pre_handler and
57a post_handler, and how to use the maxactive and nmissed fields of
58a kretprobe. But if you're in a hurry to start using Kprobes, you
a1dac767 59can skip ahead to :ref:`kprobes_archs_supported`.
d27a4ddd 60
a1dac767
MCC
61How Does a Kprobe Work?
62-----------------------
d27a4ddd
JK
63
64When a kprobe is registered, Kprobes makes a copy of the probed
65instruction and replaces the first byte(s) of the probed instruction
66with a breakpoint instruction (e.g., int3 on i386 and x86_64).
67
68When a CPU hits the breakpoint instruction, a trap occurs, the CPU's
69registers are saved, and control passes to Kprobes via the
70notifier_call_chain mechanism. Kprobes executes the "pre_handler"
71associated with the kprobe, passing the handler the addresses of the
72kprobe struct and the saved registers.
73
74Next, Kprobes single-steps its copy of the probed instruction.
75(It would be simpler to single-step the actual instruction in place,
76but then Kprobes would have to temporarily remove the breakpoint
77instruction. This would open a small time window when another CPU
78could sail right past the probepoint.)
79
80After the instruction is single-stepped, Kprobes executes the
81"post_handler," if any, that is associated with the kprobe.
82Execution then continues with the instruction following the probepoint.
83
dcce32d9
MH
84Changing Execution Path
85-----------------------
86
01bdee64
MH
87Since kprobes can probe into a running kernel code, it can change the
88register set, including instruction pointer. This operation requires
89maximum care, such as keeping the stack frame, recovering the execution
90path etc. Since it operates on a running kernel and needs deep knowledge
91of computer architecture and concurrent computing, you can easily shoot
92your foot.
dcce32d9
MH
93
94If you change the instruction pointer (and set up other related
01bdee64
MH
95registers) in pre_handler, you must return !0 so that kprobes stops
96single stepping and just returns to the given address.
dcce32d9
MH
97This also means post_handler should not be called anymore.
98
01bdee64
MH
99Note that this operation may be harder on some architectures which use
100TOC (Table of Contents) for function call, since you have to setup a new
101TOC for your function in your module, and recover the old one after
102returning from it.
dcce32d9 103
a1dac767
MCC
104Return Probes
105-------------
f47cd9b5 106
a1dac767
MCC
107How Does a Return Probe Work?
108^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
d27a4ddd
JK
109
110When you call register_kretprobe(), Kprobes establishes a kprobe at
111the entry to the function. When the probed function is called and this
112probe is hit, Kprobes saves a copy of the return address, and replaces
113the return address with the address of a "trampoline." The trampoline
114is an arbitrary piece of code -- typically just a nop instruction.
115At boot time, Kprobes registers a kprobe at the trampoline.
116
117When the probed function executes its return instruction, control
118passes to the trampoline and that probe is hit. Kprobes' trampoline
f47cd9b5
AS
119handler calls the user-specified return handler associated with the
120kretprobe, then sets the saved instruction pointer to the saved return
121address, and that's where execution resumes upon return from the trap.
d27a4ddd
JK
122
123While the probed function is executing, its return address is
124stored in an object of type kretprobe_instance. Before calling
125register_kretprobe(), the user sets the maxactive field of the
126kretprobe struct to specify how many instances of the specified
127function can be probed simultaneously. register_kretprobe()
128pre-allocates the indicated number of kretprobe_instance objects.
129
130For example, if the function is non-recursive and is called with a
131spinlock held, maxactive = 1 should be enough. If the function is
132non-recursive and can never relinquish the CPU (e.g., via a semaphore
133or preemption), NR_CPUS should be enough. If maxactive <= 0, it is
134set to a default value. If CONFIG_PREEMPT is enabled, the default
135is max(10, 2*NR_CPUS). Otherwise, the default is NR_CPUS.
136
137It's not a disaster if you set maxactive too low; you'll just miss
138some probes. In the kretprobe struct, the nmissed field is set to
139zero when the return probe is registered, and is incremented every
140time the probed function is entered but there is no kretprobe_instance
141object available for establishing the return probe.
142
a1dac767
MCC
143Kretprobe entry-handler
144^^^^^^^^^^^^^^^^^^^^^^^
f47cd9b5
AS
145
146Kretprobes also provides an optional user-specified handler which runs
147on function entry. This handler is specified by setting the entry_handler
148field of the kretprobe struct. Whenever the kprobe placed by kretprobe at the
149function entry is hit, the user-defined entry_handler, if any, is invoked.
150If the entry_handler returns 0 (success) then a corresponding return handler
151is guaranteed to be called upon function return. If the entry_handler
152returns a non-zero error then Kprobes leaves the return address as is, and
153the kretprobe has no further effect for that particular function instance.
154
155Multiple entry and return handler invocations are matched using the unique
156kretprobe_instance object associated with them. Additionally, a user
157may also specify per return-instance private data to be part of each
158kretprobe_instance object. This is especially useful when sharing private
159data between corresponding user entry and return handlers. The size of each
160private data object can be specified at kretprobe registration time by
161setting the data_size field of the kretprobe struct. This data can be
162accessed through the data field of each kretprobe_instance object.
163
164In case probed function is entered but there is no kretprobe_instance
165object available, then in addition to incrementing the nmissed count,
166the user entry_handler invocation is also skipped.
167
a1dac767
MCC
168.. _kprobes_jump_optimization:
169
170How Does Jump Optimization Work?
171--------------------------------
b26486bf 172
5cc718b9
MH
173If your kernel is built with CONFIG_OPTPROBES=y (currently this flag
174is automatically set 'y' on x86/x86-64, non-preemptive kernel) and
b26486bf
MH
175the "debug.kprobes_optimization" kernel parameter is set to 1 (see
176sysctl(8)), Kprobes tries to reduce probe-hit overhead by using a jump
177instruction instead of a breakpoint instruction at each probepoint.
178
a1dac767
MCC
179Init a Kprobe
180^^^^^^^^^^^^^
b26486bf
MH
181
182When a probe is registered, before attempting this optimization,
183Kprobes inserts an ordinary, breakpoint-based kprobe at the specified
184address. So, even if it's not possible to optimize this particular
185probepoint, there'll be a probe there.
186
a1dac767
MCC
187Safety Check
188^^^^^^^^^^^^
b26486bf
MH
189
190Before optimizing a probe, Kprobes performs the following safety checks:
191
192- Kprobes verifies that the region that will be replaced by the jump
a1dac767
MCC
193 instruction (the "optimized region") lies entirely within one function.
194 (A jump instruction is multiple bytes, and so may overlay multiple
195 instructions.)
b26486bf
MH
196
197- Kprobes analyzes the entire function and verifies that there is no
a1dac767
MCC
198 jump into the optimized region. Specifically:
199
b26486bf
MH
200 - the function contains no indirect jump;
201 - the function contains no instruction that causes an exception (since
a1dac767
MCC
202 the fixup code triggered by the exception could jump back into the
203 optimized region -- Kprobes checks the exception tables to verify this);
b26486bf 204 - there is no near jump to the optimized region (other than to the first
a1dac767 205 byte).
b26486bf
MH
206
207- For each instruction in the optimized region, Kprobes verifies that
a1dac767 208 the instruction can be executed out of line.
b26486bf 209
a1dac767
MCC
210Preparing Detour Buffer
211^^^^^^^^^^^^^^^^^^^^^^^
b26486bf
MH
212
213Next, Kprobes prepares a "detour" buffer, which contains the following
214instruction sequence:
a1dac767 215
b26486bf
MH
216- code to push the CPU's registers (emulating a breakpoint trap)
217- a call to the trampoline code which calls user's probe handlers.
218- code to restore registers
219- the instructions from the optimized region
220- a jump back to the original execution path.
221
a1dac767
MCC
222Pre-optimization
223^^^^^^^^^^^^^^^^
b26486bf
MH
224
225After preparing the detour buffer, Kprobes verifies that none of the
226following situations exist:
a1dac767 227
9b17374e 228- The probe has a post_handler.
b26486bf
MH
229- Other instructions in the optimized region are probed.
230- The probe is disabled.
a1dac767 231
b26486bf
MH
232In any of the above cases, Kprobes won't start optimizing the probe.
233Since these are temporary situations, Kprobes tries to start
234optimizing it again if the situation is changed.
235
236If the kprobe can be optimized, Kprobes enqueues the kprobe to an
237optimizing list, and kicks the kprobe-optimizer workqueue to optimize
238it. If the to-be-optimized probepoint is hit before being optimized,
239Kprobes returns control to the original instruction path by setting
240the CPU's instruction pointer to the copied code in the detour buffer
241-- thus at least avoiding the single-step.
242
a1dac767
MCC
243Optimization
244^^^^^^^^^^^^
b26486bf
MH
245
246The Kprobe-optimizer doesn't insert the jump instruction immediately;
1755eced 247rather, it calls synchronize_rcu() for safety first, because it's
b26486bf 248possible for a CPU to be interrupted in the middle of executing the
1755eced
PM
249optimized region [3]_. As you know, synchronize_rcu() can ensure
250that all interruptions that were active when synchronize_rcu()
b26486bf 251was called are done, but only if CONFIG_PREEMPT=n. So, this version
a1dac767 252of kprobe optimization supports only kernels with CONFIG_PREEMPT=n [4]_.
b26486bf
MH
253
254After that, the Kprobe-optimizer calls stop_machine() to replace
255the optimized region with a jump instruction to the detour buffer,
256using text_poke_smp().
257
a1dac767
MCC
258Unoptimization
259^^^^^^^^^^^^^^
b26486bf
MH
260
261When an optimized kprobe is unregistered, disabled, or blocked by
262another kprobe, it will be unoptimized. If this happens before
263the optimization is complete, the kprobe is just dequeued from the
264optimized list. If the optimization has been done, the jump is
265replaced with the original code (except for an int3 breakpoint in
266the first byte) by using text_poke_smp().
267
a1dac767
MCC
268.. [3] Please imagine that the 2nd instruction is interrupted and then
269 the optimizer replaces the 2nd instruction with the jump *address*
270 while the interrupt handler is running. When the interrupt
271 returns to original address, there is no valid instruction,
272 and it causes an unexpected result.
b26486bf 273
a1dac767
MCC
274.. [4] This optimization-safety checking may be replaced with the
275 stop-machine method that ksplice uses for supporting a CONFIG_PREEMPT=y
276 kernel.
b26486bf
MH
277
278NOTE for geeks:
279The jump optimization changes the kprobe's pre_handler behavior.
280Without optimization, the pre_handler can change the kernel's execution
281path by changing regs->ip and returning 1. However, when the probe
282is optimized, that modification is ignored. Thus, if you want to
283tweak the kernel's execution path, you need to suppress optimization,
284using one of the following techniques:
a1dac767 285
059053a2 286- Specify an empty function for the kprobe's post_handler.
a1dac767
MCC
287
288or
289
b26486bf
MH
290- Execute 'sysctl -w debug.kprobes_optimization=n'
291
a1dac767
MCC
292.. _kprobes_blacklist:
293
294Blacklist
295---------
376e2424
MH
296
297Kprobes can probe most of the kernel except itself. This means
298that there are some functions where kprobes cannot probe. Probing
299(trapping) such functions can cause a recursive trap (e.g. double
300fault) or the nested probe handler may never be called.
301Kprobes manages such functions as a blacklist.
302If you want to add a function into the blacklist, you just need
303to (1) include linux/kprobes.h and (2) use NOKPROBE_SYMBOL() macro
304to specify a blacklisted function.
305Kprobes checks the given probe address against the blacklist and
306rejects registering it, if the given address is in the blacklist.
307
a1dac767
MCC
308.. _kprobes_archs_supported:
309
310Architectures Supported
311=======================
d27a4ddd 312
9b17374e 313Kprobes and return probes are implemented on the following
d27a4ddd
JK
314architectures:
315
b26486bf
MH
316- i386 (Supports jump optimization)
317- x86_64 (AMD-64, EM64T) (Supports jump optimization)
d27a4ddd 318- ppc64
8861da31 319- ia64 (Does not support probes on instruction slot1.)
d27a4ddd 320- sparc64 (Return probes not yet implemented.)
5de865b4 321- arm
f8279621 322- ppc
9bb4d9df 323- mips
369e8c35 324- s390
376e5fd7 325- parisc
d27a4ddd 326
a1dac767
MCC
327Configuring Kprobes
328===================
d27a4ddd
JK
329
330When configuring the kernel using make menuconfig/xconfig/oldconfig,
080684c8
LB
331ensure that CONFIG_KPROBES is set to "y". Under "General setup", look
332for "Kprobes".
8861da31
JK
333
334So that you can load and unload Kprobes-based instrumentation modules,
335make sure "Loadable module support" (CONFIG_MODULES) and "Module
336unloading" (CONFIG_MODULE_UNLOAD) are set to "y".
d27a4ddd 337
09b18203
AM
338Also make sure that CONFIG_KALLSYMS and perhaps even CONFIG_KALLSYMS_ALL
339are set to "y", since kallsyms_lookup_name() is used by the in-kernel
340kprobe address resolution code.
d27a4ddd
JK
341
342If you need to insert a probe in the middle of a function, you may find
343it useful to "Compile the kernel with debug info" (CONFIG_DEBUG_INFO),
344so you can use "objdump -d -l vmlinux" to see the source-to-object
345code mapping.
346
a1dac767
MCC
347API Reference
348=============
d27a4ddd
JK
349
350The Kprobes API includes a "register" function and an "unregister"
3b0cb4ca
MH
351function for each type of probe. The API also includes "register_*probes"
352and "unregister_*probes" functions for (un)registering arrays of probes.
353Here are terse, mini-man-page specifications for these functions and
354the associated probe handlers that you'll write. See the files in the
355samples/kprobes/ sub-directory for examples.
d27a4ddd 356
a1dac767
MCC
357register_kprobe
358---------------
d27a4ddd 359
a1dac767
MCC
360::
361
362 #include <linux/kprobes.h>
363 int register_kprobe(struct kprobe *kp);
d27a4ddd
JK
364
365Sets a breakpoint at the address kp->addr. When the breakpoint is
366hit, Kprobes calls kp->pre_handler. After the probed instruction
367is single-stepped, Kprobe calls kp->post_handler. If a fault
368occurs during execution of kp->pre_handler or kp->post_handler,
369or during single-stepping of the probed instruction, Kprobes calls
de5bd88d
MH
370kp->fault_handler. Any or all handlers can be NULL. If kp->flags
371is set KPROBE_FLAG_DISABLED, that kp will be registered but disabled,
a33f3224 372so, its handlers aren't hit until calling enable_kprobe(kp).
d27a4ddd 373
a1dac767
MCC
374.. note::
375
376 1. With the introduction of the "symbol_name" field to struct kprobe,
377 the probepoint address resolution will now be taken care of by the kernel.
378 The following will now work::
09b18203
AM
379
380 kp.symbol_name = "symbol_name";
381
a1dac767
MCC
382 (64-bit powerpc intricacies such as function descriptors are handled
383 transparently)
09b18203 384
a1dac767
MCC
385 2. Use the "offset" field of struct kprobe if the offset into the symbol
386 to install a probepoint is known. This field is used to calculate the
387 probepoint.
09b18203 388
a1dac767
MCC
389 3. Specify either the kprobe "symbol_name" OR the "addr". If both are
390 specified, kprobe registration will fail with -EINVAL.
09b18203 391
a1dac767
MCC
392 4. With CISC architectures (such as i386 and x86_64), the kprobes code
393 does not validate if the kprobe.addr is at an instruction boundary.
394 Use "offset" with caution.
09b18203 395
d27a4ddd
JK
396register_kprobe() returns 0 on success, or a negative errno otherwise.
397
a1dac767
MCC
398User's pre-handler (kp->pre_handler)::
399
400 #include <linux/kprobes.h>
401 #include <linux/ptrace.h>
402 int pre_handler(struct kprobe *p, struct pt_regs *regs);
d27a4ddd
JK
403
404Called with p pointing to the kprobe associated with the breakpoint,
405and regs pointing to the struct containing the registers saved when
406the breakpoint was hit. Return 0 here unless you're a Kprobes geek.
407
a1dac767
MCC
408User's post-handler (kp->post_handler)::
409
410 #include <linux/kprobes.h>
411 #include <linux/ptrace.h>
412 void post_handler(struct kprobe *p, struct pt_regs *regs,
413 unsigned long flags);
d27a4ddd
JK
414
415p and regs are as described for the pre_handler. flags always seems
416to be zero.
417
a1dac767
MCC
418User's fault-handler (kp->fault_handler)::
419
420 #include <linux/kprobes.h>
421 #include <linux/ptrace.h>
422 int fault_handler(struct kprobe *p, struct pt_regs *regs, int trapnr);
d27a4ddd
JK
423
424p and regs are as described for the pre_handler. trapnr is the
425architecture-specific trap number associated with the fault (e.g.,
426on i386, 13 for a general protection fault or 14 for a page fault).
427Returns 1 if it successfully handled the exception.
428
a1dac767
MCC
429register_kretprobe
430------------------
d27a4ddd 431
a1dac767
MCC
432::
433
434 #include <linux/kprobes.h>
435 int register_kretprobe(struct kretprobe *rp);
d27a4ddd
JK
436
437Establishes a return probe for the function whose address is
438rp->kp.addr. When that function returns, Kprobes calls rp->handler.
439You must set rp->maxactive appropriately before you call
440register_kretprobe(); see "How Does a Return Probe Work?" for details.
441
442register_kretprobe() returns 0 on success, or a negative errno
443otherwise.
444
a1dac767
MCC
445User's return-probe handler (rp->handler)::
446
447 #include <linux/kprobes.h>
448 #include <linux/ptrace.h>
449 int kretprobe_handler(struct kretprobe_instance *ri,
450 struct pt_regs *regs);
d27a4ddd
JK
451
452regs is as described for kprobe.pre_handler. ri points to the
453kretprobe_instance object, of which the following fields may be
454of interest:
a1dac767 455
d27a4ddd
JK
456- ret_addr: the return address
457- rp: points to the corresponding kretprobe object
458- task: points to the corresponding task struct
f47cd9b5
AS
459- data: points to per return-instance private data; see "Kretprobe
460 entry-handler" for details.
09b18203
AM
461
462The regs_return_value(regs) macro provides a simple abstraction to
463extract the return value from the appropriate register as defined by
464the architecture's ABI.
465
d27a4ddd
JK
466The handler's return value is currently ignored.
467
a1dac767
MCC
468unregister_*probe
469------------------
d27a4ddd 470
a1dac767
MCC
471::
472
473 #include <linux/kprobes.h>
474 void unregister_kprobe(struct kprobe *kp);
a1dac767 475 void unregister_kretprobe(struct kretprobe *rp);
d27a4ddd
JK
476
477Removes the specified probe. The unregister function can be called
478at any time after the probe has been registered.
479
a1dac767
MCC
480.. note::
481
482 If the functions find an incorrect probe (ex. an unregistered probe),
483 they clear the addr field of the probe.
3b0cb4ca 484
a1dac767
MCC
485register_*probes
486----------------
3b0cb4ca 487
a1dac767
MCC
488::
489
490 #include <linux/kprobes.h>
491 int register_kprobes(struct kprobe **kps, int num);
492 int register_kretprobes(struct kretprobe **rps, int num);
3b0cb4ca
MH
493
494Registers each of the num probes in the specified array. If any
495error occurs during registration, all probes in the array, up to
496the bad probe, are safely unregistered before the register_*probes
497function returns.
a1dac767 498
bc8c9da5 499- kps/rps: an array of pointers to ``*probe`` data structures
3b0cb4ca
MH
500- num: the number of the array entries.
501
a1dac767
MCC
502.. note::
503
504 You have to allocate(or define) an array of pointers and set all
505 of the array entries before using these functions.
506
507unregister_*probes
508------------------
3b0cb4ca 509
a1dac767 510::
3b0cb4ca 511
a1dac767
MCC
512 #include <linux/kprobes.h>
513 void unregister_kprobes(struct kprobe **kps, int num);
514 void unregister_kretprobes(struct kretprobe **rps, int num);
3b0cb4ca
MH
515
516Removes each of the num probes in the specified array at once.
517
a1dac767 518.. note::
3b0cb4ca 519
a1dac767
MCC
520 If the functions find some incorrect probes (ex. unregistered
521 probes) in the specified array, they clear the addr field of those
522 incorrect probes. However, other probes in the array are
523 unregistered correctly.
de5bd88d 524
a1dac767
MCC
525disable_*probe
526--------------
de5bd88d 527
a1dac767
MCC
528::
529
530 #include <linux/kprobes.h>
531 int disable_kprobe(struct kprobe *kp);
532 int disable_kretprobe(struct kretprobe *rp);
a1dac767
MCC
533
534Temporarily disables the specified ``*probe``. You can enable it again by using
8f9b1528 535enable_*probe(). You must specify the probe which has been registered.
de5bd88d 536
a1dac767
MCC
537enable_*probe
538-------------
de5bd88d 539
a1dac767 540::
de5bd88d 541
a1dac767
MCC
542 #include <linux/kprobes.h>
543 int enable_kprobe(struct kprobe *kp);
544 int enable_kretprobe(struct kretprobe *rp);
a1dac767
MCC
545
546Enables ``*probe`` which has been disabled by disable_*probe(). You must specify
8f9b1528 547the probe which has been registered.
de5bd88d 548
a1dac767
MCC
549Kprobes Features and Limitations
550================================
d27a4ddd 551
9b17374e
MH
552Kprobes allows multiple probes at the same address. Also,
553a probepoint for which there is a post_handler cannot be optimized.
554So if you install a kprobe with a post_handler, at an optimized
555probepoint, the probepoint will be unoptimized automatically.
d27a4ddd
JK
556
557In general, you can install a probe anywhere in the kernel.
558In particular, you can probe interrupt handlers. Known exceptions
559are discussed in this section.
560
8861da31
JK
561The register_*probe functions will return -EINVAL if you attempt
562to install a probe in the code that implements Kprobes (mostly
a1dac767 563kernel/kprobes.c and ``arch/*/kernel/kprobes.c``, but also functions such
8861da31 564as do_page_fault and notifier_call_chain).
d27a4ddd
JK
565
566If you install a probe in an inline-able function, Kprobes makes
567no attempt to chase down all inline instances of the function and
568install probes there. gcc may inline a function without being asked,
569so keep this in mind if you're not seeing the probe hits you expect.
570
571A probe handler can modify the environment of the probed function
572-- e.g., by modifying kernel data structures, or by modifying the
573contents of the pt_regs struct (which are restored to the registers
574upon return from the breakpoint). So Kprobes can be used, for example,
575to install a bug fix or to inject faults for testing. Kprobes, of
576course, has no way to distinguish the deliberately injected faults
577from the accidental ones. Don't drink and probe.
578
579Kprobes makes no attempt to prevent probe handlers from stepping on
580each other -- e.g., probing printk() and then calling printk() from a
8861da31
JK
581probe handler. If a probe handler hits a probe, that second probe's
582handlers won't be run in that instance, and the kprobe.nmissed member
583of the second probe will be incremented.
584
585As of Linux v2.6.15-rc1, multiple handlers (or multiple instances of
586the same handler) may run concurrently on different CPUs.
587
588Kprobes does not use mutexes or allocate memory except during
d27a4ddd
JK
589registration and unregistration.
590
2bbda764
MH
591Probe handlers are run with preemption disabled or interrupt disabled,
592which depends on the architecture and optimization state. (e.g.,
593kretprobe handlers and optimized kprobe handlers run without interrupt
594disabled on x86/x86-64). In any case, your handler should not yield
595the CPU (e.g., by attempting to acquire a semaphore, or waiting I/O).
d27a4ddd
JK
596
597Since a return probe is implemented by replacing the return
598address with the trampoline's address, stack backtraces and calls
599to __builtin_return_address() will typically yield the trampoline's
600address instead of the real return address for kretprobed functions.
601(As far as we can tell, __builtin_return_address() is used only
602for instrumentation and error reporting.)
603
8861da31
JK
604If the number of times a function is called does not match the number
605of times it returns, registering a return probe on that function may
bf8f6e5b
AM
606produce undesirable results. In such a case, a line:
607kretprobe BUG!: Processing kretprobe d000000000041aa8 @ c00000000004f48c
608gets printed. With this information, one will be able to correlate the
609exact instance of the kretprobe that caused the problem. We have the
610do_exit() case covered. do_execve() and do_fork() are not an issue.
611We're unaware of other specific cases where this could be a problem.
8861da31
JK
612
613If, upon entry to or exit from a function, the CPU is running on
614a stack other than that of the current task, registering a return
615probe on that function may produce undesirable results. For this
9b17374e 616reason, Kprobes doesn't support return probes (or kprobes)
8861da31
JK
617on the x86_64 version of __switch_to(); the registration functions
618return -EINVAL.
d27a4ddd 619
b26486bf
MH
620On x86/x86-64, since the Jump Optimization of Kprobes modifies
621instructions widely, there are some limitations to optimization. To
622explain it, we introduce some terminology. Imagine a 3-instruction
623sequence consisting of a two 2-byte instructions and one 3-byte
624instruction.
625
a1dac767
MCC
626::
627
628 IA
629 |
630 [-2][-1][0][1][2][3][4][5][6][7]
631 [ins1][ins2][ ins3 ]
632 [<- DCR ->]
633 [<- JTPR ->]
b26486bf 634
a1dac767
MCC
635 ins1: 1st Instruction
636 ins2: 2nd Instruction
637 ins3: 3rd Instruction
638 IA: Insertion Address
639 JTPR: Jump Target Prohibition Region
640 DCR: Detoured Code Region
b26486bf
MH
641
642The instructions in DCR are copied to the out-of-line buffer
643of the kprobe, because the bytes in DCR are replaced by
644a 5-byte jump instruction. So there are several limitations.
645
646a) The instructions in DCR must be relocatable.
647b) The instructions in DCR must not include a call instruction.
648c) JTPR must not be targeted by any jump or call instruction.
b595076a 649d) DCR must not straddle the border between functions.
b26486bf
MH
650
651Anyway, these limitations are checked by the in-kernel instruction
652decoder, so you don't need to worry about that.
653
a1dac767
MCC
654Probe Overhead
655==============
d27a4ddd
JK
656
657On a typical CPU in use in 2005, a kprobe hit takes 0.5 to 1.0
658microseconds to process. Specifically, a benchmark that hits the same
659probepoint repeatedly, firing a simple handler each time, reports 1-2
9b17374e
MH
660million hits per second, depending on the architecture. A return-probe
661hit typically takes 50-75% longer than a kprobe hit.
d27a4ddd
JK
662When you have a return probe set on a function, adding a kprobe at
663the entry to that function adds essentially no overhead.
664
a1dac767 665Here are sample overhead figures (in usec) for different architectures::
d27a4ddd 666
9b17374e
MH
667 k = kprobe; r = return probe; kr = kprobe + return probe
668 on same function
d27a4ddd 669
a1dac767 670 i386: Intel Pentium M, 1495 MHz, 2957.31 bogomips
9b17374e 671 k = 0.57 usec; r = 0.92; kr = 0.99
d27a4ddd 672
a1dac767 673 x86_64: AMD Opteron 246, 1994 MHz, 3971.48 bogomips
9b17374e 674 k = 0.49 usec; r = 0.80; kr = 0.82
d27a4ddd 675
a1dac767 676 ppc64: POWER5 (gr), 1656 MHz (SMT disabled, 1 virtual CPU per physical CPU)
9b17374e 677 k = 0.77 usec; r = 1.26; kr = 1.45
a1dac767
MCC
678
679Optimized Probe Overhead
680------------------------
b26486bf
MH
681
682Typically, an optimized kprobe hit takes 0.07 to 0.1 microseconds to
a1dac767
MCC
683process. Here are sample overhead figures (in usec) for x86 architectures::
684
685 k = unoptimized kprobe, b = boosted (single-step skipped), o = optimized kprobe,
686 r = unoptimized kretprobe, rb = boosted kretprobe, ro = optimized kretprobe.
b26486bf 687
a1dac767
MCC
688 i386: Intel(R) Xeon(R) E5410, 2.33GHz, 4656.90 bogomips
689 k = 0.80 usec; b = 0.33; o = 0.05; r = 1.10; rb = 0.61; ro = 0.33
b26486bf 690
a1dac767
MCC
691 x86-64: Intel(R) Xeon(R) E5410, 2.33GHz, 4656.90 bogomips
692 k = 0.99 usec; b = 0.43; o = 0.06; r = 1.24; rb = 0.68; ro = 0.30
b26486bf 693
a1dac767
MCC
694TODO
695====
d27a4ddd 696
8861da31 697a. SystemTap (http://sourceware.org/systemtap): Provides a simplified
a1dac767 698 programming interface for probe-based instrumentation. Try it out.
8861da31
JK
699b. Kernel return probes for sparc64.
700c. Support for other architectures.
701d. User-space probes.
702e. Watchpoint probes (which fire on data references).
d27a4ddd 703
a1dac767
MCC
704Kprobes Example
705===============
d27a4ddd 706
804defea 707See samples/kprobes/kprobe_example.c
d27a4ddd 708
a1dac767
MCC
709Kretprobes Example
710==================
d27a4ddd 711
804defea 712See samples/kprobes/kretprobe_example.c
d27a4ddd 713
9b17374e
MH
714Deprecated Features
715===================
716
717Jprobes is now a deprecated feature. People who are depending on it should
718migrate to other tracing features or use older kernels. Please consider to
719migrate your tool to one of the following options:
720
721- Use trace-event to trace target function with arguments.
722
723 trace-event is a low-overhead (and almost no visible overhead if it
724 is off) statically defined event interface. You can define new events
725 and trace it via ftrace or any other tracing tools.
726
727 See the following urls:
728
729 - https://lwn.net/Articles/379903/
730 - https://lwn.net/Articles/381064/
731 - https://lwn.net/Articles/383362/
732
733- Use ftrace dynamic events (kprobe event) with perf-probe.
734
735 If you build your kernel with debug info (CONFIG_DEBUG_INFO=y), you can
736 find which register/stack is assigned to which local variable or arguments
737 by using perf-probe and set up new event to trace it.
738
739 See following documents:
740
5fb94e9c
MCC
741 - Documentation/trace/kprobetrace.rst
742 - Documentation/trace/events.rst
9b17374e
MH
743 - tools/perf/Documentation/perf-probe.txt
744
a1dac767
MCC
745
746The kprobes debugfs interface
747=============================
bf8f6e5b 748
bf8f6e5b
AM
749
750With recent kernels (> 2.6.20) the list of registered kprobes is visible
156f5a78 751under the /sys/kernel/debug/kprobes/ directory (assuming debugfs is mounted at //sys/kernel/debug).
bf8f6e5b 752
a1dac767 753/sys/kernel/debug/kprobes/list: Lists all registered probes on the system::
bf8f6e5b 754
a1dac767 755 c015d71a k vfs_read+0x0
a1dac767 756 c03dedc5 r tcp_v4_rcv+0x0
bf8f6e5b
AM
757
758The first column provides the kernel address where the probe is inserted.
9b17374e
MH
759The second column identifies the type of probe (k - kprobe and r - kretprobe)
760while the third column specifies the symbol+offset of the probe.
761If the probed function belongs to a module, the module name is also
762specified. Following columns show probe status. If the probe is on
e8386a0c
MH
763a virtual address that is no longer valid (module init sections, module
764virtual addresses that correspond to modules that've been unloaded),
de5bd88d 765such probes are marked with [GONE]. If the probe is temporarily disabled,
b26486bf 766such probes are marked with [DISABLED]. If the probe is optimized, it is
9ed330d3
WL
767marked with [OPTIMIZED]. If the probe is ftrace-based, it is marked with
768[FTRACE].
bf8f6e5b 769
156f5a78 770/sys/kernel/debug/kprobes/enabled: Turn kprobes ON/OFF forcibly.
bf8f6e5b 771
de5bd88d
MH
772Provides a knob to globally and forcibly turn registered kprobes ON or OFF.
773By default, all kprobes are enabled. By echoing "0" to this file, all
774registered probes will be disarmed, till such time a "1" is echoed to this
775file. Note that this knob just disarms and arms all kprobes and doesn't
776change each probe's disabling state. This means that disabled kprobes (marked
777[DISABLED]) will be not enabled if you turn ON all kprobes by this knob.
b26486bf
MH
778
779
a1dac767
MCC
780The kprobes sysctl interface
781============================
b26486bf
MH
782
783/proc/sys/debug/kprobes-optimization: Turn kprobes optimization ON/OFF.
784
785When CONFIG_OPTPROBES=y, this sysctl interface appears and it provides
786a knob to globally and forcibly turn jump optimization (see section
a1dac767
MCC
787:ref:`kprobes_jump_optimization`) ON or OFF. By default, jump optimization
788is allowed (ON). If you echo "0" to this file or set
789"debug.kprobes_optimization" to 0 via sysctl, all optimized probes will be
790unoptimized, and any new probes registered after that will not be optimized.
43e5f7e1
MCC
791
792Note that this knob *changes* the optimized state. This means that optimized
a1dac767 793probes (marked [OPTIMIZED]) will be unoptimized ([OPTIMIZED] tag will be
b26486bf
MH
794removed). If the knob is turned on, they will be optimized again.
795
0c75f127
NR
796References
797==========
798
799For additional information on Kprobes, refer to the following URLs:
800
801- https://www.ibm.com/developerworks/library/l-kprobes/index.html
802- https://www.kernel.org/doc/ols/2006/ols2006v2-pages-109-124.pdf
803