Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Screen reader users: click this link for accessible mode. Accessible mode has the same essential features but works better with your reader.

Patents

  1. Advanced Patent Search
Publication numberUS20040040013 A1
Publication typeApplication
Application numberUS 10/229,186
Publication dateFeb 26, 2004
Filing dateAug 26, 2002
Priority dateAug 26, 2002
Also published asCN1277207C, CN1487415A, US20110029958
Publication number10229186, 229186, US 2004/0040013 A1, US 2004/040013 A1, US 20040040013 A1, US 20040040013A1, US 2004040013 A1, US 2004040013A1, US-A1-20040040013, US-A1-2004040013, US2004/0040013A1, US2004/040013A1, US20040040013 A1, US20040040013A1, US2004040013 A1, US2004040013A1
InventorsMohit Kalra
Original AssigneeMohit Kalra
Export CitationBiBTeX, EndNote, RefMan
External Links: USPTO, USPTO Assignment, Espacenet
Time-based breakpoints in debuggers
US 20040040013 A1
Abstract
A time-based breakpoint facility is provided in a debugger, to allow programmers to establish time-based breakpoints at any line of code. If the line is executed and the time specified elapses, then the program execution consequently stops. The debugger keeps track of the time elapsed for each such time-based breakpoint. There may be many criteria for calculation of the time for each breakpoint.
Images(10)
Previous page
Next page
Claims(15)
I claim:
1. A method for debugging a computer program using a time-based breakpoint suitable for assisting in debugging a computer software program, the method comprising the steps of:
encountering a breakpoint associated with execution of code that is being debugged;
activating a timer to monitor a measure of time;
monitoring the timer to determine when the monitored time exceeds a predetermined period of time; and
performing a predetermined action once the monitored time exceeds the predetermined time period.
2. The method as claimed in claim 1, wherein the monitored timer measures time elapsed since the breakpoint was encountered.
3. The method as claimed in claim 1, wherein the monitored timer measures time elapsed during which a central processing unit executes a relevant process, since the breakpoint is encountered.
4. The method as claimed in claim 1, wherein the monitored timer measures time elapsed during which a central processing unit executes a relevant process and a an operating system kernel, since the breakpoint is encountered.
5. The method as claimed in claim 1, wherein the predetermined action comprises the step of suspending execution of a relevant process, which process relates to the code being debugged.
6. The method as claimed in claim 1, wherein the predetermined action comprises the step of inserting a further breakpoint in the code being debugged.
7. The method as claimed in claim 1, further comprising the step of:
suspending execution of a relevant process, which relates to the code being debugged, once the breakpoint is encountered.
8. The method as claimed in claim 7, wherein the predetermined action comprises the step of resuming execution of the suspended process, which process relates to the code being debugged.
9. The method as claimed in claim 7, further comprising the step of resuming execution of the suspended relevant process after said step of suspending execution of the relevant process.
10. The method as claimed in claim 9, wherein the monitored timer measures time elapsed since execution of the relevant process is resumed.
11. The method as claimed in claim 10, wherein the predetermined action comprises the steps of:
re-suspending execution of the relevant process;
deactivating the encountered breakpoint in the code being debugged; and
resuming execution of the re-suspended relevant process, after deactivating the encountered breakpoint.
12. The method as claimed in claim 10, wherein the predetermined action comprises the steps of:
re-suspending execution of the relevant process;
removing the encountered breakpoint in the code being debugged; and
resuming execution of the re-suspended relevant process, after deactivating the encountered breakpoint.
13. The method as claimed in claim 8, wherein the predetermined action is performed only if user input is not received within the monitored time.
14. Computer software, recorded on a medium, for debugging a computer program using a time-based breakpoint suitable for assisting in debugging a computer software program, the computer software comprising:
code means for encountering a breakpoint associated with execution of code that is being debugged;
code means for activating a timer to monitor a measure of time;
code means for monitoring the timer to determine when the monitored time exceeds a predetermined period of time; and
code means for performing a predetermined action once the monitored time exceeds the predetermined time period.
15. A computer system for debugging a computer program using a time-based breakpoint suitable for assisting in debugging a computer software program, the computer system comprising:
means for encountering a breakpoint associated with execution of code that is being debugged;
means for activating a timer to monitor a measure of time;
means for monitoring the timer to determine when the monitored time exceeds a predetermined period of time; and
means for performing a predetermined action once the monitored time exceeds the predetermined time period.
Description
FIELD OF THE INVENTION

[0001] The present invention relates to the use of breakpoints in debuggers, particularly the use of debuggers to initiate time-based breaks.

BACKGROUND

[0002] Debuggers are vital tools for developers when coding and maintaining existing code. Existing debuggers provide many facilities to programmers, to help programmers remove existing bugs, or understand the operation of a program. One existing feature of debuggers is means of inserting what are referred to as breakpoints.

[0003] Table 1 tabulates a list of different types of breakpoints, and an indication of how they operate. Execution of the program stops at the breakpoint so that the programmer can step into the code line-by-line, or resume execution of the program as required. The programmer can determine the values of program variables at each line of code that is executed, when the breakpoint is operative.

[0004] Breakpoints are the most used feature of any debugger. Current debuggers provide many kinds of breakpoints. The debugger generally stops the program execution, depending on the type of breakpoint reached.

[0005] One disadvantage associated with existing debuggers is that there are no breakpoints that stop program execution after a certain time has elapsed. That is, there is no breakpoint that comes into effect only after a certain time period has elapsed. There are two workarounds used to achieve the same effect. These are briefly outlined directly below.

[0006] A first workaround involves manually keeping track of the time, and then breaking the program when the specified time period has elapsed. This technique is inaccurate, especially when the time delays are very small. Further, a programmer is required to keep track of time manually. Hence, this technique is relatively cumbersome, and is prone to error. For large time delays, if the programmer fails to break the program execution, the whole process may need to be repeated once again.

