CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation

职业：通过动态验证和自主操作提高多处理器可用性

• 批准号: 0444516
• 负责人: Daniel Sorin
• 金额: $ 40万
• 依托单位: Duke University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-06-15 至 2011-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0444516&HistoricalAwards=false
• 关键词: CAREER; Improving; Multiprocessor; Availability; Dynamic

CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic OperationAbstractThe research focuses on hardware-based techniques for fault detection and recovery in multiprocessor systems. Specifically the project examines correctness with respect to the following safety and timing properties of the system: dynamic validation of the correctness of the consistency model, dynamic detection of deadlock and livelock, and autonomic recovery from detected errors (transient or permanent). Improved computer availability will provide a qualitative benefit to society that increasingly depends on reliable computer systems. The research is motivated by the tremendous economic and human costs resulting from unanticipated downtime or unmonitored malfunctions in safety-critical systems.

职业：通过动态验证和自主操作提高多处理器可用性摘要本研究主要研究基于硬件的多处理器系统故障检测和恢复技术。具体来说，该项目检查了系统的以下安全性和定时属性的正确性：一致性模型正确性的动态验证，死锁和活动锁的动态检测，以及从检测到的错误（暂时的或永久的）中自动恢复。计算机可用性的提高将给日益依赖可靠计算机系统的社会带来质的好处。这项研究的动机是由于安全关键系统中意外停机或未监控故障所造成的巨大经济和人力成本。