我国的铁路信号控制系统都是安全关键系统,系统一旦发生故障,不仅会造成经济损失,而且还可能危及人身安全。因此,对系统的安全性和可靠性就提出了很高的要求。三模冗余系统很好的满足了这种高可靠性、安全性的要求。三模冗余系统中,由于三台计算机要进行频繁的比较,所以多机之间的同步是关键的技术,解决得好坏直接影响到三模冗余系统的功能及运行操作的正确性。三模冗余系统主要有硬件和软件两种同步方式,硬件同步由于对硬件的要求比较高,一般采用软件同步方式。本文采用任务级同步的软件同步方法,在同一任务中设立表决点,对进程状态数据和应用数据进行比较和表决。从而很好的解决了同步过程中对表决数据状态,进程状态的处理难点。论文首先介绍了容错计算机发展状况和论文研究的主要内容。接下来介绍了基于硬件和软件同步的三模冗余系统,并以采用软件冗余的计算机联锁为研究的对象讨论本文采用的任务同步方式。在第三章里用Petri网对系统的同步方式进行建模,并分析了其性能。最后,详细描述了同步过程的具体实现,介绍了同步过程中涉及各个关键点。三模冗余系统的可靠性的高低和系统采用的同步策略有很大的关系。本文提出的一种同步方式使得各个冗余模块间能进行很好的同步,从而保证了三模冗余系统能可靠、实时的不间断的安全运行。