[0007] A second workaround involves reprogramming the original code with additional code, such as the code presented in Table 2.

[0008] If the code is recompiled with the additional statements presented in Table 2, and a breakpoint is set at the “Dummy Statement”, the same effect is obtained.

[0009] A particular disadvantage of this technique, however, is that the source files need to be changed. If the build procedure takes a long period, then the process of changing the code and rebuilding is undesirable. Moreover, programmers must take care to remove the above code for release or “production-ready” builds.

[0010] In view of the above observations, a need clearly exists for an improved manner of providing time-based breakpoints for use when debugging computer programs.

SUMMARY

[0011] A time-based breakpoint facility is provided in a debugger that allows programmers to establish time-based breakpoints at any line of code. If the line is executed and the time specified elapses, then the program execution consequently stops. The debugger keeps track of the time elapsed for each such breakpoint. There may be many criteria for calculation of the time for each breakpoint.

[0012] The timer of a breakpoint can be started when the program execution starts. The timer of the breakpoint can be started when the line is reached for the first time (that contains the breakpoint). The timer of the breakpoint can also be based on the CPU time a process obtains.

[0013] The debugger handles the time calculation for each breakpoint whenever the execution of the program stops because of another breakpoint. A breakpoint that comes into effect after a certain time has elapsed and is non-functional prior to coming into effect.

[0014] The time-based breakpoint can be combined with existing breakpoints to provide greater functionality and flexibility to the programmer. Time-based breakpoints are useful if “time” is a preferred parameter for breaking the execution of the program, compared with other parameters such as specific conditions or storage changes.

DESCRIPTION OF DRAWINGS

[0015]FIG. 1 is a flowchart of steps presenting how time-based breakpoints are inserted in the executable image of the program in memory.

[0016]FIG. 2 is a schematic representation presenting how time-based breakpoints are inserted in the executable image of a program when it is run in the debugger.

[0017]FIG. 3 is a flowchart presenting how triggers are inserted in the executable image of a program in memory.

[0018]FIG. 4 is a flowchart of steps taken by a debugger when a trigger is encountered during the program execution.

[0019]FIG. 5 is a flowchart of steps taken by a debugger when a trigger is encountered during program execution, including steps involved in installing a recurring trigger.

[0020]FIG. 6 is a schematic representation of an example in which program execution and a single time-based breakpoint is shown with respect to time.

[0021]FIG. 7 is a schematic representation of an example in which program execution and a single time-based breakpoint is shown along with multiple debug operations with respect to time.

[0022]FIG. 8 is a schematic representation of an example in which a program execution and multiple time-based breakpoints are shown with respect to the time.

[0023]FIG. 9 is a schematic representation of a computer system suitable for performing the techniques described with reference to FIGS. 1 to 8.

DETAILED DESCRIPTION

[0024] Debugging describes a process of eliminating bugs from a program by observing memory contents, or by observing execution flow of the program. The debugging process helps to locate and correct logical errors that go undetected during compilation of source files. A debugger is a tool that facilitates this process, and breaks program execution at locations in code, as instructed by a programmer. This type of debugging technique is called interactive debugging, in which the debugger breaks execution of the program being debugged and allows a programmer to interact with the debugger through a user interface.

[0025] The technique is also called breakpoint debugging, because the debugger suspends program execution by allowing programmer to set the breakpoints in the program, and allows the programmer to observe and alter the state of a program.

[0026] A program state at any instant comprises register values, and memory contents that are used to store the data of the program. The debugger allows programmers to set breakpoints directly in the source code, for speed and simplicity. The source code is mapped to machine instructions by using additional information stored in the program file, referred to as debugging information. This debugging information may be included in the same file or as a separate file.

[0027] Compiling the source files with an appropriate option usually generates this debugging information. Thus, debuggers are capable of mapping source code information to the corresponding machine level instructions. The source code is contained in source files, Whereas machine instructions are stored in the program's executable file. The compilation process, followed by linking, converts source code instructions to machine instructions. Part of the debugging information that is generated by the compilation process is used to map the source level instructions to the machine instructions and vice versa.

[0028] The debugger reads this information from the file and puts the information in an appropriate data structure such as an array of structures, a tree, a hash table, etc. This data structure is used to associate the source code with the machine code when the debugger inserts the breakpoints in the executable image of the program in memory.

[0029] Breakpoints are not set at compile time but when the program is in memory as the debugger executes. The breakpoints are set in memory when a program starts. A new breakpoint can also be inserted when the program suspends execution and waits for the programmer to complete debugging operations, such as examining the memory or setting new breakpoints. This process of setting breakpoints is performed through the user interface that may also store the breakpoint list when the programmer exits the debugger, so that the breakpoints are not lost when the program is debugged during the next session.

[0030] The process of debugging involves one program controlling the execution of another program. The controlling program is the debugger and the program being controlled is the program that is being debugged. This is form of a master-slave relationship, and the debugger controls the flow of execution according to the programmer's needs. Thus, the debugger should be capable of accessing, reading, and writing to the child program's memory. The debugger may wish to read or write machine instructions, register values, or variables of the child program. Apart from reading the memory, and reporting the state of the program to the programmer, the debugger may also wish to alter the contents of the child's memory. This ability is essential to set breakpoints, or alter memory when the programmer requests the debugger to write to some variables or registers using the user interface.

[0031] Modern operating systems operate the processor in a special mode called “protected mode”. An important feature of protected mode is that one program is not permitted to access the memory of another program to avoid memory corruption. The operating system provides a mechanism for programs to communicate with each other. This facility to let two processes communicate is termed interprocess communication and programs use it extensively. There may, for example, be a need for one program to notify another program that an event has taken place. The event can be a window resizing, a resource being released, etc.

