{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:30:17Z","timestamp":1725496217163},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540771128"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77115-9_22","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T05:11:56Z","timestamp":1196313116000},"page":"209-224","source":"Crossref","is-referenced-by-count":2,"title":["Language Support and Compiler Optimizations for STM and Transactional Boosting"],"prefix":"10.1007","author":[{"given":"Guy","family":"Eddon","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Herlihy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1133981.1133985","volume-title":"PLDI 2006: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation","author":"A.-R. Adl-Tabatabai","year":"2006","unstructured":"Adl-Tabatabai, A.-R., Lewis, B.T., Menon, V., Murphy, B.R., Menon, V., Saha, B., Shpeisman, T.: Compiler and runtime support for efficient software transactional memory. In: PLDI 2006: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pp. 26\u201337. ACM Press, New York (2006)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/258915.258940","volume-title":"PLDI 1997. Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation","author":"F. Chow","year":"1997","unstructured":"Chow, F., Chan, S., Kennedy, R., Liu, S.-M., Lo, R., Tu, P.: A new algorithm for partial redundancy elimination based on ssa form. In: PLDI 1997. Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation, pp. 273\u2013286. ACM Press, New York (1997)"},{"key":"22_CR3","unstructured":"Dalessandro, L., Marathe, V.J., Spear, M.F., Scott, M.L.: Capabilities and limitations of library-based software transactional memory in c++. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Transactional Computing, Portland, OR (August 2007)"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1145\/1168857.1168900","volume-title":"ASPLOS-XII. Proceedings of the 12th international conference on Architectural support for programming languages and operating systems","author":"P. Damron","year":"2006","unstructured":"Damron, P., Fedorova, A., Lev, Y., Luchangco, V., Moir, M., Nussbaum, D.: Hybrid transactional memory. In: ASPLOS-XII. Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pp. 336\u2013346. ACM Press, New York (2006)"},{"key":"22_CR5","unstructured":"Dice, D., Shavit, N.: What really makes transactions faster. In: Proc. of the 1st TRANSACT, workshop, 2006. Electronic (2006)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume-title":"Distributed Computing","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking ii. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"22_CR7","unstructured":"Ennals, R.: Software transactional memory should not be obstruction-free. Intel Research Cambridge (unpublished manuscript)"},{"key":"22_CR8","unstructured":"Felber, P., Fetzer, C., M\u00fcller, U., Riegel, T., S\u00fc\u00dfkraut, M., Sturzrehm, H.: Transactifying applications using an open compiler framework. In: TRANSACT (2007)"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/949305.949340","volume-title":"OOPSLA 2003. Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications","author":"T. Harris","year":"2003","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA 2003. Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pp. 388\u2013402. ACM Press, New York (2003)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1065944.1065952","volume-title":"PPoPP 2005. Proceedings of the 10th ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005. Proceedings of the 10th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 48\u201360. ACM Press, New York (2005)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1133981.1133984","volume-title":"PLDI 2006. Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation","author":"T. Harris","year":"2006","unstructured":"Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: PLDI 2006. Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pp. 14\u201325. ACM Press, New York (2006)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Koskinen, E.: Transactional boosting: A methodology for highly-concurrent transactional objects. Technical Report CS-07-08, Brown University (July 2007)","DOI":"10.1145\/1345206.1345237"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. In: OOPSLA, pp. 253\u2013262 (2006)","DOI":"10.1145\/1167473.1167495"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/872035.872048","volume-title":"PODC 2003. Proceedings of the 22nd annual symposium on Principles of distributed computing","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: PODC 2003. Proceedings of the 22nd annual symposium on Principles of distributed computing, pp. 92\u2013101. ACM Press, New York (2003)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/777412.777468","volume-title":"SPAA 2003. Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures","author":"V. Luchangco","year":"2003","unstructured":"Luchangco, V., Moir, M., Shavit, N.: Nonblocking k-compare-single-swap. In: SPAA 2003. Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures, pp. 314\u2013323. ACM Press, New York (2003)"},{"key":"22_CR16","unstructured":"Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., Scherer III, W.N., Scott, M.L.: Lowering the overhead of software transactional memory. In: ACM SIGPLAN Workshop on Transactional Computing (June 2006) Held in conjunction with PLDI 2006. Expanded version available as TR 893, Department of Computer Science, University of Rochester (March 2006)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Martin, M., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters\u00a05(2) (2006)","DOI":"10.1109\/L-CA.2006.18"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1229428.1229442","volume-title":"PPoPP 2007. Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"Y. Ni","year":"2007","unstructured":"Ni, Y., Menon, V.S., Adl-Tabatabai, A.-R., Hosking, A.L., Hudson, R.L., Eliot, J., Moss, B., Saha, B., Shpeisman, T.: Open nesting in software transactional memory. In: PPoPP 2007. Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 68\u201378. ACM Press, New York (2007)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Saha, B., Adl-Tabatabai, A.-R., Hudson, R., Minh, C.C., Hertzberg, B.: Mcrt-stm: A high performance software transactional memory system for a multi-core runtime. In: PPoPP (2006)","DOI":"10.1145\/1122971.1123001"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Spear, M.F., Marathe, V.J., Dalessandro, L., Scott, M.L.: Privatization techniques for software transactional memory. In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing (August 2007)","DOI":"10.1145\/1281100.1281161"},{"key":"22_CR21","unstructured":"http:\/\/research.microsoft.com\/research\/downloads\/Details\/6cfc842d-1c16-4739-afaf-edb35f544384\/Details.aspx"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1002\/spe.618","volume":"34","author":"T. VanDrunen","year":"2004","unstructured":"VanDrunen, T., Hosking, A.L.: Anticipation-based partial redundancy elimination for static single assignment form. Software: Practice and Experience\u00a034, 1413\u20131439 (2004)","journal-title":"Software: Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77115-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:00:51Z","timestamp":1619506851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77115-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540771128"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77115-9_22","relation":{},"subject":[]}}