- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. An emprical study of operating systems errors. In SOSP, 2001. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Elnozahy, E., Johnson, D., and Wang, Y. A survey of rollback-recovery protocols in message-passing systems, 1996.Google Scholar
- Engler, D. and Ashcraft, K. Racer-X: Effective, static detection of race conditions and deadlocks. In SOSP, 2003. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Harris, T. Exceptions and side-effects in atomic blocks. Sci. Comput. Program., 58(3):325--343, 2005. Google ScholarDigital Library
- Herlihy, M. and Moss, J. E. Transactional memory: Architectural support for lock-free data structures. In ISCA, May 1993. Google ScholarDigital Library
- 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
- Larus, J. R. and Rajwar, R. Transactional Memory. Morgan & Claypool, 2006.Google Scholar
- 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. Google ScholarDigital Library
- Moore, K. E., Bobba, J., Moravan, M. J., Hill, M. D., and Wood, D. A. Logtm: Log-based transactional memory. In HPCA, 2006.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- Moss, E. and Hosking, T. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, 2005.Google Scholar
- Moss, J. E. B., Griffeth, N. D., and Graham, M. H. Abstraction in recovery management. SIGMOD Rec., 15(2):72--83, 1986. Google ScholarDigital Library
- Porter, D. E., Hofmann, O. S., and Witchel, E. Is the optimism in optimistic concurrency warranted? In HotOS, 2007. Google ScholarDigital Library
- Rajwar, R. and Goodman, J. Speculative lock elision: Enabling highly concurrent multithreaded execution. In MICRO, 2001. Google ScholarDigital Library
- Rajwar, R. and Goodman, J. Transactional lock-free execution of lock-based programs. In ASPLOS, 2002. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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
- 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. Google ScholarDigital Library
- Scherer III, W. N. and Scott, M. L. Advanced contention management for dynamic software transactional memory. In PODC, 2005. Google ScholarDigital Library
- 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. Google ScholarDigital Library
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 principlesTxLinux 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 architectureThis 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