Cited By
View all- Fan XYan SHuang YWeng C(2024)TEngine: A Native Distributed Table Storage Engine2024 IEEE 40th International Conference on Data Engineering (ICDE)10.1109/ICDE60146.2024.00290(3782-3795)Online publication date: 13-May-2024
Hamband: RDMA replicated data types
Pages 348 - 363
Abstract
Data centers are increasingly equipped with RDMAs. These network interfaces mark the advent of a new distributed system model where a node can directly access the remote memory of another. They have enabled microsecond-scale replicated services. The underlying replication protocols of these systems execute all operations under strong consistency. However, strong consistency can hinder response time and availability, and recent replication models have turned to a hybrid of strong and relaxed consistency. This paper presents RDMA well-coordinated replicated data types, the first hybrid replicated data types for the RDMA network model. It presents a novel operational semantics for these data types that considers three distinct categories of methods and captures their required coordination, and formally proves that they preserve convergence and integrity. It implements these semantics in a system called Hamband that leverages direct remote accesses to efficiently implement the required coordination protocols. The empirical evaluation shows that Hamband outperforms the throughput of existing message-based and strongly consistent implementations by more than 17x and 2.7x respectively.
References
[1]
[n.d.]. InfiniBand Userspace verbs access. https://www.kernel.org/doc/html/latest/infiniband/user_verbs.html
[2]
[n.d.]. Mellanox Technologies. RDMA aware networks programming user manual. https://www.mellanox.com/related-docs/prod_software/RDMA_Aware_Programming_user_manual.pdf
[3]
[n.d.]. Memcached. http://memcached.org/
[4]
Daniel Abadi. 2012. Consistency Tradeoffs in Modern Distributed Database System Design. Computer, 45, 2 (2012), 6 pages.
[5]
Marcos K Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, and Sam Toueg. 2018. Passing messages while sharing memory. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. 51–60.
[6]
Marcos K Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra Marathe, and Igor Zablotchi. 2019. The impact of RDMA on agreement. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. 409–418.
[7]
Marcos K Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J Marathe, Athanasios Xygkis, and Igor Zablotchi. 2020. Microsecond consensus for microsecond applications. In 14th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 20). 599–616.
[8]
Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. 2011. Consistency analysis in Bloom: A CALM and collected approach. In In Proceedings 5th Biennial Conference on Innovative Data Systems Research. 249–260.
[9]
Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. 2014. Coordination Avoidance in Database Systems. Proc. VLDB Endow., 8, 3 (2014), Nov., 185–196. issn:2150-8097
[10]
Peter Bailis, Alan Fekete, Michael J Franklin, Ali Ghodsi, Joseph M Hellerstein, and Ion Stoica. 2015. Feral concurrency control: An empirical investigation of modern application integrity. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 1327–1342.
[11]
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, and Nuno Preguiça. [n.d.]. IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases. Proceedings of the VLDB Endowment, 12, 4 ([n. d.]).
[12]
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguica, Mahsa Najafzadeh, and Marc Shapiro. 2015. Putting Consistency Back into Eventual Consistency. In Proceedings of the Tenth European Conference on Computer Systems (EuroSys ’15). ACM, New York, NY, USA. Article 6, 16 pages. isbn:978-1-4503-3238-5
[13]
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguica, Mahsa Najafzadeh, and Marc Shapiro. 2015. Towards Fast Invariant Preservation in Geo-replicated Systems. SIGOPS Oper. Syst. Rev., 49, 1 (2015), Jan., 121–125. issn:0163-5980 https://doi.org/10.1145/2723872.2723889
[14]
Luiz Barroso, Mike Marty, David Patterson, and Parthasarathy Ranganathan. 2017. Attack of the killer microseconds. Commun. ACM, 60, 4 (2017), 48–54.
[15]
Sidi Mohamed Beillahi, Ahmed Bouajjani, and Constantin Enea. 2021. Checking Robustness Between Weak Transactional Consistency Models. Programming Languages and Systems, 12648 (2021), 87.
[16]
Giovanni Bernardi and Alexey Gotsman. 2016. Robustness against consistency models with atomic visibility. In LIPIcs-Leibniz International Proceedings in Informatics. 59.
[17]
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal. 2021. MonkeyDB: effectively testing correctness under weak isolation levels. Proceedings of the ACM on Programming Languages, 5, OOPSLA (2021), 1–27.
[18]
A. Bouajjani, C. Enea, and J. Hamza. 2014. Verifying Eventual Consistency of Optimistic Replication Systems. In Proc. POPL.
[19]
Eric Brewer. 2012. CAP twelve years later: How the" rules" have changed. Computer, 45, 2 (2012), 23–29.
[20]
Eric A Brewer. 2000. Towards robust distributed systems. In PODC. 7, 343477–343502.
[21]
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, and Martin Vechev. 2017. Serializability for eventual consistency: criterion, analysis, and applications. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. 458–472.
[22]
Sebastian Burckhardt, Alexandro Baldassin, and Daan Leijen. 2010. Concurrent programming with revisions and isolation types. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 691–707.
[23]
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P Wood. 2012. Cloud types for eventual consistency. In European Conference on Object-Oriented Programming. 283–307.
[24]
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. 2014. Replicated Data Types: Specification, Verification, Optimality. In Proc. POPL.
[25]
Mike Burrows. 2006. The Chubby Lock Service for Loosely-coupled Distributed Systems. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI ’06). USENIX Association, Berkeley, CA, USA. 335–350. isbn:1-931971-47-1
[26]
Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. 2015. A framework for transactional consistency models with atomic visibility. In LIPIcs-Leibniz International Proceedings in Informatics. 42.
[27]
Kevin Clancy and Heather Miller. 2017. Monotonicity Types for Distributed Dataflow. In Proceedings of the Programming Models and Languages for Distributed Computing. 2.
[28]
Brian F Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver, and Ramana Yerneni. 2008. PNUTS: Yahoo!’s hosted data serving platform. Proceedings of the VLDB Endowment, 1, 2 (2008), 1277–1288.
[29]
James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. 2013. Spanner: Google’s Globally Distributed Database. ACM Trans. Comput. Syst., 31, 3 (2013), Article 8, Aug., 22 pages. issn:0734-2071
[30]
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix. 2021. ECROs: building global scale systems from sequential code. Proceedings of the ACM on Programming Languages, 5, OOPSLA (2021), 1–30.
[31]
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. 2021. Petr4: formal foundations for p4 data planes. Proceedings of the ACM on Programming Languages, 5, POPL (2021), 1–32.
[32]
Aleksandar Dragojević, Dushyanth Narayanan, Miguel Castro, and Orion Hodson. 2014. FaRM: Fast remote memory. In 11th $USENIX$ Symposium on Networked Systems Design and Implementation ($NSDI$ 14). 401–414.
[33]
Michael Emmi and Constantin Enea. 2018. Monitoring Weak Consistency. In Proc. CAV.
[34]
Vasilis Gavrielatos, Antonios Katsarakis, and Vijay Nagarajan. 2021. Odyssey: The impact of modern hardware on strongly-consistent replication protocols. In Proceedings of the Sixteenth European Conference on Computer Systems. 245–260.
[35]
Vasilis Gavrielatos, Antonios Katsarakis, Vijay Nagarajan, Boris Grot, and Arpit Joshi. 2020. Kite: Efficient and available release consistency for the datacenter. In Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 1–16.
[36]
Victor BF Gomes, Martin Kleppmann, Dominic P Mulligan, and Alastair R Beresford. 2017. Verifying strong eventual consistency in distributed systems. Proceedings of the ACM on Programming Languages, 1, OOPSLA (2017), 1–28.
[37]
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro. 2016. ’Cause I’M Strong Enough: Reasoning About Consistency Choices in Distributed Systems. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’16). ACM, New York, NY, USA. 371–384. isbn:978-1-4503-3549-2 https://doi.org/10.1145/2837614.2837625
[38]
Brandon Holt, James Bornholt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze. 2016. Disciplined Inconsistency with Consistency Types. In Proceedings of the Seventh ACM Symposium on Cloud Computing (SoCC ’16). ACM, New York, NY, USA. 279–293. isbn:978-1-4503-4525-5
[39]
Farzin Houshmand and Mohsen Lesani. 2019. Hamsaz: Replication Coordination Analysis and Synthesis. In Proceedings of Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’19). ACM, New York, NY, USA.
[40]
Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free Coordination for Internet-scale Systems. In Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC’10). USENIX Association, Berkeley, CA, USA. 11–11.
[41]
Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink, and Kenneth P Birman. 2019. Derecho: Fast state machine replication for cloud services. ACM Transactions on Computer Systems (TOCS), 36, 2 (2019), 1–49.
[42]
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, and Ion Stoica. 2018. Netchain: Scale-free sub-rtt coordination. In 15th $USENIX$ Symposium on Networked Systems Design and Implementation ($NSDI$ 18). 35–49.
[43]
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan. 2018. Safe replication through bounded concurrency verification. Proceedings of the ACM on Programming Languages, 2, OOPSLA (2018), 1–27.
[44]
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan. 2019. Mergeable replicated data types. Proceedings of the ACM on Programming Languages, 3, OOPSLA (2019), 1–29.
[45]
Anuj Kalia, Michael Kaminsky, and David G Andersen. 2014. Using RDMA efficiently for key-value services. In Proceedings of the 2014 ACM Conference on SIGCOMM. 295–306.
[46]
Anuj Kalia, Michael Kaminsky, and David G Andersen. 2016. Design guidelines for high performance $RDMA$ systems. In 2016 $USENIX$ Annual Technical Conference ($USENIX$$ATC$ 16). 437–450.
[47]
Anuj Kalia, Michael Kaminsky, and David G Andersen. 2016. Fasst: Fast, scalable and simple distributed transactions with two-sided ($RDMA$) datagram rpcs. In 12th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 16). 185–201.
[48]
Antonios Katsarakis, Vasilis Gavrielatos, MR Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, and Vijay Nagarajan. 2020. Hermes: A fast, fault-tolerant and linearizable replication protocol. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 201–217.
[49]
Marios Kogias and Edouard Bugnion. 2020. HovercRaft: achieving scalability and fault-tolerance for microsecond-scale datacenter services. In Proceedings of the Fifteenth European Conference on Computer Systems. 1–17.
[50]
Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi. 2020. Rethinking safe consistency in distributed object-oriented programming. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1–30.
[51]
Avinash Lakshman and Prashant Malik. 2010. Cassandra: a decentralized structured storage system. ACM SIGOPS Operating Systems Review, 44, 2 (2010), 35–40.
[52]
Leslie Lamport. 1998. The Part-time Parliament. ACM Trans. Comput. Syst., 16, 2 (1998).
[53]
Leslie Lamport. 2004. Generalized Consensus and Paxos.
[54]
Nicholas V Lewchenko, Arjun Radhakrishna, Akash Gaonkar, and Pavol Černỳ. 2019. Sequential programming for replicated data stores. Proceedings of the ACM on Programming Languages, 3, ICFP (2019), 1–28.
[55]
Cheng Li, João Leitão, Allen Clement, Nuno Preguica, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC’14). USENIX Association, Berkeley, CA, USA. 281–292. isbn:978-1-931971-10-2
[56]
Cheng Li, João Leitão, Allen Clement, Nuno Preguica, and Rodrigo Rodrigues. 2015. Minimizing coordination in replicated systems. In Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data. 8.
[57]
Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguica, and Rodrigo Rodrigues. 2012. Making Geo-replicated Systems Fast As Possible, Consistent when Necessary. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI’12). USENIX Association, Berkeley, CA, USA. 265–278. isbn:978-1-931971-96-6 http://dl.acm.org/citation.cfm?id=2387880.2387906
[58]
Xiao Li, Farzin Houshmand, and Mohsen Lesani. 2020. Hampa: Solver-Aided Recency-Aware Replication. In International Conference on Computer Aided Verification. 324–349.
[59]
Hongjin Liang and Xinyu Feng. 2021. Abstraction for conflict-free replicated data types. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 636–650.
[60]
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou. 2020. Verifying replicated data types with typeclass refinements in Liquid Haskell. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1–30.
[61]
Christopher Meiklejohn and Peter Van Roy. 2015. Lasp: A language for distributed, coordination-free programming. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 184–195.
[62]
Matthew Milano and Andrew C Myers. 2018. MixT: A Language for Mixing Consistency in Geodistributed Transactions.
[63]
Christopher Mitchell, Yifeng Geng, and Jinyang Li. 2013. Using $One-Sided$$RDMA$ Reads to Build a Fast,$CPU-Efficient$$Key-Value$ Store. In 2013 USENIX Annual Technical Conference (USENIX ATC 13). 103–114.
[64]
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini. 2019. A fault-tolerant programming model for distributed interactive applications. Proceedings of the ACM on Programming Languages, 1–29.
[65]
Kartik Nagar and Suresh Jagannathan. 2019. Automated parameterized verification of crdts. In International Conference on Computer Aided Verification. 459–477.
[66]
Kartik Nagar, Prasita Mukherjee, and Suresh Jagannathan. 2020. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. In International Conference on Computer Aided Verification. 251–274.
[67]
Sreeja Nair, Gustavo Petri, and Marc Shapiro. 2020. Proving the safety of highly-available distributed objects. In ESOP 2020-29th European Symposium on Programming.
[68]
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, and Marc Shapiro. 2016. The CISE Tool: Proving Weakly-consistent Applications Correct. In Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC ’16). ACM, New York, NY, USA. Article 2, 3 pages. isbn:978-1-4503-4296-4
[69]
Brian M. Oki and Barbara H. Liskov. 1988. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing (PODC ’88). ACM, New York, NY, USA. 8–17. isbn:0-89791-277-2
[70]
Diego Ongaro and John Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC’14). USENIX Association, Berkeley, CA, USA. 305–320. isbn:978-1-931971-10-2
[71]
M Tamer Özsu and Patrick Valduriez. 2020. Principles of distributed database systems. 2, Springer.
[72]
Seo Jin Park and John Ousterhout. 2019. Exploiting commutativity for practical fast replication. In 16th $USENIX$ Symposium on Networked Systems Design and Implementation ($NSDI$ 19). 47–64.
[73]
Fernando Pedone and André Schiper. 2002. Handling message semantics with generic broadcast protocols. Distributed Computing, 15, 2 (2002), 97–107.
[74]
Marius Poke and Torsten Hoefler. 2015. Dare: High-performance state machine replication on rdma networks. In Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing. 107–118.
[75]
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan. 2019. CLOTHO: directed test generation for weakly consistent database systems. Proceedings of the ACM on Programming Languages, 3, OOPSLA (2019), 1–28.
[76]
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan. 2021. Repairing serializability bugs in distributed database programs via automated schema refactoring. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 32–47.
[77]
Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee. 2011. Replicated abstract data types: Building blocks for collaborative applications. J. Parallel and Distrib. Comput., 71, 3 (2011), 354–368.
[78]
Signe Rüsch, Ines Messadi, and Rüdiger Kapitza. 2018. Towards low-latency byzantine agreement protocols using RDMA. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 146–151.
[79]
Fred B Schneider. 1990. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys (CSUR), 22, 4 (1990), 299–319.
[80]
Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri. 2016. Consistency in 3D. Ph.D. Dissertation. Institut National de la Recherche en Informatique et Automatique (Inria).
[81]
Marc Shapiro, Nuno Preguica, Carlos Baquero, and Marek Zawirski. 2011. A comprehensive study of Convergent and Commutative Replicated Data Types. INRIA.
[82]
Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. 2011. Conflict-free replicated data types. In Symposium on Self-Stabilizing Systems. 386–400.
[83]
KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan. 2015. Declarative Programming over Eventually Consistent Data Stores. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’15). ACM, New York, NY, USA. 413–424. isbn:978-1-4503-3468-6
[84]
Werner Vogels. 2008. Eventually consistent. ACM Queue, 6, 6 (2008).
[85]
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri. 2019. Replication-aware linearizability. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 980–993.
[86]
Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, and Heming Cui. 2017. Apus: Fast and scalable paxos on rdma. In Proceedings of the 2017 Symposium on Cloud Computing. 94–107.
[87]
Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen. 2018. Deconstructing RDMA-enabled distributed transactions: Hybrid is better!. In 13th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 18). 233–251.
[88]
Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, and Haibo Chen. 2015. Fast in-memory transaction processing using RDMA and HTM. In Proceedings of the 25th Symposium on Operating Systems Principles. 87–104.
[89]
Matthew Weidner, Heather Miller, and Christopher Meiklejohn. 2020. Composing and decomposing op-based CRDTs with semidirect products. Proceedings of the ACM on Programming Languages, 4, ICFP (2020), 1–27.
[90]
Michael Whittaker and Joseph M Hellerstein. 2018. Interactive checks for coordination avoidance. Proceedings of the VLDB Endowment, 12, 1 (2018), 14–27.
[91]
Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. 2014. Formal specification and verification of crdts. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. 33–48.
Index Terms
- Hamband: RDMA replicated data types
Recommendations
Implementation Correctness for Replicated Data Types, Categorically
Theoretical Aspects of Computing – ICTAC 2020AbstractReplicated Data Types (rdts) have been introduced as an abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are usually presented in set-...
Categorical specification and implementation of Replicated Data Types
Highlights- An algebraic presentation for specifications of replicated data types.
- A ...
AbstractReplicated Data Types (rdts) have been introduced as an abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are usually ...
Replicated data types: specification, verification, optimality
POPL '14: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesGeographically distributed systems often rely on replicated eventually consistent data stores to achieve availability and performance. To resolve conflicting updates at different replicas, researchers and practitioners have proposed specialized ...
Comments
Information & Contributors
Information
Published In
June 2022
1038 pages
Copyright © 2022 Owner/Author.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 09 June 2022
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
PLDI '22
Sponsor:
PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
June 13 - 17, 2022
CA, San Diego, USA
Acceptance Rates
Overall Acceptance Rate 406 of 2,067 submissions, 20%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 828Total Downloads
- Downloads (Last 12 months)272
- Downloads (Last 6 weeks)36
Reflects downloads up to 26 Jan 2025
Other Metrics
Citations
Cited By
View all- Fan XYan SHuang YWeng C(2024)TEngine: A Native Distributed Table Storage Engine2024 IEEE 40th International Conference on Data Engineering (ICDE)10.1109/ICDE60146.2024.00290(3782-3795)Online publication date: 13-May-2024
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in