[0032] These events are communicated by operating system signals or messages. A signal is a mode of interprocess communication. An important event is to notify the child process to suspend execution immediately. Any process can raise the signal but this is of use to debuggers that may want to suspend the program execution immediately at any given point of time. This is different when the program execution suspends because of a break instruction that raises an exception. Exception-based suspension of processes allows breakpoints to be implemented, as described below.

[0033] In Unix-based operating systems, raising a signal called SIGSTOP stops a process at that instant. The process suspends execution immediately, as soon as the signal is delivered to the process. Corresponding messages exist on different operating systems. As mentioned earlier, signals are a mechanism by which two processes can communicate with each other. Therefore, one process sends a signal and another accepts the signal. The signal is usually routed through the operating system that ensures that the signal is sent to the correct process. The kernel also sends signals to processes to notify them of various events Such as an invalid memory access, an input output error, etc. Thus, current operating systems provide a mechanism by which one process can notify another process to suspend its execution until further notice.

[0034] Operating systems maintain system time with the help of a hardware clock. Internally, the operating system kernel uses the hardware clock to schedule processes in a multiprocessing system. The kernel also provides system calls to the programs for any time-related functionality. The user can use these calls to set the time, or obtain the system time, or to be notified regularly after a certain time interval.

[0035] The operating system can also provide, for the sake of accuracy, an interface to the Real Time Clock (RTC) on the motherboard hardware. The programs can communicate with the RTC directly for higher precision. Programs can thus request the operating system or the RTC to inform them when a specified period elapses. These timers can be “one-shot” timers that inform the process only once, or periodic timers that signal to a process at regular intervals, when a specified time interval elapses.

[0036] As described above, a debugger controls a child process being debugged. A debugger also intercepts signals that are sent to the child process, to gain complete control over the child process. The debugger receives all signals that are sent to the child process, and routes them to the child depending on whether instructed by the programmer. When some instruction generates an exception in a child process, the corresponding signal is first sent to the debugger. This mechanism detects if a break instruction is reached. The break exception notifies the debugger that the child process has suspended execution, because the child process has executed an instruction at which the programmer had set a breakpoint using the debugger.

[0037] Breakpoints are implemented both in hardware and software. Debuggers usually use both these kinds of implementations collectively known as breakpoints. Some hardware provides a feature of setting breakpoints by making use of debug registers that are a part of the chip. These kinds of breakpoints are known as hardware breakpoints and can be of two kinds: (i) data breakpoints or (ii) instruction breakpoints.

[0038] Data breakpoints break program execution when a specified memory location or input output port is accessed. Instruction breakpoints stop program execution whenever the specified location in code is reached. Breaking execution transfers control to the debugger procedure. This is achieved using hardware.

[0039] For example, in Intel x86 central processing unit architectures, there are eight debug registers (D0 through D7). Four registers (namely D0, D1, D2, D3) are used to set breakpoints. These registers store a 32 bit linear address for which the breakpoints are to be set. Registers D4 and D5 are used for advanced debugging. Registers D6 and D7 respectively act as status and control debug registers.

[0040] To set an instruction breakpoint, the address of the instruction is stored in any of the unused debug registers D0 through D3. D7 is set appropriately to indicate that the breakpoint is an instruction breakpoint. The hardware throws a debug exception when the processor attempts to execute the instruction at the specified address. The exception is thrown before the instruction is executed and the debug procedure is required to clear the breakpoint so that the exception is not raised again.

[0041] By contrast, in the case of data breakpoints, a trap-exception is generated only after a memory location or an input/output port is accessed. The hardware also provides machine instructions to single step the child program.

[0042] One problem with hardware breakpoints is that this feature is hardware dependent, and some architectures may not support hardware breakpoints. Hardware breakpoints are limited in number and consequently debuggers implement software breakpoints. Software breakpoints are breakpoints that are implemented by changing the executable code of the program being debugged. This is done in memory, and not on the executable file. The code of the program being debugged is “patched” by the debugger.

[0043]FIG. 1 flowcharts steps involved in inserting breakpoints in an executable image of a program in memory, when the program is run in a debugger.

[0044] When a breakpoint is set at a line of code, the debugger performs the following steps presented in Table 1 below.

[0045] Breakpoints are hit or reached whenever a break instruction raises an exception. Control then passes to the debugger procedure. The debugger informs the user that a breakpoint has been reached. When the user continues execution, the debugger replaces the break instruction with the original instruction (that the debugger previously stored as noted above) and then executes the instruction. After executing the instruction, the debugger stores the original instruction once again and replaces the original instruction with the break instruction, so that the breakpoint is not lost. This is equivalent to disabling the breakpoint for one instruction and then enabling the breakpoint once the original instruction has been executed. Usually all breakpoints retain the break instruction once the breakpoint is hit, but this behavior may differ for different kinds of breakpoints. For example, temporary breakpoints do not replace the original instruction with a break instruction when the breakpoint is hit, because temporary breakpoints are one-time use breakpoints and therefore they do not require the break instruction to be retained.

[0046]FIG. 2 schematically represents an example of the procedure flowcharted in FIG. 1. A program code fragment 210 includes a breakpoint. Subsequently, the debugger determines where in the corresponding machine instructions 220 the breakpoint is to be placed. In FIG. 2, an example assembler instruction is used for ease of understanding. The debugger then replaces the relevant machine instruction 240 with a breakpoint 230, and saves the original instruction 240 in memory.

[0047] As explained above, the debugger needs to patch code and insert code that throws exceptions. This may be done directly by the debugger. Many operating systems do not allow a process to access the address space of another process. The operating system usually provides a system call (which is an interface to request a service from the kernel) to allow debuggers to patch the code and read the variables of the program that is being debugged. The system call acts as the mechanism to control the child program running in the debugger. This allows the debugger to intercept the exceptions and the signals to gain full control over the program.

