{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:59:35Z","timestamp":1725893975634},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642330773"},{"type":"electronic","value":"9783642330780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33078-0_23","type":"book-chapter","created":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T21:37:49Z","timestamp":1346708269000},"page":"317-331","source":"Crossref","is-referenced-by-count":1,"title":["STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code"],"prefix":"10.1007","author":[{"given":"Tyler","family":"Crain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Kanellou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Raynal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-17653-1_25","volume-title":"Principles of Distributed Systems","author":"Y. Afek","year":"2010","unstructured":"Afek, Y., Avni, H., Dice, D., Shavit, N.: Efficient Lock Free Privatization. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol.\u00a06490, pp. 333\u2013347. Springer, Heidelberg (2010)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-25959-3_5","volume-title":"Distributed Computing and Networking","author":"T. Crain","year":"2012","unstructured":"Crain, T., Imbs, D., Raynal, M.: Towards a Universal Construction for Transaction-Based Multiprocess Programs. In: Bononi, L., Datta, A.K., Devismes, S., Misra, A. (eds.) ICDCN 2012. LNCS, vol.\u00a07129, pp. 61\u201375. Springer, Heidelberg (2012)"},{"key":"23_CR3","unstructured":"Crain, T., Kanellou, E., Raynal, M.: Enforcing Strong Isolation. Irisa Technical Report (2012)"},{"key":"23_CR4","unstructured":"Dalessandro, L., Scott, M.: Strong Isolation is a Weak Idea. In: Proc. Workshop on Transactional Memory, TRANSACT 2009 (2009)"},{"key":"23_CR5","unstructured":"Dice, D., Matveev, A., Shavit, N.: Implicit privatization using private transactions. In: Proc. Workshop on Transactional Memory, TRANSACT 2010 (2010)"},{"key":"23_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.N.: Transactional Locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2008), pp. 175\u2013184. ACM Press (2008)","DOI":"10.1145\/1345206.1345233"},{"key":"23_CR8","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional Memory, 2nd edn. Synthesis Lectures on Computer Architecture. Morgan & Claypool Publishers (2006)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.M.B.: Transactional memory: architectural support for lock-free data structures. In: Proc. of the 20th annual Int\u2019l Symposium on Computer Architecture (ISCA 1993), pp. 289\u2013300. ACM Press (1993)","DOI":"10.1145\/173682.165164"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.tcs.2012.04.037","volume":"444","author":"D. Imbs","year":"2012","unstructured":"Imbs, D., Raynal, M.: A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition. Theoretical Computer Science\u00a0444, 113\u2013127 (2012)","journal-title":"Theoretical Computer Science"},{"issue":"9","key":"23_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2007.04.009","volume":"174","author":"J.-W. Maessen","year":"2007","unstructured":"Maessen, J.-W., Arvind, M.: Store Atomicity for Transactional Memory. Electronic Notes on Theoretical Computer Science\u00a0174(9), 117\u2013137 (2007)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"23_CR12","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":"23_CR13","unstructured":"Matveev, A., Shavit, N.: Towards a Fully Pessimistic STM Model. In: Proc. Workshop on Transactional Memory, TRANSACT 2012 (2012)"},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1273440.1250673","volume":"35","author":"C. Minh","year":"2007","unstructured":"Minh, C., Trautmann, M., Chung, J., McDonald, A., Bronson, N., Casper, J., Kozyrakis, C., Olukotun, K.: An effective hybrid transactional memory system with strong isolation guarantees. SIGARCH Comput. Archit. News\u00a035(2), 69\u201380 (2007)","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"4","key":"23_CR15","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The Serializability of Concurrent Updates. Journal of the ACM\u00a026(4), 631\u2013653 (1979)","journal-title":"Journal of the ACM"},{"issue":"10","key":"23_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/1449955.1449779","volume":"43","author":"F. Schneider","year":"2008","unstructured":"Schneider, F., Menon, V., Shpeisman, T., Adl-Tabatabai, A.: Dynamic optimization for efficient strong atomicity. ACM SIGPLAN Noticers\u00a043(10), 181\u2013194 (2008)","journal-title":"ACM SIGPLAN Noticers"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Scott, M.L., Spear, M.F., Dalessandro, L., Marathe, V.J.: Delaunay Triangulation with Transactions and Barriers. In: Proc. 10th IEEE Int\u2019l Symposium on Workload Characterization (IISWC 2007), pp. 107\u2013113. IEEE Computer Society (2007)","DOI":"10.1109\/IISWC.2007.4362186"},{"issue":"2","key":"23_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. Distributed Computing\u00a010(2), 99\u2013116 (1997)","journal-title":"Distributed Computing"},{"issue":"6","key":"23_CR19","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1273442.1250744","volume":"42","author":"T. Shpeisman","year":"2007","unstructured":"Shpeisman, T., Menon, V., Adl-Tabatabai, A.R., Balensiefer, S., Grossman, D., Hudson, R.L., Moore, K.F., Saha, B.: Enforcing isolation and ordering in STM. ACM SIGPLAN Noticers\u00a042(6), 78\u201388 (2007)","journal-title":"ACM SIGPLAN Noticers"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-92221-6_19","volume-title":"Principles of Distributed Systems","author":"M.F. Spear","year":"2008","unstructured":"Spear, M.F., Dalessandro, L., Marathe, V.J., Scott, M.L.: Ordering-Based Semantics for Software Transactional Memory. In: Baker, T.P., Bui, A., Tixeuil, S. (eds.) OPODIS 2008. LNCS, vol.\u00a05401, pp. 275\u2013294. Springer, Heidelberg (2008)"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Spear, M.F., Marathe, V.J., Dalessandro, L., Scott, M.L.: Privatization techniques for software transactional memory. In: Proc. 26th Annual ACM Symposium on Principles of Distributed Computing (PODC 2007), pp. 338\u2013339. ACM Press (2007)","DOI":"10.1145\/1281100.1281161"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33078-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:28Z","timestamp":1620129268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33078-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642330773","9783642330780"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33078-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}