{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T15:29:59Z","timestamp":1781364599177,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":93,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,26]]},"DOI":"10.1145\/3477132.3483566","type":"proceedings-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T15:59:18Z","timestamp":1634659158000},"page":"163-179","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Regular Sequential Serializability and Regular Sequential Consistency"],"prefix":"10.1145","author":[{"given":"Jeffrey","family":"Helt","sequence":"first","affiliation":[{"name":"Princeton University, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Burke","sequence":"additional","affiliation":[{"name":"Cornell University, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amit","family":"Levy","sequence":"additional","affiliation":[{"name":"Princeton University, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wyatt","family":"Lloyd","sequence":"additional","affiliation":[{"name":"Princeton University, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Amazon Elastic Compute Cloud. https:\/\/aws.amazon.com\/ec2\/.  2021. Amazon Elastic Compute Cloud. https:\/\/aws.amazon.com\/ec2\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Gryff-RSC. https:\/\/github.com\/princeton-sns\/gryff-rs\/.  2021. Gryff-RSC. https:\/\/github.com\/princeton-sns\/gryff-rs\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. Spanner-RSS. https:\/\/github.com\/princeton-sns\/spanner-rss\/.  2021. Spanner-RSS. https:\/\/github.com\/princeton-sns\/spanner-rss\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. Ph.D. Dissertation. MIT Cambridge MA. Advisor(s) Barbara Liskov.  Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. Ph.D. Dissertation. MIT Cambridge MA. Advisor(s) Barbara Liskov."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784241"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2929793"},{"key":"e_1_3_2_1_7_1","volume-title":"Cure: Strong Semantics Meets High Availability and Low Latency. In IEEE International Conference on Distributed Computing Systems. IEEE","author":"Akkoorath D. D.","unstructured":"D. D. Akkoorath , A. Z. Tomsic , M. Bravo , Z. Li , T. Crain , A. Bieniusa , N. Pregui\u00e7a , and M. Shapiro . 2016 . Cure: Strong Semantics Meets High Availability and Low Latency. In IEEE International Conference on Distributed Computing Systems. IEEE , Nara, Japan, 405--414. D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Pregui\u00e7a, and M. Shapiro. 2016. Cure: Strong Semantics Meets High Availability and Low Latency. In IEEE International Conference on Distributed Computing Systems. IEEE, Nara, Japan, 405--414."},{"key":"e_1_3_2_1_8_1","volume-title":"Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM","author":"Alglave Jade","year":"2017","unstructured":"Jade Alglave and Patrick Cousot . 2017 . Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM , Paris, France, 3--18. Jade Alglave and Patrick Cousot. 2017. Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, Paris, France, 3--18."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/176575.176576"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909870"},{"key":"e_1_3_2_1_11_1","volume-title":"Bolt-on Causal Consistency. In ACM International Conference on Management of Data. ACM","author":"Bailis Peter","year":"2013","unstructured":"Peter Bailis , Ali Ghodsi , Joseph M. Hellerstein , and Ion Stoica . 2013 . Bolt-on Causal Consistency. In ACM International Conference on Management of Data. ACM , New York, NY, 761--772. Peter Bailis, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. 2013. Bolt-on Causal Consistency. In ACM International Conference on Management of Data. ACM, New York, NY, 761--772."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00383387"},{"key":"e_1_3_2_1_13_1","volume-title":"Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. In IEEE Symposium on Reliable Distributed Systems. IEEE","author":"Balegas Valter","year":"2015","unstructured":"Valter Balegas , Diogo Serra , S\u00e9rgio Duarte , Carla Ferreira , Marc Shapiro , Rodrigo Rodrigues , and Nuno Pregui\u00e7a . 2015 . Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. In IEEE Symposium on Reliable Distributed Systems. IEEE , Montreal, Canada, 31--36. Valter Balegas, Diogo Serra, S\u00e9rgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, and Nuno Pregui\u00e7a. 2015. Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. In IEEE Symposium on Reliable Distributed Systems. IEEE, Montreal, Canada, 31--36."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_15_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","unstructured":"Philip A. Bernstein , Vassos Hadzilacos , and Nathan Goodman . 1987. Concurrency Control and Recovery in Database Systems . Addison-Wesley , Reading, MA . Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA."},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Annual Technical Conference. USENIX","author":"Bronson Nathan","year":"2013","unstructured":"Nathan Bronson , Zach Amsden , George Cabrera , Prasad Chakka , Peter Dimov , Hui Ding , Jack Ferris , Anthony Giardullo , Sachin Kulkarni , Harry Li , 2013 . TAO: Facebook's distributed data store for the social graph . In USENIX Annual Technical Conference. USENIX , San Jose, CA, 49--60. 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 USENIX Annual Technical Conference. USENIX, San Jose, CA, 49--60."},{"key":"e_1_3_2_1_17_1","volume-title":"Static Serializability Analysis for Causal Consistency. In ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM","author":"Brutschy Lucas","year":"2018","unstructured":"Lucas Brutschy , Dimitar Dimitrov , Peter M\u00fcller , and Martin Vechev . 2018 . Static Serializability Analysis for Causal Consistency. In ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM , Philadelphia, PA, 90--104. Lucas Brutschy, Dimitar Dimitrov, Peter M\u00fcller, and Martin Vechev. 2018. Static Serializability Analysis for Causal Consistency. In ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, Philadelphia, PA, 90--104."},{"key":"e_1_3_2_1_18_1","volume-title":"Gryff: Unifying Consensus and Shared Registers. In USENIX Symposium on Networked Systems Design and Implementation. USENIX","author":"Burke Matthew","year":"2020","unstructured":"Matthew Burke , Audrey Cheng , and Wyatt Lloyd . 2020 . Gryff: Unifying Consensus and Shared Registers. In USENIX Symposium on Networked Systems Design and Implementation. USENIX , Santa Clara, CA. Matthew Burke, Audrey Cheng, and Wyatt Lloyd. 2020. Gryff: Unifying Consensus and Shared Registers. In USENIX Symposium on Networked Systems Design and Implementation. USENIX, Santa Clara, CA."},{"key":"e_1_3_2_1_19_1","volume-title":"HotRing: A Hotspot-Aware In-Memory Key-Value Store. In USENIX Conference on File and Storage Technologies. USENIX","author":"Chen Jiqiang","year":"2020","unstructured":"Jiqiang Chen , Liang Chen , Sheng Wang , Guoyun Zhu , Yuanyuan Sun , Huan Liu , and Feifei Li . 2020 . HotRing: A Hotspot-Aware In-Memory Key-Value Store. In USENIX Conference on File and Storage Technologies. USENIX , Santa Clara, CA, 239--252. Jiqiang Chen, Liang Chen, Sheng Wang, Guoyun Zhu, Yuanyuan Sun, Huan Liu, and Feifei Li. 2020. HotRing: A Hotspot-Aware In-Memory Key-Value Store. In USENIX Conference on File and Storage Technologies. USENIX, Santa Clara, CA, 239--252."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_3_2_1_21_1","volume-title":"Benchmarking Cloud Serving Systems with YCSB. In ACM Symposium on Cloud Computing. ACM","author":"Cooper Brian F.","year":"2010","unstructured":"Brian F. Cooper , Adam Silberstein , Erwin Tam , Raghu Ramakrishnan , and Russell Sears . 2010 . Benchmarking Cloud Serving Systems with YCSB. In ACM Symposium on Cloud Computing. ACM , Indianapolis, IN, 143--154. Brian F. Cooper, Adam Silberstein, Erwin Tam, Raghu Ramakrishnan, and Russell Sears. 2010. Benchmarking Cloud Serving Systems with YCSB. In ACM Symposium on Cloud Computing. ACM, Indianapolis, IN, 143--154."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491245"},{"key":"e_1_3_2_1_23_1","volume-title":"Lazy Database Replication With Ordering Guarantees. In IEEE International Conference on Data Engineering. IEEE","author":"Daudjee Khuzaima","year":"2004","unstructured":"Khuzaima Daudjee and Kenneth Salem . 2004 . Lazy Database Replication With Ordering Guarantees. In IEEE International Conference on Data Engineering. IEEE , Boston, MA, 424--435. Khuzaima Daudjee and Kenneth Salem. 2004. Lazy Database Replication With Ordering Guarantees. In IEEE International Conference on Data Engineering. IEEE, Boston, MA, 424--435."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408794"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_26_1","volume-title":"The Design and Operation of CloudLab. In USENIX Annual Technical Conference. USENIX","author":"Duplyakin Dmitry","year":"2019","unstructured":"Dmitry Duplyakin , Robert Ricci , Aleksander Maricq , Gary Wong , Jonathon Duerig , Eric Eide , Leigh Stoller , Mike Hibler , David Johnson , Kirk Webb , Aditya Akella , Kuangching Wang , Glenn Ricart , Larry Landweber , Chip Elliott , Michael Zink , Emmanuel Cecchet , Snigdhaswin Kar , and Prabodh Mishra . 2019 . The Design and Operation of CloudLab. In USENIX Annual Technical Conference. USENIX , Renton, WA, 1--14. Dmitry Duplyakin, Robert Ricci, Aleksander Maricq, Gary Wong, Jonathon Duerig, Eric Eide, Leigh Stoller, Mike Hibler, David Johnson, Kirk Webb, Aditya Akella, Kuangching Wang, Glenn Ricart, Larry Landweber, Chip Elliott, Michael Zink, Emmanuel Cecchet, Snigdhaswin Kar, and Prabodh Mishra. 2019. The Design and Operation of CloudLab. In USENIX Annual Technical Conference. USENIX, Renton, WA, 1--14."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456236"},{"key":"e_1_3_2_1_29_1","volume-title":"State-Machine Replication for Planet-Scale Systems. In ACM European Conference on Computer Systems. ACM","author":"Enes Vitor","year":"2020","unstructured":"Vitor Enes , Carlos Baquero , Tuanir Fran\u00e7a Rezende , Alexey Gotsman , Matthieu Perrin , and Pierre Sutra . 2020 . State-Machine Replication for Planet-Scale Systems. In ACM European Conference on Computer Systems. ACM , Heraklion, Greece, 15 pages. Vitor Enes, Carlos Baquero, Tuanir Fran\u00e7a Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra. 2020. State-Machine Replication for Planet-Scale Systems. In ACM European Conference on Computer Systems. ACM, Heraklion, Greece, 15 pages."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374516"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_1_34_1","volume-title":"Notes on data base operating systems","author":"Gray Jim","unstructured":"Jim Gray . 1978. Notes on data base operating systems . Springer , Berlin, Germany , 393--481. Jim Gray. 1978. Notes on data base operating systems. Springer, Berlin, Germany, 393--481."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Jeffrey Helt Matthew Burke Amit Levy and Wyatt Lloyd. 2021. Regular Sequential Serializability and Regular Sequential Consistency. arXiv:2109.08930 [cs.DC]  Jeffrey Helt Matthew Burke Amit Levy and Wyatt Lloyd. 2021. Regular Sequential Serializability and Regular Sequential Consistency. arXiv:2109.08930 [cs.DC]","DOI":"10.1145\/3477132.3483566"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/235025.235029"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132775"},{"key":"e_1_3_2_1_39_1","volume-title":"USENIX Annual Technical Conference. USENIX","author":"Hunt Patrick","year":"2010","unstructured":"Patrick Hunt , Mahadev Konar , Flavio Junqueira , and Benjamin Reed . 2010 . ZooKeeper: Wait-free coordination for Internet-scale systems . In USENIX Annual Technical Conference. USENIX , Boston, MA, 1--14. Patrick Hunt, Mahadev Konar, Flavio Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free coordination for Internet-scale systems. In USENIX Annual Technical Conference. USENIX, Boston, MA, 1--14."},{"key":"e_1_3_2_1_40_1","volume-title":"Fault-Tolerant and Linearizable Replication Protocol. In International Conference on Architectural Support for Programming Languages and Operating Systems. ACM","author":"Katsarakis Antonios","year":"2020","unstructured":"Antonios Katsarakis , Vasilis Gavrielatos , M.R. Siavash Katebzadeh , Arpit Joshi , Aleksandar Dragojevic , Boris Grot , and Vijay Nagarajan . 2020 . Hermes: A Fast , Fault-Tolerant and Linearizable Replication Protocol. In International Conference on Architectural Support for Programming Languages and Operating Systems. ACM , Lausanne, Switzerland, 201--217. Antonios Katsarakis, Vasilis Gavrielatos, M.R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, and Vijay Nagarajan. 2020. Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. In International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, Lausanne, Switzerland, 201--217."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138877"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_44_1","volume-title":"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. ACM Transactions on Computer Systems C-28, 9 (Sept","author":"Lamport Leslie","year":"1979","unstructured":"Leslie Lamport . 1979. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. ACM Transactions on Computer Systems C-28, 9 (Sept . 1979 ), 690--691. Leslie Lamport. 1979. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. ACM Transactions on Computer Systems C-28, 9 (Sept. 1979), 690--691."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_47_1","unstructured":"Costin Leau. 2013. Spring Data Redis - Retwis-J. https:\/\/docs.spring.io\/spring-data\/data-keyvalue\/examples\/retwisj\/current\/.  Costin Leau. 2013. Spring Data Redis - Retwis-J. https:\/\/docs.spring.io\/spring-data\/data-keyvalue\/examples\/retwisj\/current\/."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.03.004"},{"key":"e_1_3_2_1_49_1","volume-title":"Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. USENIX","author":"Li Cheng","year":"2014","unstructured":"Cheng Li , Joao Leit\u00e3o , Allen Clement , Nuno Pregui\u00e7a , Rodrigo Rodrigues , and Viktor Vafeiadis . 2014 . Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. USENIX , Philadelphia, PA, 281--292. Cheng Li, Joao Leit\u00e3o, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. USENIX, Philadelphia, PA, 281--292."},{"key":"e_1_3_2_1_50_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation. USENIX","author":"Li Cheng","year":"2012","unstructured":"Cheng Li , Daniel Porto , Allen Clement , Johannes Gehrke , Nuno Pregui\u00e7a , and Rodrigo Rodrigues . 2012 . Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary . In USENIX Symposium on Operating Systems Design and Implementation. USENIX , Hollywood, CA, 265--278. Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Pregui\u00e7a, and Rodrigo Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Hollywood, CA, 265--278."},{"key":"e_1_3_2_1_51_1","volume-title":"USENIX Annual Technical Conference. USENIX","author":"Li Cheng","year":"2018","unstructured":"Cheng Li , Nuno Pregui\u00e7a , and Rodrigo Rodrigues . 2018 . Fine-grained consistency for geo-replicated systems . In USENIX Annual Technical Conference. USENIX , Boston, MA, 359--372. Cheng Li, Nuno Pregui\u00e7a, and Rodrigo Rodrigues. 2018. Fine-grained consistency for geo-replicated systems. In USENIX Annual Technical Conference. USENIX, Boston, MA, 359--372."},{"key":"e_1_3_2_1_53_1","volume-title":"Stronger Semantics For Low-latency Geo-replicated Storage. In USENIX Symposium on Networked Systems Design and Implementation. USENIX","author":"Lloyd Wyatt","year":"2013","unstructured":"Wyatt Lloyd , Michael Freedman , Michael Kaminsky , and David Andersen . 2013 . Stronger Semantics For Low-latency Geo-replicated Storage. In USENIX Symposium on Networked Systems Design and Implementation. USENIX , Lombard, IL, 313--328. Wyatt Lloyd, Michael Freedman, Michael Kaminsky, and David Andersen. 2013. Stronger Semantics For Low-latency Geo-replicated Storage. In USENIX Symposium on Networked Systems Design and Implementation. USENIX, Lombard, IL, 313--328."},{"key":"e_1_3_2_1_54_1","volume-title":"ACM Symposium on Operating Systems Principles. ACM","author":"Lloyd Wyatt","unstructured":"Wyatt Lloyd , Michael J. Freedman , Michael Kaminsky , and David G. Andersen . 2011. Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS . In ACM Symposium on Operating Systems Principles. ACM , Cascais, Portugal, 401--416. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2011. Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS. In ACM Symposium on Operating Systems Principles. ACM, Cascais, Portugal, 401--416."},{"key":"e_1_3_2_1_55_1","volume-title":"The SNOW Theorem and Latency-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX","author":"Lu Haonan","year":"2016","unstructured":"Haonan Lu , Christopher Hodsdon , Khiem Ngo , Shuai Mu , and Wyatt Lloyd . 2016 . The SNOW Theorem and Latency-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX , Savannah, GA, 135--150. Haonan Lu, Christopher Hodsdon, Khiem Ngo, Shuai Mu, and Wyatt Lloyd. 2016. The SNOW Theorem and Latency-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Savannah, GA, 135--150."},{"key":"e_1_3_2_1_56_1","volume-title":"Performance-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 333--349","author":"Lu Haonan","year":"2020","unstructured":"Haonan Lu , Siddhartha Sen , and Wyatt Lloyd . 2020 . Performance-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 333--349 . Haonan Lu, Siddhartha Sen, and Wyatt Lloyd. 2020. Performance-Optimal Read-Only Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 333--349."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815426"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80033-9"},{"key":"e_1_3_2_1_59_1","volume-title":"Distributed Algorithms","author":"Lynch Nancy A.","unstructured":"Nancy A. Lynch . 1996. Distributed Algorithms . Morgan Kaufmann Publishers Inc ., San Francisco, CA. Nancy A. Lynch. 1996. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA."},{"key":"e_1_3_2_1_60_1","volume-title":"Hierarchical Correctness Proofs for Distributed Algorithms. In ACM Symposium on Principles of Distributed Computing. ACM","author":"Nancy","unstructured":"Nancy A. Lynch and Mark R. Tuttle. 1987 . Hierarchical Correctness Proofs for Distributed Algorithms. In ACM Symposium on Principles of Distributed Computing. ACM , Vancouver, British Columbia, Canada, 137--151. Nancy A. Lynch and Mark R. Tuttle. 1987. Hierarchical Correctness Proofs for Distributed Algorithms. In ACM Symposium on Principles of Distributed Computing. ACM, Vancouver, British Columbia, Canada, 137--151."},{"key":"e_1_3_2_1_61_1","volume-title":"Universal Context Propagation for Distributed System Instrumentation. In ACM European Conference on Computer Systems. ACM","author":"Mace Jonathan","year":"2018","unstructured":"Jonathan Mace and Rodrigo Fonseca . 2018 . Universal Context Propagation for Distributed System Instrumentation. In ACM European Conference on Computer Systems. ACM , Porto, Portugal, 1--18. Jonathan Mace and Rodrigo Fonseca. 2018. Universal Context Propagation for Distributed System Instrumentation. In ACM European Conference on Computer Systems. ACM, Porto, Portugal, 1--18."},{"key":"e_1_3_2_1_62_1","volume-title":"Technical Report TR-11-22. Department of Computer Science","author":"Mahajan Prince","unstructured":"Prince Mahajan , Lorenzo Alvisi , and Mike Dahlin . 2011. Consistency, Availability, and Convergence. Technical Report TR-11-22. Department of Computer Science , University of Texas at Austin , Austin, TX . Prince Mahajan, Lorenzo Alvisi, and Mike Dahlin. 2011. Consistency, Availability, and Convergence. Technical Report TR-11-22. Department of Computer Science, University of Texas at Austin, Austin, TX."},{"key":"e_1_3_2_1_63_1","first-page":"9","article-title":"Low-latency Multi-datacenter Databases Using Replicated Commit","volume":"6","author":"Mahmoud Hatem","year":"2013","unstructured":"Hatem Mahmoud , Faisal Nawab , Alexander Pucher , Divyakant Agrawal , and Amr El Abbadi . 2013 . Low-latency Multi-datacenter Databases Using Replicated Commit . Proceedings of the Very Large Data Bases Endowment 6 , 9 (July 2013), 661--672. Hatem Mahmoud, Faisal Nawab, Alexander Pucher, Divyakant Agrawal, and Amr El Abbadi. 2013. Low-latency Multi-datacenter Databases Using Replicated Commit. Proceedings of the Very Large Data Bases Endowment 6, 9 (July 2013), 661--672.","journal-title":"Proceedings of the Very Large Data Bases Endowment"},{"key":"e_1_3_2_1_64_1","volume-title":"Mencius: Building Efficient Replicated State Machines for WANs. In USENIX Symposium on Operating Systems Design and Implementation. USENIX","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio P. Junqueira , and Keith Marzullo . 2008 . Mencius: Building Efficient Replicated State Machines for WANs. In USENIX Symposium on Operating Systems Design and Implementation. USENIX , San Diego, CA, 369--384. Yanhua Mao, Flavio P. Junqueira, and Keith Marzullo. 2008. Mencius: Building Efficient Replicated State Machines for WANs. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, San Diego, CA, 369--384."},{"key":"e_1_3_2_1_65_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation. USENIX","author":"Mehdi Syed Akbar","year":"2017","unstructured":"Syed Akbar Mehdi , Cody Littley , Natacha Crooks , Lorenzo Alvisi , Nathan Bronson , and Wyatt Lloyd . 2017 . I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades . In USENIX Symposium on Networked Systems Design and Implementation. USENIX , Boston, MA, 453--468. Syed Akbar Mehdi, Cody Littley, Natacha Crooks, Lorenzo Alvisi, Nathan Bronson, and Wyatt Lloyd. 2017. I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades. In USENIX Symposium on Networked Systems Design and Implementation. USENIX, Boston, MA, 453--468."},{"key":"e_1_3_2_1_66_1","volume-title":"There Is More Consensus in Egalitarian Parliaments. In ACM Symposium on Operating Systems Principles. ACM","author":"Moraru Iulian","year":"2013","unstructured":"Iulian Moraru , David Andersen , and Michael Kaminsky . 2013 . There Is More Consensus in Egalitarian Parliaments. In ACM Symposium on Operating Systems Principles. ACM , Farmington, PA, 358--372. Iulian Moraru, David Andersen, and Michael Kaminsky. 2013. There Is More Consensus in Egalitarian Parliaments. In ACM Symposium on Operating Systems Principles. ACM, Farmington, PA, 358--372."},{"key":"e_1_3_2_1_67_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation. USENIX","author":"Mu Shuai","year":"2014","unstructured":"Shuai Mu , Yang Cui , Yang Zhang , Wyatt Lloyd , and Jinyang Li . 2014 . Extracting More Concurrency from Distributed Transactions . In USENIX Symposium on Operating Systems Design and Implementation. USENIX , Broomfield, CO, 479--494. Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, and Jinyang Li. 2014. Extracting More Concurrency from Distributed Transactions. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Broomfield, CO, 479--494."},{"key":"e_1_3_2_1_68_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation. USENIX","author":"Mu Shuai","year":"2016","unstructured":"Shuai Mu , Lamont Nelson , Wyatt Lloyd , and Jinyang Li . 2016 . Consolidating Concurrency Control and Consensus for Commits under Conflicts . In USENIX Symposium on Operating Systems Design and Implementation. USENIX , Savannah, GA, 517--532. Shuai Mu, Lamont Nelson, Wyatt Lloyd, and Jinyang Li. 2016. Consolidating Concurrency Control and Consensus for Commits under Conflicts. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Savannah, GA, 517--532."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911160"},{"key":"e_1_3_2_1_70_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 583--598","author":"Ngo Khiem","year":"2020","unstructured":"Khiem Ngo , Siddhartha Sen , and Wyatt Lloyd . 2020 . Tolerating Slowdowns in Replicated State Machines using Copilots . In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 583--598 . Khiem Ngo, Siddhartha Sen, and Wyatt Lloyd. 2020. Tolerating Slowdowns in Replicated State Machines using Copilots. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 583--598."},{"key":"e_1_3_2_1_71_1","volume-title":"ACM Symposium on Principles of Distributed Computing. ACM","author":"Oki Brian","year":"1988","unstructured":"Brian Oki and Barbara Liskov . 1988 . Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems . In ACM Symposium on Principles of Distributed Computing. ACM , Toronto, Ontario, Canada, 8--17. Brian Oki and Barbara Liskov. 1988. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. In ACM Symposium on Principles of Distributed Computing. ACM, Toronto, Ontario, Canada, 8--17."},{"key":"e_1_3_2_1_72_1","volume-title":"USENIX Annual Technical Conference. USENIX","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John Ousterhout . 2014 . In Search of an Understandable Consensus Algorithm . In USENIX Annual Technical Conference. USENIX , Philadelphia, PA, 305--319. Diego Ongaro and John Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX Annual Technical Conference. USENIX, Philadelphia, PA, 305--319."},{"key":"e_1_3_2_1_73_1","volume-title":"Global Authorization System. In USENIX Annual Technical Conference. USENIX","author":"Pang Ruoming","year":"2019","unstructured":"Ruoming Pang , Ramon Caceres , Mike Burrows , Zhifeng Chen , Pratik Dave , Nathan Germer , Alexander Golynski , Kevin Graney , Nina Kang , Lea Kissner , Jeffrey L. Korn , Abhishek Parmar , Christopher D. Richards , and Mengzhi Wang . 2019 . Zanzibar: Google's Consistent , Global Authorization System. In USENIX Annual Technical Conference. USENIX , Renton, WA, 33--46. Ruoming Pang, Ramon Caceres, Mike Burrows, Zhifeng Chen, Pratik Dave, Nathan Germer, Alexander Golynski, Kevin Graney, Nina Kang, Lea Kissner, Jeffrey L. Korn, Abhishek Parmar, Christopher D. Richards, and Mengzhi Wang. 2019. Zanzibar: Google's Consistent, Global Authorization System. In USENIX Annual Technical Conference. USENIX, Renton, WA, 33--46."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/115790.115856"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290381"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342272"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/320251.320260"},{"key":"e_1_3_2_1_79_1","volume-title":"Open Versus Closed: A Cautionary Tale. In USENIX Symposium on Networked Systems Design and Implementation. USENIX","author":"Schroeder Bianca","year":"2006","unstructured":"Bianca Schroeder , Adam Wierman , and Mor Harchol-Balter . 2006 . Open Versus Closed: A Cautionary Tale. In USENIX Symposium on Networked Systems Design and Implementation. USENIX , San Jose, CA, 239--252. Bianca Schroeder, Adam Wierman, and Mor Harchol-Balter. 2006. Open Versus Closed: A Cautionary Tale. In USENIX Symposium on Networked Systems Design and Implementation. USENIX, San Jose, CA, 239--252."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1137\/07071158X"},{"key":"e_1_3_2_1_81_1","volume-title":"Conflict-free Replicated Data Types. In International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer","author":"Shapiro Marc","year":"2011","unstructured":"Marc Shapiro , Nuno Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011 . Conflict-free Replicated Data Types. In International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer , Grenoble, France, 386--400. Marc Shapiro, Nuno Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-free Replicated Data Types. In International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer, Grenoble, France, 386--400."},{"key":"e_1_3_2_1_82_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation. USENIX","author":"Sharma Yogeshwer","year":"2015","unstructured":"Yogeshwer Sharma , Philippe Ajoux , Petchean Ang , David Callies , Abhishek Choudhary , Laurent Demailly , Thomas Fersch , Liat Atsmon Guz , Andrzej Kotulski , Sachin Kulkarni , Sanjeev Kumar , Harry Li , Jun Li , Evgeniy Makeev , Kowshik Prakasam , Robbert Van Renesse , Sabyasachi Roy , Pratyush Seth , Yee Jiun Song , Benjamin Wester , Kaushik Veeraraghavan , and Peter Xie . 2015 . Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services . In USENIX Symposium on Networked Systems Design and Implementation. USENIX , Oakland, CA, 351--366. Yogeshwer Sharma, Philippe Ajoux, Petchean Ang, David Callies, Abhishek Choudhary, Laurent Demailly, Thomas Fersch, Liat Atsmon Guz, Andrzej Kotulski, Sachin Kulkarni, Sanjeev Kumar, Harry Li, Jun Li, Evgeniy Makeev, Kowshik Prakasam, Robbert Van Renesse, Sabyasachi Roy, Pratyush Seth, Yee Jiun Song, Benjamin Wester, Kaushik Veeraraghavan, and Peter Xie. 2015. Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services. In USENIX Symposium on Networked Systems Design and Implementation. USENIX, Oakland, CA, 351--366."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536232"},{"key":"e_1_3_2_1_84_1","volume-title":"Transactional Storage for Geo-Replicated Systems. In ACM Symposium on Operating Systems Principles. ACM","author":"Sovran Yair","year":"2011","unstructured":"Yair Sovran , Russell Power , Marcos K. Aguilera , and Jinyang Li . 2011 . Transactional Storage for Geo-Replicated Systems. In ACM Symposium on Operating Systems Principles. ACM , Cascais, Portugal, 385--400. Yair Sovran, Russell Power, Marcos K. Aguilera, and Jinyang Li. 2011. Transactional Storage for Geo-Replicated Systems. In ACM Symposium on Operating Systems Principles. ACM, Cascais, Portugal, 385--400."},{"key":"e_1_3_2_1_85_1","volume-title":"CockroachDB: The Resilient Geo-Distributed SQL Database. In ACM International Conference on Management of Data. ACM","author":"Taft Rebecca","year":"2020","unstructured":"Rebecca Taft , Irfan Sharif , Andrei Matei , Nathan VanBenschoten , Jordan Lewis , Tobias Grieger , Kai Niemi , Andy Woods , Anne Birzin , Raphael Poss , Paul Bardea , Amruta Ranade , Ben Darnell , Bram Gruneir , Justin Jaffray , Lucy Zhang , and Peter Mattis . 2020 . CockroachDB: The Resilient Geo-Distributed SQL Database. In ACM International Conference on Management of Data. ACM , Portland, OR, 1493--1509. Rebecca Taft, Irfan Sharif, Andrei Matei, Nathan VanBenschoten, Jordan Lewis, Tobias Grieger, Kai Niemi, Andy Woods, Anne Birzin, Raphael Poss, Paul Bardea, Amruta Ranade, Ben Darnell, Bram Gruneir, Justin Jaffray, Lucy Zhang, and Peter Mattis. 2020. CockroachDB: The Resilient Geo-Distributed SQL Database. In ACM International Conference on Management of Data. ACM, Portland, OR, 1493--1509."},{"key":"e_1_3_2_1_86_1","volume-title":"International Conference on Parallel and Distributed Information Systems. IEEE","author":"Terry D. B.","unstructured":"D. B. Terry , A. J. Demers , K. Petersen , M. J. Spreitzer , M. M. Theimer , and B. B. Welch . 1994. Session guarantees for weakly consistent replicated data . In International Conference on Parallel and Distributed Information Systems. IEEE , Austin, TX, 140--149. D. B. Terry, A. J. Demers, K. Petersen, M. J. Spreitzer, M. M. Theimer, and B. B. Welch. 1994. Session guarantees for weakly consistent replicated data. In International Conference on Parallel and Distributed Information Systems. IEEE, Austin, TX, 140--149."},{"key":"e_1_3_2_1_87_1","volume-title":"Consistency-Based Service Level Agreements for Cloud Storage. In ACM Symposium on Operating Systems Principles. ACM","author":"Terry Douglas B.","year":"2013","unstructured":"Douglas B. Terry , Vijayan Prabhakaran , Ramakrishna Kotla , Mahesh Balakrishnan , Marcos K. Aguilera , and Hussam Abu-Libdeh . 2013 . Consistency-Based Service Level Agreements for Cloud Storage. In ACM Symposium on Operating Systems Principles. ACM , Farmington, PA, 309--324. Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, and Hussam Abu-Libdeh. 2013. Consistency-Based Service Level Agreements for Cloud Storage. In ACM Symposium on Operating Systems Principles. ACM, Farmington, PA, 309--324."},{"key":"e_1_3_2_1_88_1","volume-title":"ACM Symposium on Operating Systems Principles. ACM","author":"Terry D. B.","unstructured":"D. B. Terry , M. M. Theimer , Karin Petersen , A. J. Demers , M. J. Spreitzer , and C. H. Hauser . 1995. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System . In ACM Symposium on Operating Systems Principles. ACM , Copper Mountain, CO, 172--182. D. B. Terry, M. M. Theimer, Karin Petersen, A. J. Demers, M. J. Spreitzer, and C. H. Hauser. 1995. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. In ACM Symposium on Operating Systems Principles. ACM, Copper Mountain, CO, 172--182."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556685"},{"key":"e_1_3_2_1_90_1","volume-title":"Article 19 (June","author":"Viotti Paolo","year":"2016","unstructured":"Paolo Viotti and Marko Vukoli\u0107 . 2016. Consistency in Non-Transactional Distributed Storage Systems. ACM Computing Surveys 49, 1 , Article 19 (June 2016 ), 34 pages. Paolo Viotti and Marko Vukoli\u0107. 2016. Consistency in Non-Transactional Distributed Storage Systems. ACM Computing Surveys 49, 1, Article 19 (June 2016), 34 pages."},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196912"},{"key":"e_1_3_2_1_92_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 191--208","author":"Yang Juncheng","unstructured":"Juncheng Yang , Yao Yue , and K. V. Rashmi . 2020. A large scale analysis of hundreds of in-memory cache clusters at Twitter . In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 191--208 . Juncheng Yang, Yao Yue, and K. V. Rashmi. 2020. A large scale analysis of hundreds of in-memory cache clusters at Twitter. In USENIX Symposium on Operating Systems Design and Implementation. USENIX, Virtual Event, 191--208."},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/566340.566342"},{"key":"e_1_3_2_1_94_1","volume-title":"Building Consistent Transactions with Inconsistent Replication. In ACM Symposium on Operating Systems Principles. ACM","author":"Zhang Irene","unstructured":"Irene Zhang , Naveen Kr. Sharma , Adriana Szekeres , Arvind Krishnamurthy , and Dan R. K. Ports . 2015 . Building Consistent Transactions with Inconsistent Replication. In ACM Symposium on Operating Systems Principles. ACM , Monterey, CA, 263--278. Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, and Dan R. K. Ports. 2015. Building Consistent Transactions with Inconsistent Replication. In ACM Symposium on Operating Systems Principles. ACM, Monterey, CA, 263--278."},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/3269981"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267837"}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","location":"Virtual Event Germany","acronym":"SOSP '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483566","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:15Z","timestamp":1750193355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":93,"alternative-id":["10.1145\/3477132.3483566","10.1145\/3477132"],"URL":"https:\/\/doi.org\/10.1145\/3477132.3483566","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"2021-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}