Relaxing Correctness Criteria in Database Replication With SI Replicas
نویسندگان
چکیده
The concept of Generalized Snapshot Isolation (GSI) has been recently proposed as a suitable extension of conventional Snapshot Isolation (SI) for replicated databases. In GSI, transactions may use older snapshots instead of the latest snapshot required in SI, being able to provide better performance without significantly increasing the abortion rate when write/write conflicts among transactions are low. We study and formally proof a sufficient condition that replication protocols with SI replicas following the deferred update technique must obey to achieve GSI. They must provide global atomicity and commit update transactions in the very same order at all sites. However, as this is a sufficient condition, it is possible to obtain GSI by relaxing certain assumptions about the commit ordering of certain update transactions.
منابع مشابه
A formal characterization of SI-based ROWA replication protocols
Snapshot Isolation (SI) is commonly used in some commercial DBMSs with a multiversion concurrency control mechanism since it never blocks read-only transactions. Recent database replication protocols have been designed using SI replicas where transactions are firstly executed in a delegate replica and their updates (if any) are propagated to the rest of replicas at commit time; i.e. they follow...
متن کاملCertification-Based Database Replication Protocols under the Perspective of the I/O Automaton Model
Traditionally, correctness of database replication protocols has been justified in a rather informal way focusing only in safety properties and without using any rigorous formalism. Since a database replication protocol must ensure some degree of replica consistency and that transactions follow a given isolation level, previous proofs only focused in these two issues. This paper proposes a form...
متن کاملThe “Virtual-Primary-Copy Approach” Compared To Other Approaches With Weak Consistent Data Replication
Replication is used in distributed systems in order to increase availability and performance. Unfortunately, consistency requirements usually reduce the potential benefits of data replication since updates have to be propagated synchronously to all copies of a replicated data item. Traditionally, consistency requirements in distributed databases are very strong, which is a result of distributio...
متن کاملRevising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation
Multiple database replication protocols have used replicas supporting the snapshot isolation level. They have provided some kind of one-copy equivalence, but such concept was initially conceived for serializable databases. In the snapshot isolation case, due to its reliance on multi-versioned concurrency control that never blocks read accesses, such one-copy equivalence admits two different var...
متن کاملA Middleware Database Replication Protocol Providing Different Isolation Levels
Database replication protocols have been usually designed in order to support a single isolation level. This paper proposes a middleware protocol able to manage three different isolation levels over multi-version DBMSs: GSI, SI, and serializable. This ensures a better support for applications that demand different isolation levels for their transactions. Additionally, this protocol is also able...
متن کامل