{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:19:15Z","timestamp":1740097155834,"version":"3.37.3"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147192"},{"type":"electronic","value":"9783319147208"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-14720-8_5","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T14:26:01Z","timestamp":1419863161000},"page":"101-126","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmic Techniques in STM Design"],"prefix":"10.1007","author":[{"given":"Panagiota","family":"Fatourou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mykhailo","family":"Iaremko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Kanellou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleftherios","family":"Kosmas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst.\u00a033(1), 2:1\u20132:50 (2011)","DOI":"10.1145\/1889997.1889999"},{"issue":"6","key":"5_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1133255.1133985","volume":"41","author":"A.R. Adl-Tabatabai","year":"2006","unstructured":"Adl-Tabatabai, A.R., Lewis, B.T., Menon, V., Murphy, B.R., Saha, B., Shpeisman, T.: Compiler and runtime support for efficient software transactional memory. SIGPLAN Not\u00a041(6), 26\u201337 (2006)","journal-title":"SIGPLAN Not"},{"key":"5_CR3","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":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-33651-5_21","volume-title":"Distributed Computing","author":"Y. Afek","year":"2012","unstructured":"Afek, Y., Matveev, A., Shavit, N.: Pessimistic software lock-elision. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol.\u00a07611, pp. 297\u2013311. Springer, Heidelberg (2012)"},{"key":"5_CR5","first-page":"163","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"K. Agrawal","year":"2008","unstructured":"Agrawal, K., Fineman, J.T., Sukha, J.: Nested parallelism in transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 163\u2013174. ACM, New York (2008)"},{"key":"5_CR6","first-page":"308","volume-title":"Proceedings of the 25th ACM Symposium on Principles of Distributed Computing (PODC)","author":"H. Attiya","year":"2006","unstructured":"Attiya, H., Epstein, L., Shachnai, H., Tamir, T.: Transactional contention management as a non-clairvoyant scheduling problem. In: Proceedings of the 25th ACM Symposium on Principles of Distributed Computing (PODC), pp. 308\u2013315. ACM, New York (2006)"},{"key":"5_CR7","unstructured":"Attiya, H., Hans, S.: Transactions are back\u2014but how different they are? In: 7th ACM SIGPLAN Workshop on Transactional Computing (Transact), New Orleans, LA, USA (February 2012)"},{"key":"5_CR8","unstructured":"Attiya, H., Hans, S., Kuznetsov, P., Ravi, S.: Safety of deferred update in transactional memory. CoRR abs\/1301.6297 (2013), http:\/\/arxiv.org\/abs\/1301.6297"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/s00224-012-9406-3","volume":"51","author":"H. Attiya","year":"2012","unstructured":"Attiya, H., Hillel, E.: A single-version STM that is multi-versioned permissive. Theory Comput. Syst.\u00a051(4), 425\u2013446 (2012)","journal-title":"Theory Comput. Syst."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-69355-0_12","volume-title":"Structural Information and Communication Complexity","author":"H. Avni","year":"2008","unstructured":"Avni, H., Shavit, N.N.: Maintaining consistent transactional states without a global clock. In: Shvartsman, A.A., Felber, P. (eds.) SIROCCO 2008. LNCS, vol.\u00a05058, pp. 131\u2013140. Springer, Heidelberg (2008)"},{"issue":"7","key":"5_CR11","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/362686.362692","volume":"13","author":"B.H. Bloom","year":"1970","unstructured":"Bloom, B.H.: Space\/time trade-offs in hash coding with allowable errors. Commun. ACM\u00a013(7), 422\u2013426 (1970)","journal-title":"Commun. ACM"},{"key":"5_CR12","first-page":"178","volume-title":"Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"V. Bushkov","year":"2014","unstructured":"Bushkov, V., Dziuma, D., Fatourou, P., Guerraoui, R.: The pcl theorem: Transactions cannot be parallel, consistent and live. In: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 178\u2013187. ACM, New York (2014)"},{"key":"5_CR13","first-page":"67","volume-title":"Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"L. Dalessandro","year":"2010","unstructured":"Dalessandro, L., Spear, M.F., Scott, M.L.: Norec: streamlining stm by abolishing ownership records. In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 67\u201378. ACM, New York (2010)"},{"key":"5_CR14","unstructured":"Dice, D., Shavit, N.: What really makes transactions faster? In: 1st ACM SIGPLAN Workshop on Transactional Computing (Transact), Ottawa, Canada (June 2006)"},{"key":"5_CR15","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":"5_CR16","doi-asserted-by":"publisher","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. 284\u2013293. ACM, New York (2010)"},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1007\/s00165-012-0225-8","volume":"25","author":"S. Doherty","year":"2013","unstructured":"Doherty, S., Groves, L., Luchangco, V., Moir, M.: Towards formally specifying and verifying transactional memory. Formal Aspects of Computing\u00a025(5), 769\u2013799 (2013)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR18","unstructured":"Dolev, S., Fatourou, P., Kosmas, E.: Abort free SemanticTM by dependency aware scheduling of transactional instructions. In: 8th ACM SIGPLAN Workshop on Transactional Computing (Transact), Houston, TX, USA (March 2013)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-319-09581-3_3","volume-title":"Networked Systems","author":"H. Avni","year":"2014","unstructured":"Avni, H., Dolev, S., Fatourou, P., Kosmas, E.: Abort free semanticTM by dependency aware scheduling of transactional instructions. In: Noubir, G., Raynal, M. (eds.) NETYS 2013. LNCS, vol.\u00a08593, pp. 25\u201340. Springer, Heidelberg (2014)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/1542476.1542494","volume-title":"Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"A. Dragojevic","year":"2009","unstructured":"Dragojevic, A., Guerraoui, R., Kapalka, M.: Stretching transactional memory. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 155\u2013165. ACM, New York (2009)"},{"key":"5_CR21","first-page":"112","volume":"113","author":"D. Dziuma","year":"2014","unstructured":"Dziuma, D., Fatourou, P., Kanellou, E.: Consistency for transactional memory computing. Bulletin of European Association for Theoretical Computer Science (EATCS)\u00a0113, 112\u2013135 (2014)","journal-title":"Bulletin of European Association for Theoretical Computer Science (EATCS)"},{"key":"5_CR22","unstructured":"Ennals, R.: Cache sensitive software transactional memory. Tech. rep., Intel Research, Cambridge, United Kingdom (2005)"},{"key":"5_CR23","unstructured":"Ennals, R.: Software transactional memory should not be obstruction-free. Tech. Rep. IRC-TR\u201306\u2013052, Intel Corporation (January 2006)"},{"key":"5_CR24","first-page":"237","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"P. Felber","year":"2008","unstructured":"Felber, P., Fetzer, C., Riegel, T.: Dynamic performance tuning of word-based software transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 237\u2013246. ACM, New York (2008)"},{"key":"5_CR25","unstructured":"Fraser, K.: Practical lock freedom. Ph.D. thesis, Cambridge University Computer Laboratory (2003), also available as Technical Report UCAM-CL-TR-579"},{"key":"5_CR26","first-page":"101","volume-title":"Proceedings of the 8th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"J.E. Gottschlich","year":"2010","unstructured":"Gottschlich, J.E., Vachharajani, M., Siek, J.G.: An efficient software transactional memory using commit-time invalidation. In: Proceedings of the 8th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), pp. 101\u2013110. IEEE Computer Society, ACM, New York (2010)"},{"key":"5_CR27","unstructured":"Guerraoui, R., Herlihy, M., Kapalka, M., Pochon, B.: Robust contention management in software transactional memory. In: Workshop on Synchronization and Concurrency in Object-Oriented Lanugages (SCOOL) (2005)"},{"key":"5_CR28","first-page":"258","volume-title":"Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC)","author":"R. Guerraoui","year":"2005","unstructured":"Guerraoui, R., Herlihy, M., Pochon, B.: Toward a theory of transactional contention managers. In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC), pp. 258\u2013264. ACM, New York (2005)"},{"key":"5_CR29","first-page":"175","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 175\u2013184. ACM, New York (2008)"},{"issue":"11","key":"5_CR30","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/949343.949340","volume":"38","author":"T. Harris","year":"2003","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. SIGPLAN Not\u00a038(11), 388\u2013402 (2003)","journal-title":"SIGPLAN Not"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional Memory, 2nd edn. Morgan and Claypool Publishers (2010)","DOI":"10.2200\/S00272ED1V01Y201006CAC011"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1133981.1133984","volume-title":"Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"T. Harris","year":"2006","unstructured":"Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 14\u201325. ACM, New York (2006)"},{"key":"5_CR33","first-page":"92","volume-title":"Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC)","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: Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC), pp. 92\u2013101. ACM, New York (2003)"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/173682.165164","volume":"21","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. News\u00a021, 289\u2013300 (1993)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"5_CR35","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1133956.1133967","volume-title":"Proceedings of the 5th International Symposium on Memory Management (ISMM)","author":"R.L. Hudson","year":"2006","unstructured":"Hudson, R.L., Saha, B., Adl-Tabatabai, A.R., Hertzberg, B.C.: Mcrt-malloc: A scalable transactional memory allocator. In: Proceedings of the 5th International Symposium on Memory Management (ISMM), pp. 74\u201383. ACM, New York (2006)"},{"key":"5_CR36","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.: Virtual world consistency: A condition for stm systems (with a versatile protocol with invisible read operations). Theor. Comput. Sci.\u00a0444, 113\u2013127 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR37","unstructured":"Kosmas, E.: Software Transactional Memory. Master\u2019s thesis, University of Ioannina (October 2008) (in Greek)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1066650.1066660","volume-title":"Proceedings of the 7th Workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems (LCR)","author":"V.J. Marathe","year":"2004","unstructured":"Marathe, V.J., Scherer III, W.N., Scott, M.L.: Design tradeoffs in modern software transactional memory systems. In: Proceedings of the 7th Workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems (LCR), pp. 1\u20137. ACM, New York (2004)"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/11561927_26","volume-title":"Distributed Computing","author":"V.J. Marathe","year":"2005","unstructured":"Marathe, V.J., Scherer III, W.N., Scott, M.L.: Adaptive software transactional memory. In: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol.\u00a03724, pp. 354\u2013368. Springer, Heidelberg (2005)"},{"key":"5_CR40","unstructured":"Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., Scherer III, W.N., Scott, M.L.: Lowering the overhead of nonblocking software transactional memory. Tech. Rep. 893, Department of Computer Science, University of Rochester (May 2006)"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Marathe, V.J., Spear, M.F., Scott, M.L.: Scalable techniques for transparent privatization in software transactional memory. In: Proceedings of the 37th International Conference on Parallel Processing (ICPP), pp. 67\u201374. IEEE Computer Society (2008)","DOI":"10.1109\/ICPP.2008.69"},{"key":"5_CR42","first-page":"227","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"V.J. Marathe","year":"2008","unstructured":"Marathe, V.J., Moir, M.: Toward high performance nonblocking software transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 227\u2013236. ACM, New York (2008)"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Martin, M.M.K., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. Computer Architecture Letters\u00a05(2) (2006)","DOI":"10.1109\/L-CA.2006.18"},{"key":"5_CR44","unstructured":"Matveev, A., Shavit, N.: Towards a fully pessimistic stm model. In: 7th ACM SIGPLAN Workshop on Transactional Computing (Transact), New Orleans, LA, USA (February 2012)"},{"key":"5_CR45","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1250662.1250673","volume-title":"Proceedings of the 34th Annual International Symposium on Computer Architecture (ISCA)","author":"C.C. Minh","year":"2007","unstructured":"Minh, C.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. In: Proceedings of the 34th Annual International Symposium on Computer Architecture (ISCA), pp. 69\u201380. ACM, New York (2007)"},{"issue":"2","key":"5_CR46","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.scico.2006.05.010","volume":"63","author":"J.E.B. Moss","year":"2006","unstructured":"Moss, J.E.B., Hosking, A.L.: Nested transactional memory: Model and architecture sketches. Sci. Comput. Program.\u00a063(2), 186\u2013201 (2006), http:\/\/dx.doi.org\/10.1016\/j.scico.2006.05.010","journal-title":"Sci. Comput. Program."},{"key":"5_CR47","first-page":"195","volume-title":"Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"Y. Ni","year":"2008","unstructured":"Ni, Y., Welc, A., Adl-Tabatabai, A., Bach, M., Berkowits, S., Cownie, J., Geva, R., Kozhukow, S., Narayanaswamy, R., Olivier, J., Preis, S., Saha, B., Tal, A., Tian, X.: Design and implementation of transactional constructs for C\/C++. In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 195\u2013212. ACM, New York (2008)"},{"key":"5_CR48","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1109\/PACT.2007.4336226","volume-title":"Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques (PACT)","author":"M. Olszewski","year":"2007","unstructured":"Olszewski, M., Cutler, J., Steffan, J.G.: Judostm: A dynamic binary-rewriting approach to software transactional memory. In: Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques (PACT), pp. 365\u2013375. IEEE Computer Society, Washington, DC (2007)"},{"key":"5_CR49","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 database updates. J. ACM\u00a026, 631\u2013653 (1979)","journal-title":"J. ACM"},{"key":"5_CR50","unstructured":"Riegel, T.: Snapshot isolation for software transactional memory. In: 1st ACM SIGPLAN Workshop on Transactional Computing (Transact), Ottawa, Canada (March 2006)"},{"key":"5_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11864219_20","volume-title":"Distributed Computing","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 284\u2013298. Springer, Heidelberg (2006)"},{"key":"5_CR52","first-page":"221","volume-title":"Proceedings of the 19th ACM Symposium on Parallel Algorithms and Architectures (SPAA)","author":"T. Riegel","year":"2007","unstructured":"Riegel, T., Fetzer, C., Felber, P.: Time-based transactional memory with scalable time bases. In: Proceedings of the 19th ACM Symposium on Parallel Algorithms and Architectures (SPAA), pp. 221\u2013228. ACM, New York (2007)"},{"key":"5_CR53","first-page":"152","volume-title":"Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"T. Riegel","year":"2008","unstructured":"Riegel, T., Fetzer, C., Felber, P.: Automatic data partitioning in software transactional memories. In: Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 152\u2013159. ACM, New York (2008)"},{"key":"5_CR54","doi-asserted-by":"crossref","unstructured":"Romano, P., Carvalho, N., Rodrigues, L.: Towards distributed software transactional memory systems. In: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (LADIS), pp. 4:1\u20134:4. ACM, New York (2008)","DOI":"10.1145\/1529974.1529980"},{"key":"5_CR55","first-page":"240","volume-title":"Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC)","author":"W.N. Scherer III","year":"2005","unstructured":"Scherer III, W.N., Scott, M.L.: Advanced contention management for dynamic software transactional memory. In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC), pp. 240\u2013248. ACM, New York (2005)"},{"key":"5_CR56","first-page":"336","volume-title":"Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC)","author":"M.L. Scott","year":"2007","unstructured":"Scott, M.L., Spear, M.F., Dalessandro, L., Marathe, V.J.: Transactions and privatization in delaunay triangulation. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC), pp. 336\u2013337. ACM, New York (2007)"},{"key":"5_CR57","first-page":"204","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Distributed Computing (PODC)","author":"N. Shavit","year":"1995","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing (PODC), pp. 204\u2013213. ACM, New York (1995)"},{"key":"5_CR58","first-page":"141","volume-title":"Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"M.F. Spear","year":"2009","unstructured":"Spear, M.F., Dalessandro, L., Marathe, V.J., Scott, M.L.: A comprehensive strategy for contention management in software transactional memory. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 141\u2013150. ACM, New York (2009)"},{"key":"5_CR59","first-page":"338","volume-title":"Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC)","author":"M.F. Spear","year":"2007","unstructured":"Spear, M.F., Marathe, V.J., Dalessandro, L., Scott, M.L.: Privatization techniques for software transactional memory. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC), pp. 338\u2013339. ACM, New York (2007)"},{"key":"5_CR60","unstructured":"Spear, M.F., Michael, M., Scott, M.L.: Inevitability mechanisms for software transactional memory. In: 3rd ACM SIGPLAN Workshop on Transactional Computing (Transact), Salt Lake City, Utah, USA (February 2008)"},{"key":"5_CR61","first-page":"275","volume-title":"Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"M.F. Spear","year":"2008","unstructured":"Spear, M.F., Michael, M.M., von Praun, C.: Ringstm: scalable transactions with a single atomic instruction. In: Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 275\u2013284. ACM, New York (2008)"},{"key":"5_CR62","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":"5_CR63","first-page":"204","volume-title":"Proceedings of the 21st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"F. Tabba","year":"2009","unstructured":"Tabba, F., Moir, M., Goodman, J.R., Hay, A.W., Wang, C.: Nztm: Nonblocking zero-indirection transactional memory. In: Proceedings of the 21st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 204\u2013213. ACM, New York (2009)"},{"key":"5_CR64","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/CGO.2007.4","volume-title":"Proceedings of the 5th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"C. Wang","year":"2007","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: Proceedings of the 5th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), pp. 34\u201348. IEEE Computer Society, ACM, New York, USA (2007)"},{"key":"5_CR65","first-page":"285","volume-title":"Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"A. Welc","year":"2008","unstructured":"Welc, A., Saha, B., Adl-Tabatabai, A.R.: Irrevocable transactions and their applications. In: Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 285\u2013296. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Transactional Memory. Foundations, Algorithms, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14720-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T14:54:22Z","timestamp":1650898462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14720-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147192","9783319147208"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14720-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}