Get the latest tech news

Did we miss P In CAP? Partial Progress Conjecture under Asynchrony


Each application developer desires to provide its users with consistent results and an always-available system despite failures. Boldly, the CALM theorem disagrees. It states that it is hard to design a system that is both consistent and available under network partitions; select at most two out of these three properties. One possible solution is to design coordination-free monotonic applications. However, a majority of real-world applications require coordination. We resolve this dilemma by conjecturing that partial progress is possible under network partitions. This partial progress ensures the system appears responsive to a subset of clients and achieves non-zero throughput during failures. To this extent, we present the design of our CASSANDRA consensus protocol that allows partitioned replicas to order client requests.

View PDFHTML (experimental) Abstract:Each application developer desires to provide its users with consistent results and an always-available system despite failures. This partial progress ensures the system appears responsive to a subset of clients and achieves non-zero throughput during failures. To this extent, we present the design of our CASSANDRA consensus protocol that allows partitioned replicas to order client requests.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of cap

cap

Related news:

News photo

The CAP theorem of Clustering: Why Every Algorithm Must Sacrifice Something

News photo

FCC probes whether it can pop a cap in ISP data caps

News photo

An illustrated proof of the CAP theorem (2018)