论文部分内容阅读
故障诊断一致性（fault diagnosis agreement，FDA）是高可靠容错分布式系统的性能和完整性的重要保障．目前，大部分FDA协议还是只考虑单一故障组件的简单网络，而对于实际的分布式应用、故障节点和故障链路并存的系统假设更加有意义．但是，在此假设下，对恶意（拜占庭故障）组件的诊断是不可能满足FDA的．为此，首先提出了一种无效链路（invalid link）故障模型，可以更加准确地描述恶意组件的故障行为对系统的影响，有效提高故障诊断的覆盖率．在此模型基础上，提出了一个基于证据的故障诊断协议—