[0048] Debuggers use the ptrace( ) system call that is provided by almost all Unix clones. the ptrace( ) system call permits the debugger to read or write the memory, the registers, watch points (data breakpoints in hardware), etc in the child's address space. The debugger can set software breakpoints by changing the code in memory, or the debugger can set the hardware breakpoints by setting the registers of the child process.

[0049] When a program is run in a debugger, the debugger acts as the parent program and spawns as its child the program being debugged. Thus, the debugger and program being debugged have a parent-child relationship. The prime purpose of the debugger is to control and observe the child program. Therefore, after spawning the child process, the debugger waits while the child program is running. The operating system stops the child program each time a signal is delivered to the child program. The operating system then notifies the parent program (in this case the debugger) that the child has stopped. The debugger can query the reason why the child stopped.

[0050] When a programmer inserts breakpoints and runs the program in the debugger, the debugger spawns the program as its child program and waits to be informed by the operating system. When a breakpoint is reached, the program raises an exception and the child program is moved to a stopped state. The operating system informs the debugger that the child program has stopped. Thus, on reaching a breakpoint, the control is passed from the child program to the debugger. When a child is running, the debugger waits infinitely for some event to take place in the child program. When the control is passed to the debugger, the child process is always in a stopped state.

[0051] In summary, there exist mechanisms by which the following functionality can be achieved.

[0052] 1. A debugger can map machine instructions to the source code and vice-versa by using debugging information that is generated during compile time.

[0053] 2. A process is capable of suspending execution of another process whenever the process chooses to do so. To achieve this end, the process uses a mechanism to notify the other process. For example, one process may notify another process by using signals that that are provided by the operating system.

[0054] 3. The debugger is capable of completely controlling the child process. This is a basic requirement for any interactive debugger.

[0055] 4. The operating system provides timing information to a process by interface-called system calls, or by allowing the process to communicate with the hardware clock directly.

[0056] 5. The debugger can insert and disable breakpoints in hardware or in software by accessing and altering the address space or the registers of the child process. This can be done either by directly altering the child's memory (or registers), or by requesting the operating system to do so.

[0057] The described debugger allows program execution to be stopped at a certain time “when” the programmer desires to do so. Such a breakpoint type, where time is the parameter to stop the program execution, is termed herein a time-based breakpoint.

[0058] Time-Based Breakpoints

[0059] As described earlier, breakpoints are used to suspend program execution in an interactive debugger so that the programmer can query the program's state, and the flow of execution. This is done by setting special registers in hardware, or by patching the memory in software. Insertion of time-based breakpoints involves detecting when to start a timer, keeping track of the time that has elapsed, and then breaking the execution of the child program when appropriate.

[0060] Like most other breakpoints, a time-based breakpoint is associated with a line of code. When the relevant line of code is executed, a corresponding timer is started. The execution of the line of code acts as a trigger for the timer. Once the line is executed, the trigger is activated and the timer is started. The program execution stops once the time has elapsed. The details of obtaining such an effect are explained below.

[0061] Triggers

[0062] A program is “run” in the debugger when the programmer provides a command to the debugger through the user interface. This command may be “run” or “go” typed on the command line provided by the debugger, or can be in the form of a shortcut key or a mouse-click action. When the program is ready to run, the debugger sets the breakpoints in the executable image in memory by the mechanisms described above.

[0063] The user sets a time-based breakpoint in the source file and the debugger determines the instruction that acts as a trigger to start the timer. The process of checking the location of the instruction being executed in the child process and then comparing this location with the trigger location can be relatively time-consuming and inefficient.

[0064] Accordingly, an alternatively technique is used. Instead of determining whether a trigger has been reached, the child process notifies the parent process whenever the child process reaches an instruction where the trigger has been set.

[0065]FIG. 3 flowcharts steps involved in how triggers are inserted in an executable image of the program in memory. The technique used is similar to that used for breakpoints, and therefore the steps used to insert a trigger are similar to those used for inserting a breakpoint. These steps of FIG. 3 are tabulated in Table 2 below, using correspondingly numbered steps.

[0066] As the process described above with reference to FIG. 3 is very similar to setting breakpoints, the debugger can set triggers without difficulty. When the trigger instruction is reached while executing the program in the debugger, program execution breaks to allow the debugger to start the timer, and not for the programmer to perform the debugging operations. Suspension of program execution is temporary. The programmer who is using the debugger does not notice any difference in the execution of the program.

[0067] The trigger instruction starts the timer of the breakpoint, and then resumes program execution.

[0068]FIG. 4 flowcharts steps involved when a trigger is encountered during the program execution. These steps are described in Table 3 below, correspondingly numbered steps. When a trigger is reached, the debugger raises a break exception, which is similar as in the case of a normal breakpoint.

[0069] Therefore, the debugger determines whether the break exception is raised by a trigger or by a breakpoint. If the trigger raises the break exception, then the timer is started and the program execution is continued. If a breakpoint raises the break exception, then the debugger allows the programmer to perform the usual debugging operations.

[0070] The debugger needs to perform a simple search in its list of time-based breakpoints in order to determine whether a break instruction is a trigger or a breakpoint.

[0071] The above-described steps enable programmers to set one-time use triggers only. That is, the trigger are lost once the trigger is reached, unless the program is restarted. As an extension of the above trigger, a recurring trigger can be implemented by reinserting the trigger, preference to performing above described in step 430, as described in Table 4 below.

[0072]FIG. 5 flowcharts steps additional steps needed to install a recurring trigger. For recurring triggers, a policy is implemented concerning how timers should be started, if the timers are already running. The debugger may choose to neglect such triggers, or may restart a respective timer. Alternatively, different timers may be maintained for each trigger. Such policy decisions, and the implementation of a recurring trigger are simple extensions of the described “one-time use” trigger.

