{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:08:51Z","timestamp":1755907731305,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":99,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Hong Kong AoE","award":["P-404\/18"],"award-info":[{"award-number":["P-404\/18"]}]},{"name":"Alibaba Innovative Research Program"},{"name":"Hong Kong General Research Fund","award":["14208023"],"award-info":[{"award-number":["14208023"]}]},{"name":"Center for Perceptual and Interactive Intelligence (CPII)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,20]]},"DOI":"10.1145\/3698038.3698514","type":"proceedings-article","created":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T06:32:43Z","timestamp":1731565963000},"page":"618-636","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Occam's Razor for Distributed Protocols"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5577-4914","authenticated-orcid":false,"given":"Ziliang","family":"Lai","sequence":"first","affiliation":[{"name":"Chinese University of Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8723-5644","authenticated-orcid":false,"given":"Fan","family":"Cui","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6230-0445","authenticated-orcid":false,"given":"Hua","family":"Fan","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2679-3945","authenticated-orcid":false,"given":"Eric","family":"Lo","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2689-6020","authenticated-orcid":false,"given":"Wenchao","family":"Zhou","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0770-5775","authenticated-orcid":false,"given":"Feifei","family":"Li","sequence":"additional","affiliation":[{"name":"Alibaba Group"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. TLC. https:\/\/github.com\/tlaplus\/tlaplus\/releases\/tag\/v1.7.3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.1998.741040"},{"key":"e_1_3_2_1_3_1","volume-title":"A non-blocking single-phase commit protocol for rigorous participants. Networking and information systems journal 1, 2--3","author":"Abdallah Maha","year":"1998","unstructured":"Maha Abdallah and Philippe Pucheral. 1998. A non-blocking single-phase commit protocol for rigorous participants. Networking and information systems journal 1, 2--3 (1998), 195--212."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223787"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2929793"},{"key":"e_1_3_2_1_6_1","volume-title":"Megastore: Providing scalable, highly available storage for interactive services.","author":"Baker Jason","year":"2011","unstructured":"Jason Baker, Chris Bond, James C Corbett, JJ Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, and Vadim Yushprakh. 2011. Megastore: Providing scalable, highly available storage for interactive services. (2011)."},{"key":"e_1_3_2_1_7_1","volume-title":"IPA: Invariant-preserving applications for weakly-consistent replicated databases. arXiv preprint arXiv:1802.08474","author":"Balegas Valter","year":"2018","unstructured":"Valter Balegas, Nuno Pregui\u00e7a, S\u00e9rgio Duarte, Carla Ferreira, and Rodrigo Rodrigues. 2018. IPA: Invariant-preserving applications for weakly-consistent replicated databases. arXiv preprint arXiv:1802.08474 (2018)."},{"key":"e_1_3_2_1_8_1","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)","author":"Barcelona Catalonia-Spain","year":"2008","unstructured":"Catalonia-Spain Barcelona. 2008. Mencius: building efficient replicated state machines for WANs. In 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)."},{"key":"e_1_3_2_1_9_1","unstructured":"Philip A Bernstein Vassos Hadzilacos Nathan Goodman et al. 1987. Concurrency control and recovery in database systems. Vol. 370. Addison-wesley Reading."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2004.10.008"},{"key":"e_1_3_2_1_11_1","unstructured":"Nathan Bronson Zach Amsden George Cabrera Prasad Chakka Peter Dimov Hui Ding Jack Ferris Anthony Giardullo Sachin Kulkarni Harry Li et al. 2013. {TAO}: Facebook's distributed data store for the social graph. In 2013 {USENIX} Annual Technical Conference ({ USENIX} {ATC} 13). 49--60."},{"key":"e_1_3_2_1_12_1","volume-title":"PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications. In 2022 IEEE 38th International Conference on Data Engineering (ICDE). IEEE, 2859--2872","author":"Cao Wei","year":"2022","unstructured":"Wei Cao, Feifei Li, Gui Huang, Jianghang Lou, Jianwei Zhao, Dengcheng He, Mengshi Sun, Yingqiang Zhang, Sheng Wang, Xueqiang Wu, et al. 2022. PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications. In 2022 IEEE 38th International Conference on Data Engineering (ICDE). IEEE, 2859--2872."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1365815.1365816"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3452834"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3639257"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491245"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806837"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/3594512.3594523"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815425"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/2809974.2809981"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342627"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/3565816.3565837"},{"key":"e_1_3_2_1_29_1","unstructured":"Suyash Gupta and Mohammad Sadoghi. 2018. EasyCommit: A Non-blocking Two-phase Commit Protocol.. In EDBT. 157--168."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055548"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1860702.1860704"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/3632093.3632109"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Yihe Huang William Qian Eddie Kohler Barbara Liskov and Liuba Shrira. 2020. Opportunities for optimism in contended main-memory multicore transactions. (2020).","DOI":"10.14778\/3377369.3377373"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807233"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/3611479.3611484"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_3_2_1_37_1","volume-title":"Knock Out 2PC with Practicality Intact: a Highperformance and General Distributed Transaction Protocol. arXiv preprint arXiv:2302.12517","author":"Lai Ziliang","year":"2023","unstructured":"Ziliang Lai, Hua Fan, Wenchao Zhou, Zhanfeng Ma, Xiang Peng, Feifei Li, and Eric Lo. 2023. Knock Out 2PC with Practicality Intact: a Highperformance and General Distributed Transaction Protocol. arXiv preprint arXiv:2302.12517 (2023)."},{"key":"e_1_3_2_1_38_1","volume-title":"Cassandra: a decentralized structured storage system. ACM SIGOPS operating systems review 44, 2","author":"Lakshman Avinash","year":"2010","unstructured":"Avinash Lakshman and Prashant Malik. 2010. Cassandra: a decentralized structured storage system. ACM SIGOPS operating systems review 44, 2 (2010), 35--40."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_40_1","first-page":"4","article-title":"Paxos made simple","volume":"32","author":"Lamport Leslie","year":"2001","unstructured":"Leslie Lamport. 2001. Paxos made simple. ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001) (2001), 51--58.","journal-title":"ACM SIGACT News (Distributed Computing Column)"},{"key":"e_1_3_2_1_41_1","unstructured":"Leslie Lamport. 2005. Generalized consensus and Paxos. (2005)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-006-0005-x"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536206.2536215"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.14778\/3551793.3551838"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132751"},{"key":"e_1_3_2_1_46_1","volume-title":"Adriana Szekeres, and Dan RK Ports.","author":"Li Jialin","year":"2016","unstructured":"Jialin Li, Ellis Michael, Naveen Kr Sharma, Adriana Szekeres, and Dan RK Ports. 2016. Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering. In OSDI. 467--483."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/3303753.3303764"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3452827"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48743-3_11"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_51_1","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation.","author":"Lloyd Wyatt","year":"2013","unstructured":"Wyatt Lloyd, Michael J Freedman, Michael Kaminsky, and David G Andersen. 2013. Stronger semantics for low-latency geo-replicated storage. In 10th USENIX Symposium on Networked Systems Design and Implementation."},{"key":"e_1_3_2_1_52_1","volume-title":"DEX: Scalable Range Indexing on Disaggregated Memory. In VLDB (International Conference on Very Large Data Bases).","author":"Lu Baotong","year":"2024","unstructured":"Baotong Lu, Kaisong Huang, Chieh-Jan Mike Liang, Tianzheng Wang, and Eric Lo. 2024. DEX: Scalable Range Indexing on Disaggregated Memory. In VLDB (International Conference on Very Large Data Bases)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407808"},{"key":"e_1_3_2_1_54_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. (2021).","DOI":"10.14778\/3446095.3446098"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536360.2536366"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732269.2732270"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.14778\/3303753.3303765"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7266"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7266"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2517350"},{"key":"e_1_3_2_1_61_1","unstructured":"Shuai Mu Lamont Nelson Wyatt Lloyd and Jinyang Li. 2016. Consolidating Concurrency Control and Consensus for Commits under Conflicts.. In OSDI. 517--532."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589293"},{"key":"e_1_3_2_1_63_1","unstructured":"Diego Ongaro and John Ousterhout. 2014. In search of an understandable consensus algorithm. In 2014 {USENIX} Annual Technical Conference ({USENIX}{ATC} 14). 305--319."},{"key":"e_1_3_2_1_64_1","volume-title":"not serial: Concurrency control and availability in multi-datacenter datastores. arXiv preprint arXiv:1208.0270","author":"Patterson Stacy","year":"2012","unstructured":"Stacy Patterson, Aaron J Elmore, Faisal Nawab, Divyakant Agrawal, and Amr El Abbadi. 2012. Serializability, not serial: Concurrency control and availability in multi-datacenter datastores. arXiv preprint arXiv:1208.0270 (2012)."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274808.3274810"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342647"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483555"},{"key":"e_1_3_2_1_68_1","volume-title":"Proceedings of the ACM on Programming Languages 2, POPL","author":"Sergey Ilya","year":"2017","unstructured":"Ilya Sergey, James R Wilcox, and Zachary Tatlock. 2017. Programming and proving with distributed protocols. Proceedings of the ACM on Programming Languages 2, POPL (2017), 1--30."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357223.3362739"},{"key":"e_1_3_2_1_70_1","unstructured":"Jeff Shute Radek Vingralek Bart Samwel Ben Handy Chad Whipkey Eric Rollins Mircea Oancea Kyle Littlefield David Menestrina Stephan Ellner et al. 2013. F1: A distributed SQL database that scales. (2013)."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/582318.582339"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386134"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224070"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_3_2_1_76_1","volume-title":"Seo Jin Park, and John K Ousterhout","author":"Tollman Sarah","year":"2021","unstructured":"Sarah Tollman, Seo Jin Park, and John K Ousterhout. 2021. EPaxos Revisited. In NSDI. 613--632."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.14778\/3561261.3561263"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476273"},{"key":"e_1_3_2_1_79_1","first-page":"344","article-title":"Anna: A kvs for any scale","volume":"33","author":"Wu Chenggang","year":"2019","unstructured":"Chenggang Wu, Jose M Faleiro, Yihan Lin, and Joseph M Hellerstein. 2019. Anna: A kvs for any scale. IEEE Transactions on Knowledge and Data Engineering 33, 2 (2019), 344--358.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.14778\/3311880.3311881"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915227"},{"key":"e_1_3_2_1_82_1","volume-title":"Nezha: Exploiting Concurrency for Transaction Processing in DAG-based Blockchains. In 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). IEEE, 269--279","author":"Xiao Jiang","year":"2022","unstructured":"Jiang Xiao, Shijie Zhang, Zhiwei Zhang, Bo Li, Xiaohai Dai, and Hai Jin. 2022. Nezha: Exploiting Concurrency for Transaction Processing in DAG-based Blockchains. In 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). IEEE, 269--279."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431291"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196912"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526161"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.14778\/3554821.3554830"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2016.2578319"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588724"},{"key":"e_1_3_2_1_89_1","unstructured":"Xiangyao Yu George Bezerra Andrew Pavlo Srinivas Devadas and Michael Stonebraker. 2014. Staring into the abyss: An evaluation of concurrency control with one thousand cores. (2014)."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.14778\/3231751.3231763"},{"volume-title":"Proceedings of the 25th Symposium on Operating Systems Principles. 263--278","author":"Zhang Irene","key":"e_1_3_2_1_91_1","unstructured":"Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, and Dan R. K. Ports. 2015. Building Consistent Transactions with Inconsistent Replication. In Proceedings of the 25th Symposium on Operating Systems Principles. 263--278."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS53621.2022.00099"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.14778\/3583140.3583153"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522729"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.14778\/3467861.3467877"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3457559"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588916"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.14778\/3551793.3551843"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526187"}],"event":{"name":"SoCC '24: ACM Symposium on Cloud Computing","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Redmond WA USA","acronym":"SoCC '24"},"container-title":["Proceedings of the ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3698038.3698514","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3698038.3698514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:01:32Z","timestamp":1755889292000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3698038.3698514"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"references-count":99,"alternative-id":["10.1145\/3698038.3698514","10.1145\/3698038"],"URL":"https:\/\/doi.org\/10.1145\/3698038.3698514","relation":{},"subject":[],"published":{"date-parts":[[2024,11,20]]},"assertion":[{"value":"2024-11-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}