FaultFinder: Improving the Availability of Multiprocessor Servers

FaultFinder：提高多处理器服务器的可用性

基本信息

批准号：
0309164
负责人：
Daniel Sorin
金额：
$ 11.44万
依托单位：
Duke University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2003
资助国家：
美国
起止时间：
2003-07-15 至 2006-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0309164&HistoricalAwards=false
关键词：
FaultFinder Improving Availability Multiprocessor Servers

项目摘要

Fault Finder: Improving the Availability of Multiprocessor ServersAbstractThe Duke FaultFinder Project seeks to provide the first hardware mechanisms for dynamically verifying the correctness - not just necessary properties - of shared memory multiprocessor systems. The memory consistency model determines the correctness of a design. FaultFinder will dynamically detect violations of the specified memory consistency model, which is the highest level of error detection possible in hardware. FaultFinder mechanisms will detect hardware errors at the system level (e.g., violation of consistency), unlike existing schemes that only detect localized errors (e.g., bit flip on message). Combining FaultFinder error detection with existing hardware mechanisms for checkpoint/recovery of shared memory multiprocessor systems enables the system to guarantee correct behavior.As society has increasingly relied upon computer systems to provide important infrastructure, computer engineers have not correspondingly improved the ability to detect faults in these systems. While recent advances in hardware checkpoint/recovery have improved computer system availability, a system recovery mechanism can only recover from those errors that are detected. Currently, computer systems cannot detect whether a memory system is behaving correctly. The Duke FaultFinder Project seeks to provide the first hardware mechanisms for comprehensive error detection in computer systems. Achieving this goal would provide a qualitative benefit to a society that depends on computer availability.

故障查找器：提高多处理器服务器的可用性摘要杜克大学故障查找器项目旨在提供第一个硬件机制，用于动态验证共享内存多处理器系统的正确性（而不仅仅是必要的属性）。内存一致性模型决定了设计的正确性。 FaultFinder 将动态检测对指定内存一致性模型的违反，这是硬件中可能的最高级别的错误检测。与仅检测局部错误（例如消息上的位翻转）的现有方案不同，FaultFinder 机制将检测系统级别的硬件错误（例如，违反一致性）。将FaultFinder错误检测与共享内存多处理器系统的检查点/恢复的现有硬件机制相结合，使系统能够保证正确的行为。随着社会越来越依赖计算机系统提供重要的基础设施，计算机工程师并没有相应地提高检测故障的能力。这些系统。虽然硬件检查点/恢复方面的最新进展提高了计算机系统的可用性，但系统恢复机制只能从检测到的那些错误中恢复。目前，计算机系统无法检测存储系统是否正常运行。杜克大学故障查找器项目旨在提供第一个用于计算机系统中全面错误检测的硬件机制。实现这一目标将为依赖计算机可用性的社会带来质的好处。