STUDIES ON CONFIGURATION AND RECOVERY TECHNIQUES FOR FAULT-TOLERANT COMPUTING SYSTEMS

フォールトトレラントシステムに対する構成・回復技法に関する研究

Fukumoto Satoshi

It is of great importance to operate a computer system with high reliability. Several techniques to achieve the high reliability of a computer system have been proposed and implemented in the real computer systems. This dissertation discusses configuration and recovery techniques for fault-tolerant computing systems, for which stochastic models are presented to evaluate performance and/or reliability. Chapter 1 gives introduction for configuration and recovery techniques based on the concept of redundancy. Chapter 2 presents two models for evaluating database recovery mechanisms. The first model discusses the recovery mechanism with periodical checkpoint generations. The second model further discusses the recovery mechanism in the situation where the road of the system varies with time in a shape of a cycle. Chapter 3 presents a model for evaluating the improvement on system reliability by retries based on time redundancy. In Chapter 4, two models for multi-processor systems are proposed from the viewpoint of transaction assignment, and are compared using the reliability/performance measures. Chapter 5 discusses a reliability evaluation software package tool for a system formulated by a continuous-time Markov chain with many states. Finally, Chapter 6 summarizes the results obtained in the dissertation, and discusses the further research works on configuration and recovery techniques.

Electrical engineering [ 540 ]

eng

Copyright(c) by Author

[1] S. Osaki and S. Fukumoto: "Derivation of the Convergence Time of the Limiting Probabilities for a Markov Process", Trans. IEICE of Japan, Vol. J71-A, No. 4, pp. 1062-1065 (1988) (in Japanese). references

[2] S. Fukurnoto and S. Osaki: "Numerical Calculation of Transient Solutions for a Markov Process with Many States", in Abstract of The First Conference of the Association of Asian-Pacific Operational Research Societies, P. 27, Seoul (1988). references

[3] S. Osaki, H. Ohshimo and S. Fukumoto: "Effect of Software Maintenance Policies for a Hardware-Software System", Int. J. System Sci., Vol. 20, No. 2, pp. 331-338 (1989). references

[4] S. Fukumoto and S. Osaki: "Maintenance Policies Based on Retries for a Computer System", Trans. IEICE of Japan, Vol. J73-D-I, No. 2, pp. 161-169 (1990) (in Japanese). references

[5] Satoshi Fukumoto and Shunji Osaki: "A Software Package Tool for Markovian Computing Models and Its Applications", in Proc. of the IEEE International Phoenix Conference on Computers and Communications, pp. 872-873, Phoenix, Arizona (1990). references

[6] S. Fukumoto, N. Kaio and S. Osaki: "Optimal Checkpointing Policies Using the Checkpointing Density", Trans. IPS Japan, Vol. 31, No. 6, pp. 887-893 (1990) (in Japanese). references

[7] H. Ohshirno, S. Fukurnoto and S. Osaki: "Reliability/Performance Evaluation for Multisystems from the Viewpoint of Job Assignments", Trans. IEICE of Japan, Vol. E-73, No. 8, pp. 1257-1263 (1990). references

[8] S. Fukumoto, N. Kaio and S. Osaki: "Evaluation for a Database Recovery Action with Periodical Checkpoint Generations", IEICE Trans. of Japan, Vol. E-74, No. 7, pp. 2076-2082 (1991). references

[9] S. Fukumoto and S. Osaki: "A Software Package Tool for Markovian Computing Models with Many States: Principles and Its Applications", Stochastic Processes and Their Applications, edited by M. J. Beckmann, M. N. Gopalan and R. Subramanian, Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, Heidelberg, pp. 222-231 (1991). references

[10] S. Fukumoto, N. Kaio and S. Osaki: "A Study of Checkpoint Generations for a Database Recovery Mechanism", to appear in Computers Mathematics with Applications (1992). references

[DOI] http://dx.doi.org/10.1080/00207728908910130 references

[DOI] http://dx.doi.org/10.1109/PCCC.1990.101717 references

[NAID] 110002724619 references

[DOI] http://dx.doi.org/10.1016/0898-1221(92)90229-B references

広島大学