[0073]FIG. 5 involves steps 510 to 520 and 540 to 560 that correspond with steps 410 to 420 and 440 to 460 described with reference to FIG. 4. That is, FIG. 5 involves all the steps of FIG. 4, except for step 430, which is replaced with step 530 as described in Table 4 above.

[0074] Internally, breakpoints and triggers force the program being debugged to raise exceptions so that the debugger can be notified of the event. Both triggers and breakpoints insert a break instruction to achieve this effect. Triggers and breakpoints tend to differ once the break instruction is hit. On one hand, breakpoints cause the debuggers to pass the control to the user interface thread, so that the programmer can examine the memory contents and register values. The program execution resumes only when the programmer chooses to do so. Therefore, the programmer is well aware whenever a breakpoint is hit.

[0075] By contrast, triggers start timers internally and continue program execution without passing control to the user interface thread. The program execution resumes as soon as the timers for the time-based breakpoints are started. Continuing program execution is not dependent on a programmer's inputs, and there is no loss in functionality of the trigger if the user is not informed when the trigger is hit. Thus, breakpoints actually break the program execution for the programmer, whereas the triggers break program execution momentarily so that the timers can be started.

[0076] Timers

[0077] The timer is the entity in time-based breakpoints that keeps track of time elapsed since the trigger was first reached. The timers are implemented using an external clock, either directly or via the operating system that interfaces with the clock.

[0078] A timer can provide different ways in which the time elapsed is accounted, the calculation of time during a debug operation and the action to be performed when the specified time elapses. Each of these aspects is described below.

[0079] The programmer selects the technique by which he or she wishes to calculate time, once the timers have been started. The selected technique depends entirely on the programmer's particular needs.

[0080] In multiprogramming environments, a program is usually not allocated the full processing time of the CPU (Central Processing Unit). The program instead only uses a fraction of the total available time, referred to as a “time slice”. Time slicing gives an appearance that many processes are running concurrently, even if there is only one CPU.

[0081] Different examples of techniques for time calculation are as follows:

[0082] (i) The “wall-clock” time tracks of the time elapsed. The time calculation is performed as if an external entity is using an accurate stopwatch to calculate the time elapsed.

[0083] (ii) The calculation is based on time elapsed while the program is in execution. This means that the time calculation is done only while the process is getting its share of the time slice. This is analogous to an external accurate stopwatch that only runs when the process (being debugged) is allocated CPU time. When the other processes are getting CPU time, the stopwatch is in a paused state.

[0084] (iii) The time elapsed while the program is in execution and the time taken by the kernel to fulfill requests on behalf of the process. The kernel does many low-level jobs to fulfill the requests of a process. This is done on behalf of the process to avoid low level corruption (such as corruption of memory, files on a hard disk etc.). This technique is similar to technique (ii), but also includes the time that the kernel is allocated for the process.

[0085] (iv) Time calculated based on the “uptime” of the system. This represents the time elapsed since the system was booted.

[0086] The debugger requires the operating system to provide a facility for time calculation as the operating system couples with the clock and provides an interface to the user space programs. The kernel can provide techniques (ii), (iii) and (iv), because the operating system is responsible for scheduling the processes or keeping track of the time since the system booted.

[0087] Timing information can also be obtained by other techniques other than from the operating system. For example, in hardware, the timer may signal the chip when the time has elapsed. This event may actually set the bit in the debug registers to enable the breakpoint.

[0088] The abovedescribed four techniques are existing techniques of using the timer facility provided by the kernel. These kinds of timing accounting methods are used by existing operating systems, such as Linux. Other time accounting techniques may be included depending on the need of the debugger and the facilities that are available to implement such techniques.

[0089] A timer can be of two kinds—periodic or “one-shot”. A one-shot timer informs a process that the timer has expired only once, whereas a periodic timer does the same repeatedly. The choice of the kind of timer depends on what is to be implemented. In the case of a time-based breakpoint, a regular check is made on the time elapsed, or the CPU time consumed by a process, or even the uptime of a system.

[0090] When the debugger stops execution of a child process, the child process is not allocated the time slice until the debugger runs the process again. Therefore, operating systems usually do not provide alarm mechanisms based on the CPU time of the child process.

[0091] Alarms are notifications sent to a process when a timer expires.

[0092] Alarms are provided for “wall-clock” timers because the clock is always running, irrespective of the process that is allocated the CPU time. So, if the time accounting technique is other than the “wall-clock” time accounting technique, then a periodic check is made to determine whether the time has elapsed.

[0093] To provide greater flexibility to the programmer, a debugger may automatically pause the timer when the debugging operations are performed. This can be a very useful feature, if the programmer does not want to include the time spent in debugging in calculating the total time elapsed for the timer of the breakpoint. The precision of such a calculation can vary for different implementations.

[0094] A periodic timer can be used for such calculations, as described herein. A periodic timer may also be needed when the time elapsed is based on the CPU time a process is allocated, because the kernel does not inform the debugger when the timer has expired. To this end, the debugger periodically checks the CPU time that the process is allocated. An optimal solution for breakpoint timers is to have one timer with each breakpoint. Each such timer is desirably able to make a call to a function of its choice.

[0095] In practice, due to limitations and overheads of multiple timers, a main periodic timer can be used to keep track of the expiry times for all breakpoints. Henceforth, such a periodic timer is called a delta timer because the delta timer is allocated a pulse every delta units of time, so that the timer can either keep track of the time for the debugger, or make periodic checks of whether other timers have expired.

[0096] Therefore, “starting a timer for a breakpoint” may be implemented such that the expiry, time of the breakpoint is registered with the delta timer, and there is no individual timer for that breakpoint. The triggers are mechanisms to start the timer for a breakpoint. Once the timer expires, the debugger should call the appropriate function.

