Zobrazit v EDS

Detecting Concurrency Anomalies in Transactional Memory Programs.

Uloženo v:
Podrobná bibliografie
Název: Detecting Concurrency Anomalies in Transactional Memory Programs.
Autoři: Lourenço, João, Sousa, Diogo, Teixeira, Bruno, Dias, Ricardo
Zdroj: Computer Science & Information Systems; May2011, Vol. 8 Issue 2, p533-548, 16p, 3 Black and White Photographs, 5 Diagrams, 1 Chart
Abstrakt: The article addresses the detection of high- and low-level anomalies in the Transactional Memory Setting. A static analysis process and a framework to address anomalies of Transactional Memory is proposed. The framework shown to be accurate, affirming the effectiveness of using static analysis techniques to distinguish precisely concurrency anomalies in Transactional Memory programs.
Databáze: Complementary Index
Popis
Abstrakt:The article addresses the detection of high- and low-level anomalies in the Transactional Memory Setting. A static analysis process and a framework to address anomalies of Transactional Memory is proposed. The framework shown to be accurate, affirming the effectiveness of using static analysis techniques to distinguish precisely concurrency anomalies in Transactional Memory programs.
ISSN:18200214
DOI:10.2298/CSIS110110007L