Anomaly-Based Debugging of Correctness and Performance Issues in Multithreaded Programs

Simple item page
dc.contributor.advisorMuzahid, Abdullah
dc.contributor.authorAlam, Mohammad Mejbah ul
dc.contributor.committeeMemberZhu, Dakai
dc.contributor.committeeMemberGottschlich, Justin
dc.contributor.committeeMemberLiu, Tongping
dc.contributor.committeeMemberWang, Xiaoyin
dc.date.accessioned2024-01-26T20:45:59Z
dc.date.available2024-01-26T20:45:59Z
dc.date.issued2017
dc.descriptionThis item is available only to currently enrolled UTSA students, faculty or staff. To download, navigate to Log In in the top right-hand corner of this screen, then select Log in with my UTSA ID.
dc.description.abstractMultithreaded programming is complex and error-prone. Multithreading makes it difficult to debug correctness and performance issues in parallel and concurrent software. This thesis ad- dresses two major challenges related to debugging multithreaded programs. First, concurrency bugs are hard to reproduce because of nondeterministic thread interleaving across program executions. Second, performance issues of multithread programs are difficult to explain due to complex interactions of events and resource sharing. This thesis addresses these challenges by introducing anomaly-based debugging for parallel software. It presents theory, design and implementation of three frameworks: ACT, SyncPerf and AutoPerf.. ACT overcomes the difficulty of existing correctness bug detection techniques in reproducing concurrency bug and adhering to diversity of bug characteristics. It uses hardware assisted machine learning for debugging correctness of multithreaded programs. It continuously learns and verifies programs during production runs to detect correctness bugs. SyncPerf investigates and categorizes performance bugs resulting from inefficient synchronization techniques. Using a lightweight tool it identifies synchronization related performance bugs in real world programs and provides hint for possible fix strategy. AutoPerf implements a testing framework for debugging performance bugs in multithreaded programs. AutoPerf implements a neural network based solution for detecting performance regression in multithreaded program. An anomaly detection approach using hardware performance counter is used to explain performance regression. It provides an efficient way of detecting root cause eliminating the need of domain expertise and exhausted searching present in existing solutions.
dc.description.departmentComputer Science
dc.format.extent114 pages
dc.format.mimetypeapplication/pdf
dc.identifier.isbn9780355533576
dc.identifier.urihttps://hdl.handle.net/20.500.12588/2552
dc.languageen
dc.subject.classificationComputer science
dc.titleAnomaly-Based Debugging of Correctness and Performance Issues in Multithreaded Programs
dc.typeThesis
dc.type.dcmiText
dcterms.accessRightspq_closed
thesis.degree.departmentComputer Science
thesis.degree.grantorUniversity of Texas at San Antonio
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Alam_utsa_1283D_12393.pdf
Size:
1.12 MB
Format:
Adobe Portable Document Format
Download

Collections

Electronic Theses and Dissertations - UTSA Access Only