{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:49:00Z","timestamp":1760042940103},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486528"},{"type":"electronic","value":"9783662486535"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48653-5_26","type":"book-chapter","created":{"date-parts":[[2015,10,2]],"date-time":"2015-10-02T18:46:01Z","timestamp":1443811561000},"page":"388-404","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Transaction Chopping for Parallel Snapshot Isolation"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cerone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Gotsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,5]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, D.: Consistency tradeoffs in modern distributed database system design: CAP is only part of the story. IEEE Computer 45(2) (2012)","DOI":"10.1109\/MC.2012.33"},{"key":"26_CR2","unstructured":"Adya, A.: Weak consistency: A generalized theory and optimistic implementations for distributed transactions: PhD thesis, MIT (1999)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-25873-2_6","volume-title":"Principles of Distributed Systems","author":"Y Afek","year":"2011","unstructured":"Afek, Y., Avni, H., Shavit, N.: Towards consistency oblivious programming. In: Fern\u00e0ndez Anta, A., Lipari, G., Roy, M. (eds.) OPODIS 2011. LNCS, vol. 7109, pp. 65\u201379. Springer, Heidelberg (2011)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Alglave, J.: A formal hierarchy of weak memory models. Formal Methods in System Design 41(2) (2012)","DOI":"10.1007\/s10703-012-0161-5"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Attiya, H., Gotsman, A., Hans, S., Rinetzky, N.: A programming language perspective on transactional memory consistency. In: PODC (2013)","DOI":"10.1145\/2484239.2484267"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Bailis, P., Davidson, A., Fekete, A., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Highly available transactions: virtues and limitations. In: VLDB (2014)","DOI":"10.14778\/2732232.2732237"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Bailis, P., Fekete, A., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Scalable atomic visibility with RAMP transactions. In: SIGMOD (2014)","DOI":"10.1145\/2588555.2588562"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Berenson, H., Bernstein, P., Gray, J., Melton, J., O\u2019Neil, E., O\u2019Neil, P.: A critique of ANSI SQL isolation levels. In: SIGMOD (1995)","DOI":"10.1145\/223784.223785"},{"key":"26_CR9","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: POPL (2014)","DOI":"10.1145\/2535838.2535848"},{"key":"26_CR11","unstructured":"Cerone, A., Gotsman, A., Yang, H.: Transaction chopping for parallel snapshot isolation (extended version). \n                    http:\/\/software.imdea.org\/~gotsman\/"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Doherty, S., Groves, L., Luchangco, V., Moir, M.: Towards formally specifying and verifying transactional memory. Formal Aspects of Computing 25(5) (2013)","DOI":"10.1007\/s00165-012-0225-8"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Fekete, A., Liarokapis, D., O\u2019Neil, E., O\u2019Neil, P., Shasha, D.: Making snapshot isolation serializable. ACM Trans. Database Syst. 30(2) (2005)","DOI":"10.1145\/1071610.1071615"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-642-04355-0_12","volume-title":"Distributed Computing","author":"P Felber","year":"2009","unstructured":"Felber, P., Gramoli, V., Guerraoui, R.: Elastic transactions. In: Keidar, I. (ed.) DISC 2009. LNCS, vol. 5805, pp. 93\u2013107. Springer, Heidelberg (2009)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News 33(2) (2002)","DOI":"10.1145\/564585.564601"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: PPoPP (2008)","DOI":"10.1145\/1345206.1345233"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3) (1990)","DOI":"10.1145\/78969.78972"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Lakshman, A., Malik, P.: Cassandra: A decentralized structured storage system. SIGOPS Oper. Syst. Rev. 44(2) (2010)","DOI":"10.1145\/1773912.1773922"},{"key":"26_CR19","unstructured":"Mu, S., Cui, Y., Zhang, Y., Lloyd, W., Li, J.: Extracting more concurrency from distributed transactions. In: OSDI (2014)"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Ardekani, M.S., Sutra, P., Shapiro, M.: Non-monotonic snapshot isolation: scalable and strong consistency for geo-replicated transactional systems. In: SRDS (2013)","DOI":"10.1109\/SRDS.2013.25"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Shasha, D., Llirbat, F., Simon, E., Valduriez, P.: Transaction chopping: Algorithms and performance studies. ACM Trans. Database Syst. 20(3) (1995)","DOI":"10.1145\/211414.211427"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Sovran, Y., Power, R., Aguilera, M.K., Li, J.: Transactional storage for geo-replicated systems. In: SOSP (2011)","DOI":"10.1145\/2043556.2043592"},{"key":"26_CR23","unstructured":"Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M., Theimer, M., Welch, B.W.: Session guarantees for weakly consistent replicated data. In: PDIS (1994)"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Xiang, L., Scott, M.L.: Software partitioning of hardware transactions. In: PPoPP (2015)","DOI":"10.1145\/2688500.2688506"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Power, R., Zhou, S., Sovran, Y., Aguilera, M., Li, J.: Transaction chains: achieving serializability with low latency in geo-distributed storage systems. In: SOSP (2013)","DOI":"10.1145\/2517349.2522729"}],"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-662-48653-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:35:58Z","timestamp":1559259358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48653-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486528","9783662486535"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48653-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}