Subtleties of transactional memory atomicity semantics

IEEE Computer Architecture Letters

Volumn 5, Issue 2, 2006, Pages

  Blundell, Colin ^a   Christopher Lewis, E ^a   Martin, Milo M K ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; MULTIPROGRAMMING;

ATOMICITY SEMANTICS; LOCK-BASED CRITICAL SECTIONS; MULTITHREADED PROGRAMMING; TRANSACTIONAL MEMORY;

SEMANTICS;

EID: 33846666138     PISSN: 15566056     EISSN: None     Source Type: Journal    
DOI: 10.1109/L-CA.2006.18     Document Type: Article

References (12)

1. S. V. Adve and K. Gharachorloo, "Shared memory consistency models: A tutorial," IEEE Computer, vol. 29, no. 12, pp. 66-76, Dec. 1996.
2. C. S. Ananian, K. Asanovic, B. C. Kuszmaul, C. E. Leiserson, and S. Lie, "Unbounded transactional memory," in Proceedings of the 11th Symposium on High-Performance Computer Architecture, Feb. 2005.
3. C. Blundell, E. C. Lewis, and M. M. K. Martin, "Deconstructing transactional semantics: The subtleties of atomicity," in Proceedings of Workshop on Duplicating, Deconstructing, and Debunking, June 2005.
4. D. Grossman, J. Manson, and W. Pugh, "What do high-level memory models mean for transactions?" in Proceedings of the 2006 Workshop on Memory System Performance and Correctness (MSPC), 2006.
5. L. Hammond et al., "Transactional memory coherence and consistency," in Proceedings of the 31th Annual International Symposium on Computer Architecture, June 2004, pp. 102-113.
6. T. Harris and K. Fraser, "Language support for lightweight transactions," in Proceedings of the 18th SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA), Oct. 2003, pp. 388-402.
7. T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy, "Composable memory transactions," in Proceedings of the 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), June 2005, pp. 48-60.
8. M. Herlihy and J. E. B. Moss, "Transactional memory: Architectural support for lock-free data structures," in Proceedings of the 20th Annual International Symposium on Computer Architecture, May 1993.
9. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood, "LogTM: Log-based transactional memory," in Proceedings of the 12th Symposium on High-Performance Computer Architecture, Feb. 2006.
10. R. Rajwar and J. R. Goodman, "Transactional lock-free execution of lock-based programs," in Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, Oct. 2002, pp. 5-17.
11. R. Rajwar, M. Herlihy, and K. Lai, "Virtualizing transactional memory," in Proceedings of the 32th Annual International Symposium on Computer Architecture, June 2005.
12. N. Shavit and D. Touitou, "Software transactional memory," in Proceedings of the 14th ACM Symposium on Principles of Distributed Computing, Aug. 1995, pp. 204-213.