Adaptation of grammar based compression in detecting atomicity violations

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.

Name thesis:degree_name

M.S.

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Xu, Yang

Contributors dc:contributor

• Viswanathan, Mahesh

• Atomicity violation
• Compression
• Grammar based codes
• Straight line grammar

Statement dc:rights

• Copyright 2014 Yang Xu

Language dc:language

en

Handle dc:identifier

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

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/50485