{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:42:58Z","timestamp":1725532978640},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022043"},{"type":"electronic","value":"9783642022050"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02205-0_24","type":"book-chapter","created":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T06:37:08Z","timestamp":1244443028000},"page":"339-353","source":"Crossref","is-referenced-by-count":6,"title":["An Analytic Model for Optimistic STM with Lazy Locking"],"prefix":"10.1007","author":[{"given":"Armin","family":"Heindl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Pokam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"289","volume-title":"Proc. 20th Annual Int. Symposium on Computer Architecture (ISCA 1993)","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: Architectural support for lock-free data structures. In: Proc. 20th Annual Int. Symposium on Computer Architecture (ISCA 1993), pp. 289\u2013300. ACM Press, New York (1993)"},{"key":"24_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01719-3","volume-title":"Transactional Memory","author":"J. Larus","year":"2007","unstructured":"Larus, J., Rajwar, R.: Transactional Memory. Morgan & Claypool Publishers, San Francisco (2007)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer, W.N.: Software transactional memory for dynamic-sized data structures. In: Proc. 22nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2003), Boston, MA, USA, pp. 92\u2013101 (2003)","DOI":"10.1145\/872035.872048"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proc. 14th ACM\/SIGACT-SIGOPTS Symposium on Principles of Distributed Computing (PODC 1995), Ottawa, Canada, pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Saha, B., Adl-Tabatabai, A.R., Hudson, R., Minh, C.C., Hertzberg, B.: McRT-STM: A high-performance software transactional memory system for a multi-core runtime. In: Proc. 11th ACM SIGPLAN Symposium of Principles and Practice of Parallel Programming (PPoPP 2006), New York, NY, USA, pp. 187\u2013197 (2006)","DOI":"10.1145\/1122971.1123001"},{"key":"24_CR6","first-page":"1","volume-title":"Proc. 11th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004)","author":"L. Hammond","year":"2004","unstructured":"Hammond, L., Carlstrom, B.D., Wong, V., Hertzberg, B., Chen, M., Kozyrakis, C., Olukotun, K.: Programming with transactional coherence and consistency (TCC). In: Proc. 11th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004), pp. 1\u201313. ACM Press, New York (2004)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Chuang, W., Narayanasamy, S., Venkatesh, G., Sampson, J., Biesbrouck, M.V., Pokam, G., Colavin, O., Calder, B.: Unbounded page-based transactional memory. In: Proc. 12th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006), Boston, MA, USA, pp. 347\u2013358 (2006)","DOI":"10.1145\/1168857.1168901"},{"key":"24_CR8","first-page":"316","volume-title":"Proc. 11th Int. Symposium on High-Performance Computer Architecture (HPCA 2005)","author":"C.S. Ananian","year":"2005","unstructured":"Ananian, C.S., Asanovic, K., Kuszmaul, B.C., Leiserson, C.E., Lie, S.: Unbounded transactional memory. In: Proc. 11th Int. Symposium on High-Performance Computer Architecture (HPCA 2005), Washington, DC, USA, pp. 316\u2013327. IEEE Computer Society, Los Alamitos (2005)"},{"key":"24_CR9","first-page":"254","volume-title":"Proc. 12th Int. Symposium on High-Performance Computer Architecture (HPCA 2006)","author":"K.E. Moore","year":"2006","unstructured":"Moore, K.E., Bobba, J., Moravan, M.J., Hill, M.D., Wood, D.A.: LogTM: Log-based transactional memory. In: Proc. 12th Int. Symposium on High-Performance Computer Architecture (HPCA 2006), Washington, DC, USA, pp. 254\u2013265. IEEE Computer Society, Los Alamitos (2006)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Damron, P., Fedorova, A., Lev, Y., Luchangco, V., Moir, M., Nussbaum, D.: Hybrid transactional memory. In: Proc. 12th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006), Boston, MA, USA, pp. 336\u2013346 (2006)","DOI":"10.1145\/1168857.1168900"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Heindl, A., Pokam, G., Adl-Tabatabai, A.R.: An analytical performance model of software transactional memory. In: Proc. IEEE Int. Symposium on Performance Analysis of Systems and Software (ISPASS 2009), Boston, MA, USA (2009)","DOI":"10.1109\/ISPASS.2009.4919647"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Heindl, A., Pokam, G.: An analytic framework for performance modeling of software transactional memory. Journal of Computer Networks (accepted for publication 2009)","DOI":"10.1016\/j.comnet.2009.02.006"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"von Praun, C., Bordawekar, R., Cascaval, C.: Modeling optimistic concurrency using quantitative dependence analysis. In: Proc. 13th ACM SIGPLAN Symposium of Principles and Practice of Parallel Programming (PPoPP 2008), Salt Lake City, Utah, USA, pp. 185\u2013196 (2008)","DOI":"10.1145\/1345206.1345234"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Zilles, C., Rajwar, R.: Implications of false conflict rate trends for robust software transactional memory. In: Proc. IEEE Int. Symposium on Workload Characterization (IISWC 2007), Boston, MA, USA (2007)","DOI":"10.1109\/IISWC.2007.4362177"},{"key":"24_CR15","unstructured":"Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., Scherer, W.N., Scott, M.L.: Lowering the overhead of nonblocking software transactional memory. In: Proc. 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT 2006), Ottawa, Canada (2006)"},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"385","DOI":"10.2307\/2315408","volume":"73","author":"E. McKinney","year":"1966","unstructured":"McKinney, E.: Generalized birthday problem. American Mathematical Monthly\u00a073, 385\u2013387 (1966)","journal-title":"American Mathematical Monthly"},{"key":"24_CR17","volume-title":"Finite Markov Chains","author":"J.G. Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, Heidelberg (1976)"},{"key":"24_CR18","unstructured":"Maplesoft: Maple 12. Tool for mathematics and modeling, Waterloo, Ontario, Canada (2009), http:\/\/www.maplesoft.com\/"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Heindl, A., Pokam, G.: Modeling software transactional memory with AnyLogic. In: Proc. 2nd Int. Conf. on Simulation Tools and Techniques (SIMUTools 2009), Rome, Italy (2009)","DOI":"10.4108\/ICST.SIMUTOOLS2009.5581"},{"key":"24_CR20","unstructured":"XJ-Technologies: Anylogic 6.2.2. Multi-method simulation software, Petersburg, Russian Federation (2009), http:\/\/www.xjtek.com\/"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Minh, C.C., Chung, J.W., Kozyrakis, C., Olukotun, K.: STAMP: Stanford Transactional Applications for Multi-Processing. In: Proc. IEEE Int. Symposium on Workload Characterization (IISWC 2008), Seattle, WA, USA, pp. 35\u201346 (2008)","DOI":"10.1109\/IISWC.2008.4636089"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02205-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T16:05:24Z","timestamp":1685030724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02205-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022043","9783642022050"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02205-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}