{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:07Z","timestamp":1725455827176},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_6","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"38-53","source":"Crossref","is-referenced-by-count":1,"title":["A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs"],"prefix":"10.1007","author":[{"given":"Granville","family":"Barnett","sequence":"first","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Principles of Programming Languages (2008)","DOI":"10.1145\/1328438.1328449"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. Computer (1996)","DOI":"10.21236\/ADA638015"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Hill, M.D.: Weak ordering \u2013 a new definition. In: International Symposium on Computer Architecture (1990)","DOI":"10.1145\/325164.325100"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Carey, M.J., Livny, M.: Concurrency control performance modeling: alternatives and implications. ACM Trans. Database Syst. (1987)","DOI":"10.1145\/32204.32220"},{"key":"6_CR5","unstructured":"Andersen, L.O.: Program analysis and specialization for the c programming language. Technical report. University of Copenhagen (1994)"},{"key":"6_CR6","unstructured":"Blundell, C., Christopher Lewis, E., Martin, M.M.K.: Deconstructing transactional semantics: The subtleties of atomicity. In: Workshop on Duplicating, Deconstructing, and Debunking (2005)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Blundell, C., Devietti, J., Christopher Lewis, E., Martin, M.M.K.: Making the fast case common and the uncommon case simple in unbounded transactional memory. In: International Symposium on Computer Architecture (2007)","DOI":"10.1145\/1250662.1250667"},{"key":"6_CR8","unstructured":"Gray, J.: The transaction concept: virtues and limitations. Very Large Data Bases (1981)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Grossman, D., Manson, J., Pugh, W.: What do high-level memory models mean for transactions? In: Memory System Performance and Correctness (2006)","DOI":"10.1145\/1178597.1178609"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: Principles and Practice of Parallel Programming (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional memory, 2nd edn. (2010)","DOI":"10.2200\/S00272ED1V01Y201006CAC011"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: Principles of Distributed Computing (2003)","DOI":"10.1145\/872035.872048"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Hickey, R.: The clojure programming language. In: Dynamic Languages Symposium (2008)","DOI":"10.1145\/1408681.1408682"},{"key":"6_CR14","unstructured":"Isard, M., Birrell, A.: Automatic mutual exclusion. In: USENIX (2007)"},{"key":"6_CR15","unstructured":"Jenista, J., Demsky, B.: Disjointness analysis for java-like languages. Technical report, University of California, Irvine (2009)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Koskinen, E., Parkinson, M., Herlihy, M.: Coarse-grained transactions. In: Principles of Programming Languages (2010)","DOI":"10.1145\/1706299.1706304"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. Transactions on Computers (1979)","DOI":"10.1109\/TC.1979.1675439"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM (1978)","DOI":"10.1145\/359545.359563"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The java memory model. In: Principles of Programming Languages (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Marron, M., M\u00e9ndez-Lojo, M., Hermenegildo, M., Stefanovic, D., Kapur, D.: Sharing analysis of arrays, collections, and recursive structures. In: Program Analysis for Software Tools and Engineering (2008)","DOI":"10.1145\/1512475.1512485"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"McCloskey, B., Zhou, F., Gay, D., Brewer, E.: Autolocker: synchronization inference for atomic sections. In: Principles of Programming Languages (2006)","DOI":"10.1145\/1111037.1111068"},{"key":"6_CR22","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: Symposium on Parallelism in Algorithms and Architectures (2008)","DOI":"10.1145\/1378533.1378588"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Ni, Y., Welc, A., Adl-Tabatabai, A.-R., 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: Object-Oriented Programming Systems Languages and Applications (2008)","DOI":"10.1145\/1449764.1449780"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM (1979)","DOI":"10.1145\/322154.322158"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Pugh, W., Wonnacott, D.: Constraint-based array dependence analysis. Transactions on Programming Languages and Systems (1998)","DOI":"10.1145\/291889.291900"},{"key":"6_CR26","unstructured":"Shavit, N., Matveev, A.: Towards a fully pessimistic stm model. Transactional Computing (2012)"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Principles of Distributed Computing (1995)","DOI":"10.1145\/224964.224987"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Kay, A., Behrends, R., Young, M.: Transactions with isolation and cooperation. In: Object-Oriented Programming Systems Languages and Applications (2007)","DOI":"10.1145\/1297027.1297042"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Sonmez, N., Harris, T., Cristal, A., Unsal, O.S., Valero, M.: Taking the heat off transactions: Dynamic selection of pessimistic concurrency control. In: International Symposium on Parallel and Distributed Processing (2009)","DOI":"10.1109\/IPDPS.2009.5161032"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Spear, M.F., Marathe, V.J., Daless, L., Scott, M.L.: Privatization techniques for software transactional memory. In: Principles of Distributed Computing (2007)","DOI":"10.1145\/1281100.1281161"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Welc, A., Saha, B., Adl-Tabatabai, A.-R.: Irrevocable transactions and their applications. In: Symposium on Parallelism in Algorithms and Architectures (2008)","DOI":"10.1145\/1378533.1378584"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-70592-5_7","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"L. Ziarek","year":"2008","unstructured":"Ziarek, L., Welc, A., Adl-Tabatabai, A.-R., Menon, V., Shpeisman, T., Jagannathan, S.: A Uniform Transactional Execution Environment for Java. In: Dell\u2019Acqua, P. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 129\u2013154. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:50:57Z","timestamp":1620132657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}