分布式实时系统的组资格成员算法

Algorithm of Group Membership for Distributed Real-time System

从满足分布实时系统容错要求的角度出发 ,基于 TDM广播网 ,提出了分布式实时系统中的一个处理机组资格成员算法 ;只要系统中故障处理机数目不超过半数 ,该算法就能在其发生周期之后最多不到 2个周期的时间内检测出系统中的处理机故障 ,并维持一个正确的处理机状态视图 ;对算法的正确性给予了证明 .

On the basis of the TDM broadcast network, we proposed a group membership algorithm for distributed real time operating system in order to reach the requirement of fault tolerance in distributed real time system. This algorithm can diagnose a processor failure in the group with at most two cycles following the cycle in which the failure occurs if only the number of failed processors were no more than half the total. A correct status view of the processors in the group can be maintained. The correctness of the algorithm is also proved.