{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:51:21Z","timestamp":1760298681809},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,3,3]],"date-time":"2013-03-03T00:00:00Z","timestamp":1362268800000},"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":[[2014,10]]},"DOI":"10.1007\/s00224-013-9452-5","type":"journal-article","created":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T13:17:33Z","timestamp":1362230253000},"page":"555-590","source":"Crossref","is-referenced-by-count":14,"title":["Software Engineering with Transactional Memory Versus Locks in Practice"],"prefix":"10.1007","volume":"55","author":[{"given":"Victor","family":"Pankratius","sequence":"first","affiliation":[]},{"given":"Ali-Reza","family":"Adl-Tabatabai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,3]]},"reference":[{"key":"9452_CR1","unstructured":"Adl-Tabatabai, A.-R., Shpeisman, T. (eds.): Draft Specification of Transactional Language Constructs for C++ (v.1.0) (2009)"},{"key":"9452_CR2","first-page":"26","volume-title":"Proc. ACM PLDI\u201906","author":"A.-R. Adl-Tabatabai","year":"2006","unstructured":"Adl-Tabatabai, A.-R., et al.: Compiler and runtime support for efficient software transactional memory. In: Proc. ACM PLDI\u201906, pp. 26\u201337 (2006)"},{"key":"9452_CR3","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-540-69501-1_21","volume-title":"Algorithms and Architectures for Parallel Processing","author":"M. Ansari","year":"2008","unstructured":"Ansari, M., et al.: Lee-TM: a non-trivial benchmark suite for transactional memory. In: Algorithms and Architectures for Parallel Processing, pp. 196\u2013207 (2008)"},{"key":"9452_CR4","unstructured":"Bacon, D., et al.: The \u201cdouble-checked locking is broken\u201d declaration. http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/DoubleCheckedLocking.html (2011)"},{"key":"9452_CR5","volume-title":"Proc. ACM PACT\u201907","author":"W. Baek","year":"2007","unstructured":"Baek, W., et al.: The OpenTM transactional application programming interface. In: Proc. ACM PACT\u201907 (2007)"},{"key":"9452_CR6","volume-title":"Modern Information Retrieval","author":"R. Baeza-Yates","year":"1999","unstructured":"Baeza-Yates, R., Ribeiro-Neto, B.: Modern Information Retrieval. Addison-Wesley, Reading (1999)"},{"key":"9452_CR7","first-page":"72","volume-title":"Proc. ACM PACT\u201908","author":"C. Bienia","year":"2008","unstructured":"Bienia, C., et al.: The PARSEC benchmark suite: characterization and architectural implications. In: Proc. ACM PACT\u201908, pp. 72\u201381 (2008)"},{"key":"9452_CR8","volume-title":"Programming with POSIX Threads","author":"D.R. Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley, Reading (1997)"},{"issue":"11","key":"9452_CR9","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/1400214.1400228","volume":"51","author":"C. Cascaval","year":"2008","unstructured":"Cascaval, C., et al.: Software transactional memory: why is it only a research toy? Commun. ACM 51(11), 40\u201346 (2008)","journal-title":"Commun. ACM"},{"key":"9452_CR10","volume-title":"EuroPar","author":"L. Dalessandro","year":"2010","unstructured":"Dalessandro, L., et al.: Transactional mutex locks. In: EuroPar (2010)"},{"key":"9452_CR11","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1145\/1168857.1168900","volume-title":"Proc. ACM ASPLOS-XII","author":"P. Damron","year":"2006","unstructured":"Damron, P., et al.: Hybrid transactional memory. In: Proc. ACM ASPLOS-XII, pp. 336\u2013346 (2006)"},{"key":"9452_CR12","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo (1993)"},{"issue":"3","key":"9452_CR13","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/1272998.1273029","volume":"41","author":"R. Guerraoui","year":"2007","unstructured":"Guerraoui, R., et al.: STMBench7: a benchmark for software transactional memory. Oper. Syst. Rev. 41(3), 315\u2013324 (2007)","journal-title":"Oper. Syst. Rev."},{"key":"9452_CR14","first-page":"48","volume-title":"Proc. ACM PPoPP\u201905","author":"T. Harris","year":"2005","unstructured":"Harris, T., et al.: Composable memory transactions. In: Proc. ACM PPoPP\u201905, pp. 48\u201360 (2005)"},{"issue":"2","key":"9452_CR15","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1145\/506309.506312","volume":"20","author":"S. Heinz","year":"2002","unstructured":"Heinz, S., et al.: Burst tries: a fast, efficient data structure for string keys. ACM Trans. Inf. Syst. 20(2), 192\u2013223 (2002)","journal-title":"ACM Trans. Inf. Syst."},{"key":"9452_CR16","first-page":"289","volume-title":"Proc. ACM ISCA\u201993","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. In: Proc. ACM ISCA\u201993, pp. 289\u2013300 (1993)"},{"key":"9452_CR17","unstructured":"Intel: Intel C++ STM compiler prototype edition 2.0. language extensions and user\u2019s guide (2008)"},{"key":"9452_CR18","first-page":"209","volume-title":"Proc. ACM PPoPP\u201906","author":"S. Kumar","year":"2006","unstructured":"Kumar, S., et al.: Hybrid transactional memory. In: Proc. ACM PPoPP\u201906, pp. 209\u2013220 (2006)"},{"issue":"3","key":"9452_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1386118.1386125","volume":"33","author":"N. Lester","year":"2008","unstructured":"Lester, N., et al.: Efficient online index construction for text databases. ACM Trans. Database Syst. 33(3), 1\u201333 (2008)","journal-title":"ACM Trans. Database Syst."},{"key":"9452_CR20","volume-title":"Proc. IISWC","author":"C.C. Minh","year":"2008","unstructured":"Minh, C.C., et al.: STAMP: Stanford transactional applications for multi-processing. In: Proc. IISWC (2008)"},{"key":"9452_CR21","first-page":"254","volume-title":"Proc. HPCA\u201906","author":"K. Moore","year":"2006","unstructured":"Moore, K., et al.: LogTM: log-based transactional memory. In: Proc. HPCA\u201906, pp. 254\u2013265 (2006)"},{"key":"9452_CR22","volume-title":"Proc. ACM OOPSLA","author":"Y. Ni","year":"2008","unstructured":"Ni, Y., et al.: Design and implementation of transactional constructs for C\/C++. In: Proc. ACM OOPSLA (2008)"},{"key":"9452_CR23","volume-title":"Proc. ACM ICSE","author":"V. Pankratius","year":"2012","unstructured":"Pankratius, V.: Automated usability evaluation of parallel programming constructs (NIER track). In: Proc. ACM ICSE (2012)"},{"key":"9452_CR24","volume-title":"Proc. ACM SPAA","author":"V. Pankratius","year":"2011","unstructured":"Pankratius, V., Adl-Tabatabai, A.-R.: A study of transactional memory vs. locks in practice. In: Proc. ACM SPAA (2011)"},{"key":"9452_CR25","unstructured":"Pankratius, V., et\u00a0al.: Does transactional memory keep its promises? Results from an empirical study. Technical report, 2009-12, University of Karlsruhe, Germany (2009)"},{"key":"9452_CR26","volume-title":"Proc. Euro-Par","author":"V. Pankratius","year":"2012","unstructured":"Pankratius, V., et al.: OpenMPspy: leveraging quality assurance for parallel software. In: Proc. Euro-Par (2012)"},{"key":"9452_CR27","volume-title":"Proc. ACM ICFP","author":"M.F. Ringenburg","year":"2005","unstructured":"Ringenburg, M.F., Grossman, D.: AtomCaml: first-class atomicity via rollback. In: Proc. ACM ICFP (2005)"},{"key":"9452_CR28","first-page":"87","volume-title":"Proc. ACM SOSP\u201907","author":"C.J. Rossbach","year":"2007","unstructured":"Rossbach, C.J., et al.: Txlinux: using and managing hardware transactional memory in an operating system. In: Proc. ACM SOSP\u201907, pp. 87\u2013102 (2007)"},{"key":"9452_CR29","volume-title":"Proc. ACM PPoPP","author":"C.J. Rossbach","year":"2010","unstructured":"Rossbach, C.J., et al.: Is transactional programming actually easier. In: Proc. ACM PPoPP (2010)"},{"issue":"2","key":"9452_CR30","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P. Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2009)","journal-title":"Empir. Softw. Eng."},{"key":"9452_CR31","first-page":"187","volume-title":"Proc. ACM PPoPP\u201906","author":"B. Saha","year":"2006","unstructured":"Saha, B., et al.: McRT-STM: a high performance software transactional memory system for a multi-core runtime. In: Proc. ACM PPoPP\u201906, pp. 187\u2013197 (2006)"},{"key":"9452_CR32","volume-title":"Proc. IEEE IISWC","author":"M. Scott","year":"2007","unstructured":"Scott, M., et al.: Delaunay triangulation with transactions and barriers. In: Proc. IEEE IISWC (2007)"},{"issue":"2","key":"9452_CR33","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. Distrib. Comput. 10(2), 99\u2013116 (1997)","journal-title":"Distrib. Comput."},{"key":"9452_CR34","unstructured":"Standard Performance Evaluation Corporation: SPEC OpenMP benchmark suite. www.spec.org\/omp (2009)"},{"key":"9452_CR35","unstructured":"TM bibliography. http:\/\/www.cs.wisc.edu\/trans-memory\/biblio\/index.html (2011)"},{"key":"9452_CR36","first-page":"388","volume-title":"Proc. ACM PACT\u201907","author":"I. Watson","year":"2007","unstructured":"Watson, I., et al.: A study of a transactional parallel routing algorithm. In: Proc. ACM PACT\u201907, pp.\u00a0388\u2013398 (2007)"},{"key":"9452_CR37","volume-title":"Proc. ECOOP","author":"A. Welc","year":"2006","unstructured":"Welc, A., et al.: Transparently reconciling transactions with locking for Java synchronization. In: Proc. ECOOP (2006)"},{"key":"9452_CR38","volume-title":"ACM ISCA","author":"S.C. Woo","year":"1995","unstructured":"Woo, S.C., et al.: The SPLASH-2 programs: characterization and methodological considerations. In: ACM ISCA (1995)"},{"key":"9452_CR39","volume-title":"Case Study Research: Design and Methods","author":"R.K. Yin","year":"2002","unstructured":"Yin, R.K.: Case Study Research: Design and Methods, 3rd edn. Sage, Thousand Oaks (2002)","edition":"3"},{"key":"9452_CR40","first-page":"341","volume-title":"Proc. ACM ICSE\u201906","author":"C. Zannier","year":"2006","unstructured":"Zannier, C., et al.: On the success of empirical studies in the international conference on software engineering. In: Proc. ACM ICSE\u201906, pp. 341\u2013350 (2006)"},{"key":"9452_CR41","first-page":"25","volume-title":"Proc. ACM PPoPP\u201909","author":"F. Zyulkyarov","year":"2009","unstructured":"Zyulkyarov, F., et al.: Atomic quake: using transactional memory in an interactive multiplayer game server. In: Proc. ACM PPoPP\u201909, pp. 25\u201334 (2009)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-013-9452-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-013-9452-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-013-9452-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T11:54:25Z","timestamp":1558698865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-013-9452-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,3]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9452"],"URL":"https:\/\/doi.org\/10.1007\/s00224-013-9452-5","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,3]]}}}