Geodesic
Detecting Concurrency Anomalies in Transactional Memory Programs
Computer Science and Information Systems, Tome 8 (2011) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both low- and high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory anomalies. We start by dealing with the classic case of low-level dataraces, identifying concurrent accesses to shared memory cells that are not protected within the scope of a memory transaction. Then, we address the case of high-level dataraces, bringing the programmer’s attention to pairs of memory transactions that were misspecified and should have been combined into a single transaction. Our framework was applied to a set of programs, collected form different sources, containing well known low- and high-level anomalies. The framework demonstrated to be accurate, confirming the effectiveness of using static analysis techniques to precisely identify concurrency anomalies in Transactional Memory programs.
Keywords: Testing, Verification, Concurrency, Software Transactional Memory, Static Analysis. 
@article{CSIS_2011_8_2_a14,
     author = {Jo\~ao Louren\c{c}o and Ricardo Dias},
     title = {Detecting {Concurrency} {Anomalies} in {Transactional} {Memory} {Programs}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/}
}
TY  - JOUR
AU  - João Lourenço
AU  - Ricardo Dias
TI  - Detecting Concurrency Anomalies in Transactional Memory Programs
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/
ID  - CSIS_2011_8_2_a14
ER  - 
%0 Journal Article
%A João Lourenço
%A Ricardo Dias
%T Detecting Concurrency Anomalies in Transactional Memory Programs
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/
%F CSIS_2011_8_2_a14
João Lourenço; Ricardo Dias. Detecting Concurrency Anomalies in Transactional Memory Programs. Computer Science and Information Systems, Tome 8 (2011) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/