CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation

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

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.