{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T15:52:44Z","timestamp":1790869964373,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T00:00:00Z","timestamp":1192320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,14]]},"DOI":"10.1145\/1294261.1294271","type":"proceedings-article","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T12:15:18Z","timestamp":1192796118000},"page":"87-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["TxLinux"],"prefix":"10.1145","author":[{"given":"Christopher J.","family":"Rossbach","sequence":"first","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Owen S.","family":"Hofmann","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Donald E.","family":"Porter","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hany E.","family":"Ramadan","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bhandari","family":"Aditya","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emmett","family":"Witchel","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Hardware support for priority inheritance. rtss, 00:246","author":"Akgul BES.","year":"2003","unstructured":"BES. Akgul , VJM. III , H Thane , and PKuacharoen. Hardware support for priority inheritance. rtss, 00:246 , 2003 . BES. Akgul, VJM. III, HThane, and PKuacharoen. Hardware support for priority inheritance. rtss, 00:246, 2003."},{"key":"e_1_3_2_2_2_1","volume-title":"HPCA","author":"Alameldeen A.","year":"2003","unstructured":"A. Alameldeen and D. Wood . Variability in architectural simulations of multi-threaded workloads . In HPCA , 2003 . A. Alameldeen and D. Wood. Variability in architectural simulations of multi-threaded workloads. In HPCA, 2003."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.41"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250667"},{"key":"e_1_3_2_2_5_1","volume-title":"Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking.","author":"Blundell C.","year":"2005","unstructured":"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 . 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."},{"key":"e_1_3_2_2_6_1","volume-title":"Understanding the Linux Kernel","author":"Bovet D.","year":"2005","unstructured":"D. Bovet and M. Cesati . Understanding the Linux Kernel . O'Reilly Media, Inc. , 3rd edition, 2005 . D. Bovet and M. Cesati. Understanding the Linux Kernel. O'Reilly Media, Inc., 3rd edition, 2005."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133983"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168918.1168901"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168903"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168900"},{"key":"e_1_3_2_2_12_1","volume-title":"A survey of rollback-recovery protocols in message-passing systems","author":"Elnozahy E.","year":"1996","unstructured":"E. Elnozahy , D. Johnson , and Y. Wang . A survey of rollback-recovery protocols in message-passing systems , 1996 . E. Elnozahy, D. Johnson, and Y. Wang. A survey of rollback-recovery protocols in message-passing systems, 1996."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133985"},{"key":"e_1_3_2_2_15_1","volume-title":"Transaction Processing: Concepts and Techniques. Morgan Kaufmann","author":"Gray J.","year":"1993","unstructured":"J. Gray and A. Reuter . Transaction Processing: Concepts and Techniques. Morgan Kaufmann , 2 nd edition, 1993 . J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 2nd edition, 1993.","edition":"2"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238767"},{"key":"e_1_3_2_2_17_1","volume-title":"ISCA","author":"Hammond L.","year":"2004","unstructured":"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 . 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."},{"key":"e_1_3_2_2_18_1","volume-title":"ISCA","author":"Hammond L.","year":"2004","unstructured":"L. Hammond , V. Wong , M. Chen , B. D. Carlstrom , J. D. Davis , B. Hertzberg , M. K. Prabhu , HWijaya, CKozyrakis, and KOlukotun. Transactional memory coherence and consistency . In ISCA , Jun 2004 . L. Hammond, V. Wong, M. Chen, B. D. Carlstrom, J. D. Davis, B. Hertzberg, M. K. Prabhu, HWijaya, CKozyrakis, and KOlukotun. Transactional memory coherence and consistency. In ISCA, Jun 2004."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.03.005"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_2_23_1","volume-title":"ACM TRANSACT Workshop","author":"Hofmann O. S.","year":"2007","unstructured":"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 . 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."},{"key":"e_1_3_2_2_24_1","volume-title":"IA-32 Intel Architecture Software Developer's Manuals","author":"Intel Corporation","year":"2006","unstructured":"Intel Corporation . IA-32 Intel Architecture Software Developer's Manuals , 2006 . http:\/\/developer.intel.com\/design\/processor\/. Intel Corporation. IA-32 Intel Architecture Software Developer's Manuals, 2006. http:\/\/developer.intel.com\/design\/processor\/."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1123003"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359863.359878"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/363095.363144"},{"key":"e_1_3_2_2_29_1","volume-title":"Transactional Memory. Morgan &amp","author":"Larus J. R.","year":"2006","unstructured":"J. R. Larus and R. Rajwar . Transactional Memory. Morgan &amp ; Claypool , 2006 . J. R. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982916"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/142111.993246"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.9"},{"key":"e_1_3_2_2_33_1","volume-title":"Solaris Internals","author":"McDougall R.","year":"2006","unstructured":"R. McDougall and J. Mauro . Solaris Internals . Prentice Hall , 2 nd edition, 2006 . R. McDougall and J. Mauro. Solaris Internals. Prentice Hall, 2nd edition, 2006.","edition":"2"},{"key":"e_1_3_2_2_34_1","unstructured":"Microsoft Corporation. Transactional NTFS (TxF) 2006. http:\/\/msdn2.microsoft.com\/en-us\/library\/aa365456.aspx.  Microsoft Corporation. Transactional NTFS (TxF) 2006. http:\/\/msdn2.microsoft.com\/en-us\/library\/aa365456.aspx."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598134"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168902"},{"key":"e_1_3_2_2_37_1","volume-title":"SCOOL","author":"Moss E.","year":"2005","unstructured":"E. Moss and T. Hosking . Nested transactional memory: Model and preliminary architecture sketches . In SCOOL , 2005 . E. Moss and T. Hosking. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, 2005."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/16856.16862"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.05.010"},{"key":"e_1_3_2_2_40_1","volume-title":"USENIX","author":"Ousterhout J. K.","year":"1990","unstructured":"J. K. Ousterhout . Why aren't operating systems getting faster as fast as hardware ? In USENIX Summer, 1990 . J. K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In USENIX Summer, 1990."},{"key":"e_1_3_2_2_41_1","volume-title":"Linux Gazette","author":"Pramode C.","year":"2007","unstructured":"C. Pramode . Experiments with kernel 2.6 on a hyperthreaded Pentium 4 LG . Linux Gazette , 2007 . C. Pramode. Experiments with kernel 2.6 on a hyperthreaded Pentium 4 LG. Linux Gazette, 2007."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/563998.564036"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605399"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.54"},{"key":"e_1_3_2_2_45_1","volume-title":"ISCA","author":"Ramadan H.","year":"2007","unstructured":"H. Ramadan , C. Rossbach , D. Porter , O. Hofmann , A. Bhandari , and E. Witchel . Evaluating transactional memory tradeoffs with TxLinux . In ISCA , 2007 . H. Ramadan, C. Rossbach, D. Porter, O. Hofmann, A. Bhandari, and E. Witchel. Evaluating transactional memory tradeoffs with TxLinux. In ISCA, 2007."},{"key":"e_1_3_2_2_46_1","volume-title":"Workshop on Transactional Memory Workloads","author":"Ramadan H.","year":"2006","unstructured":"H. Ramadan , C. Rossbach , and E. Witchel . The Linux kernel: A challenging workload for transactional memory . In Workshop on Transactional Memory Workloads , June 2006 . H. Ramadan, C. Rossbach, and E. Witchel. The Linux kernel: A challenging workload for transactional memory. In Workshop on Transactional Memory Workloads, June 2006."},{"key":"e_1_3_2_2_47_1","volume-title":"Linux Symposium","author":"Rostedt S.","year":"2007","unstructured":"S. Rostedt and D. V. Hart . Internals of the RT patch . In Linux Symposium , 2007 . S. Rostedt and D. V. Hart. Internals of the RT patch. In Linux Symposium, 2007."},{"key":"e_1_3_2_2_48_1","volume-title":"Microsoft Windows Internals: Microsoft Windows Server(TM)","author":"Russinovich M.","year":"2003","unstructured":"M. Russinovich and D. Solomon . Microsoft Windows Internals: Microsoft Windows Server(TM) 2003 , Windows XP, and Windows 2000. Microsoft Press , 4 th edition, 2004. M. Russinovich and D. Solomon. Microsoft Windows Internals: Microsoft Windows Server(TM) 2003, Windows XP, and Windows 2000. Microsoft Press, 4th edition, 2004.","edition":"4"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.9"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073814.1073861"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095421"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74866"},{"key":"e_1_3_2_2_53_1","volume-title":"LinuxExpo '98","author":"Tweedie S.","year":"1998","unstructured":"S. Tweedie . Journaling the Linux ext2fs filesystem . In LinuxExpo '98 , 1998 . S. Tweedie. Journaling the Linux ext2fs filesystem. In LinuxExpo '98, 1998."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_8"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346204"},{"key":"e_1_3_2_2_56_1","volume-title":"ACM TRANSACT Workshop","author":"Zilles C.","year":"2006","unstructured":"C. Zilles and L. Baugh . Extending hardware transactional memory to support non-busy waiting and non-transactional actions . In ACM TRANSACT Workshop , Jun 2006 . C. Zilles and L. Baugh. Extending hardware transactional memory to support non-busy waiting and non-transactional actions. In ACM TRANSACT Workshop, Jun 2006."}],"event":{"name":"SOSP07: ACM SIGOPS 21st Symposium on Operating Systems Principles 2007","location":"Stevenson Washington USA","acronym":"SOSP07","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294271","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294261.1294271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:22Z","timestamp":1750243942000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294271"}},"subtitle":["using and managing hardware transactional memory in an operating system"],"short-title":[],"issued":{"date-parts":[[2007,10,14]]},"references-count":56,"alternative-id":["10.1145\/1294261.1294271","10.1145\/1294261"],"URL":"https:\/\/doi.org\/10.1145\/1294261.1294271","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1323293.1294271","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,14]]},"assertion":[{"value":"2007-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}