Correctness Criteria for Database Replication: Theoretical and Practical Aspects

Zuikevičiūtė, Vaidė; Pedone, Fernando

doi:10.1007/978-3-540-88871-0_45

Cited by 6 publications

(14 citation statements)

References 19 publications

(28 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This native level of server-centric consistency is based in a total order processing of writesets: while read-only transactions are executed and committed in their delegate replica, writesets are broadcast in total order 11 [139]. In this system, a total order is established among transactions before their start.…”

Section: Definition 340 Natively Atomic Replica Consistency (#A Repmentioning

confidence: 99%

“…The BaseCON for 1SR [139] is an example of system that follows the 1SR ′ /#S synchronization model. These systems achieve natively sequential consistency by relying in a total order broadcast of update transactions, which establishes the order replicas follow to apply such updates.…”

Section: Theorem 356 1sr+/*s Ensures 1sr+mentioning

confidence: 99%

“…From the point of view of the servers, 1ASR may be achieved with #A, *A, #S or *S replica consistency levels, as explained in Chapter 3. Strong serializability [17,35,139] is another name used in the literature to refer to this correctness criterion.…”

Section: Correctness Criteria For Replicated Databasesmentioning

confidence: 99%

“…BaseCON for strong 1SR [139] Cq4-t a Ts0 Ts2 A similar protocol is Wound-Wait (WW), which was proposed by Rosenkrantz et al [111]. The only difference with regard to distributed 2PL is the way in which deadlocks are handled.…”

Section: Alsberg and Daymentioning

confidence: 99%

“…Zuikevičiūtė and Pedone [139] characterized different correctness criteria for replicated databases and presented three variants of BaseCON, one for each of the discussed correctness criteria. With BaseCON for 1SR transactions are serialized but the causal order may not be preserved (this corresponds to our correctness criterion of 1SR ′ ).…”

Section: One-at-a-time and Many-at-a-timementioning

confidence: 99%

See 4 more Smart Citations

On the Consistency, Characterization, Adaptability and Integrity of Database Replication Systems

Fuertes¹,

Idoia²

View full text Add to dashboard Cite

Since the appearance of the first distributed databases until the current modern replication systems, the research community has proposed multiple protocols to manage data distribution and replication, along with concurrency control algorithms to handle transactions running at every system node. Many protocols are thus available, each one with different features and performance, and guaranteeing different consistency levels. To know which replication protocol is the most appropriate, two aspects must be considered: the required level of consistency and isolation (i.e., the correctness criterion), and the properties of the system (i.e., the scenario), which will determine the achievable performance.Regarding correctness criteria, one-copy serializability is broadly accepted as the highest level of correctness. However, its definition allows different interpretations regarding replica consistency. In this thesis, we establish a correspondence between memory consistency models, as defined in the scope of distributed shared memory, and possible levels of replica consistency, thus defining new correctness criteria that correspond to the identified interpretations of one-copy serializability.Once selected the correctness criterion, the achievable performance of a system heavily depends on the scenario, i.e., the sum of both the system environment and the applications running on it. In order for the administrator to select a proper replication protocol, the available protocols must be fully and deeply known. A good description of each candidate is fundamental, but a common ground is mandatory to compare the different options and to estimate their performance in the given scenario. This thesis proposes a precise characterization model that allows us to decompose algorithms into individual interactions between significant system elements, as well as to define some underlying properties, and to associate v each interaction with a specific policy that governs it. We later use this model as basis for a historical study of the evolution of database replication techniques, thus providing an exhaustive survey of the principal existing systems.Although a specific replication protocol may be the best option for certain scenario, as systems are dynamic and heterogeneous, it is difficult for a single protocol to continuously be the proper choice, as it may degrade or be unable to meet all requirements. In this thesis we propose a metaprotocol that supports several replication protocols which follow different replication techniques and may provide different isolation levels. With this metaprotocol, replication protocols can either work concurrently with the same data or be sequenced for adapting to dynamic environments.Finally we consider integrity constraints, which are extensively used in databases to define semantic properties of data but are often forgotten in replicated databases. We analyze the potential problems this may involve and provide simple guidelines to extend a protocol so that it notices and properly manage...

show abstract

Section: Definition 340 Natively Atomic Replica Consistency (#A Repmentioning

confidence: 99%

Section: Theorem 356 1sr+/*s Ensures 1sr+mentioning

confidence: 99%

Section: Correctness Criteria For Replicated Databasesmentioning

confidence: 99%

Section: Alsberg and Daymentioning

confidence: 99%

Section: One-at-a-time and Many-at-a-timementioning

confidence: 99%

See 3 more Smart Citations

On the Consistency, Characterization, Adaptability and Integrity of Database Replication Systems

Fuertes¹,

Idoia²

View full text Add to dashboard Cite

show abstract

Correctness Criteria for Database Replication: Theoretical and Practical Aspects

Zuikevičiūtė

Pedone

2008

On the Move to Meaningful Internet Systems: OTM 2008

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we investigate correctness criteria for replicated databases from the client's perspective and present their uniform characterization. We further study the effects of different consistency degrees in the context of three middleware-based replication protocols: primarybackup, optimistic update-everywhere and BaseCON, a simple yet faulttolerant middleware-based replication protocol that takes advantage of workload characterization techniques to increase the parallelism in the system. We present three variants of BaseCON, one for each correctness criterion discussed, and analyze its behavior in case of failures and false suspicions. We have implemented the correctness properties in all three protocols considered and show experimentally that stronger consistency does not necessarily imply worse performance. On the contrary, two of the three replication protocols evaluated show no significant performance divergence under the chosen benchmark while ensuring different consistency criterion.

show abstract

Comparison of eager and quorum-based replication in a cloud environment

Stiemer

Fetai

Schuldt

2015

2015 IEEE International Conference on Big Data (Big Data)

View full text Add to dashboard Cite

Most applications deployed in a Cloud require a high degree of availability. For the data layer, this means that data have to be replicated either within a data center or across Cloud data centers. While replication also allows to increase the performance of applications if data is read as the load can be distributed across replica sites, updates need special coordination among the sites and may have an adverse effect on the overall performance. The actual effects of data replication depend on the replication protocol used. While ROWAA (readone-write-all-available) prefers read operations, quorum-based replication protocols tend to prefer write operations as not all replica sites need to be updated synchronously. In this paper, we provide a detailed evaluation of ROWAA and quorum-based replication protocols in an amazon AWS Cloud environment on the basis of the TPC-C benchmark and different transaction mixes. The evaluation results for single data center and multi data center environments show that in general the influence of transaction coordination significantly grows with the number of update sites and a growing number of update transactions. However, not all quorum-based protocols are well suited for high update loads as they may create a hot spot that again significantly impacts performance.

show abstract

Correctness Criteria for Database Replication: Theoretical and Practical Aspects

Cited by 6 publications

References 19 publications

On the Consistency, Characterization, Adaptability and Integrity of Database Replication Systems

On the Consistency, Characterization, Adaptability and Integrity of Database Replication Systems

Correctness Criteria for Database Replication: Theoretical and Practical Aspects

Comparison of eager and quorum-based replication in a cloud environment

Contact Info

Product

Resources

About