Studies on configuration and recovery techniques for fault-tolerant computing systems フォールトトレラントシステムに対する構成・回復技法に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Studies on configuration and recovery techniques for fault-tolerant computing systems
- Other Title
-
フォールトトレラントシステムに対する構成・回復技法に関する研究
- Author
-
福本, 聡, 1962-
- Author(Another name)
-
フクモト, サトシ
- University
-
広島大学
- Types of degree
-
工学博士
- Grant ID
-
甲第1060号
- Degree year
-
1992-03-25
Note and Description
博士論文
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.
Contents / p11 Abstract / p7 Acknowledgements / p9 Contents / p11 List of Figures / p15 List of Tables / p19 1 Introduction / p1 1.1 Configuration and Recovery Techniques for Fault-Tolerance / p1 1.2 Organization of Dissertation / p7 References / p9 2 Evaluation for Database Recovery Mechanisms / p15 2.1 A Recovery Mechanism with Periodical Checkpoint Generations / p15 2.2 Checkpoint Generations in a Time Varying Load Situation / p37 References / p55 3 Effects of Time Redundancy by Retries / p57 3.1 Introduction / p57 3.2 Model for a Retry Procedure / p60 3.3 Analysis / p63 3.4 Numerical Illustrations / p70 3.5 Concluding Remarks / p82 References / p86 4 Reliability/Performance Evaluation for Multi-Processor Systems from the Viewpoint of Transaction Assignments / p89 4.1 Introduction / p89 4.2 Multi-Processor System Modeling / p91 4.3 Model 1 / p93 4.4 Model 2 / p100 4.5 Numerical Illustrations / p106 4.6 Concluding Remarks / p111 References / p114 5 A Reliability Evaluation Software Package Tool for Markov Models with Many States / p117 5.1 Introduction / p117 5.2 Mathematical Preliminaries / p119 5.3 Applications / p126 5.4 Concluding Remarks / p135 References / p135 6 Conclusion / p139 Publications List of the Author / p145
Table of Contents
- Contents / p11 (0007.jp2)
- Abstract / p7 (0005.jp2)
- Acknowledgements / p9 (0006.jp2)
- Contents / p11 (0007.jp2)
- List of Figures / p15 (0009.jp2)
- List of Tables / p19 (0011.jp2)
- 1 Introduction / p1 (0012.jp2)
- 1.1 Configuration and Recovery Techniques for Fault-Tolerance / p1 (0012.jp2)
- 1.2 Organization of Dissertation / p7 (0015.jp2)
- References / p9 (0016.jp2)
- 2 Evaluation for Database Recovery Mechanisms / p15 (0019.jp2)
- 2.1 A Recovery Mechanism with Periodical Checkpoint Generations / p15 (0019.jp2)
- 2.2 Checkpoint Generations in a Time Varying Load Situation / p37 (0030.jp2)
- References / p55 (0039.jp2)
- 3 Effects of Time Redundancy by Retries / p57 (0040.jp2)
- 3.1 Introduction / p57 (0040.jp2)
- 3.2 Model for a Retry Procedure / p60 (0042.jp2)
- 3.3 Analysis / p63 (0043.jp2)
- 3.4 Numerical Illustrations / p70 (0047.jp2)
- 3.5 Concluding Remarks / p82 (0053.jp2)
- References / p86 (0055.jp2)
- 4 Reliability/Performance Evaluation for Multi-Processor Systems from the Viewpoint of Transaction Assignments / p89 (0056.jp2)
- 4.1 Introduction / p89 (0056.jp2)
- 4.2 Multi-Processor System Modeling / p91 (0057.jp2)
- 4.3 Model 1 / p93 (0058.jp2)
- 4.4 Model 2 / p100 (0062.jp2)
- 4.5 Numerical Illustrations / p106 (0065.jp2)
- 4.6 Concluding Remarks / p111 (0067.jp2)
- References / p114 (0069.jp2)
- 5 A Reliability Evaluation Software Package Tool for Markov Models with Many States / p117 (0070.jp2)
- 5.1 Introduction / p117 (0070.jp2)
- 5.2 Mathematical Preliminaries / p119 (0071.jp2)
- 5.3 Applications / p126 (0075.jp2)
- 5.4 Concluding Remarks / p135 (0079.jp2)
- References / p135 (0079.jp2)
- 6 Conclusion / p139 (0081.jp2)
- Publications List of the Author / p145 (0084.jp2)