Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleDecember 2010
Hardware Support for Relaxed Concurrency Control in Transactional Memory
MICRO '43: Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on MicroarchitecturePages 15–26https://doi.org/10.1109/MICRO.2010.25Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that provides fast transactional operations. However, it limits concurrency in ...
- research-articleOctober 2010
Automatic atomic region identification in shared memory SPMD programs
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applicationsPages 652–670https://doi.org/10.1145/1869459.1869513This paper presents TransFinder, a compile-time tool that automatically determines which statements of an unsynchronized multithreaded program must be enclosed in atomic regions to enforce conflict-serializability. Unlike previous tools, TransFinder ...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 10