Offline debugging of distributed processes

Simple item page
dc.contributor.advisorGarg, Vijay K. (Vijay Kumar), 1963-
dc.creatorChin, Bryan Scott, 1968-
dc.date.accessioned2019-10-24T20:20:06Z
dc.date.available2019-10-24T20:20:06Z
dc.date.issued1991
dc.description.abstractThis thesis addresses the problem of debugging a distributed system. We define debugging as the process of diagnosing and correcting errors in a target application. In distributed systems, problems arise from the non-deterministic execution of distributed processes. Hence, we cannot take concepts directly from debuggers of sequential programs. We categorize debuggers as static, interactive, or post-mortem, according to the time at which they perform their analysis of the target application. This thesis focuses on offline debugging, a type of post-mortem debugger. We choose offline debugging because of its automated control, its ability to model and search the entire state space, and its reduced probe effect. An offline debugger consists of two components: the monitor and the offline debugger. The monitor individually observes each involved process as it executes and creates trace files. The second component, the offline debugger, arranges these local trace files into a global search space and searches it to detect whether certain predicate search expressions existed during the execution of the target application. In this implementation, we use four algorithms based on a depth-first traversal of the consistent lattice to detect the predicate search expressions. Finally, we present the C language implementation of our practical offline debugger. We conclude by noting that while the offline debugger is a powerful tool, a truly complete set of development tools should include more than one debugger to address different stages of the software lifecycleen_US
dc.description.departmentElectrical and Computer Engineeringen_US
dc.format.mediumelectronicen_US
dc.identifier.urihttps://hdl.handle.net/2152/77428
dc.identifier.urihttp://dx.doi.org/10.26153/tsw/4517
dc.language.isoengen_US
dc.relation.ispartofUT Electronic Theses and Dissertationsen_US
dc.rightsCopyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en_US
dc.rights.restrictionRestricteden_US
dc.subject.lcshDebugging in computer science
dc.subject.lcshElectronic data processing--Distributed processing
dc.titleOffline debugging of distributed processesen_US
dc.typeThesisen_US
dc.type.genreThesisen_US
thesis.degree.departmentElectrical and Computer Engineeringen_US
thesis.degree.disciplineElectrical Engineeringen_US
thesis.degree.grantorUniversity of Texas at Austinen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Science in Engineeringen_US

Access full-text files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
2019_0791.pdf
Size:
72.02 MB
Format:
Adobe Portable Document Format
Description:
Final pdf File Access restricted to UT Austin EID holders
Download
No Thumbnail Available
Name:
2019_0791-TEXT.xml
Size:
431.85 KB
Format:
Extensible Markup Language
Description:
XML Text File Access restricted to UT Austin EID holders
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.64 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

UT Electronic Theses and Dissertations