冯 丹，江耿丰，刘 波，衣学慧，刘超伟

(北京控制工程研究所，北京 100190)



一种星载计算机自稳定容错时间同步算法*

冯 丹，江耿丰，刘 波，衣学慧，刘超伟

(北京控制工程研究所，北京 100190)

提出一种新的时间同步方法，将软同步和硬同步结合，通过单机间的信息交互完成时间同步.单机之间通过初始化同步建立初始同步状态，然后进入同步保持状态.当单机由于临时故障失去同步后，可通过同步搜索算法自恢复与其他单机的同步.本算法可应用于多机热备份体系结构的星载计算机的时间同步中，用于提高系统的自恢复能力.

自稳定；容错；时间同步

0 引 言

多机冗余热备份是星载计算机通常采用的一种提高系统可靠度的方式.对于离散的冗余热备份计算机，需要采用时间同步机制使各个离散单机之间保持时间同步.

自从1985年Lamport等[1]提出在拜占庭故障下保持时间同步的理论以来，时间同步一直是离散式分布系统的重要研究部分之一.时间同步可按照同步源和同步模式进行分类.

从同步源来说，分为外部公共同步源和无外部同步源系统内自同步两种方法.公共同步源通过一个统一的外部时钟公共源对各个单机进行时间同步，此方法可以简化分布式系统内部的交互逻辑，但是对公共同步源的可靠度提出了很高的要求.公共时钟源硬件设计复杂且不适用于规模较大的系统.无外部同步源系统内自同步通过系统内单机的互相联系……