980FT86实时容错加固计算机多机通信系统的研究与应用

摘要

本文提出了同步条件信箱的概念,并以同步条件信箱为通信模型,设计出了面向实时容错的多机通信系统;证明了该通信机制是保证任务同步和完成容错计算的基础;研制了实现该通信机制的多机通信软件,并将其注入容错机操作系统中。本文的研究结果已用于980FT86实时容错加固计算机。