Evidence-based multicasting fault diagnosis agreement with fallible processors

摘要

The Byzantine agreement (BA) problem has been widely discussed in the literature concerned. Most BA protocols can reach a common agreement by way of fault masking. However, in a highly reliable fault-tolerant distributed system, just reaching a common agreement is not enough. We need to take into consideration another related problem called the fault diagnosis agreement (FDA) problem. The goal of solving the FDA problem is to make each fault-free processor detect/locate the common set of faulty components in the distributed system. We shall solve the FDA problem with the dual failure mode over a multicasting network system. The proposed FDA protocol can detect/locate the maximum number of faulty components with the dual failure mode to solve the FDA problem in a synchronous multicasting network.