[0097] The debugger starts the delta timer with an appropriate value of delta to control the precision of the timer. This timer can be set and started at the debugger initialization, or when the first trigger is reached. When a periodic timer is set, the operating system notifies the process whenever the timer expires. Similarly, in the case of a delta timer, the kernel notifies the debugger after every delta units of time.

[0098] The procedure that is called when the timer expires is called the handler procedure. The handler procedure is programmed according to the functionality expected by the application that is using the timer.

[0099] In the case of a debugger, this can be accounting the time that has elapsed, or performing check of whether a timer has expired. Optionally, the delta timer can be instructed to stop accounting time during a certain period. For example, the delta timer can be instructed to stop when the programmer wants to examine the program's state when a breakpoint is hit. Therefore, the delta timer keeps track of the time elapsed only when the timer is enabled to do so.

[0100] One implementation of a delta timer can involve the debugger installing a signal handler for an interval timer that expires every delta units of time. This handler is invoked when the kernel sends the signal to the debugger when the interval specified for the timer expires.

[0101]FIG. 6 schematically represents a simple example in which the programmer chooses to place a single time-based breakpoint. There are no debugging interruptions during the child program's execution and therefore one can assume that the programmer did not place any other kinds of breakpoints, or the debugger disabled any such breakpoints when the trigger was encountered.

[0102]FIG. 6 includes a Time axis 610. The trigger is reached at the time T1 620 and the programmer wants the program to break at time T1′ 620′. The expiry of the timer is T seconds. That is, T=T1−T1.

[0103] As there is a single time-based breakpoint, the debugger starts the delta timer when the time is T1 and then keeps checking whether the time elapsed has reached T1′. When this happens, the debugger sends a signal to the child process to inform the child process to stop its execution. The state of the program can then be examined by the programmer.

[0104] This simple case involves no other debugging operations. If a debugger is designed such that all debugging operations are disabled and the time-based breakpoints are limited to one only, then a simple interval timer can replace the delta timer.

[0105] The interval timer starts accounting time when a trigger is encountered and notifies the debugger only when the timer expires. Upon receiving the notification, the debugger should suspend the child program's execution.

[0106]FIG. 7 schematically represents two cases that involve debugging operations while a program is being executed in the debugger. The first case has only one debugging operation between the time the trigger is reached and the time at which the program is to break.

[0107] The programmer may wish to disregard time spent during debugging. In the first case, the calculated time elapsed between T1 720 and T1′ 720′ is not simply the difference between these two times. This is because the relevant time also includes time TD 725 that is the time spent during debugging. Therefore, if the programmer chooses to disregard time TD 725, then the delta timer stops during the period when debugging operations are performed. Such a feature is desirable, especially if TD 725 is greater than T.

[0108] The second case involves two debugging sessions that take times TD1 735 and TD2 740. This second case is the same as the first case, except that debugging time is broken into two and distributed on the time axis 710. If the two debugging operations are replaced with a single debug operation such that TD=TD1+TD2, then both cases are essentially the same. If the delta timer is stopped during the debugging operations and then if a time graph is drawn for the delta timer, such a graph appears as that represented in FIG. 6, for the simple case of no debugging operations.

[0109] The time axes 610, 710 for FIGS. 6 and 7 represents only virtual time for which the timer accounts, and not real time that has elapsed. Thus, even if there are debugging operations between the times the trigger is reached and the time the programmer wants to break the program, the delta tinier's time graph is equivalent to the case when there are no debugging operations at all. This is possible if there is a mechanism to stop the delta timer

[0110] When the CPU time consumed acts as the expiry time, then the kernel does not account for time when a process is stopped under the control of the debugger. Therefore debugging operations do not affect this accounting. The “wall-clock” timer is that for which the programmer may want the timer to stop accounting during debugging operations.

[0111]FIG. 8 schematically represents another example of multiple time-based breakpoints during the program's execution. The triggers are encountered in the order T1 820, T2 830, T3 840 and T4 850 along time axis 810. To account for multiple expiry times T1′ 820′, T2′ 830′, T3′ 840′ and T4′ 850′, the delta timer works on behalf of the trigger that has the earliest expiry time. In FIG. 8, the timer sets its expiry at the time T1′ 820′ when the timer first encounters the first trigger at time T1 820. When the second trigger is encountered, the expiry time does not change because T1′ 820′ is less than T2′ 830′. For the third trigger, the timer re-adjusts its expiry time when the timer encounters the trigger at time T3 840′. This is because the expiry time of the third trigger (T3′ 840′) is less than the expiry time registered with the timer (T1′ 820′). The fourth trigger has its expiry time at T4′ 850′ which is the highest of all expiry times. When the first expiry time is reached, the debugger takes appropriate action. The timer then readjusts its expiry time to T1′ 820′, which is now the minimum expiry time out of all the expiry times of the remaining three triggers.

[0112] As execution proceeds, the expiry times are set to T2′ 830′ and T4′ 850′ in that order. The changes in the expiry time of the timer are based on the fact that T3′ 840′<T1′820′<T2′830′<T4′ 850′. Therefore, the expiry time is re-adjusted whenever a trigger is encountered. As described above, if the program execution breaks, the delta timer's graph is the same as if no debug operations were present. This is possible if the timer stops accounting for time during those periods. Similarly, if such a timer is used in this case, then the time graph of the delta timer is as for FIG. 8.

[0113] The implementation of time-based breakpoints, and timers, can vary and the above cases may differ from the implementations described. The end goal in each case is to allow debuggers to suspend execution when a specified time has elapsed. If the programmer wants the timer to stop accounting for the time during the debug operations, then the debugger should notify the timer when to stop. This notification can be in the form of setting a Boolean flag or de-registering the timer's handler procedure and then re-registering the flag once the programmer chooses to continue the program execution. Kernels usually do not provide the facility of pausing timers. If, however, a kernel does provide this facility, the facility can be used by the debugger.

