Dynamic Invariant Generation for Concurrent Programs

dc.contributor.authorChattopadhyay, Arijiten
dc.contributor.committeechairWang, Chaoen
dc.contributor.committeememberShukla, Sandeep K.en
dc.contributor.committeememberHsiao, Michael S.en
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2014-06-24T08:00:53Zen
dc.date.available2014-06-24T08:00:53Zen
dc.date.issued2014-06-23en
dc.description.abstractWe propose a fully automated and dynamic method for generating likely invariants from multithreaded programs and then leveraging these invariants to infer atomic regions and diagnose concurrency errors in the software code. Although existing methods for dynamic invariant generation perform reasonably well on sequential programs, for multithreaded programs, their effectiveness often reduces dramatically in terms of both the number of invariants that they can generate and the likelihood of them being true invariants. We solve this problem by developing a new dynamic invariant generator, which consists of a new LLVM based code instrumentation tool, an INSPECT based thread interleaving explorer, and a customized inference engine inside Daikon. We have evaluated the resulting system on public domain multithreaded C/C++ benchmarks. Our experiments show that the new method is effective in generating high-quality invariants. Furthermore, the state and transition invariants generated by our new method have been proved useful both in error diagnosis and in identifying likely atomic regions in the concurrent software code.en
dc.description.degreeMaster of Scienceen
dc.format.mediumETDen
dc.identifier.othervt_gsexam:3064en
dc.identifier.urihttp://hdl.handle.net/10919/49103en
dc.publisherVirginia Techen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectConcurrencyen
dc.subjectLikely Invarianten
dc.subjectDynamic Invariant Generationen
dc.subjectPartial Order Reductionen
dc.subjectError Diagnosisen
dc.subjectAtomic Regionen
dc.titleDynamic Invariant Generation for Concurrent Programsen
dc.typeThesisen
thesis.degree.disciplineComputer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Chattopadhyay_A_T_2014.pdf
Size:
487.19 KB
Format:
Adobe Portable Document Format
Collections