@inproceedings{c9d28052bd03493da0c03797540e1abf,
title = "Testing patterns for software transactional memory engines",
abstract = "The emergence of multi-core processors is promoting the use of concurrency and multithreading. To raise the abstraction level of synchronization constructs is fundamental to ease the development of concurrent software, and Software Transactional Memory (STM) is a good approach towards such goal. However, execution environment issues such as the processor instruction set, caching policy, and memory model, may have strong influence upon the reliability of STM engines. This paper addresses the testing of STM engines aiming at improving their reliability and independence from execution environment. From our experience with porting and extending a specific STM engine, we report on some of the bugs found and synthesize some testing patterns that proved to be useful at testing STM engines.",
keywords = "Concurrency, Debugging, Software transactional memory, Testing, Testing patterns",
author = "Louren{\c c}o, \{Jo{\~a}o Manuel dos Santos\} and Gon{\c c}alo Cunha",
year = "2007",
doi = "10.1145/1273647.1273655",
language = "English",
isbn = "159593748X",
series = "Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD'07",
publisher = "ACM - Association for Computing Machinery",
pages = "36--42",
booktitle = "Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems",
address = "United States",
note = "2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07 and PADTAD-V Workshop ; Conference date: 09-07-2007 Through 12-07-2007",
}