[發明專利]基于2乘2取2架構的安全平臺輸入一致性比較方法

有效

• 申請號: 201811558220.0
• 申請日: 2018-12-19
• 公開（公告）號: CN109739804B
• 公開（公告）日: 2022-09-23
• 發明（設計）人: 張磊;郭盟;周庭梁;張輝;董高云;瞿玲燕;方永佳
• 申請（專利權）人: 卡斯柯信號有限公司
• 主分類號: G06F15/78
• 分類號: G06F15/78;G06F9/54
• 代理公司: 上?？剖⒅R產權代理有限公司 31225
• 代理人: 應小波

1.一種基于2乘2取2架構的安全平臺輸入一致性比較方法，其特征在于，該方法將對實際輸入消息的比較轉化為對消息索引序號的比較，再進一步將消息索引序號的比較轉化為只對消息起止索引序號的比較，并結合記錄的丟失消息序列，最后得到需要發往上層應用的消息；

該方法具體包括以下步驟：

(1)兩系四塊CPU板從各自輸入消息隊列與遺留消息隊列中提取消息索引號組成輸入消息起止索引序列，同時記錄丟失的消息和丟失消息數量，然后廣播給其它CPU板；

(2)CPU板通過總線接收其它通道的輸入消息起止索引序列；

(3)確定系內輸入消息起止索引序列；

(4)檢查兩系丟失消息的數量是否超出了允許丟失消息數量的上限，如果超出上限則拋棄本次所有消息，未超出上限，執行步驟(5)；

(5)確定系間輸入消息起止索引序列；

(6)兩系分別重新讀取輸入消息隊列與遺留消息隊列中的消息，并與上述得到的消息起止索引序列進行比較檢查；

(7)將本周期待發送輸入消息隊列的消息發送給上層應用處理。

2.根據權利要求1所述的一種基于2乘2取2架構的安全平臺輸入一致性比較方法，其特征在于，該方法采用“求同存異”的原則，系內比較后兩塊邏輯板會得到一樣的消息起止索引序列，即系內兩塊邏輯板卡具有相同的起始序號和結束序號；系間比較時若兩系起始序號不同則以主系為準，而結束序號取兩系中較小的結束序號。

3.根據權利要求1所述的一種基于2乘2取2架構的安全平臺輸入一致性比較方法，其特征在于，所述的(3)中的確定系內輸入消息起止索引序列的原則如下：

比較系內兩CPU通道起止索引序列的開始序號，較大值作為系內比較結果的起始序號，結束序號的較小值作為系內比較結果的結束序號；記錄系內比較后丟失的消息和丟失消息數量。

4.根據權利要求1所述的一種基于2乘2取2架構的安全平臺輸入一致性比較方法，其特征在于，所述的(5)中確定系間輸入消息起止索引序列的原則為：

取主系的起始序號作為兩系比較后起止索引序列的起始序號；結束序號取兩系結束序號比較后的較小值。

5.根據權利要求1所述的一種基于2乘2取2架構的安全平臺輸入一致性比較方法，其特征在于，所述的(6)中比較檢查具體為：

根據讀取的消息序號是否在起止索引序列區間內，以及是否被標記為丟失消息來決定消息是被拋棄、放入遺留消息隊列、放入待發送輸入消息丟列。