Technical reports:
MpD: A Multiprocessor C Debugger
Krish Ponamgi
Downloads:
- Title:
- MpD: A Multiprocessor C Debugger
- Author(s):
- Ponamgi, Krish
- Date:
- 1991
- Type:
- Technical reports
- Department:
- Computer Science
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:12199
- Series:
- Columbia University Computer Science Technical Reports
- Part Number:
- CUCS-021-91
- Publisher:
- Department of Computer Science, Columbia University
- Publisher Location:
- New York
- Abstract:
- MpD is a multiprocessor C debugger designed for multithreaded applications running under the Mach operating system. MpD is built on top of gdb, an existing sequential debugger. The MpD layer utilizes the modeling languages Data Path Expressions developed by Hseush and Kaiser to provide a rich set of commands to trace sequential and parallel execution of a program. Associated with each DPE are actions that allow access to useful trace variables and I/O facilities. DPEs are useful for describing sequential and concurrent patterns of events to be verified during execution. The patterns include conditions such as synchronizations, race conditions, and wrongly classified sequential/concurrent behavior. We show in this thesis Data Path Expressions are a viable language for multiprocessor debuggers.
- Subject(s):
- Computer science
- Item views:
- 183