[0114] The timer may need to change its expiry time as explained earlier. Therefore, when a trigger is encountered, the new expiry time should be compared with the current one in order to decide which of the two should be used. The timer can also maintain a sorted list of the expiry times to choose the new expiry time when the current expiry time is reached. As one expiry time is being compared with another, care is taken so that all expiry times are based and compared with respect to a common time line. To this end, expiry times are registered with the timer.

[0115] A pseudocode example of a very simple handler procedure is presented in Table 5 below.

[0116] The triggers and timers are necessary to start the timer and to keep track of the time that has elapsed. The action to be taken when the time elapses can be altered to obtain various types of time-based breakpoints. Instead of suspending program execution, a new breakpoint can be inserted after the time elapses. This provides the facility of a delayed breakpoint that remains dormant for a certain period. Debuggers insert breakpoints during the child program's startup or when the program is continued. To extend this idea further, by using the trigger—timer mechanism, all or some breakpoints can be enabled after some time. This allows the programmer define a “no breakpoint time zone” during which all breakpoints are suspended, or nonfunctional. Practically, the trigger-timer mechanism can be used if the debugger depends on the time elapsed to perform certain tasks while debugging a program.

[0117] Computer Hardware and Software

[0118]FIG. 9 schematically represents a computer system 900 that can be used to perform steps in a process that implement the techniques described herein. The computer system 900 is provided for executing computer software that is programmed to assist in performing the described techniques. This computer software executes under a suitable operating system installed on the computer system 900.

[0119] The computer software involves a set of programmed logic instructions that are able to be interpreted by the computer system 900 for instructing the computer system 900 to perform predetermined functions specified by those instructions. The computer software can be an expression recorded in any language, code or notation, comprising a set of instructions intended to cause a compatible information processing system to perform particular functions, either directly or after conversion to another language, code or notation.

[0120] The computer software is programmed by a computer program comprising statements in an appropriate computer language. The computer program is processed using a compiler into computer software that has a binary format suitable for execution by the operating system. The computer software is programmed in a manner that involves various software components, or code means, that perform particular steps in the process of the described techniques.

[0121] The components of the computer system 900 include: a computer 920, input devices 910, 915 and video display 990. The computer 920 includes: processor 940, memory module 950, input/output (I/O) interfaces 960, 965, video interface 945, and storage device 955.

[0122] The processor 940 is a central processing unit (CPU) that executes the operating system and the computer software executing under the operating system. The memory module 950 includes random access memory (RAM) and read-only memory (ROM), and is used under direction of the processor 940.

[0123] The video interface 945 is connected to video display 990 and provides video signals for display on the video display 990. User input to operate the computer 920 is provided from input devices 910, 915 consisting of keyboard 910 and mouse 915. The storage device 955 can include a disk drive or any other suitable non-volatile storage medium.

[0124] Each of the components of the computer 920 is connected to a bus 930 that includes data, address, and control buses, to allow these components to communicate with each other via the bus 930.

[0125] The computer system 900 can be connected to one or more other similar computers via a input/output (I/O) interface 965 using a communication channel 985 to a network 980, represented as the Intenet.

[0126] The computer software program may be provided as a computer program product, and recorded on a portable storage medium. In this case, the computer software program is accessed by the computer system 900 from the storage device 955. Alternatively, the computer software can be accessed directly from the network 980 by the computer 920. In either case, a user can interact with the computer system 900 using the keyboard 910 and mouse 915 to operate the programmed computer software executing on the computer 920.

[0127] The computer system 900 is described for illustrative purposes: other configurations or types of computer systems can be equally well used to implement the described techniques. The foregoing is only an example of a particular type of computer system suitable for implementing the described techniques.

[0128] Applications

[0129] Some programs exhibit performance problems after being executed for a relatively long time. The programmer may wish to place breakpoints for a certain function such that the program execution stops when the specified time is reached. Time-based breakpoints are desirable in such circumstances.

[0130] In other cases, a program may need to be debugged whenever a certain amount of time has elapsed due to an error in the logic of the product. An example can be a program that needs to debugged because it is not able to output any data after 3 hours of execution. Time-based breakpoints can also be of help in such cases.

[0131] Another example is any function that is hit many times for a certain period of time and after that the hits become less frequent. If the desired effect is to debug the function during the low hits, and if the time for which the hits is high is known, then the time-based breakpoints can come into effect during the low hits only. For example, consider an application for which a particular file is accessed frequently during the initial 10 seconds from the start of execution of the application. These 10 seconds represents the time the application takes to initialize.

[0132] After initialization is complete, the access to the file is not frequent, and is instead based on a user event. Now, consider a certain “buggy” part of the program may be reading the file incorrectly and this is a bug under investigation that needs to be resolved. This bug exists after the application has completed initialization. In such a case the programmer can set a breakpoint in the file access routine such that the breakpoint comes into effect after 10 seconds only, that is, once the application initialization is complete. Here the breakpoint is set after a delay of 10 seconds and the programmer need not break at the function during the initialization but only when the user event causes the application to access the file.

[0133] Consider a program that must be executed without interruption (even by breakpoints) for a predetermined time period (such as T seconds), as such uninterrupted operation is vital for the logic of the program to execute correctly. After executing for T seconds, the execution of the program can be interrupted. In such cases, the use of time-based breakpoints is desirable as one may not be able to judge the value of a variable at T seconds. Accordingly, time is in this case a more appropriate parameter for setting the breakpoint, compared with other possible parameter such as variable count.

[0134] The described implementation operates automatically without manual intervention from programmers, is accurate, and less prone to error than existing approaches.

