Testing patterns for software transactional memory engines

Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD'07

Volumn , Issue , 2007, Pages 36-42

  Lourenço, Joa̧o ^a   Cunha, Gonçalo ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Concurrency; Debugging; Software transactional memory; Testing; Testing patterns

Indexed keywords

CONCURRENT ENGINEERING; PROGRAM DEBUGGING; PROGRAM PROCESSORS; SOFTWARE RELIABILITY; SOFTWARE TESTING;

SOFTWARE TRANSACTIONAL MEMORY; SOFTWARE TRANSACTIONAL MEMORY ENGINES; TESTING PATTERNS;

MULTITASKING;

EID: 34548233228     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273647.1273655     Document Type: Conference Paper

References (10)

1. D. Dice, O. Shalev, and N. Shavit. Transactional locking ii. In Proc. of the 20th International Symposium on Distributed Computing (DISC 2006), pages 194-208, 2006.
2. David Dice and Nir Shavit. What really makes transactions faster? In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware. Support for Transactional Computing. Jun 2006.
3. Robert Ennals. Software transactional memory should not be obstruction-free. Technical Report IRC-TR.-06-052, Intel Research Cambridge Tech Report, Jan 2006.
4. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 388-402, New York, NY, USA, 2003. ACM Press.
5. Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable memory transactions. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 48-60, New York, NY, USA, 2005. ACM Press.
6. Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi. Optimizing memory transactions. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pages 14-25, New York, NY, USA, 2006. ACM Press.
7. M. Herlihy, V. Luchangco, M. Moir, and W.N. Scherer. Software transactional memory for dynamic-sized data structures. In Twenty-Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, July 2003.
8. Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, and Kunle Olukotun. Testing implementations of transactional memory. In PACT '06: Proceedings of the 15th international conference on Parallel architectures and compilation techniques, pages 134-143, New York, NY, USA, 2006. ACM Press.
9. Nir Shavit and Dan Touitou. Software transactional memory. In PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, pages 204-213, New York, NY, USA, 1995. ACM Press.
10. R., M. Tomasulo. An efficient algorithm for exploiting multiple arithmetic units. IBM Journal of Research and Development, 11(1):25, 1967.