Stochastic Models for Fault Tolerance - Restart, Rejuvenation and Checkpointing
Stochastic Models for Fault Tolerance - Restart, Rejuvenation and Checkpointing
复制标题
容错随机模型 - 重启、恢复和检查点
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K. Wolter
中科院分区：
文献类型：
--
作者：
K. Wolter
随着现代社会对复杂计算系统无故障运行的依赖，系统容错已成为不可或缺的要求。因此，我们需要在系统组件（无论是软件组件还是硬件组件）出现故障的情况下保证正确服务的机制。对于空间冗余或时间冗余，通常使用冗余模式。沃尔特斯的书详细介绍了需要在适当时机发布的及时冗余方法。特别是，她解决了所谓的“超时选择问题”，即为重启、恢复和检查点等不同的容错机制选择合适的时间的问题。“重启”指的是单纯的系统重启，“返青”指的是重新启动任务的运行环境，“检查点”包括定期保存系统状态，并在系统出现故障时，在最近的检查点重新初始化系统。她的演讲包括对这些方法的简要介绍，它们的详细随机描述，以及它们在现实世界系统中的有效实施方面。这本书是针对研究人员和研究生在系统可靠性，随机建模和软件可靠性。读者将在这里找到关键理论结果的最新概述，使其成为关于重启相关问题的随机模型的唯一全面文本。
As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundancy patterns are commonly used, for either redundancy in space or redundancy in time. Wolters book details methods of redundancy in time that need to be issued at the right moment. In particular, she addresses the so-called "timeout selection problem", i.e., the question of choosing the right time for different fault-tolerance mechanisms like restart, rejuvenation and checkpointing. Restart indicates the pure system restart, rejuvenation denotes the restart of the operating environment of a task, and checkpointing includes saving the system state periodically and reinitializing the system at the most recent checkpoint upon failure of the system. Her presentation includes a brief introduction to the methods, their detailed stochastic description, and also aspects of their efficient implementation in real-world systems. The book is targeted at researchers and graduate students in system dependability, stochastic modeling and software reliability. Readers will find here an up-to-date overview of the key theoretical results, making this the only comprehensive text on stochastic models for restart-related problems.