{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:07Z","timestamp":1725471247412},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_8","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T09:04:52Z","timestamp":1159175092000},"page":"148-173","source":"Crossref","is-referenced-by-count":18,"title":["Transparently Reconciling Transactions with Locking for Java Synchronization"],"prefix":"10.1007","author":[{"given":"Adam","family":"Welc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antony L.","family":"Hosking","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/568271.223787","volume":"24","author":"A. Adya","year":"1995","unstructured":"Adya, A., Gruber, R., Liskov, B., Maheshwari, U.: Efficient optimistic concurrency control using loosely synchronized clocks. ACM SIGMOD Record\u00a024(2), 23\u201334 (1995)","journal-title":"ACM SIGMOD Record"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Agesen, O., Detlefs, D., Garthwaite, A., Knippel, R., Ramakrishna, Y.S., White, D.: An efficient meta-lock for implementing ubiquitous synchronization. In: OOPSLA 1999 [26], pp. 207\u2013222","DOI":"10.1145\/320384.320402"},{"issue":"2-3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0167-6423(02)00129-6","volume":"47","author":"J. Aldrich","year":"2003","unstructured":"Aldrich, J., Sirer, E.G., Chambers, C., Eggers, S.J.: Comprehensive synchronization elimination for Java. Science of Computer Programming\u00a047(2-3), 91\u2013120 (2003)","journal-title":"Science of Computer Programming"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Alpern, B., Attanasio, C.R., Barton, J.J., Cocchi, A., Hummel, S.F., Lieber, D., Ngo, T., Mergen, M., Shepherd, J.C., Smith, S.: Implementing Jalape\u00f1o in Java. In: OOPSLA 1999 [26], pp. 314\u2013324","DOI":"10.1145\/320385.320418"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bacon, D., Konuru, R., Murthy, C., Serrano, M.: Thin locks: Featherweight synchronization for Java. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, Montr\u00e9al, Canada, ACM SIGPLAN Notices 33(5), 258\u2013268 (1998)","DOI":"10.1145\/277650.277734"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Cheng, P., Rajan, V.T.: A real-time garbage collector with low overhead and consistent utilization. In: Conference Record of the ACM Symposium on Principles of Programming Languages, New Orleans, Lousiana. ACM SIGPLAN Notices 38(1), 285\u2013298 (2003)","DOI":"10.1145\/604131.604155"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1029873.1029891","volume-title":"Proceedings of the ACM International Symposium on Memory Management","author":"S.M. Blackburn","year":"2004","unstructured":"Blackburn, S.M., Hosking, A.L.: Barriers: Friend or foe? In: Bacon, D.F., Diwan, A. (eds.) Proceedings of the ACM International Symposium on Memory Management, Vancouver, Canada, October 2004, pp. 143\u2013151. ACM Press, New York (2004)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Seattle, Washington. ACM SIGPLAN Notices 37(11), 211\u2013230 (2002)","DOI":"10.1145\/582419.582440"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Carey, M.J., DeWitt, D.J., Kant, C., Naughton, J.F.: A status report on the OO7 OODBMS benchmarking effort. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon. ACM SIGPLAN Notices 29(10), 414\u2013426 (1994)","DOI":"10.1145\/191080.191147"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Carey, M.J., DeWitt, D.J., Naughton, J.F.: The OO7 benchmark. In: Proceedings of the ACM International Conference on Management of Data, Washington, DC. ACM SIGMOD Record 22(2), 12\u201321 (1993)","DOI":"10.1145\/170036.170041"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, Berlin, Germany. ACM SIGPLAN Notices 37(5), 258\u2013269 (2002)","DOI":"10.1145\/543552.512560"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, Canada. ACM SIGPLAN Notices 33(10), 48\u201364 (1998)","DOI":"10.1145\/286936.286947"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: PLDI 2000[27], pp. 219\u2013232 (2000)","DOI":"10.1145\/349299.349328"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: Conference Record of the ACM Symposium on Principles of Programming Languages, Venice, Italy, January 2004, pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Language Design and Implementation, New Orleans, Louisiana, January 2003, pp. 1\u201312 (2003)","DOI":"10.1145\/604174.604176"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, California, January 1998, pp. 171\u2013183 (1998)","DOI":"10.1145\/268946.268961"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications. ACM SIGPLAN Notices 38(11), 388\u2013402 (2003)","DOI":"10.1145\/949343.949340"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005, pp. 48\u201360 (2005)","DOI":"10.1145\/1065944.1065952"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/77643.77647","volume":"15","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M.: Apologizing versus asking permission: Optimistic concurrency control for abstract data types. ACM Trans. Database Syst.\u00a015(1), 96\u2013124 (1990)","journal-title":"ACM Trans. Database Syst."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, Boston, Massachusetts, July 2003, pp. 92\u2013101 (2003)","DOI":"10.1145\/872035.872048"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/319566.319567","volume":"9","author":"H.T. Kung","year":"1981","unstructured":"Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Trans. Database Syst.\u00a09(4), 213\u2013226 (1981)","journal-title":"ACM Trans. Database Syst."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.: The Java memory model. In: Conference Record of the ACM Symposium on Principles of Programming Languages, Long Beach, California, January 2005, pp. 378\u2013391 (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Proceedings of the ACM\/IEEE Conference on Supercomputing, Albuquerque, New Mexico, November 1991, pp. 24\u201333 (1991)","DOI":"10.1145\/125826.125861"},{"key":"8_CR24","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"J.E.B. Moss","year":"1985","unstructured":"Moss, J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge (1985)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.-D.: Hybrid dynamic data race detection. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, June 2003, pp. 167\u2013178 (2003)","DOI":"10.1145\/781527.781528"},{"key":"8_CR26","unstructured":"Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado. ACM SIGPLAN Notices 34(10) (1999)"},{"key":"8_CR27","unstructured":"Proceedings of the ACM Conference on Programming Language Design and Implementation, Vancouver, Canada. ACM SIGPLAN Notices 35(6) (2000)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Effective synchronization removal for Java. In: PLDI 2000 [27], pp. 208\u2013218 (2000)","DOI":"10.1145\/349299.349327"},{"issue":"4","key":"8_CR29","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Smith, L.A., Bull, J.M., Obdrz\u00e1lek, J.: A parallel Java Grande benchmark suite. In: Proceedings of the ACM\/IEEE Conference on Supercomputing, Denver, Colorado, November 2001, p. 8 (2001)","DOI":"10.1145\/582034.582042"},{"key":"8_CR31","unstructured":"SPEC. SPECjvm98 benchmarks (1998), http:\/\/www.spec.org\/osg\/jvm98"},{"key":"8_CR32","volume-title":"Readings in Database Systems","year":"1998","unstructured":"Stonebraker, M., Hellerstein, J. (eds.): Readings in Database Systems, 3rd edn. Morgan Kaufmann, San Francisco (1998)","edition":"3"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-45099-3_22","volume-title":"Static Analysis","author":"C. Ungureanu","year":"2000","unstructured":"Ungureanu, C., Jagannathan, S.: Concurrency Analysis for Java. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 413\u2013432. Springer, Heidelberg (2000)"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications. ACM SIGPLAN Notices 36(11), 70\u201382 (2001)","DOI":"10.1145\/504282.504288"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Static conflict analysis for multi-threaded object-oriented programs. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, San Diego, California, June 2003, pp. 115\u2013128 (2003)","DOI":"10.1145\/781131.781145"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","first-page":"519","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","author":"A. Welc","year":"2004","unstructured":"Welc, A., Jagannathan, S., Hosking, A.L.: Transactional monitors for concurrent objects. In: Odersky, M. (ed.)Proceedings of the European Conference on Object-Oriented Programming. LNCS, vol.\u00a03086, pp. 519\u2013542. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:34Z","timestamp":1605643774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11785477_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}