Adaptation of grammar based compression in detecting atomicity violations

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

Xu, Yang ; Viswanathan ; Mahesh

关键词: Atomicity violation;    Compression;    Grammar based codes;    Straight line grammar;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/50485/Yang_Xu.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

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.