A thread-aware debugger with an open interface

ABSTRACT

While threads have become an accepted and standardized model for expressing concurrency and exploiting parallelism for the shared-memory model, debugging threads is still poorly supported. This paper identifies challenges in debugging threads and offers solutions to them. The contributions of this paper are threefold. First, an open interface for debugging as an extension to thread implementations is proposed. Second, extensions for thread-aware debugging are identified and implemented within the Gnu Debugger to provide additional features beyond the scope of existing debuggers. Third, an active debugging framework is proposed that includes a language-independent protocol to communicate between debugger and application via relational queries ensuring that the enhancements of the debugger are independent of actual thread implementations. Partial or complete implementations of the interface for debugging can be added to thread implementations to work in unison with the enhanced debugger without any modifications to the debugger itself. Sample implementations of the interface for debugging have shown its adequacy for user-level threads, kernel threads and mixed thread implementations while providing extended debugging functionality at improved efficiency and portability at the same time.

REFERENCES

• 1: R. Al~eri. An e~cient kernel-based implementation of posix threads. In USENIX Conference, Summer 1994.
• 2: F. Armand, F. Herrmann, J. Lipkis, and M. Rozier. Multi-threaded processes in CHORUS/MIX. In EEUG Conference, pages 1{13, Spring 1990.
• 3: Bernd Bruegge , Peter Hibbard, Generalized path expressions: A high level debugging mechanism (Preliminary Draft), Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.34-44, January 1983 [doi>10.1145/800007.808006]
• 4: Peter A. Buhr , Martin Karsten , Jun Shih, KDB: a multi-threaded debugger for multi-threaded applications, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.80-87, May 22-23, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/238020.238047]
• 5: D. Caswell and D. Black. Implementing a Mach debugger for multithreaded applications. In Winter USENIX Conference, pages 25{40, Berkeley, CA, USA, Jan. 1990.
• 6: James Cownie , William Gropp, A Standard Interface for Debugger Access to Message Queue Information in MPI, Proceedings of the 6th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, p.51-58, September 26-29, 1999
• 7: C. G. Davis. Testing large, real-time software systems. In Software Testing, Infotech State of the Art Report, volume 2, pages 85{105, 1979.
• 8: J. Eykholt, S. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, J. Voll, M. Weeks, and D. Williams. Beyond multiprocessing ... multithreading the SunOS kernel. In USENIX Conference, pages 11{18, Summer 1992.
• 9: H. P. D. Forum. Command interface for parallel debuggers. Draft revision 2.1 for standard, The Parallel Tools Consortium, Sept. 1998. http://www.ptools.org/hpdf/draft.
• 10: Peter B. Kessler, Fast breakpoints: design and implementation, ACM SIGPLAN Notices, v.25 n.6, p.78-84, Jun. 1990
• 11: X. Leroy. The linuxthreads library. http://pauillac.inria.fr/?xleroy/linuxthreads, 1996.
• 12: John May , Francine Berman, Retargetability and extensibility in a parallel debugger, Journal of Parallel and Distributed Computing, v.35 n.2, p.142-155, June 15, 1996 [doi>10.1006/jpdc.1996.0077]
• 13: Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989 [doi>10.1145/76894.76897]
• 14: F. Mueller. A library implementation of POSIX threads under UNIX. In Proceedings of the USENIX Conference, pages 29{41, Jan. 1993.
• 15: M. Krish Ponamgi , Wenwey Hseush , Gail E. Kaiser, Debugging Multithreaded Programs with MPD, IEEE Software, v.8 n.3, p.37-43, May 1991 [doi>10.1109/52.88942]
• 16: M. L. Powell, S. R. Kleiman, S. Barton, D. Shah, D. Stein, and M. Weeks. SunOS multi-thread architecture. In USENIX Conference, pages 65{80, Winter 1991.
• 17: C. Provenzano, G. Hudson, and K. Raeburn. Mit pthreads. http://www.mit.edu/people/proven/pthreads.html, 1993.
• 18: Richard Snodgrass, A relational approach to monitoring complex systems, ACM Transactions on Computer Systems (TOCS), v.6 n.2, p.157-195, May 1988 [doi>10.1145/42186.42323]
• 19: R. M. Stallman. GDB manual (the GNU source-level debugger). Technical report, Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA, Tel: [phone], USA, Jan. 1989. Third Edition, GDB version 3.1.
• 20: D. Stein and D. Shah. Implementing lightweight threads. In USENIX Conference, pages 1{10, Summer 1992.
• 21: Technical Committee on Operating Systems and Application Environments of the IEEE. Portable Operating System Interface (POSIX)|Part 1: System Application Program Interface (API), 1996. ANSI/IEEE Std 1003.1, 1995 Edition, including 1003.1c: Amendment 2: Threads Extension {C Language}.
• 22: A. Tevanian, R. F. Rashid, D. B. Golub, D. L. Black, E. Cooper, and M. W. Young. MACH threads and the UNIX kernel: The battle for control. In USENIX Conference, pages 185{197, Summer 1987.
• 23: Roland Wismüller , Michael Oberhuber , Johann Krammer , Olav Hansen, Interactive debugging and performance analysis of massively parallel applications, Parallel Computing, v.22 n.3, p.415-442, March 1996 [doi>10.1016/0167-8191(95)00070-4]
• 24: Steven Cameron Woo , Moriyoshi Ohara , Evan Torrie , Jaswinder Pal Singh , Anoop Gupta, The SPLASH-2 programs: characterization and methodological considerations, Proceedings of the 22nd annual international symposium on Computer architecture, p.24-36, June 22-24, 1995, S. Margherita Ligure, Italy

INDEX TERMS

Primary Classification:
  D. Software

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Parallel programming
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Debugging aids

  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency

General Terms:
Design, Languages, Standardization

Keywords:
active debugging, concurrency, debugging, open interface, threads