University of Illinois Urbana-Champaign

Adaptation of grammar based compression in detecting atomicity violations

Xu, Yang

Content Files
Yang_Xu.pdf

Permalink

https://hdl.handle.net/2142/50485

Description

Title
Adaptation of grammar based compression in detecting atomicity violations
Author(s)
Xu, Yang
Issue Date
2014-09-16
Director of Research (if dissertation) or Advisor (if thesis)
Viswanathan, Mahesh
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Date of Ingest
2014-09-16T17:17:56Z
Keyword(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.
Graduation Semester
2014-08
Permalink
http://hdl.handle.net/2142/50485
Copyright and License Information
Copyright 2014 Yang Xu

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Siebel School of Computer Science