research-article

Free access

TxLinux and MetaTM: transactional memory and the operating system

Authors:

Christopher J. Rossbach,

Emmett WitchelAuthors Info & Claims

Communications of the ACM, Volume 51, Issue 9

Pages 83 - 91

https://doi.org/10.1145/1378727.1378747

Published: 01 September 2008 Publication History

All formats PDF

References

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[3]

Carlstrom, B., McDonald, A., Chaf., H., Chung, J., Cao Minh, C., Kozyrakis, C., and Olukotun, K. The Atomos transactional programming language. In PLDI, June 2006.

Digital Library

Google Scholar

[4]

Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. An emprical study of operating systems errors. In SOSP, 2001.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[6]

Elnozahy, E., Johnson, D., and Wang, Y. A survey of rollback-recovery protocols in message-passing systems, 1996.

Google Scholar

[7]

Engler, D. and Ashcraft, K. Racer-X: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[9]

Harris, T. Exceptions and side-effects in atomic blocks. Sci. Comput. Program., 58(3):325--343, 2005.

Digital Library

Google Scholar

[10]

Herlihy, M. and Moss, J. E. Transactional memory: Architectural support for lock-free data structures. In ISCA, May 1993.

Digital Library

Google Scholar

[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.

Google Scholar

[12]

Larus, J. R. and Rajwar, R. Transactional Memory. Morgan & Claypool, 2006.

Google Scholar

[13]

McDonald, A., Chung, J., Carlstrom, B., Minh, C. C., Chaf., H., Kozyrakis, C., and Olukotun, K. Architectural semantics for practical transactional memory. In ISCA, June 2006.

Digital Library

Google Scholar

[14]

Moore, K. E., Bobba, J., Moravan, M. J., Hill, M. D., and Wood, D. A. Logtm: Log-based transactional memory. In HPCA, 2006.

Crossref

Google Scholar

[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.

Digital Library

Google Scholar

[16]

Moss, E. and Hosking, T. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, 2005.

Google Scholar

[17]

Moss, J. E. B., Griffeth, N. D., and Graham, M. H. Abstraction in recovery management. SIGMOD Rec., 15(2):72--83, 1986.

Digital Library

Google Scholar

[18]

Porter, D. E., Hofmann, O. S., and Witchel, E. Is the optimism in optimistic concurrency warranted? In HotOS, 2007.

Digital Library

Google Scholar

[19]

Rajwar, R. and Goodman, J. Speculative lock elision: Enabling highly concurrent multithreaded execution. In MICRO, 2001.

Digital Library

Google Scholar

[20]

Rajwar, R. and Goodman, J. Transactional lock-free execution of lock-based programs. In ASPLOS, 2002.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Google Scholar

[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.

Digital Library

Google Scholar

[24]

Scherer III, W. N. and Scott, M. L. Advanced contention management for dynamic software transactional memory. In PODC, 2005.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

Cited By

View all

Attiya HHillel E(2019)Highly concurrent multi-word synchronizationTheoretical Computer Science10.1016/j.tcs.2010.12.049412:12-14(1243-1262)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/j.tcs.2010.12.049
Titos-Gil JAcacio M(2015)Hardware Approaches to Transactional Memory in Chip MultiprocessorsHandbook on Data Centers10.1007/978-1-4939-2092-1_27(805-835)Online publication date: 17-Mar-2015
https://doi.org/10.1007/978-1-4939-2092-1_27
Harris TLarus JRajwar R(2010)Transactional Memory, 2nd editionSynthesis Lectures on Computer Architecture10.2200/S00272ED1V01Y201006CAC0115:1(1-263)Online publication date: 22-Dec-2010
https://doi.org/10.2200/S00272ED1V01Y201006CAC011

Index Terms

TxLinux and MetaTM: transactional memory and the operating system

Recommendations

TxLinux: using and managing hardware transactional memory in an operating system
SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles

TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. This paper describes and measures TxLinux and discusses two ...
MetaTM/TxLinux: transactional memory for an operating system
ISCA '07: Proceedings of the 34th annual international symposium on Computer architecture

This paper quantifies the effect of architectural design decisions onthe performance of TxLinux. TxLinux is a Linux kernel modifiedto use transactions in place of locking primitives in several key subsystems.We run TxLinux on MetaTM, which is a new ...
MetaTM/TxLinux: transactional memory for an operating system

This paper quantifies the effect of architectural design decisions onthe performance of TxLinux. TxLinux is a Linux kernel modifiedto use transactions in place of locking primitives in several key subsystems.We run TxLinux on MetaTM, which is a new ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 51, Issue 9

Enterprise information integration: and other tools for merging data

September 2008

124 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1378727

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2008

Published in CACM Volume 51, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
4,917
Total Downloads

Downloads (Last 12 months)275
Downloads (Last 6 weeks)26

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Attiya HHillel E(2019)Highly concurrent multi-word synchronizationTheoretical Computer Science10.1016/j.tcs.2010.12.049412:12-14(1243-1262)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/j.tcs.2010.12.049
Titos-Gil JAcacio M(2015)Hardware Approaches to Transactional Memory in Chip MultiprocessorsHandbook on Data Centers10.1007/978-1-4939-2092-1_27(805-835)Online publication date: 17-Mar-2015
https://doi.org/10.1007/978-1-4939-2092-1_27
Harris TLarus JRajwar R(2010)Transactional Memory, 2nd editionSynthesis Lectures on Computer Architecture10.2200/S00272ED1V01Y201006CAC0115:1(1-263)Online publication date: 22-Dec-2010
https://doi.org/10.2200/S00272ED1V01Y201006CAC011

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

TxLinux: using and managing hardware transactional memory in an operating system

MetaTM/TxLinux: transactional memory for an operating system

MetaTM/TxLinux: transactional memory for an operating system

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations