用于高完整性计算的计算模块和方法技术

本发明专利技术公开了用于高完整性计算的计算模块和方法。一种用于高完整性计算的计算模块包括各自用于执行相同任务的至少两个处理通道，其中，第一处理通道包括第一CPU和连接到其的第一松锁步逻辑部件。第一松锁步逻辑部件包括第一同步逻辑单元和第一比较逻辑单元。第一同步逻辑单元用于实现第一处理通道和第二处理通道对相同的任务的执行同步。第一比较逻辑单元用于响应于确定了执行是同步的，分别将传输到第一松锁步逻辑部件的第一命令和第一数据与传输到第二处理通道中的第二松锁步逻辑部件的第二命令和第二数据进行比较，并且响应于比较的结果为不一致来触发比较异常处理机制。

【技术实现步骤摘要】

本专利技术总体上涉及计算领域，具体涉及高完整性计算。

技术介绍

1、在航空电子等安全关键性应用领域，由于计算机输出的计算结果对系统的安全性具有重大影响，因此高完整性是对数据计算的一项重要需求。在系统安全性设计上，为了能够在源端提供高完整性，要求数据处理模块能够及时识别发生在自身内部的各类错误(例如，识别计算机硬件错误或单粒子反转事件)，并对错误进行隔离，对各类错误进行适当的处理并进行系统恢复操作，以避免将错误的计算结果散布到系统的其他模块或部件，从而影响整个系统的安全性。

2、为实现高完整性计算，要求单点故障不能产生错误，而对于不能识别的错误其概率为极不可能(基于驻留功能的安全性需求)。在设计上通行的做法是实现一个n(n是≥2的整数)路冗余的独立计算的数据处理模块，在n路之间对输出的计算结果进行比较或投票。例如，如果n＝2，则如果两路比较发现不一致就意味着至少有一路发生了错误，此时，这两路的计算结果都不再具有完整性，应当被丢弃并进行后续处理。如果n＝3，则可以进行3选2的投票，这样即使一路发生错误，数据处理模块都可以识别并隔离发生错误的那一路，本文档来自技高网...

【技术保护点】

1.一种用于高完整性计算的计算模块，包括：

2.如权利要求1所述的计算模块，其特征在于，

3.如权利要求1所述的计算模块，其特征在于，

4.如权利要求3所述的计算模块，其特征在于，所述第一关键数据和所述第二关键数据各自包括：对执行点同步起关键作用的全局变量、进程间通信对象的修改次数或更新次数。

5.如权利要求1所述的计算模块，其特征在于，所述第一处理通道和所述第二处理通道采用相同的时钟源。

6.如权利要求1所述的计算模块，其特征在于，

7.如权利要求1所述的计算模块，其特征在于，

8.如权利要求7所述的计...

【技术特征摘要】

1.一种用于高完整性计算的计算模块，包括：

2.如权利要求1所述的计算模块，其特征在于，

3.如权利要求1所述的计算模块，其特征在于，

4.如权利要求3所述的计算模块，其特征在于，所述第一关键数据和所述第二关键数据各自包括：对执行点同步起关键作用的全局变量、进程间通信对象的修改次数或更新次数。

5.如权利要求1所述的计算模块，其特征在于，所述第一处理通道和所述第二处理通道采用相同的时钟源。

6.如权利要求1所述的计算模块，其特征在于，

7.如权利要求1所述的计算模块，其特征在于，

8.如权利要求7所述的计算模块，其...

【专利技术属性】
技术研发人员：刘峥嵘，杜梁，
申请(专利权)人：中航通用电气民用航电系统有限责任公司，
类型：发明
国别省市：