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.

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