{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T21:35:07Z","timestamp":1763415307634,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415265"},{"type":"electronic","value":"9783642415272"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41527-2_9","type":"book-chapter","created":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T14:55:48Z","timestamp":1380812148000},"page":"121-133","source":"Crossref","is-referenced-by-count":15,"title":["Exploiting Locality in Lease-Based Replicated Transactional Memory via Task Migration"],"prefix":"10.1007","author":[{"given":"Danny","family":"Hendler","sequence":"first","affiliation":[]},{"given":"Alex","family":"Naiman","sequence":"additional","affiliation":[]},{"given":"Sebastiano","family":"Peluso","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Romano","sequence":"additional","affiliation":[]},{"given":"Adi","family":"Suissa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K., Merchant, A., Shah, M., Veitch, A., Karamanolis, C.: Sinfonia: a new paradigm for building scalable distributed systems. In: SOSP 2007, pp. 159\u2013174 (2007)","DOI":"10.1145\/1323293.1294278"},{"key":"9_CR2","unstructured":"Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele, G.L., Tobin-Hochstadt, S.: The Fortress Language Specification. Technical report, Sun Microsystems, Inc., Version 1.0. (March 2008)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Amza, C., Cox, A., Rajamani, K., Zwaenepoel, W.: Tradeoffs between false sharing and aggregation in software distributed shared memory. In: PPoPP 1997 (1997)","DOI":"10.1145\/263764.263778"},{"key":"9_CR4","unstructured":"Aristos Project (2013), http:\/\/aristos.gsd.inesc-id.pt"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bartoli, A., Babaoglu, O.: Selecting a \u201cprimary partition\u201d in partitionable asynchronous distributed systems. In: SRDS 1997, pp. 138\u2013145 (1997)","DOI":"10.1109\/RELDIS.1997.632809"},{"key":"9_CR6","unstructured":"Cachopo, J.: Development of Rich Domain Models with Atomic Actions. PhD thesis, Technical University of Lisbon (2007)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Carvalho, N., Romano, P., Rodrigues, L.: A generic framework for replicated software transactional memories. In: NCA 2011, pp. 271\u2013274 (2011)","DOI":"10.1109\/NCA.2011.45"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-642-16955-7_19","volume-title":"Middleware 2010","author":"N. Carvalho","year":"2010","unstructured":"Carvalho, N., Romano, P., Rodrigues, L.: Asynchronous lease-based replication of software transactional memory. In: Gupta, I., Mascolo, C. (eds.) Middleware 2010. LNCS, vol.\u00a06452, pp. 376\u2013396. Springer, Heidelberg (2010)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Carvalho, N., Romano, P., Rodrigues, L.: Scert: Speculative certification in replicated software transactional memories. In: SYSTOR, p. 10 (2011)","DOI":"10.1109\/NCA.2011.45"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"G.V. Chockler","year":"2001","unstructured":"Chockler, G.V., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Comput. Surv.\u00a033(4), 427\u2013469 (2001)","journal-title":"ACM Comput. Surv."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Couceiro, M., Romano, P., Carvalho, N., Rodrigues, L.: D2STM: Dependable Distributed Software Transactional Memory. In: PRDC 2009, pp. 307\u2013313 (2009)","DOI":"10.1109\/PRDC.2009.55"},{"issue":"4","key":"9_CR12","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/1041680.1041682","volume":"36","author":"X. Defago","year":"2004","unstructured":"Defago, X., Schiper, A., Urban, P.: Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys\u00a036(4), 372\u2013421 (2004)","journal-title":"ACM Computing Surveys"},{"key":"9_CR13","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.N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"9_CR14","unstructured":"Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming. Springer (2006)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. In: OOPSLA 2006, pp. 253\u2013262 (2006)","DOI":"10.1145\/1167515.1167495"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. In: ISCA 1993, pp. 289\u2013300 (1993)","DOI":"10.1145\/173682.165164"},{"key":"9_CR17","unstructured":"Intel Corporation. Intel\u00ae 64 and IA-32 Architectures Optimization Reference Manual. Number 248966-018 (March 2009)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Miranda, H., Pinto, A., Rodrigues, L.: Appia, a flexible protocol kernel supporting multiple coordinated channels. In: ICDCS 2001, pp. 707\u2013710 (2001)","DOI":"10.1109\/ICDSC.2001.919005"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Romano, P., Carvalho, N., Rodrigues, L.: Towards distributed software transactional memory systems. In: LADIS 2008 (2008)","DOI":"10.1145\/1529974.1529980"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Saad, M.M., Ravindran, B.: Transactional forwarding: Supporting highly-concurrent stm in asynchronous distributed systems. In: SBAC-PAD, pp. 219\u2013226. IEEE (2012)","DOI":"10.1109\/SBAC-PAD.2012.36"},{"key":"9_CR21","unstructured":"Schindewolf, M., Cohen, A., Karl, W., Marongiu, A., Benini, L.: Towards transactional memory support for GCC. In: GROW 2009 (2009)"},{"issue":"2","key":"9_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. Distributed Computing\u00a010(2), 99\u2013116 (1997)","journal-title":"Distributed Computing"},{"key":"9_CR23","unstructured":"TPC Council. TPC-C Benchmark, Revision 5.11 (February 2010)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41527-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:27:28Z","timestamp":1746026848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41527-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415265","9783642415272"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41527-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}