Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a theory of replicated processing
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
X-Ability: a theory of replication
Distributed Computing
e-Transactions: End-to-End Reliability for Three-Tier Architectures
IEEE Transactions on Software Engineering
Reconciling Replication and Transactions for the End-to-End Reliability of CORBA Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Fault Tolerance Framework for CORBA
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
Unification of Replication and Transaction Processing in Three-Tier Architectures
ICDCS '02 Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02)
Designing Distributed Services Using Refinement Mappings
Designing Distributed Services Using Refinement Mappings
Recovery Guarantees for General Multi-Tier Applications
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
ITRA: Inter-Tier Relationship Architecture for End-to-end QoS
The Journal of Supercomputing
Postgres-R(SI): Combining Replica Control with Concurrency Control Based on Snapshot Isolation
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Middleware based data replication providing snapshot isolation
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
C-JDBC: flexible database clustering middleware
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
A constraint-based formalism for consistency in replicated systems
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Elastic SI-Cache: consistent and scalable caching in multi-tier architectures
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |
Reasoning about the correctness of a replication algorithm is a difficult endeavor. If correctness has to be shown for a component based architecture where a client request can lead to execution across different components or tiers, this is even more difficult. Existing formalisms are either restricted to systems with only one component, or make strong assumptions about the setup of the system. In this paper, we present a flexible framework to reason about exactly-once execution in a failure-prone replicated component based system. Our approach allows us to reason about the execution across the entire system, e.g., application server and database tier. If a given replication algorithm makes assumptions about some of the components, then those can be easily integrated into the reasoning process.