Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval

Kumiko Tadano, Jiangwen Xiang, Fumio Machida, Yoshiharu Maeno

Abstract

For disaster recovery, many database systems with valuable data have been designed with database synchronization between main and backup sites. The data synchronization interval affects the performability of system which is a combined measure of performance and availability. It is important to determine the optimal synchronization interval in terms of performability so as to satisfy customers' requirements. However, existing techniques to identify the optimal synchronization interval do not consider the performability impacts of time-consuming manual resolution task for inconsistent data. To address this issue, this paper proposes a method to identify the data synchronization interval which optimizes performability by solving a stochastic reward net model describing the manual and automatic failure-recovery behavior of a database system. Several numerical examples are given to demonstrate the proposed method and its potential practical applicability.

References

  1. Dohi, T., Ozaki, T. and Kaio, N., 2006. Optimal Checkpoint Placement with Equality Constraints. In DASC'06, 2nd Symp. on Dependable, Autonomic and Secure Computing, 77-84, IEEE CS Press.
  2. Young, J. W., 1974. A first order approximation to the optimum checkpoint interval. Comm. of the ACM, 17 (9), 530-531.
  3. Chandy, K. M., Browne, J. C., Dissly, C. W. and Uhrig, W. R., 1975. Analytic models for rollback and recovery strategies in database systems. IEEE Trans. on Software Eng., SE-1 (1), 100-110.
  4. Dohi, T., Kaio, N. and Trivedi, K. S., 2002. Availability models with age dependent-checkpointing. In SRDS2002, 21st Sympo. on Reliable Distributed Systems, 130-139, IEEE CS Press.
  5. Baccelli, F., 1981 Analysis of service facility with periodic checkpointing, Acta Informatica, 15, 67-81.
  6. Gelenbe, E. and Hernandez, M., 1990. Optimum checkpoints with age dependent failures, Acta Informatica, 27, 519-531.
  7. Duda, A., 1983. The effects of checkpointing on program execution time, Information Processing Letters, 16 (5), 221-229.
  8. Toueg, S. and Babaoglu, O., 1984. On the optimum checkpoint selection problem. SIAM J. of Computing, 13 (3), 630-649.
  9. Fukumoto, S., Kaio, N. and Osaki, S., 1992. A study of checkpoint generations for a database recovery mechanism, Computers Math. Applic., 24(1/2), 63-70.
  10. Ling, Y., Mi, J. and Lin, X., 2001. A variational calculus approach to optimal checkpoint placement, IEEE Trans. on Computers, 50 (7), 699-707.
  11. Ozaki, T., Dohi, T., Okamura, H. and Kaio, N., 2006. Distribution-free checkpoint placement algorithms based on min-max principle, IEEE Trans. on Dependable and Secure Computing, 3 (2), 130-140.
  12. Ozaki, T., Dohi, T., Okamura, H. and Kaio, N., 2004. Min-Max Checkpoint Placement under Incomplete Failure Information. In DSN'04, 2004 Int. Conf. on Dependable Systems and Networks, 721-730, IEEE CS Press.
  13. Trivedi, K. S., 2001. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley, New York, 2001.
  14. Izukura, S., Yanoo, K., Osaki, T., Sakaki, H., Kimura, D., Xiang, J., 2011. Applying a Model-Based Approach to IT Systems Development Using SysML Extension. In MoDELS 2011, 14th Int. Conf. on Model Driven Engineering Languages and Systems, 563-577.
  15. Hirel, C., Tuffin, B., and Trivedi, K. S., 2001. SPNP: Stochastic Petri Nets. Version 6.0. In TOOLS 2000, 354-357.
  16. Tadano, K., Machida, F., Xiang, J., and Maeno, Y., 2012, Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. IN PRDC'12, 18th IEEE Pacific Rim Int. Symp. on Dependable Computing, 21-30.
  17. Machida, F., Andrade, E.C., Kim, D., and Trivedi, K., 2011. Candy: Component-based availability modeling framework for cloud service management using SysML, In SRDS'11, Int. Symp. on reliable distributed systems.
Download


Paper Citation


in Harvard Style

Tadano K., Xiang J., Machida F. and Maeno Y. (2013). Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 233-240. DOI: 10.5220/0004318602330240


in Bibtex Style

@conference{modelsward13,
author={Kumiko Tadano and Jiangwen Xiang and Fumio Machida and Yoshiharu Maeno},
title={Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={233-240},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004318602330240},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval
SN - 978-989-8565-42-6
AU - Tadano K.
AU - Xiang J.
AU - Machida F.
AU - Maeno Y.
PY - 2013
SP - 233
EP - 240
DO - 10.5220/0004318602330240