Abstract
In replicated transactional systems, lazy update protocols have exhibited an undesirable behaviour, due to an increased abortion rate in scenarios with high degrees of access conflicts. In this paper, the abortion rate problem is studied from a statistical point of view. The resulting expressions describe the abortion problem, and were used to design a hybrid update database replication protocol, with performance similar to traditional lazy update protocols but with lower abortion rates. The protocol’s algorithm has been validated analytically. Once implemented, performance measurements have confirmed the predicted results.
This work has been partially supported by the Spanish MCYT grant TIC2003-09420-C02-01.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rahm, E.: Empirical performance evaluation of concurrency and coherency control protocols for database sharing systems. ACM Trans. on Database Sys. 18, 333–377 (1993)
Gray, J., Helland, P., O’Neil, P., Shasha, D.: The dangers of replication and a solution. In: Proc. of the 1996 ACM SIGMOD International Conference on Management of Data, Canada, pp. 173–182 (1996)
Instituto Tecnológico de Informática: MADIS web site (2004), Accessible in http://www.iti.es/madis
Muñoz, F., Irún, L., Galdámez, P., Bernabéu, J., Bataller, J., Bañuls, M.C.: Globdata: A platform for supporting multiple consistency modes. In: Information Systems and Databases (ISDB 2002), pp. 244–249 (2002)
Irún, L., Muñoz, F., Decker, H., Bernabéu-Aubán, J.M.: Copla: A platform for eager and lazy replication in networked databases. In: 5th Int. Conf. Enterprise Information Systems (ICEIS 2003), vol. 1, pp. 273–278 (2003)
Irún-Briz, L., Muñoz-Escoí, F.D., Bernabéu-Aubán, J.M.: An improved optimistic and fault-tolerant replication protocol. In: Proceedings of 3rd. Workshop on Databases in Networked Information Systems. LNCS, pp. 188–200. Springer, Heidelberg (2003)
Irún-Briz, L., Muñnoz-Escoí, F.D., Bernabéu-Aubán, J.M.: Using standard database resources to support distributed consistency protocols. Technical Report TR-2004-LI04, Instituto Tecnológico de Informática (2004)
Chandy, K.M., Misra, J.: Distributed simulation: A case study in design and verification of distributed programs. IEEE Transactions on Software Engineering SE-5, 440–452 (1979)
Bagrodia, R.L., Chandy, K.M., Misra, J.: A message-based approach to discreteevent simulation. IEEE Transactions on Software Engineering SE-13 (1987)
Bagrodia, R.L.: An integrated approach to the design and performance evaluation of distributed systems. In: Proceedings of the First International Conference on Systems Integration, IEEE Computer Society, Los Alamitos (1990)
Agrawal, D., Alonso, G., El Abbadi, A., Stanoi, I.: Exploiting atomic broadcast in replicated databases. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol. 1300, pp. 496–503. Springer, Heidelberg (1997)
Wiesmann, M., Schiper, A., Pedone, F., Kemme, B., Alonso, G.: Database replication techniques: A three parameter classification. In: Proc. of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), pp. 206–217 (2000)
Jimenez-Peris, R., Patiño-Martinez, M., Alonso, G., Kemme, B.: How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead. In: 20th IEEE Int. Conf. on Reliable Distributed Systems (SRDS 2001), New Orleans, Louisiana, 24–33, IEEE CS Press, Los Alamitos (2001)
Rodrigues, L., Miranda, H., Almeida, R., Martins, J., Vicente, P.: Strong replication in the GlobData middleware. In: Proc. of Workshop on Dependable Middleware-Based Systems (in DSN 2002), Washington D.C., USA, pp. G96–G104 (2002)
Chundi, P., Rosenkrantz, D.J., Ravi, S.S.: Deferred updates and data placement in distributed databases. In: Proceedings of the 12th International Conference on Data Engineering, pp. 469–476. IEEE Computer Society, Los Alamitos (1996)
Breitbart, Y., Korth, H.F.: Replication and consistency: being lazy helps sometimes. In: Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems, pp. 173–184. ACM Press, New York (1997)
Holliday, J., Agrawal, D., Abbadi, A.E.: Database replication: If you must be lazy, be consistent. In: Proceedings of 18th Symposium on Reliable Distributed Systems SRDS 1999, pp. 304–305. IEEE Computer Society Press, Los Alamitos (1999)
Bernstein, P.A., Shipman, D.W., Rothnie, J.B.: Concurrency control in a system for distributed databases (SDD-1). ACM Transactions on Database Systems 5, 18–51 (1980)
Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Transactions on Database Systems 6, 213–226 (1981)
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison Wesley, Reading (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Irún-Briz, L., Castro-Company, F., Decker, H., Muñoz-Escoí, F.D. (2004). An Analytical Design of a Practical Replication Protocol for Distributed Systems. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-30233-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23169-1
Online ISBN: 978-3-540-30233-9
eBook Packages: Springer Book Archive