Files in this item

FilesDescriptionFormat

application/pdf

application/pdfYang_Xu.pdf (292kB)
(no description provided)PDF

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)

Item Statistics