FaultFinder: Improving the Availability of 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.