{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:17:30Z","timestamp":1743740250611,"version":"3.40.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,5,5]],"date-time":"2012-05-05T00:00:00Z","timestamp":1336176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s00224-012-9406-3","type":"journal-article","created":{"date-parts":[[2012,7,7]],"date-time":"2012-07-07T16:20:28Z","timestamp":1341678028000},"page":"425-446","source":"Crossref","is-referenced-by-count":13,"title":["A Single-Version STM that Is Multi-Versioned Permissive"],"prefix":"10.1007","volume":"51","author":[{"given":"Hagit","family":"Attiya","sequence":"first","affiliation":[]},{"given":"Eshcar","family":"Hillel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,5,5]]},"reference":[{"key":"9406_CR1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/259380.259431","volume-title":"Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing (PODC)","author":"Y. Afek","year":"1997","unstructured":"Afek, Y., Merritt, M., Taubenfeld, G., Touitou, D.: Disentangling multi-object operations. In: Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp.\u00a0111\u2013120 (1997)"},{"key":"9406_CR2","first-page":"35","volume-title":"Proceedings of the 24th International Conference on Distributed Computing (DISC)","author":"H. Attiya","year":"2010","unstructured":"Attiya, H., Hillel, E.: The cost of privatization. In: Proceedings of the 24th International Conference on Distributed Computing (DISC), pp.\u00a035\u201349 (2010)"},{"issue":"4","key":"9406_CR3","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1007\/s00224-010-9304-5","volume":"49","author":"H. Attiya","year":"2011","unstructured":"Attiya, H., Hillel, E., Milani, A.: Inherent limitations on disjoint-access parallel implementations of transactional memory. Theory Comput. Syst. 49(4), 698\u2013719 (2011)","journal-title":"Theory Comput. Syst."},{"key":"9406_CR4","volume-title":"3rd ACM SIGPLAN Workshop on Transactional Computing (TRANSACT)","author":"U. Aydonat","year":"2008","unstructured":"Aydonat, U., Abdelrahman, T.: Serializability of transactions in software transactional memory. In: 3rd ACM SIGPLAN Workshop on Transactional Computing (TRANSACT) (2008)"},{"issue":"2","key":"9406_CR5","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/j.scico.2006.05.009","volume":"63","author":"J.P. Cachopo","year":"2006","unstructured":"Cachopo, J.P., Silva, A.R.: Versioned boxes as the basis for memory transactions. Sci. Comput. Program. 63(2), 172\u2013185 (2006)","journal-title":"Sci. Comput. Program."},{"key":"9406_CR6","first-page":"50","volume-title":"Proceedings of the 24th International Conference on Distributed Computing (DISC)","author":"F. Carouge","year":"2010","unstructured":"Carouge, F., Spear, M.: A scalable lock-free universal construction with best effort transactional hardware. In: Proceedings of the 24th International Conference on Distributed Computing (DISC), pp.\u00a050\u201363 (2010)"},{"key":"9406_CR7","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/1810479.1810537","volume-title":"Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"D. Dice","year":"2010","unstructured":"Dice, D., Lev, Y., Marathe, V., Moir, M., Nussbaum, D., Olszewski, M.: Simplifying concurrent algorithms by exploiting hardware TM. In: Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp.\u00a0325\u2013334 (2010)"},{"key":"9406_CR8","first-page":"194","volume-title":"Proceedings of the 20th International Symposium on Distributed Computing (DISC)","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: Proceedings of the 20th International Symposium on Distributed Computing (DISC), pp.\u00a0194\u2013208 (2006)"},{"key":"9406_CR9","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1145\/1810479.1810531","volume-title":"Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"D. Dice","year":"2010","unstructured":"Dice, D., Shavit, N.: TLRW: return of the read-write lock. In: Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp.\u00a0284\u2013293 (2010)"},{"key":"9406_CR10","volume-title":"2nd Workshop on the Theory of Transactional Memory (WTTM)","author":"S. Diestelhorst","year":"2010","unstructured":"Diestelhorst, S., Hohmuth, M., Pohlack, M.: Sane semantics of best effort hardware transactional memory. In: 2nd Workshop on the Theory of Transactional Memory (WTTM), September (2010)"},{"key":"9406_CR11","unstructured":"Ennals, R.: Software transactional memory should not be obstruction-free. Technical Report IRC-TR-06-052, Intel Research Cambridge Tech Report (2006)"},{"key":"9406_CR12","first-page":"179","volume-title":"Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP)","author":"S.M. Fernandes","year":"2011","unstructured":"Fernandes, S.M., Cachopo, J.P.: Lock-free and scalable multi-version software transactional memory. In: Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), pp.\u00a0179\u2013188 (2011)"},{"key":"9406_CR13","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/978-3-540-92221-6_33","volume-title":"Proceedings of the 12th International Conference on Principles of Distributed Systems (OPODIS)","author":"V. Gramoli","year":"2008","unstructured":"Gramoli, V., Harmanci, D., Felber, P.: Towards a theory of input acceptance for transactional memories. In: Proceedings of the 12th International Conference on Principles of Distributed Systems (OPODIS), pp.\u00a0527\u2013533 (2008)"},{"key":"9406_CR14","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1810479.1810529","volume-title":"Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"R. Guerraoui","year":"2010","unstructured":"Guerraoui, R., Henzinger, T.A., Kapalka, M., Singh, V.: Transactions in the jungle. In: Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp.\u00a0263\u2013272 (2010)"},{"key":"9406_CR15","first-page":"305","volume-title":"Proceedings of the 22nd International Symposium on Distributed Computing (DISC)","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Henzinger, T.A., Singh, V.: Permissiveness in transactional memories. In: Proceedings of the 22nd International Symposium on Distributed Computing (DISC), pp.\u00a0305\u2013319 (2008)"},{"key":"9406_CR16","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/1378533.1378587","volume-title":"Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapa\u0142ka, M.: On obstruction-free transactions. In: Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures (SPAA), pp.\u00a0304\u2013313 (2008)"},{"key":"9406_CR17","first-page":"404","volume-title":"Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"R. Guerraoui","year":"2009","unstructured":"Guerraoui, R., Kapa\u0142ka, M.: The semantics of progress in lock-based transactional memory. In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.\u00a0404\u2013415 (2009)"},{"key":"9406_CR18","first-page":"92","volume-title":"Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC)","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer, W.N., III: Software transactional memory for dynamic-sized data structures. In: Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 92\u2013101 (2003)"},{"key":"9406_CR19","first-page":"151","volume-title":"Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC)","author":"A. Israeli","year":"1994","unstructured":"Israeli, A., Rappoport, L.: Disjoint-access-parallel implementations of strong shared memory primitives. In: Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp.\u00a0151\u2013160 (1994)"},{"key":"9406_CR20","unstructured":"Kapalka, M.: Theory of transactional memory. Ph.D. thesis, EPFL (2010)"},{"key":"9406_CR21","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/1583991.1584013","volume-title":"Proceedings of the 21st Annual Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"I. Keidar","year":"2009","unstructured":"Keidar, I., Perelman, D.: On avoiding spare aborts in transactional memory. In: Proceedings of the 21st Annual Symposium on Parallelism in Algorithms and Architectures (SPAA), pp.\u00a059\u201368 (2009)"},{"key":"9406_CR22","volume-title":"4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT)","author":"Y. Lev","year":"2009","unstructured":"Lev, Y., Luchangco, V., Marathe, V.J., Moir, M., Nussbaum, D., Olszewski, M.: Anatomy of a scalable software transactional memory. In: 4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT) (2009)"},{"issue":"1","key":"9406_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s00224-008-9155-5","volume":"44","author":"V. Luchangco","year":"2009","unstructured":"Luchangco, V., Moir, M., Shavit, N.: Nonblocking k-compare-single-swap. Theory Comput. Syst. 44(1), 39\u201366 (2009)","journal-title":"Theory Comput. Syst."},{"key":"9406_CR24","unstructured":"Merritt, R.: IBM plants transactional memory in cpu. EETimes (August 2011). http:\/\/www.eetimes.com\/electronics-news\/4218914\/IBM-plants-transactional-memory-in-CPU"},{"key":"9406_CR25","unstructured":"Napper, J., Alvisi, L.: Lock-free serializable transactions. Technical Report TR-05-04, The University of Texas at Austin (2005)"},{"issue":"4","key":"9406_CR26","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM 26(4), 631\u2013653 (1979)","journal-title":"J. ACM"},{"key":"9406_CR27","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1835698.1835704","volume-title":"Proceeding of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)","author":"D. Perelman","year":"2010","unstructured":"Perelman, D., Fan, R., Keidar, I.: On maintaining multiple versions in STM. In: Proceeding of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), pp.\u00a016\u201325 (2010)"},{"key":"9406_CR28","volume-title":"5th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT)","author":"D. Perelman","year":"2010","unstructured":"Perelman, D., Keidar, I.: SMV: selective multi-versioning STM. In: 5th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT) (2010)"},{"key":"9406_CR29","unstructured":"Reinders, J.: Transactional synchronization in haswell (February 2012). http:\/\/software.intel.com\/en-us\/blogs\/2012\/02\/07\/transactional-synchronization-in-haswell\/"},{"key":"9406_CR30","first-page":"284","volume-title":"Proceedings of the 20th International Symposium on Distributed Computing (DISC)","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: Proceedings of the 20th International Symposium on Distributed Computing (DISC), pp.\u00a0284\u2013298 (2006)"},{"key":"9406_CR31","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/1122971.1123001","volume-title":"Proceedings of the 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"B. Saha","year":"2006","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: Proceedings of the 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp.\u00a0187\u2013197 (2006)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9406-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-012-9406-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9406-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T15:41:46Z","timestamp":1743694906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-012-9406-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,5]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["9406"],"URL":"https:\/\/doi.org\/10.1007\/s00224-012-9406-3","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2012,5,5]]}}}