Consistency tradeoffs on distributed multi- datacentric systems SCOLCH theorems

Distributed systems in the cloud computing context spread data across geographically remote datacenters to ensure always availability, scalability, and a best reactivity. Choosing latter properties in these systems leads to consistency issues (version conflicts, obsolete data, etc.); besides, most analytical solutions suggested for these issues are incomplete. SCOLCH proposes tradeoffs to achieve the required properties for service level agreement in cloud computing.

[1]  Newer Sql.  Errors in Database Systems , Eventual Consistency , and the CAP Theorem , 2022 .

[2]  Werner Vogels,et al.  Eventually consistent , 2008, CACM.

[3]  Eric A. Brewer,et al.  Towards robust distributed systems (abstract) , 2000, PODC '00.

[4]  Tim Kraska,et al.  MDCC: multi-data center consistency , 2012, EuroSys '13.

[5]  Michael J. Freedman,et al.  Don't settle for eventual: scalable causal consistency for wide-area storage with COPS , 2011, SOSP.

[6]  Daniel J. Abadi,et al.  Cap Is for Failures Consistency Tradeoffs in Modern Distributed Database System Design , 2012 .

[7]  Raghu Ramakrishnan,et al.  CAP and Cloud Data Management , 2012, Computer.

[8]  Michael J. Freedman,et al.  Stronger Semantics for Low-Latency Geo-Replicated Storage , 2013, NSDI.

[9]  Lorenzo Alvisi,et al.  Consistency , Availability , and Convergence , 2011 .

[10]  Ali Ghodsi,et al.  Eventual Consistency Today: Limitations, Extensions, and Beyond , 2013 .

[11]  Jerzy Brzezinski,et al.  From session causality to causal consistency , 2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings..

[12]  Nancy A. Lynch,et al.  Perspectives on the CAP Theorem , 2012, Computer.

[13]  Hans-Arno Jacobsen,et al.  PNUTS: Yahoo!'s hosted data serving platform , 2008, Proc. VLDB Endow..

[14]  Philip A. Bernstein,et al.  Rethinking eventual consistency , 2013, SIGMOD '13.

[15]  Prashant Malik,et al.  Cassandra: a decentralized structured storage system , 2010, OPSR.

[16]  Wilson C. Hsieh,et al.  Bigtable: A Distributed Storage System for Structured Data , 2006, TOCS.

[17]  Ion Stoica,et al.  Quantifying eventual consistency with PBS , 2014, CACM.

[18]  Bowen Alpern,et al.  Recognizing safety and liveness , 2005, Distributed Computing.

[19]  Werner Vogels,et al.  Dynamo: amazon's highly available key-value store , 2007, SOSP.

[20]  Ali Ghodsi,et al.  Bolt-on causal consistency , 2013, SIGMOD '13.

[21]  Marc Shapiro,et al.  Convergent and Commutative Replicated Data Types , 2011, Bull. EATCS.

[22]  Kenneth P. Birman,et al.  Overcoming CAP with Consistent Soft-State Replication , 2012, Computer.

[23]  Eric A. Brewer,et al.  Pushing the CAP: Strategies for Consistency and Availability , 2012, Computer.

[24]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[25]  Ali Ghodsi,et al.  Highly Available Transactions: Virtues and Limitations , 2013, Proc. VLDB Endow..

[26]  E. Brewer,et al.  CAP twelve years later: How the "rules" have changed , 2012, Computer.

[27]  Joseph M. Hellerstein,et al.  Consistency Analysis in Bloom: a CALM and Collected Approach , 2011, CIDR.