|Home \ External Talks & Seminars \ External Talk Page||Login|
Precise Detection of Atomicity Violations(Departmental Seminar)
By: João Lourenço
Concurrent programs that are free from unsynchronized accesses to shared data may still exhibit unpredictable concurrency errors, called atomicity violations, which include both high-level data races and stale-value errors. These errors occur when programmers make wrong assumptions about the atomicity scope of a code block, incorrectly splitting it in two or more atomic blocks and allowing them to be interleaved with other atomic blocks. In this talk I will present a novel strategy to identify atomicity violations, that subsumes both high-level data races and stale-value errors under a novel concept of causality in data flow, which can cover both accesses to data and its use. I will describe briefly the static analysis technique used implement the proposed strategy and cover some of the issues that had to be addressed while analyzing some complex Java Bytecode programs.
Date: 19 Sep 2013
Location/Event: Universidade de Santiago de Compostela, Galiza, Espanha