Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  Yang_Xu.pdf (292kB) | (no description provided) |
Description
| Title: | Adaptation of grammar based compression in detecting atomicity violations |
| Author(s): | Xu, Yang |
| Advisor(s): | Viswanathan, Mahesh |
| Department / Program: | Computer Science |
| Discipline: | Computer Science |
| Degree Granting Institution: | University of Illinois at Urbana-Champaign |
| Degree: | M.S. |
| Genre: | Thesis |
| Subject(s): | Atomicity violation
Compression Grammar based codes Straight line grammar |
| Abstract: | Atomicity violation is a common kind of concurrency bug in real world projects. PENELOPE is a framework that can detect atomicity violations in a single observed trace, without explicitly examining all traces that result from every possible interleaving. This thesis proposes a way to improve performance of PENELOPE’s prediction stage by performing computation directly on grammar compressed execution trace file, leading to a running time linear in the length of compressed file and size of grammar. |
| Issue Date: | 2014-09-16 |
| URI: | http://hdl.handle.net/2142/50485 |
| Rights Information: | Copyright 2014 Yang Xu |
| Date Available in IDEALS: | 2014-09-16 2016-09-22 |
| Date Deposited: | 2014-08 |
This item appears in the following Collection(s)
-
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science -
Graduate Dissertations and Theses at Illinois
Graduate Theses and Dissertations at Illinois