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