|Skip Navigation Links|
|Exit Print View|
|Multithreaded Programming Guide Oracle Solaris 11.1 Information Library|
The following list points out some of the more frequent oversights that can cause bugs in multithreaded programs.
The shared changeable state of global memory accessed without the protection of a synchronization mechanism leading to a data race. A data race occurs when two or more threads in a single process access the same memory location concurrently, and at least one of the threads tries to write to the location. When the threads do not use exclusive locks to control their accesses to that memory, the order of accesses is non-deterministic, and the computation may give different results from run to run depending on that order. Some data races may be benign (for example, when the memory access is used for a busy-wait), but many data races are bugs in the program. The Thread Analyzer tool is useful for detecting data races. See Detecting Data Races and Deadlocks Using Thread Analyzer.
Deadlocks caused by two threads trying to acquire rights to the same pair of global resources in alternate order. One thread controls the first resource and the other controls the second resource. Neither thread can proceed until the other gives up. The Thread Analyzer tool is also useful for detecting deadlocks. See Detecting Data Races and Deadlocks Using Thread Analyzer.
Creating a hidden gap in synchronization protection. This gap in protection occurs when a protected code segment contains a function that frees and reacquires the synchronization mechanism before returning to the caller. The result is misleading. To the caller, the appearance is that the global data has been protected when the data actually has not been protected.
Forgetting that default threads are created PTHREAD_CREATE_JOINABLE and must be reclaimed with pthread_join(3C). Note that pthread_exit(3C) does not free up its storage space.
Multithreaded programs, especially those containing bugs, often behave differently in two successive runs, even with identical inputs. This behavior is caused by differences in the order that threads are scheduled.
In general, multithreading bugs are statistical instead of deterministic. Tracing is usually a more effective method of finding the order of execution problems than is breakpoint-based debugging.
DTrace is a comprehensive dynamic tracing facility that is built into the Oracle Solaris OS. The DTrace facility can be used to examine the behavior of your multithreaded program. DTrace inserts probes into running programs to collect data at points in the execution path that you specify. The collected data can be examined to determine problem areas. See the Oracle Solaris 11.1 Dynamic Tracing Guide for more information about using DTrace.
The Performance Analyzer tool, included in the Oracle Solaris Studio Studio software, can be used for extensive profiling of multithreaded and single threaded programs. The tool enables you to see in detail what a thread is doing at any given point. See the Oracle Solaris Studio 12.3: Performance Analyzer guide for more information.
The Oracle Solaris Studio software includes a tool called the Thread Analyzer. This tool enables you to analyze the execution of a multithreaded program. It can detect multithreaded programming errors such as data races or deadlocks in code that is written using the Pthread API, the Oracle Solaris thread API, OpenMP directives, Oracle parallel directives, Cray parallel directives, or a mix of these technologies.
See the Oracle Solaris Studio 12.3: Debugging a Program With dbx guide for more information.
The dbx utility is a debugger included in the Oracle Solaris Studio developer tools, available from http://www.oracle.com/technetwork/server-storage/solarisstudio/downloads/index.html. With the Oracle Solaris Studio dbx command-line debugger, you can debug and execute source programs that are written in C, C++, and Fortran. You can use dbx by starting it in a terminal window and interactively debugging your program with dbx commands. If you prefer a graphical interface, you can use the same dbx functionality in the Debugging windows of the Oracle Solaris Studio IDE (Integrated Development Environment). For a description of how to start dbx, see the dbx(1) man page. See the manual Oracle Solaris Studio 12.3: Debugging a Program With dbx for an overview of dbx. The Debugging features in the Oracle Solaris Studio IDE are described in the IDE online help.
See Chapter 11, Debugging Multithreaded Applications, in Oracle Solaris Studio 12.3: Debugging a Program With dbx for detailed information about debugging multithreaded programs. The dbx debugger provides commands to manipulate event handlers for thread events, which are described in Appendix B, Event Management, in Oracle Solaris Studio 12.3: Debugging a Program With dbx.
All the dbx options that are listed in Table 8-1 can support multithreaded applications.
Table 8-1 dbx Options for MT Programs
Although Dtrace, Performance Analyzer, Thread Analyzer, and dbx are more modern tools, you can also still use the older TNF utilities to trace, debug, and gather performance analysis information from your applications and libraries. The TNF utilities integrate trace information from the kernel as well as from multiple user processes and threads. The TNF utilities have long been included as part of the Solaris software. See the tracing(3TNF) man page for information about these utilities.
See the truss(1)man page for information on tracing system calls, signals and user-level function calls.
For information about mdb, see the Oracle Solaris Modular Debugger Guide.
Prints the LWP ID of the representative thread if the target is a user process.
Prints the LWP IDs of each LWP in the target if the target is a user process.
Attaches to process # pid.
Releases the previously attached process or core file. The process can subsequently be continued by prun(1) or it can be resumed by applying MDB or another debugger.
These commands to set conditional breakpoints are often useful.
Set a breakpoint at the specified locations.
Delete the event specifiers with the given ID number.