论文信息 - Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL

Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL

Middleware data replication techniques are a way to increase performance and fault tolerance without modifying the internals of a DBMS. However, they introduce overheads that may lead to poor response times. In this paper a modification of the O2PL protocol is introduced. It orders conflicting transactions by using their priority, instead of the total order obtained by an atomic multicast. Priorities are also used to avoid deadlocks. For improving its performance, it does not use the strict 2PC rule as O2PL does. We provide a formal correctness proof of its 1-Copy Serializability (1CS). This protocol has been implemented, and a comparison with other already implemented protocols is also given.

Francesc D. Muñoz-Escoí | José Ramón González de Mendívil | José Ramón Garitagoitia | José Enrique Armendáriz-Iñigo | José Ramón Juárez-Rodríguez

[1] Miron Livny,et al. Conflict detection tradeoffs for replicated data , 1991, TODS.

[2] Idit Keidar,et al. Group communication specifications: a comprehensive study , 2001, CSUR.

[3] Luís E. T. Rodrigues,et al. The GlobData Fault-Tolerant Replicated Distributed Object Database , 2002, EurAsia-ICT.

[4] A. Udaya Shankar,et al. An introduction to assertional reasoning for concurrent systems , 1993, CSUR.

[5] José Enrique Armendáriz Iñigo,et al. Design and implementation of database replication protocols in the madis architecture , 2006 .

[6] Francisco Castro-Company,et al. MADIS: A Slim Middleware for Database Replication , 2005, Euro-Par.

[7] Gustavo Alonso,et al. Using Optimistic Atomic Broadcast in Transaction Processing Systems , 2003, IEEE Trans. Knowl. Data Eng..

[8] Gustavo Alonso,et al. Improving the scalability of fault-tolerant database clusters , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.