Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards robust distributed systems (abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Distributed Algorithms
Public-key support for group collaboration
ACM Transactions on Information and System Security (TISSEC)
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Proceedings of the 26th International Conference on Software Engineering
Highly available, fault-tolerant, parallel dataflows
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Load management and high availability in the Medusa distributed stream processing system
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
A model for characterizing the scalability of distributed systems
ACM SIGOPS Operating Systems Review
Efficient in-memory extensible inverted file
Information Systems
Middleware/application interactions to support adaptive dependability
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Globetp: template-based database replication for scalable web applications
Proceedings of the 16th international conference on World Wide Web
Cooperative secondary authorization recycling
Proceedings of the 16th international symposium on High performance distributed computing
Querying the internet with PIER
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Gossiping over storage systems is practical
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Fault-tolerance in the borealis distributed stream processing system
ACM Transactions on Database Systems (TODS)
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Key-based consistency and availability in structured overlay networks
HPDC '08 Proceedings of the 17th international symposium on High performance distributed computing
NetComplex: a complexity metric for networked system designs
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
D3S: debugging deployed distributed systems
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Shared focus of attention for heterogeneous agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
EuroPKI '08 Proceedings of the 5th European PKI workshop on Public Key Infrastructure: Theory and Practice
Communications of the ACM - Rural engineering development
Beacon certificate push revocation
Proceedings of the 2nd ACM workshop on Computer security architectures
Key-based consistency and availability in structured overlay networks
Proceedings of the 3rd international conference on Scalable information systems
Queue - Scalable Web Services
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Rethinking cost and performance of database systems
ACM SIGMOD Record
Flexible, wide-area storage for distributed systems with WheelFS
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
PADS: a policy architecture for distributed storage systems
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
How is the weather tomorrow?: towards a benchmark for the cloud
Proceedings of the Second International Workshop on Testing Database Systems
Scalable Transactions for Web Applications in the Cloud
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Declarative scheduling in highly scalable systems
Proceedings of the 2010 EDBT/ICDT Workshops
Caching and Materialization for Web Databases
Foundations and Trends in Databases
Revisiting the impossibility for boosting service resilience
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Cloudifying source code repositories: how much does it cost?
ACM SIGOPS Operating Systems Review
Consistency without concurrency control in large, dynamic systems
ACM SIGOPS Operating Systems Review
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Benchmarking cloud serving systems with YCSB
Proceedings of the 1st ACM symposium on Cloud computing
Bottom-up design patterns and the energy web
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Consistability: describing usually consistent systems
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Network imprecision: a new consistency metric for scalable monitoring
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Weak consistency as a last resort
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware
CloudCmp: comparing public cloud providers
IMC '10 Proceedings of the 10th ACM SIGCOMM conference on Internet measurement
Towards elastic transactional cloud storage with range query support
Proceedings of the VLDB Endowment
What consistency does your key-value store actually provide?
HotDep'10 Proceedings of the Sixth international conference on Hot topics in system dependability
Depot: cloud storage with minimal trust
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Scalable transactions in the cloud: partitioning revisited
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Lightweight live migration for high availability cluster service
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A scalable architecture for real-time online data access
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Scalable SQL and NoSQL data stores
ACM SIGMOD Record
Aspects of data-intensive cloud computing
From active data management to event-based systems and more
Databases and Social Networks
Communications of the ACM
A survey of structured P2P systems for RDF data storage and retrieval
Transactions on large-scale data- and knowledge-centered systems III
Towards reliable intelligent transportation systems for e-government
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
YCSB++: benchmarking and performance debugging advanced features in scalable table stores
Proceedings of the 2nd ACM Symposium on Cloud Computing
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Conflict-free replicated data types
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Depot: Cloud Storage with Minimal Trust
ACM Transactions on Computer Systems (TOCS)
A call to arms: revisiting database design
ACM SIGMOD Record
NoSQL databases: a step to database scalability in web environment
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Countering identity theft through digital uniqueness, location cross-checking, and funneling
FC'05 Proceedings of the 9th international conference on Financial Cryptography and Data Security
Replicating for performance: case studies
Replication
Facing peak loads in a P2P transaction system
Proceedings of the First Workshop on P2P and Dependability
Probabilistically bounded staleness for practical partial quorums
Proceedings of the VLDB Endowment
Calvin: fast distributed transactions for partitioned database systems
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Replication infrastructure for RESTful web services
ADCONS'11 Proceedings of the 2011 international conference on Advanced Computing, Networking and Security
Eventually consistent transactions
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Optimistic Scheduling with Geographically Replicated Services in the Cloud Environment (COLOR)
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Annotating problem diagrams with architectural tactics for reasoning on quality requirements
Information Processing Letters
HyperDex: a distributed, searchable key-value store
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication
Poor man's social network: consistently trade freshness for scalability
WebApps'12 Proceedings of the 3rd USENIX conference on Web Application Development
Combining optimistic and pessimistic replication
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
On time constraints of reliable broadcast protocols for ad hoc networks with the liveness property
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
ADHOC-NOW'12 Proceedings of the 11th international conference on Ad-hoc, Mobile, and Wireless Networks
Failover and takeover contingency mechanisms for network partition and node failure
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Cloud types for eventual consistency
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Declarative distributed advertisement system for iDTV: an industrial experience
Proceedings of the 14th symposium on Principles and practice of declarative programming
HyperDex: a distributed, searchable key-value store
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
Toward a principled framework for benchmarking consistency
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
Mitigating High Latency Outliers for Cloud-Based Telecommunication Services
Bell Labs Technical Journal
The Inherent Difficulty of Timely Primary-Backup Replication
Bell Labs Technical Journal
High throughput computing over peer-to-peer networks
Future Generation Computer Systems
How consistent is your cloud application?
Proceedings of the Third ACM Symposium on Cloud Computing
The potential dangers of causal consistency and an explicit solution
Proceedings of the Third ACM Symposium on Cloud Computing
Pyxis: an active replication approach for enhancing social media services
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Eventual consistency today: limitations, extensions, and beyond
Communications of the ACM
Eventual Consistency Today: Limitations, Extensions, and Beyond
Queue - Storage
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Rethinking eventual consistency
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
HAT, not CAP: towards highly available transactions
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Communications of the ACM
Archiving the relaxed consistency web
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
LibRe: a consistency protocol for modern storage systems
Proceedings of the 6th ACM India Computing Convention
Peer-to-peer architectures for massively multiplayer online games: A Survey
ACM Computing Surveys (CSUR)
Orbe: scalable causal consistency using dependency matrices and physical clocks
Proceedings of the 4th annual Symposium on Cloud Computing
Proceedings of the 4th annual Symposium on Cloud Computing
Understanding and mitigating the impact of load imbalance in the memory caching tier
Proceedings of the 4th annual Symposium on Cloud Computing
Replicated data types: specification, verification, optimality
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Verifying eventual consistency of optimistic replication systems
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Integrating big data into the computing curricula
Proceedings of the 45th ACM technical symposium on Computer science education
Model of distributed computing system operation with time
Programming and Computing Software
Web data stores aka NoSQL databases: a data model and data management perspective
International Journal of Web and Grid Services
Improving the Scalability of Geo-replication with Reservations
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Hi-index | 0.05 |
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.