[0135] Further Variations

[0136] The described technique of providing time-based breakpoints extends to the expiration of breakpoints when a user-specified time period elapses. The time calculation involved is similar to that described above. Such functionality is desirable if a user can determine that the breakpoint, when reached, is not needed after a certain time period has elapsed starting from the time when the program resumes execution. In this case, the timer is started when the execution is resumed and not when the breakpoint is first encountered. The timer keeps track of the time elapsed since the program resumed execution and if the breakpoint is not hit during the specified time, then the breakpoint is disabled. This allows a programmer to disable breakpoints by using time as a parameter with which to access the need for a breakpoint during the debugging session. The use of such a breakpoint depends on the logic of the program being debugged.

[0137] For example, if a programmer knows that a breakpoint is not of use unless the breakpoint is reached within ten seconds since the program resumed execution, then the programmer may choose to expire the breakpoint after ten seconds have elapsed. The action to be performed if the breakpoint is hit before the timer expires can vary depending on the implementations. One implementation, for example, may choose to proceed with expiry of the breakpoint even though the breakpoint was hit. Similarly, another implementation may choose to reset the timer, and start the timer once again when execution is resumed. A third implementation may choose to treat the breakpoint as any normal breakpoint if the breakpoint is hit before the time specified has elapsed. In any case, the breakpoint expires based on a measure of time, and not a count value.

[0138] The above can also be extended to a special kind of breakpoint that continues execution if there has been no user intervention (that is, input) during the monitored time period. For example, if the user has not pressed any key for three seconds since the breakpoint has been reached, then the program should continue rather than waiting for user input. This functionality can provide an aid to a programmer who wants to observe the execution of the program and wants to pause at a function to determine whether the function was reached. The timer keeps track of the time since the breakpoint was hit. If the time elapses without the programmer providing any user inputs, the debugger automatically resumes the execution of the program.

[0139] A breakpoint of this kind removes any need for the programmer to force the debugger to continue execution by providing a keyboard-based or mouse-based input.

[0140] This facility is of particular assistance to those programmers who use the debugger as a learning tool to understand the functionality of the program. Such functionality also allows the programmer to concentrate on other tasks, such as making notes on the execution of the program, or referring to a class chart diagram, or any other task that makes the required user input an inconvenience to the programmer.

[0141] Conclusion

[0142] A method, a computer system and computer software are described herein in the context of debuggers providing time-based breakpoints.

[0143] Various alterations and modifications can be made to the techniques and arrangements described herein, as would be apparent to one skilled in the relevant art.

Referenced by
Citing PatentFiling datePublication dateApplicantTitle
US6981248 *May 2, 2002Dec 27, 2005International Business Machines CorporationConditional breakpoint encountered indication
US7007268 *Mar 25, 2002Feb 28, 2006Sun Microsystems, Inc.Method and apparatus for debugging in a massively parallel processing environment
US7028229 *Sep 30, 2002Apr 11, 2006Sun Microsystems, Inc.Kernel event subscription and publication system and method
US7222264Mar 19, 2004May 22, 2007Intel CorporationDebug system and method having simultaneous breakpoint setting
US7293267 *Dec 22, 2003Nov 6, 2007Sun Microsystems IncSystem and method for performing speculative initialization of application models for a cloned runtime system process
US7506206Jun 7, 2005Mar 17, 2009Atmel CorporationMechanism for providing program breakpoints in a microcontroller with flash program memory
US7797686 *May 16, 2006Sep 14, 2010Texas Instruments IncorporatedBehavior of trace in non-emulatable code
US7840845Feb 18, 2005Nov 23, 2010Intel CorporationMethod and system for setting a breakpoint
US7930743Aug 29, 2007Apr 19, 2011Fuji Xerox Co., Ltd.Information processing system, information processing method, information processing program, computer readable medium and computer data signal
US8010774 *Nov 3, 2006Aug 30, 2011Arm LimitedBreakpointing on register access events or I/O port access events
US8108840Jan 12, 2006Jan 31, 2012International Business Machines CorporationMethod for enhancing debugger performance of hardware assisted breakpoints
US8146056 *Aug 4, 2005Mar 27, 2012American Megatrends, Inc.Debugging a computer program by interrupting program execution in response to access of unused I/O port
US8321842 *Jun 27, 2008Nov 27, 2012Vmware, Inc.Replay time only functionalities in a virtual machine
US20080216057 *Feb 5, 2008Sep 4, 2008Fujitsu LimitedRecording medium storing monitoring program, monitoring method, and monitoring system
US20090327574 *Jun 27, 2008Dec 31, 2009Vmware, Inc.Replay time only functionalities
US20110289482 *May 24, 2010Nov 24, 2011Avaya Inc.Performance detection and debugging of applications
US20110289486 *May 18, 2010Nov 24, 2011Research In Motion LimitedSystem and Method for Debugging Dynamically Generated Code of an Application
US20120278791 *Jan 2, 2011Nov 1, 2012Daniel GeistUtilizing temporal assertions in a debugger
WO2006079961A2 *Jan 23, 2006Aug 3, 2006Koninkl Philips Electronics NvData processing system and method of debugging
WO2008139162A2 *May 9, 2008Nov 20, 2008Univ LeicesterDebugging tool
Classifications
U.S. Classification717/129, 712/227, 714/E11.21, 714/35, 714/E11.209
International ClassificationG06F11/28, G06F9/44, G06F11/36, H02H3/05, G06F15/00
Cooperative ClassificationG06F11/362
European ClassificationG06F11/36B
Legal Events
DateCodeEventDescription
Aug 26, 2002ASAssignment
Owner name: INTERNATIONAL BUSINESS MACHINES CORPORATION, NEW Y
Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNOR:KALRA, MOHLT;REEL/FRAME:013243/0665
Effective date: 20020805