CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  External Talks & Seminars  \  External Talk Page Login  
banner bottom
File Top
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


File Bottom