{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:09:08Z","timestamp":1760058548139,"version":"build-2065373602"},"reference-count":87,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:00:00Z","timestamp":1744156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2217064"],"award-info":[{"award-number":["2217064"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,4,9]]},"abstract":"<jats:p>We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step process: we statically infer optimal consistency requirements for executions of bounded sets of operations, and then, use the inferred requirements to parameterize a new distributed protocol to relax operation reordering at run time when it is safe to do so. Our approach supports standard notions of consistency. We implement batch-based consistency in Peepco, demonstrate its expressiveness for partial data replication, and examine Peepco\u2019s run-time performance impact in different settings.<\/jats:p>","DOI":"10.1145\/3720513","type":"journal-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:48:26Z","timestamp":1744206506000},"page":"1101-1129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Peepco: Batch-Based Consistency Optimization"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5891-0208","authenticated-orcid":false,"given":"Ivan","family":"Kuraj","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8577-1784","authenticated-orcid":false,"given":"John","family":"Feser","sequence":"additional","affiliation":[{"name":"Basis, New York, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5571-173X","authenticated-orcid":false,"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7604-8252","authenticated-orcid":false,"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"2023. Akka \u2013 actor toolkit and runtime http:\/\/akka.io\/. http:\/\/akka.io\/"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2012.33"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110214"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","unstructured":"Peter Bailis Alan Fekete Michael J Franklin Ali Ghodsi Joseph M Hellerstein and Ion Stoica. 2014. Coordination avoidance in database systems (Extended version). arXiv preprint arXiv:1402.2237 https:\/\/doi.org\/10.48550\/arxiv.1402.2237 10.48550\/arxiv.1402.2237","DOI":"10.48550\/arxiv.1402.2237"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212359"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522732"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723872.2723889"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.14778\/3297753.3297760"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_2_2_11_1","first-page":"5","article-title":"PRACTI Replication","volume":"6","author":"Belaramani Nalini Moti","year":"2006","unstructured":"Nalini Moti Belaramani, Michael Dahlin, Lei Gao, Amol Nayate, Arun Venkataramani, Praveen Yalagandula, and Jiandan Zheng. 2006. PRACTI Replication.. In NSDI. 6, 5\u20135.","journal-title":"NSDI."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223785"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/s0306-4379(00)00004-1"},{"key":"e_1_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Yuri Breitbart Hector Garcia-Molina and Avi Silberschatz. 2010. Overview of multidatabase transaction management. In CASCON First Decade High Impact Papers. 93\u2013126.","DOI":"10.1145\/1925805.1925811"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2012.37"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15260-3"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48653-5_26"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350262"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2020.05.010"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf00625970"},{"key":"e_1_2_2_25_1","doi-asserted-by":"crossref","unstructured":"Jose M Faleiro and Daniel J Abadi. 2014. Rethinking serializable multiversion concurrency control. arXiv preprint arXiv:1412.2324.","DOI":"10.14778\/2809974.2809981"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh Marc Shapiro Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh and Marc Shapiro. 2016. \u2019Cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In POPL. issn:0362-1340","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"e_1_2_2_32_1","volume-title":"Incremental Consistency Guarantees for Replicated Objects. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016","author":"Guerraoui Rachid","year":"2016","unstructured":"Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi. 2016. Incremental Consistency Guarantees for Replicated Objects. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016, Kimberly Keeton and Timothy Roscoe (Eds.). USENIX Association, 169\u2013184. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/guerraoui"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055548"},{"key":"e_1_2_2_34_1","volume-title":"Wing","author":"Herlihy Maurice P.","year":"1990","unstructured":"Maurice P. Herlihy and Jeannette M. Wing. 1990. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, issn:01640925"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987559"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276534"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158115"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523724"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359737"},{"key":"e_1_2_2_42_1","doi-asserted-by":"crossref","unstructured":"Etienne Kneuss Ivan Kuraj Viktor Kuncak and Philippe Suter. 2013. Synthesis modulo recursive functions. In OOPSLA. issn:0362-1340","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428256"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687657"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563336"},{"key":"e_1_2_2_46_1","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. 1978. Time Clocks and the Ordering of Events in a Distributed System. Commun. ACM.","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837622"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341710"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643664"},{"key":"e_1_2_2_50_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation.","author":"Li Cheng","year":"2012","unstructured":"Cheng Li, Daniel Charles Ferreira Porto, Allen Clement, Johannes Gehrke, Nuno M. Pregui\u00e7a, and Rodrigo Seromenho Miragaia Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In USENIX Symposium on Operating Systems Design and Implementation."},{"key":"e_1_2_2_51_1","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Li Cheng","year":"2018","unstructured":"Cheng Li, Nuno Pregui\u00e7a, and Rodrigo Rodrigues. 2018. Fine-grained consistency for geo-replicated systems. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). 359\u2013372."},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_16"},{"key":"e_1_2_2_53_1","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)","author":"Liu Jed","year":"2014","unstructured":"Jed Liu, Tom Magrino, Owen Arden, Michael D George, and Andrew C Myers. 2014. Warranties for faster strong consistency. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). 503\u2013517."},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428284"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/tkde.2004.34"},{"key":"e_1_2_2_56_1","doi-asserted-by":"crossref","unstructured":"Yi Lu Xiangyao Yu Lei Cao and Samuel Madden. 2021. Epoch-based commit and replication in distributed OLTP databases.","DOI":"10.14778\/3446095.3446098"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192375"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685086"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_26"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911160"},{"key":"e_1_2_2_61_1","volume-title":"Proceedings of the ACM on Programming Languages, 2, POPL","author":"Padon Oded","year":"2017","unstructured":"Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, and Sharon Shoham. 2017. Reducing liveness to safety in first-order logic. Proceedings of the ACM on Programming Languages, 2, POPL (2017), 1\u201333."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454028"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723720"},{"key":"e_1_2_2_65_1","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of convergent and commutative replicated data types.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"volume-title":"A quorum-based commit protocol","author":"Skeen Dale","key":"e_1_2_2_69_1","unstructured":"Dale Skeen. 1982. A quorum-based commit protocol. Cornell University."},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523735"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_2_2_72_1","volume-title":"Proceedings of the 33rd international conference on Very large data bases. VLDB Endowment, 1150\u20131160","author":"Stonebraker Michael","year":"2007","unstructured":"Michael Stonebraker, Samuel Madden, Daniel J. Abadi, Stavros Harizopoulos, Nabil Hachem, and Pat Helland. 2007. The end of an Architectural Era: (It\u2019s Time for a Complete Rewrite). In VLDB \u201907: Proceedings of the 33rd international conference on Very large data bases. VLDB Endowment, 1150\u20131160. isbn:978-1-59593-649-3 http:\/\/hstore.cs.brown.edu\/papers\/hstore-endofera.pdf"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/pdis.1994.331722"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_2_2_76_1","unstructured":"Transaction Processing Performance Council TPC. 2010. Tpc benchmark\u2122 E."},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741975"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926965"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_2_2_80_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Xie Chao","year":"2014","unstructured":"Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, and Prince Mahajan. 2014. Salt: Combining $ACID$ and $BASE$ in a distributed database. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 495\u2013509."},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815430"},{"key":"e_1_2_2_82_1","volume-title":"4th Symposium on Operating System Design and Implementation (OSDI 2000","author":"Yu Haifeng","year":"2000","unstructured":"Haifeng Yu and Amin Vahdat. 2000. Design and Evaluation of a Continuous Consistency Model for Replicated Services. In 4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000, Michael B. Jones and M. Frans Kaashoek (Eds.). USENIX Association, 305\u2013318. http:\/\/dl.acm.org\/citation.cfm?id=1251250"},{"key":"e_1_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591276"},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656408"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/csfw.2003.1212703"},{"key":"e_1_2_2_86_1","volume-title":"Reactive Applications. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Zhang Irene","year":"1971","unstructured":"Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, and Henry M. Levy. 2016. Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA. 723\u2013738. isbn:978-1-931971-33-1 https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/zhang-irene"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522729"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720513","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3720513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:12:21Z","timestamp":1760029941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,9]]},"references-count":87,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2025,4,9]]}},"alternative-id":["10.1145\/3720513"],"URL":"https:\/\/doi.org\/10.1145\/3720513","relation":{},"ISSN":["2475-1421"],"issn-type":[{"type":"electronic","value":"2475-1421"}],"subject":[],"published":{"date-parts":[[2025,4,9]]},"assertion":[{"value":"2024-10-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-02-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}