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

Operating Systems Review (ACM)

Volumn , Issue , 2007, Pages 87-102

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

^a University of Texas at Austin   (United States)

Author keywords

MetaTM; Operating systems; Optimistic concurrency; Synchronization; Transactional memory; TxLinux

Indexed keywords

METATM; OPTIMISTIC CONCURRENCY; TRANSACTIONAL MEMORY; TXLINUX; CONCURRENT THREADS; CRITICAL REGION; OPERATING SYSTEMS; PRIORITY INVERSION; ROLL BACK; SYNCHRONIZATION PRIMITIVE;

COMPUTER RESOURCE MANAGEMENT; CONCURRENCY CONTROL; SCHEDULING ALGORITHMS; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION; LOCKS (FASTENERS); PROGRAM PROCESSORS; SCHEDULING;

COMPUTER OPERATING SYSTEMS;

EID: 41149085973     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294261.1294271     Document Type: Conference Paper

References (56)

1. B. E. S. Akgul, V. J. M. III, H. Thane, and P. Kuacharoen. Hardware support for priority inheritance, rtss, 00:246, 2003.
2. A. Alameldeen and D. Wood. Variability in architectural simulations of multi-threaded workloads. In HPCA, 2003.
3. C. Anaian, K. Asanovic, B. Kuszmaul, C. Leiserson, and S. Lie. Unbounded transactional memory. In HPCA, 2005.
4. C. Blundell, J. Devietti, E. C. Lewis, and M. M. K. Martin. Making the fast case common and the uncommon case simple in unbounded transactional memory. In ISCA, 2007.
5. C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactions: The subtleties of atomicity. In Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking. Jun 2005.
6. D. Bovet and M. Cesati. Understanding the Linux Kernel. OŔeilly Media, Inc., 3rd edition, 2005.
7. B. Carlstrom, A. McDonald, H. Chafi, J. Chung, C. Cao Minn, C. Kozyrakis, and K. Olukotun. The Atomos transactional programming language. In PLDI, Jun 2006.
8. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An emprical study of operating systems errors. In SOSP, 2001.
9. W. Chuang, S. Narayanasamy, G. Venkatesh, J. Sampson, M. V. Biesbrouck, G. Pokam, B. Calder, and O. Colavin. Unbounded page-based transactional memory. In ASPLOS-XLL, 2006.
10. J. Chung, C. Cao Minn, A. McDonald, H. Chafi, B. D. Carlstrom, T. Skare, C. Kozyrakis, and K. Olukotun. Tradeoffs in transactional memory virtualization. In ASPLOS. ACM Press, Oct 2006.
11. P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. Hybrid transactional memory. In ASPLOS, 2006.
12. E. Elnozahy, D. Johnson, and Y. Wang. A survey of rollback-recovery protocols in message-passing systems, 1996.
13. D. Enger and K. Ashcraft. Racer-X: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.
14. A.-R. A.-T. et al. Compiler and runtime support for efficient software transactional memory. In PIDI, Jun 2006.
15. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 2nd edition, 1993.
16. M. Greenwald and D. Cheriton. The synergy between nonblocking synchronization and operating system structure. In OSDI, 1996.
17. L. Hammond, V. Wong, M. Chen, B. Carlstrom, J. Davis, B. Hertzberg, M. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In ISCA, June 2004.
18. L. Hammond, V. Wong, M. Chen, B. D. Carlstrom, J. D. Davis, B. Hertzberg, M. K. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In ISCA, Jun 2004.
19. T. Harris. Exceptions and side-effects in atomic blocks. Sci. Comput. Program., 58(3):325-343, 2005.
20. T. Harris, M. Herlihy, S. Marlow, and S. Peyton-Jones. Composable memory transactions. In PPoPP, Jun 2005.
21. M. Herlihy. Wait-free synchronization. In TOPLAS, 1991.
22. M. Herlihy and J. E. Moss. Transactional memory: Architectural support for lock-free data structures. In LSCA, May 1993.
23. O. S. Hofmann, D. E. Porter, C. J. Rossbach, H. E. Ramadan, and E. Witchel. Solving difficult HTM problems without difficult hardware. In ACM TRANSACT Workshop, 2007.
24. Intel Corporation. IA-32 Intel Architecture Software Developer's Manuals, 2006. http://developer.intel.com/design/processor/.
25. S. Kumar, M. Chu, C. J. Hughes, P. Kundu, and A. Nguyen. Hybrid transactional memory. In PPoPP, 2006.
26. H. Kung and J. T. Robinson. On optimistic methods of concurrency control. In ACM Transactions on Database Systems 6(2), June 1981.
27. L. Lamport. Concurrent reading and writing. In Communications of the ACM, November 1977.
28. B. W. Lampson. A scheduling philosophy for multiprocessing systems. Communications of the ACM, 11(5), 1968.
29. J. R. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.
30. P. Magnusson, M. Christiansen, and J. E. et al. Simics: A full system simulation platform. In IEEE Computer vol.35 no.2, Feb 2002.
31. H. Massalin and C. Pu. A lock-free multiprocessor OS kernel. In Operating System Review 26(2), 1992.
32. A. McDonald, J. Chung, B. Carlstrom, C. C.M., H. Chafi, C. Kozyrakis, and K. Olukotun. Architectural semantics for practical transactional memory. In ISCA, Jun 2006.
33. R. McDougall and J. Mauro. Solaris Internals. Prentice Hall, 2nd edition, 2006.
34. Microsoft Corporation. Transactional NTFS (TxF), 2006. http://msdn2.microsoft.com/en-us/library/aa365456.aspx.
35. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. Logtm: Log-based transactional memory. In HPCA, 2006.
36. M. J. Moravan, J. Bobba, K. E. Moore, L. Yen, M. D. Hill, B. Liblit, M. M. Swift, and D. A. Wood. Supporting nested transactional memory in logtm. In ASPLOS-XII. 2006.
37. E. Moss and T. Hosking. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, 2005.
38. J. E. B. Moss, N. D. Griffeth, and M. H. Graham. Abstraction in recovery management. SIGMOD Rec., 15(2):72-83, 1986.
39. J. E. B. Moss and A. L. Hosking. Nested transactional memory: Model and architecture sketches. In In Science of Computer Programming, volume 63. Dec 2006.
40. J. K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In USENLX Summer, 1990.
41. C. Pramode. Experiments with kernel 2.6 on a hyperthreaded Pentium 4 LG. Linux Gazette, 2007.
42. R. Rajwar and J. Goodman. Speculative lock elision: Enabling highly concurrent multithreaded execution. In MICRO, 2001.
43. R. Rajwar and J. Goodman. Transactional lock-free execution of lock-based programs. In ASPLOS, 2002.
44. R. Rajwar, M. Herlihy, and K. Lai. Virtualizing transactional memory. In ISCA. Jun 2005.
45. H. Ramadan, C. Rossbach, D. Porter, O. Hofmann, A. Bhandari, and E. Witchel. Evaluating transactional memory tradeoffs with TxLinux. In ISCA, 2007.
46. H. Ramadan, C. Rossbach, and E. Witchel. The Linux kernel: A challenging workload for transactional memory. In Workshop on Transactional Memory Workloads, June 2006.
47. S. Rostedt and D. V. Hart. Internals of the RT patch. In Linux Symposium, 2007.
48. M. Russinovich and D. Solomon. Microsoft Windows Internals: Microsoft Windows Server(TM) 2003, Windows XP, and Windows 2000. Microsoft Press, 4th edition, 2004.
49. B. Saha, A.-R. Adl-Tabatabai, and Q. Jacobson. Architectural support for software transactional memory. In MICRO, pages 185-196, 2006.
50. W. N. Scherer III and M. L. Scott. Advanced contention management for dynamic software transactional memory. In PODC, 2005.
51. H. Sutter and J. Larus. Software and the concurrency revolution. Queue, 3(7):54-62, 2005.
52. A. Tucker and A. Gupta. Process control and scheduling issues for multiprogrammed shared-memory multiprocessors. In SOSP, 1989.
53. S. Tweedie. Journaling the Linux ext2fs filesystem. In LinuxExpo '98, 1998.
54. A. Welc, A. L. Hosking, and S. Jagannathan. Transparently reconciling transactions with locking forjava synchronization. In ECOOP, Jul 2006.
55. L. Yen, J. Bobba, M. Marty, K. E. Moore, H. Volos, M. D. Hill, M. M. Swift, and D. A. Wood. Logtm-SE: Decoupling hardware transactional memory from caches. In HPCA. Feb 2007.
56. C. Zilles and L. Baugh. Extending hardware transactional memory to support non-busy waiting and non-transactional actions. In ACM TRANSACT Workshop, Jun 2006.