Detecting Concurrency Anomalies in Transactional Memory Programs.
Saved in:
| Title: | Detecting Concurrency Anomalies in Transactional Memory Programs. |
|---|---|
| Authors: | Lourenço, João, Sousa, Diogo, Teixeira, Bruno, Dias, Ricardo |
| Source: | Computer Science & Information Systems; May2011, Vol. 8 Issue 2, p533-548, 16p, 3 Black and White Photographs, 5 Diagrams, 1 Chart |
| Abstract: | 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. |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!