Using Dtrace To Demystify Watchpoints in The Sun Studio DBX Debugger
Using Dtrace To Demystify Watchpoints in The Sun Studio DBX Debugger
May 2008
One of the most useful debugging features in the Sun Studio dbx debugger is enabling watchpoints during the execution of programs. A watchpoint, which is also called a data change breakpoint, can be used in dbx to stop a program when the value of a variable or expression has changed. A watchpoint is similar to a breakpoint, except that a watchpoint stops execution when an address location is read or modified, whereas a breakpoint stops execution when an instruction is executed at a specified location.
This article intends to educate users on how to use the watchpoint facility in the Sun Studio dbx debugger. The dbx debugger can be used for both source-level and instruction-level debugging. Additionally, the SolarisTM Dynamic Tracing (DTrace) facility is used to show how the internal states of the Solaris kernel can be traced with a simple D script.
Under the Hood on page 2 Setting Watchpoints in the dbx Debugger on page 2 Monitoring Watchpoint Traps With DTrace on page 4 In Conclusion on page 7
mode specifies how the memory was accessed. It can be composed of one or all of the following letters:
r w x
The memory at the specified address has been read The memory has been written to The memory has been executed
address-expression is any expression that can be evaluated to produce an address. If you give a symbolic expression, the size of the region to be watched is automatically deduced; you can override it by specifying byte-size-expression. You can also use nonsymbolic, typeless address expressions, in which case the size is mandatory. If you typed the following command, execution would stop after the memory address 0xfffffd7fffdff7a had been read:
(dbx) stop access r 0xfffffd7fffdff7a8, 4
If you typed the following command, execution would stop before the variable local had been written to:
(dbx) stop access wb &local
Keep these points in mind when using the stop access command:
The event occurs when a variable is written to, even if it has the same value. By default, the event occurs after execution of the instruction that wrote to the variable. You can indicate that you want the event to occur before the instruction is executed by specifying the mode as b.
The older stop modify command is still accepted for backward compatibility and maps to the appropriate stop access command:
stop modify address-expression [, byte-size-expression ]
In the following a.cc example, we would like to stop the process whenever the local variable is accessed for a write operation.
By default, the C++ compiler generates the a.out executable. Now let's run the dbx debugger on the a.out executable and set a data change breakpoint (watchpoint) for the local variable.
% dbx a.out For information about new features see help changes To remove this message, put dbxenv suppress_startup_message 7.6in your .dbxrc Reading a.out Reading ld.so.1 Reading libCstd.so.1 Reading libCrun.so.1 Reading libm.so.2 Reading libc.so.1 (dbx) stop in main (2) stop in main Running: a.out (process id 10452) stopped in main at line 16 in file "a.cc" 16 global = 0; (dbx) stop access w &local (3) stop access wa &local, 4 (dbx) cont watchpoint wa &local (0xfffffd7fffdff7c8[4]) at line 19 in file "a.cc" 19 local = 0; (dbx) cont watchpoint wa &local (0xfffffd7fffdff7c8[4]) at line 8 in file "a.cc" 8 *ip = 5; (dbx)
As shown, the stop access command with write access mode is used to set a watchpoint for the local variable. The &local syntax stands for the address of the local variable. The local variable is defined as a four-byte integer, hence the size of the region to be watched is automatically deduced and appended to the command syntax. The watchpoint trap is triggered twice for the local variable. The first time is when the local variable is assigned a value of zero in the main function. The second time is when the local variable is assigned a value of five in the poker method.
The fault probe fires when a thread experiences a machine fault. The fault probe has two arguments: The fault code is in args[0]. The kernel siginfo structure corresponding to the fault is pointed to by args[1]. The kernel siginfo_t structure is defined in the /usr/include/sys/siginfo.h header file. The siginf_t structure consists of a union of several structures. However, for this particular example, we are only interested in tracing the __addr and __pc fields of __fault structure. As shown in the fault.d D script, the aggregation is used in the proc::fault clause to collect data based on the following expressions:
execname args[0] args[1]->__data.__fault.__addr The executable name The fault code args[1] is a pointer to the siginfo_t structure. __addr is the address of a watched area in memory. args[1] is a pointer to siginfo_t structure. __pc is the address of the instruction that accesses the watched area in memory
args[1]->__data.__fault.__pc
The count()() function shows the number of times each fault is triggered in a process. The fault.d script needs to be run in a separate terminal window. The following dtrace command enables the fault probe in the Solaris kernel:
dtrace -s fault.d
At this point, the fault probe in the proc provider is enabled and waiting to collect data. Now, in a separate terminal window, let's run dbx on the a.out executable and enter the same sequence of commands shown in the previous section to set (and trigger) a data change breakpoint for the local variable. As it is instructed in the terminal window from which the dtrace command is invoked, the <control-c> command ends the execution of the fault.d script. DTrace generates the following output:
% dtrace -s fault.d Tracing hardware faults. Enter <control-c> to end. ^C EXECUTABLE FAULT ADDRESS PC a.out 3 401048 0 a.out 3 fffffd7fff3ce570 0
COUNT 1 1
4 4 12 12 3
0 0 401030 401069 0
1 1 1 1 2
The FAULT column lists all hardware faults that are traced in the a.out process. The FLTBPT fault or the number 3 is the breakpoint trap. The FLTTRACE fault or the number 4 is the trace trap (single-step). However, as mentioned before, we only need to pay attention to FLTWATCH fault or the number 12. Based on the output of the fault.d script, the a.out process incurred the watchpoint trap twice for the 0xfffffd7fffdff7c8 address. As you may have already guessed, 0xfffffd7fffdff7c8 is the address of the local variable in memory (see the output of dbx in the previous section). Two instruction addresses, 0x401030 and 0x401069, are listed in the PC (Program Counter) column. These two instructions contain a memory reference to the watched area (0xfffffd7fffdff7c8). Hence, the watchpoint trap is triggered for these instructions. The next step is to figure out what these two instructions are. You can use dbx to disassemble the code and inspect the assembly code for 0x401030 and 0x401069 instruction addresses. It is assumed that you are already familiar with dbx instruction-level debugging commands. Otherwise, the following article is recommended for reading before proceeding with rest of this section: AMD64 Instruction-Level Debugging With dbx. Below is the output of dbx. The dis command is used to disassemble the portion of code that correspond to the 0x401030 and 0x401069 instruction addresses. The regs command is used to display the contents of the general purpose registers.
(dbx) cont watchpoint wa &local (0xfffffd7fffdff7c8[4]) at line 8 in file "a.cc" 8 *ip = 5; (dbx) dis main 0x0000000000401040: main pushq %rbp 0x0000000000401041: main+0x0001: movq %rsp,%rbp 0x0000000000401044: main+0x0004: subq $0x0000000000000010,%rsp 0x0000000000401048: main+0x0008: movl $0x0000000000000000,global 0x0000000000401053: main+0x0013: movl $0x0000000000000000,stat 0x000000000040105e: main+0x001e: movl $0x0000000000000000,__1fEmain1AGflocal_ 0x0000000000401069: main+0x0029: movl $0x0000000000000000,0xfffffffffffffff8(%rbp) 0x0000000000401070: main+0x0030: movq $global,%rdi 0x0000000000401077: main+0x0037: movl $0x0000000000000000,%eax 0x000000000040107c: main+0x003c: call poker [ 0x401020, .-0x5c ] (dbx) dis poker 0x0000000000401020: poker : pushq %rbp 0x0000000000401021: poker+0x0001: movq& %rsp,%rbp 0x0000000000401024: poker+0x0004: subq $0x0000000000000010,%rsp 0x0000000000401028: poker+0x0008: movq %rdi,0xfffffffffffffff8(%rbp) 0x000000000040102c: poker+0x000c: movq 0xfffffffffffffff8(%rbp),%r8 0x0000000000401030: poker+0x0010: movl $0x0000000000000005,0x0000000000000000(%r8) 0x0000000000401038: poker+0x0018: leave 0x0000000000401039: poker+0x0019: ret 0x000000000040103a: poker+0x001a: nop 0x000000000040103c: _ex_deregister+0x01f4: nop (dbx) regs current frame: [1] r15 0x0000000000000000 r14 0x0000000000000000 r13 0x0000000000000000 r12 0x0000000000000000 r11 0xfffffffffbc01ec8
r10 0x0000000048fe9d0a r9 0x00000000000015da r8 0xfffffd7fffdff7c8 rdi 0xfffffd7fffdff7c8 rsi 0xfffffd7fffdff7f8 rbp 0xfffffd7fffdff7b0 rbx 0xfffffd7fff3fac40 rdx 0xfffffd7fffdff808 rcx 0x0000000000093182 rax 0x0000000000000000 trapno 0x0000000000000001 err 0x0000000000000000 rip 0x0000000000401030:poker+0x10 movl $0x0000000000000005,0x0000000000000000(%r8) cs 0x0000000000000053 eflags 0x0000000000000286 rsp 0xfffffd7fffdff7a0 ss 0x000000000000004b fs 0x0000000000000000 gs 0x0000000000000000 es 0x000000000000004b ds 0x000000000000004b fsbase 0xfffffd7fff382000 gsbase 0x0000000000000000 (dbx)
As shown above, the watchpoint is triggered when the number 5 is assigned to the *ip formal parameter inside of the poker method at line 8 of the a.cc program. Similarly, the same assignment operation can be observed at the assembly level. The movl instruction at the 0x401030 address dereferences the content of the %r8 register and assigns 5 to the variable whose address is 0xfffffd7fffdff7c8 (the local variable).
In Conclusion
The hardware-assisted watchpoints in dbx are fast and very useful for debugging extremely difficult software defects. A watchpoint, also known as data change breakpoint, can be used in dbx to stop a program when the value of a variable or expression has changed. The DTrace facility enables you to monitor the internal states of the Solaris kernel in ways you could not have done it before. A simple D script, as shown in this article, can reveal how the Solaris kernel interacts with applications during execution. Finally, using dbx and DTrace simultaneously creates the ultimate debugging environment to unravel the most obscure software defects in your applications and even the Solaris kernel itself.
Copyright 2008 Sun Microsystems, Inc. All rights reserved. Sun Microsystems, Inc. has intellectual property rights relating to technology embodied in the product that is described in this document. In particular, and without limitation, these intellectual property rights may include one or more U.S. patents or pending patent applications in the U.S. and in other countries. U.S. Government Rights Commercial software. Government users are subject to the Sun Microsystems, Inc. standard license agreement and applicable provisions of the FAR and its supplements. This distribution may include materials developed by third parties. Parts of the product may be derived from Berkeley BSD systems, licensed from the University of California. UNIX is a registered trademark in the U.S. and other countries, exclusively licensed through X/Open Company, Ltd. Sun, Sun Microsystems, the Sun logo, the Solaris logo, the Java Coffee Cup logo, docs.sun.com, Java, and Solaris are trademarks or registered trademarks of Sun Microsystems, Inc. in the U.S. and other countries. All SPARC trademarks are used under license and are trademarks or registered trademarks of SPARC International, Inc. in the U.S. and other countries. Products bearing SPARC trademarks are based upon an architecture developed by Sun Microsystems, Inc. The OPEN LOOK and SunTM Graphical User Interface was developed by Sun Microsystems, Inc. for its users and licensees. Sun acknowledges the pioneering efforts of Xerox in researching and developing the concept of visual or graphical user interfaces for the computer industry. Sun holds a non-exclusive license from Xerox to the Xerox Graphical User Interface, which license also covers Sun's licensees who implement OPEN LOOK GUIs and otherwise comply with Sun's written license agreements. Products covered by and information contained in this publication are controlled by U.S. Export Control laws and may be subject to the export or import laws in other countries. Nuclear, missile, chemical or biological weapons or nuclear maritime end uses or end users, whether direct or indirect, are strictly prohibited. Export or reexport to countries subject to U.S. embargo or to entities identified on U.S. export exclusion lists, including, but not limited to, the denied persons and specially designated nationals lists is strictly prohibited. DOCUMENTATION IS PROVIDED AS IS AND ALL EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT, ARE DISCLAIMED, EXCEPT TO THE EXTENT THAT SUCH DISCLAIMERS ARE HELD TO BE LEGALLY INVALID. 820-4216
Sun Microsystems, Inc. 4150 Network Circle, Santa Clara, CA 95054 U.S.A.