故障容错
从基础概念到实战应用,系统讲解故障诊断与容错机制的核心方法,帮助开发者构建高可用系统。涵盖异常处理、冗余设计与恢复策略等关键技术。...
从基础概念到实战应用,系统讲解故障诊断与容错机制的核心方法,帮助开发者构建高可用系统。涵盖异常处理、冗余设计与恢复策略等关键技术。...
可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术...
可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术...
基于动态可重构FPGA的时序电路在线故障检测与容错设计...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...