article

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services

Authors:

Seth Gilbert,

Nancy LynchAuthors Info & Claims

ACM SIGACT News, Volume 33, Issue 2

Pages 51 - 59

https://doi.org/10.1145/564585.564601

Published: 01 June 2002 Publication History

Get Access

Abstract

When designing distributed web services, there are three properties that are commonly desired: consistency, availability, and partition tolerance. It is impossible to achieve all three. In this note, we prove this conjecture in the asynchronous network model, and then discuss solutions to this dilemma in the partially synchronous model.

References

[1]

Hagit Attiya, Amotz Bar-Noy, Danny Dolev, Daphne Koller, David Peleg, and Rüdiger Reischuk. Achievable cases in an asynchronous environment. In 28th Annual Symposium on Foundations of Computer Science, pages 337-346, Los Angeles, California, October 1987.

Digital Library

Google Scholar

[2]

Eric A. Brewer. Towards robust distributed systems. (Invited Talk) Principles of Distributed Computing, Portland, Oregon, July 2000.

Digital Library

Google Scholar

[3]

Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, July 1990.

Digital Library

Google Scholar

[4]

Leslie Lamport. On interprocess communication --- parts I and II. Distributed Computing, 1(2):77-101, April 1986.

Crossref

Google Scholar

[5]

Nancy Lynch. Distributed Algorithms. Morgan Kaufman, 1996.

Digital Library

Google Scholar

Cited By

View all

Johansson BPourvatan BMoezkarimi ZPapadopoulos ASirjani M(2024)Formal Verification of Consistency for Systems with Redundant ControllersElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.8399(169-191)Online publication date: 27-Mar-2024
https://doi.org/10.4204/EPTCS.399.8
Camilleri CVella JNezval V(2024)Horizontally Scalable Implementation of a Distributed DBMS Delivering Causal Consistency via the Actor ModelElectronics10.3390/electronics1317336713:17(3367)Online publication date: 24-Aug-2024
https://doi.org/10.3390/electronics13173367
Ni ZYou JLi Y(2024)An ICN-Based On-Path Computing Resource Scheduling Architecture with User Preference Awareness for Computing NetworkElectronics10.3390/electronics1305093313:5(933)Online publication date: 29-Feb-2024
https://doi.org/10.3390/electronics13050933
Show More Cited By

Index Terms

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles

Index terms have been assigned to the content through auto-classification.

Recommendations

AUTOMATIC REPLICATION FOR HIGHLY AVAILABLE SERVICES
Using Paxos to build a scalable, consistent, and highly available datastore

Spinnaker is an experimental datastore that is designed to run on a large cluster of commodity servers in a single datacenter. It features key-based range partitioning, 3-way replication, and a transactional get-put API with the option to choose either ...
Local Recovery for High Availability in Strongly Consistent Cloud Services

Emerging cloud-based network services must deliver both good performance and high availability. Achieving both of these goals requires content replication across multiple sites. Many cloud-based services either require or would benefit from the ...

Comments

Information & Contributors

Information

Published In

ACM SIGACT News Volume 33, Issue 2

June 2002

79 pages

ISSN:0163-5700

DOI:10.1145/564585

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2002

Published in SIGACT Volume 33, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1,037
Total Citations
View Citations
11,521
Total Downloads

Downloads (Last 12 months)514
Downloads (Last 6 weeks)39

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Johansson BPourvatan BMoezkarimi ZPapadopoulos ASirjani M(2024)Formal Verification of Consistency for Systems with Redundant ControllersElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.8399(169-191)Online publication date: 27-Mar-2024
https://doi.org/10.4204/EPTCS.399.8
Camilleri CVella JNezval V(2024)Horizontally Scalable Implementation of a Distributed DBMS Delivering Causal Consistency via the Actor ModelElectronics10.3390/electronics1317336713:17(3367)Online publication date: 24-Aug-2024
https://doi.org/10.3390/electronics13173367
Ni ZYou JLi Y(2024)An ICN-Based On-Path Computing Resource Scheduling Architecture with User Preference Awareness for Computing NetworkElectronics10.3390/electronics1305093313:5(933)Online publication date: 29-Feb-2024
https://doi.org/10.3390/electronics13050933
Li TWan ZWu B(2024)Blockchains: Fusing Platform Functionalities Under the CAP TradeoffSSRN Electronic Journal10.2139/ssrn.4748826Online publication date: 2024
https://doi.org/10.2139/ssrn.4748826
D'Amato FLosa GZanolini LKuznetsov PGelles ROlivetti D(2024)Asynchrony-Resilient Sleepy Total-Order Broadcast ProtocolsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662779(247-256)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3662158.3662779
Geng CBlanas SBond MWang Y(2024)IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store ApplicationsProceedings of the ACM on Programming Languages10.1145/36563918:PLDI(343-367)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656391
Liu SMultazzu LWei HBasin D(2024)NOC-NOC: Towards Performance-optimal Distributed TransactionsProceedings of the ACM on Management of Data10.1145/36392642:1(1-25)Online publication date: 26-Mar-2024
https://dl.acm.org/doi/10.1145/3639264
Wang HLi HSmahi AXiao MLi S(2024)GBT-CHAIN: A System Framework for Solving the General Trilemma in Permissioned BlockchainsDistributed Ledger Technologies: Research and Practice10.1145/36158713:2(1-15)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3615871
Abellán Álvarez IGramlich VSedlmeir JHong JPark J(2024)Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stakeProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3635970(278-287)Online publication date: 8-Apr-2024
https://dl.acm.org/doi/10.1145/3605098.3635970
Wang HLi HSmahi AZhao FYao YChan CWang SYang WLi S(2024)MIS: A Multi-Identifier Management and Resolution System in the MetaverseACM Transactions on Multimedia Computing, Communications, and Applications10.1145/359764120:7(1-25)Online publication date: 27-Mar-2024
https://dl.acm.org/doi/10.1145/3597641
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

AUTOMATIC REPLICATION FOR HIGHLY AVAILABLE SERVICES

Using Paxos to build a scalable, consistent, and highly available datastore

Local Recovery for High Availability in Strongly Consistent Cloud Services

Comments

Published In

Publisher

Publication History

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

AUTOMATIC REPLICATION FOR HIGHLY AVAILABLE SERVICES

Using Paxos to build a scalable, consistent, and highly available datastore

Local Recovery for High Availability in Strongly Consistent Cloud Services

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations