Accession Number : ADA590443


Title :   Stronger Consistency and Semantics for Low-Latency Geo-Replicated Storage


Descriptive Note : Doctoral thesis


Corporate Author : PRINCETON UNIV NJ


Personal Author(s) : Lloyd, Wyatt A


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a590443.pdf


Report Date : Jun 2013


Pagination or Media Count : 112


Abstract : Geo-replicated, distributed data stores that support complex online applications, such as social networks, strive to provide an always-on experience where operations always successfully complete with low latency. Today's systems sacrifice strong consistency and expressive semantics to achieve these goals, exposing inconsistencies to their clients and necessitating complex application logic. In this work, we identify and define a consistency model--causal consistency with convergent conflict handling, or causal--that is the strongest achieved under these constraints. We explore the ramifications of and implementation techniques for causal1 consistency through the design and implementation of two storage systems, COPS and Eiger. COPS is a key-value store that provides causal+ consistency. A key contribution of COPS is its scalability, which can enforce causal dependencies between keys stored across an entire cluster, rather than a single server like previous systems. Eiger is a system that provides causal+ consistency for the rich column-family data model. The central approach in COPS and Eiger is tracking and explicitly checking that causal dependencies between keys are satisfied in the local cluster before exposing writes. Our work also provides stronger semantics, in the form of read- and write-only transactions that allow programmers to consistently interact with data spread across many servers. COPS includes the first scalable read-only transactions that can optimistically complete in one round of local reads and take at most two non-blocking rounds of local reads. Eiger includes read-only transactions with the same properties that are more general?they are applicable to non-causal systems?and more fault-tolerant. Eiger also includes scalable write-only transactions that take three rounds of local non-blocking communication and do not block concurrent read-only transactions. We implemented COPS and Eiger and demonstrate their performance experimentally. The later


Descriptors :   *ONLINE SYSTEMS , *SEMANTICS , *STORAGE , CLUSTERING , CONFLICT , CONSISTENCY , CONVERGENCE , DATA MANAGEMENT , DISTRIBUTED DATA PROCESSING , DISTRIBUTION , LOGIC , MODELS , PARALLEL PROCESSING , PROGRAMMERS , READ ONLY MEMORIES , THESES , TOLERANCE , TRACKING


Subject Categories : Computer Hardware


Distribution Statement : APPROVED FOR PUBLIC RELEASE