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.

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