{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:19:59Z","timestamp":1743128399458,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642007217"},{"type":"electronic","value":"9783642007224"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00722-4_6","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:00:16Z","timestamp":1238101216000},"page":"63-77","source":"Crossref","is-referenced-by-count":11,"title":["Implementation and Use of Transactional Memory with Dynamic Separation"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Birrell","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Harris","sequence":"additional","affiliation":[]},{"given":"Johnson","family":"Hsieh","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Isard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: Architectural support for lock-free data structures. In: ISCA 1993, 20th International Symposium on Computer Architecture, pp. 289\u2013301 (May 1993)","DOI":"10.1145\/165123.165164"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005, 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48\u201360 (June 2005)","DOI":"10.1145\/1065944.1065952"},{"key":"6_CR3","unstructured":"Isard, M., Birrell, A.: Automatic mutual exclusion. In: HotOS 2007, 11th Workshop on Hot Topics in Operating Systems (May 2007)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Kay, A., Behrends, R., Young, M.: Transactions with isolation and cooperation. In: OOPSLA 2007, 22nd ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (October 2007)","DOI":"10.1145\/1297027.1297042"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Spear, M.F., Marathe, V.J., Dalessandro, L., Scott, M.L.: Privatization techniques for software transactional memory. Technical Report 915, CS Dept, U. Rochester (February 2007)","DOI":"10.1145\/1281100.1281161"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: POPL 2008, 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 63\u201374 (2008)","DOI":"10.1145\/1328438.1328449"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Moore, K.F., Grossman, D.: High-level small-step operational semantics for transactions. In: POPL 2008, 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 51\u201362 (January 2008)","DOI":"10.1145\/1328438.1328448"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Menon, V., Balensiefer, S., Shpeisman, T., Adl-Tabatabai, A.R., Hudson, R.L., Saha, B., Welc, A.: Practical weak-atomicity semantics for Java STM. In: SPAA 2008, 20th Symposium on Parallelism in Algorithms and Architectures, pp. 314\u2013325 (June 2008)","DOI":"10.1145\/1378533.1378588"},{"key":"6_CR9","unstructured":"Blundell, C., Lewis, E.C., Martin, M.M.K.: Deconstructing transactional semantics: The subtleties of atomicity. In: WDDD 2005, 4th Workshop on Duplicating, Deconstructing and Debunking, pp. 48\u201355 (June 2005)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Dice, D., Shavit, N.: What really makes transactions faster? In: TRANSACT 2006, 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (June 2006)","DOI":"10.1007\/11864219_14"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: DISC 2006, 20th International Symposium on Distributed Computing, pp. 194\u2013208 (September 2006)","DOI":"10.1007\/11864219_14"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Wang, C., Chen, W.Y., Wu, Y., Saha, B., Adl-Tabatabai, A.R.: Code generation and optimization for transactional memory constructs in an unmanaged language. In: CGO 2007, International Symposium on Code Generation and Optimization, pp. 34\u201348 (March 2007)","DOI":"10.1109\/CGO.2007.4"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proc. 14th Annual ACM Symposium on Principles of Distributed Computing, pp. 204\u2013213 (August 1995)","DOI":"10.1145\/224964.224987"},{"key":"6_CR14","doi-asserted-by":"crossref","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. In: PLDI 2007, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 78\u201388 (June 2007)","DOI":"10.1145\/1250734.1250744"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Schneider, F.T., Menon, V., Shpeisman, T., Adl-Tabatabai, A.R.: Dynamic optimization for efficient strong atomicity. In: OOPSLA 2008, 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, pp. 181\u2013194 (October 2008)","DOI":"10.1145\/1449764.1449779"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Abadi, M., Harris, T., Mehrara, M.: Transactional memory with strong atomicity using off-the-shelf memory protection hardware. In: PPoPP 2009, 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (February 2009)","DOI":"10.1145\/1594835.1504203"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Abadi, M., Harris, T., Moore, K.F.: A model of dynamic separation for transactional memory. In: CONCUR 2008, 19th International Conference on Concurrency Theory, pp. 6\u201320 (August 2008)","DOI":"10.1007\/978-3-540-85361-9_5"},{"key":"6_CR18","unstructured":"Abadi, M., Birrell, A., Harris, T., Hsieh, J., Isard, M.: Dynamic separation for transactional memory. Technical Report MSR-TR-2008-43 (March 2008)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: PLDI 2006, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 14\u201325 (June 2006)","DOI":"10.1145\/1133981.1133984"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R., Michael, M., von Praun, C.: A theory of memory models. In: PPoPP 2007, 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 161\u2013172 (March 2007)","DOI":"10.1145\/1229428.1229469"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Saha, B., Adl-Tabatabai, A.R., Hudson, R.L., Minh, C.C., Hertzberg, B.: McRT-STM: a high performance software transactional memory system for a multi-core runtime. In: PPoPP 2006, 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 187\u2013197 (March 2006)","DOI":"10.1145\/1122971.1123001"},{"issue":"3a","key":"6_CR22","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/325096.325100","volume":"18","author":"S.V. Adve","year":"1990","unstructured":"Adve, S.V., Hill, M.D.: Weak ordering \u2013 a new definition. ACM SIGARCH Comput. Archit. News\u00a018(3a), 2\u201314 (1990)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"issue":"8","key":"6_CR23","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.707614","volume":"31","author":"M.D. Hill","year":"1998","unstructured":"Hill, M.D.: Multiprocessors should support simple memory-consistency models. Computer\u00a031(8), 28\u201334 (1998)","journal-title":"Computer"},{"key":"6_CR24","unstructured":"Lev, Y., Maessen, J.W.: Towards a safer interaction with transactional memory by tracking object visibility. In: SCOOL 2005, Workshop on Synchronization and Concurrency in Object-Oriented Languages (October 2005)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00722-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T23:51:11Z","timestamp":1558223471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00722-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007217","9783642007224"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00722-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}