Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
The existence of refinement mappings
Theoretical Computer Science
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Read-only transactions in a distributed database
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
Database Replication Using Generalized Snapshot Isolation
SRDS '05 Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems
Lazy database replication with snapshot isolation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Implementing Distributed Read-Only Transactions
IEEE Transactions on Software Engineering
On the correctness of transactional memory
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation
PRDC '07 Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing
SIPRe: a partial database replication protocol with SI replicas
Proceedings of the 2008 ACM symposium on Applied computing
Permissiveness in Transactional Memories
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Inherent limitations on disjoint-access parallel implementations of transactional memory
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
P-Store: Genuine Partial Replication in Wide Area Networks
SRDS '10 Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed Systems
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Scalable deferred update replication
DSN '12 Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
ICDCS '12 Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems
| Hi-index | 0.00 |
Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help with scalability of a transactional system: genuine partial replication (GPR), which leverages the intrinsic parallelism of a workload, and snapshot isolation (SI), which decreases the need for synchronization. We show that under standard assumptions (data store accesses are not known in advance, and transactions may access arbitrary objects in the data store), it is impossible to have both SI and GPR. Our impossibility result is based on a novel decomposition of SI which proves that, like serializability, SI is expressible on plain histories.