Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (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