TxLinux and MetaTM: Transactional memory and the operating system

Communications of the ACM

Volumn 51, Issue 9, 2008, Pages 83-91

  Rossbach, Christopher J ^a   Ramadan, Hany E ^a   Hofmann, Owen S ^a   Porter, Donald E ^a   Bhandari, Aditya ^a   Witchel, Emmett ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL SUPPORT; OPERATING SYSTEMS; SPIN LOCKING; TRANSACTIONAL MEMORY;

COMPUTER NETWORKS; COMPUTER OPERATING SYSTEMS; SCHEDULING; STORAGE ALLOCATION (COMPUTER);

DATA STORAGE EQUIPMENT;

EID: 50849106093     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1378727.1378747     Document Type: Article

References (25)

1. Adl-Tabatabai, A.-R., Lewis, B. T., Menon, V., Murphy, B. R., Saha, B., and Shpeisman, T. Compiler and runtime support for efficient software transactional memory. In PLDI, June 2006.
2. Blundell, C., Devietti, J., Lewis, E. C., and Martin, M. M. K. Making the fast case common and the uncommon case simple in unbounded transactional memory. In ISCA, 2007.
3. Carlstrom, B., McDonald, A., Chafi, H., Chung, J., Cao Minh, C., Kozyrakis, C., and Olukotun, K. The Atomos transactional programming language. In PLDI, June 2006.
4. Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. An emprical study of operating systems errors. In SOSP, 2001.
5. Chuang, W., Narayanasamy, S., Venkatesh, G., Sampson, J., Biesbrouck, M. V., Pokam, G., Calder, B., and Colavin, O. Unbounded page-based transactional memory. In ASPLOS-XII, 2006.
6. Elnozahy, E., Johnson, D., and Wang, Y. A survey of rollback-recovery protocols in message-passing systems, 1996.
7. Engler, D. and Ashcraft, K. Racer-X: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.
8. Hammond, L., Wong, V., Chen, M., Carlstrom, B. D., Davis, J. D., Hertzberg, B., Prabhu, M. K., Wijaya, H., Kozyrakis, C., and Olukotun, K., Transactional memory coherence and consistency. In ISCA, June 2004.
9. Harris, T. Exceptions and side-effects in atomic blocks. Sci. Comput. Program., 58(3):325-343, 2005.
10. Herlihy, M. and Moss, J. E. Transactional memory: Architectural support for lock-free data structures. In ISCA, May 1993.
11. Hofmann, O. S., Porter, D. E., Rossbach, C. J., Ramadan, H. E., and Witchel, E. Solving difficult HTM problems without difficult hardware. In ACM TRANSACT Workshop, 2007.
12. Larus, J. R. and Rajwar, R. Transactional Memory. Morgan & Claypool, 2006.
13. McDonald, A., Chung, J., Carlstrom, B., Minh, C. C., Chafi, H., Kozyrakis, C., and Olukotun, K. Architectural semantics for practical transactional memory. In ISCA, June 2006.
14. Moore, K. E., Bobba, J., Moravan, M. J., Hill, M. D., and Wood, D. A. Logtm: Log-based transactional memory. In HPCA, 2006.
15. Moravan, M. J., Bobba, J., Moore, K. E., Yen, L., Hill, M. D., Liblit, B., Swift, M. M., and Wood, D. A. Supporting nested transactional memory in logtm. In ASPLOS-XII. 2006.
16. Moss, E. and Hosking, T. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, 2005.
17. Moss, J. E. B., Griffeth, N. D., and Graham, M. H. Abstraction in recovery management. SIGMOD Rec., 15(2):72-83, 1986.
18. Porter, D. E., Hofmann, O. S., and Witchel, E. Is the optimism in optimistic concurrency warranted? In HotOS, 2007.
19. Rajwar, R. and Goodman, J. Speculative lock elision: Enabling highly concurrent multithreaded execution. In MICRO, 2001.
20. Rajwar, R. and Goodman, J. Transactional lock-free execution of lock-based programs. In ASPLOS, 2002.
21. Ramadan, H., Rossbach, C., Porter, D., Hofmann, O., Bhandari, A., and Witchel, E. MetaTM/TxLinux: Transactional Memory for an Operating System. Evaluating transactional memory tradeoffs with TxLinux. In ISCA, 2007.
22. Ramadan, H., Rossbach, C., and Witchel, E. The Linux kernel: A challenging workload for transactional memory. In Workshop on Transactional Memory Workloads, June 2006.
23. Rossbach, C. J., Hofmann, O. S., Porter, D. E., Ramadan, H. E., Aditya, B., and Witchel, E. Txlinux: using and managing hardware transactional memory in an operating system. In SOSP, 2007.
24. Scherer III, W. N. and Scott, M. L. Advanced contention management for dynamic software transactional memory. In PODC, 2005.
25. Yen, L., Bobba, J., Marty, M., Moore, K. E., Volos, H., Hill, M. D., Swift, M. M., and Wood, D. A. Logtm-SE: Decoupling hardware transactional memory from caches. In HPCA, Feb 2007.