|
Published Articles >> Table of Contents >> Abstract
January/February 2008 (Vol. 28, No. 1)
pp. 42-51
MetaTM/TxLinux: Transactional Memory for an Operating System
Hany E. Ramadan, University of Texas at Austin
Christopher J. Rossbach, University of Texas at Austin
Donald E. Porter, University of Texas at Austin
Owen S. Hofmann, University of Texas at Austin
Aditya Bhandari, University of Texas at Austin
Emmett Witchel, University of Texas at Austin
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MM.2008.10
Send link to a friend
| Abstract |
|
Hardware transactional memory can reduce synchronization complexity while retaining high performance. MetaTM models changes to the x86 architecture to support transactional memory for user processes and the operating system. TxLinux is an operating system that uses transactional memory to facilitate synchronization in a large, complicated code base, where the burdens of current lock-based approaches are most evident.
|
 References
|
[1] M. Herlihy and J.E. Moss, "Transactional Memory: Architectural Support for Lock-Free Data Structures," Proc. Ann. Int'l Symp. Computer Architecture (ISCA 93), IEEE CS Press, 1993, pp. 289-300.
[2] K.E. Moore et al., "LogTM: Log-based Transactional Memory," IEEE Symp. High-Performance Computer Architecture (HPCA 06), IEEE CS Press, 2006, pp. 254-265.
[3] A. McDonald et al., "Architectural Semantics for Practical Transactional Memory," Proc. Ann. Int'l Symp. Computer Architecture (ISCA 06), IEEE CS Press, 2006, pp. 53-65.
[4] H. Ramadan et al., "The Linux Kernel: A Challenging Workload for Transactional Memory," Workshop Transactional Memory Workloads, 2006.
[5] M. Moravan et al., "Supporting Nested Transactional Memory in LogTM," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 06), ACM Press, 2006, pp. 359-370.
[6] C. Zilles and L. Baugh, "Extending HTM to Support Non-busy Waiting and Non-transactional Actions," ACM SIGPlan Workshop Transactional Computing, 2006.
[7] J. Chung et al., "Tradeoffs in Transactional Memory Virtualization," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 06), ACM Press, 2006, pp. 371-381.
[8] W.N. Scherer and M.L. Scott, "Advanced Contention Management for Dynamic Software Transactional Memory," Proc. Symp. Principles of Distributed Computing (PODC 05), AMC Press, 2005, pp. 240-248.
[9] R. Rajwar and J. Goodman, "Transactional Lock-free Execution of Lock-based Programs," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 02), ACM Press, 2002, pp. 5-17.
[10] L. Hammond et al., "Programming with Transactional Coherence and Consistency," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 04), ACM Press, 2004, pp. 1-13.
[11] Sun Microsystems, The Fortress Language Specification,, 2006.
[12] H. Ramadan et al., "MetaTM/TxLinux: Transactional Memory for an Operating System," Proc. Ann. Int'l Symp. Computer Architecture (ISCA 07), IEEE CS Press, 2007, pp. 92-103.
[13] W. Chuang et al., "Unbounded Page-based Transactional Memory," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 06), ACM Press, 2006, pp. 347-358.
[14] C. Rossbach et al., "TxLinux: Using and Managing Hardware Transactional Memory in the Operating System," Proc. ACM SIGOPS Symp. Operating System Principles (SOSP 07), ACM Press, 2007, pp. 87-102.
|
 Additional Information
|
Index Terms- transactional memory, operating systems, parallel architectures, MetaTM, TxLinux
Citation:
Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel,
"MetaTM/TxLinux: Transactional Memory for an Operating System,"
IEEE Micro,
vol. 28,
no. 1,
pp. 42-51,
Jan/Feb,
2008
|
|
RSS Feed