Error Detection and Recovery Issues in Real-Time Computer Systems

实时计算机系统中的错误检测和恢复问题

• 批准号: 8909243
• 负责人: Shambhu Upadhyaya
• 金额: $ 6.66万
• 依托单位: SUNY College at Buffalo
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-08-15 至 1992-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8909243&HistoricalAwards=false
• 关键词: Error; Detection; Recovery; Issues; Real

In this project, the hardware issues - error detection and recovery - of rollback recovery technique are studied. The main objectives of this research are (1) to design a concurrent error detection scheme to facilitate recovery in multitasking and multiprocessor systems, and (2) to develop a scheme for recovery data protection and study its impact on the rollback strategy. Detection of errors with low error latency is vital for successful recovery in real-time systems. In most systems, however, the hardware to detect errors is subsumed. A watchdog processor is used to detect errors and initiate recovery. The technique of control flow checking is used for the on-line detection of errors. The concept of cyclomatic complexity is used in order to obtain a controllable error latency. In order to protect the recovery data in rollback, a recovery cache is employed. A new model for rollback is formulated to take into effect the use of a recovery cache for recovery data protection. The impact of the cache on rollback is investigated by deriving an optimization model. Analysis and experimental studies with real programs will be conducted to validate the model and the methods used for rollback.

在此项目中，研究了回滚恢复技术的硬件问题 - 错误检测和恢复。 这项研究的主要目标是（1）设计并发错误检测方案，以促进多任务和多处理器系统中的恢复，以及（2）开发一种用于恢复数据保护的方案并研究其对回滚策略的影响。 在实时系统中成功恢复至关重要，检测误差延迟的错误至关重要。 但是，在大多数系统中，要检测错误的硬件被包含。 看门狗处理器用于检测错误并启动恢复。 控制流检查技术用于在线检测错误。 使用循环复杂性的概念是为了获得可控的误差延迟。 为了保护回滚中的恢复数据，采用了恢复缓存。 制定了一种新的回滚模型，以生效使用恢复缓存进行恢复数据保护。 通过得出优化模型研究了缓存对回滚的影响。 将对实际程序进行分析和实验研究，以验证模型和用于回滚的方法。