[發(fā)明專利]用于檢驗(yàn)對(duì)請(qǐng)求的不可靠子系統(tǒng)響應(yīng)的完整性的通信信道內(nèi)插器、方法和程序產(chǎn)品

有效

• 申請(qǐng)?zhí)枺?/td>: 200680039488.2
• 申請(qǐng)日: 2006-10-16
• 公開（公告）號(hào): CN101297271A
• 公開（公告）日: 2008-10-29
• 發(fā)明（設(shè)計(jì)）人: V·孔德雷利;T·德威克特;M·霍克;T·維謝格拉迪
• 申請(qǐng)（專利權(quán)）人: 國(guó)際商業(yè)機(jī)器公司
• 主分類號(hào): G06F11/16
• 分類號(hào): G06F11/16
• 代理公司: 北京市中咨律師事務(wù)所
• 代理人: 于靜;張靜美

技術(shù)領(lǐng)域

本發(fā)明提供了一種用于檢驗(yàn)子系統(tǒng)響應(yīng)的完整性的方法、系統(tǒng)和計(jì)算機(jī)程序。?

背景技術(shù)

在高可用性計(jì)算環(huán)境中，有時(shí)需要差錯(cuò)檢測(cè)以便比較來自實(shí)現(xiàn)相同計(jì)算任務(wù)的兩個(gè)獨(dú)立重復(fù)子系統(tǒng)的響應(yīng)。通常以相對(duì)簡(jiǎn)單的方式，通過鎖步(lockstep)運(yùn)行兩個(gè)獨(dú)立的子系統(tǒng)，或者更一般地，通過保證由兩個(gè)子系統(tǒng)輸出的應(yīng)答具有相同的順序來實(shí)現(xiàn)該目的。然而，在實(shí)現(xiàn)計(jì)算密集操作的多任務(wù)處理子系統(tǒng)的情況下，使用鎖步方法來保證每個(gè)任務(wù)的完成順序可能是有困難的。?

因而，在此給出了一種方法來解決對(duì)兩個(gè)獨(dú)立子系統(tǒng)的輸出(在與其順序無關(guān)的情況下)進(jìn)行比較的問題。?

發(fā)明內(nèi)容

提供了一種檢驗(yàn)子系統(tǒng)響應(yīng)的完整性的方法。該方法包括：在通信信道處從至少兩個(gè)重復(fù)子系統(tǒng)的第一子系統(tǒng)接收第一響應(yīng)，所述第一響應(yīng)響應(yīng)于被發(fā)送到所述至少兩個(gè)重復(fù)子系統(tǒng)中每個(gè)子系統(tǒng)的公共請(qǐng)求，并且其中所述至少兩個(gè)重復(fù)子系統(tǒng)向所述通信信道輸出響應(yīng)；在所述通信信道內(nèi)確定所述第一子系統(tǒng)的第一響應(yīng)的第一校驗(yàn)和；在所述通信信道處從響應(yīng)于所述公共請(qǐng)求的所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)接收第二響應(yīng)；確定所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)的第二響應(yīng)的第二校驗(yàn)和；以及比較所述第一校驗(yàn)和與所述第二校驗(yàn)和，并且如果匹配，則僅將所述第一響應(yīng)和所述第二響應(yīng)之一作為對(duì)所述公共請(qǐng)求的響應(yīng)而從所述通信信道?進(jìn)行轉(zhuǎn)發(fā)。?

文中所公開的解決方案一般涉及對(duì)來自響應(yīng)于請(qǐng)求的不可靠子系統(tǒng)的無差錯(cuò)結(jié)果的傳遞，并且更具體而言，涉及一種依照優(yōu)選實(shí)施例的通信信道內(nèi)插器(interposer)、方法和程序產(chǎn)品，用于檢驗(yàn)從耦合于通信信道的重復(fù)非無差錯(cuò)(non-error-free)子系統(tǒng)接收的對(duì)公共請(qǐng)求的響應(yīng)的完整性。?

在另一方面，提供了一種用于檢驗(yàn)子系統(tǒng)響應(yīng)的完整性的系統(tǒng)。該系統(tǒng)包括置于耦合于至少兩個(gè)重復(fù)子系統(tǒng)的通信信道處的內(nèi)插器。所述內(nèi)插器包括輸入調(diào)度器、校驗(yàn)和生成器、存儲(chǔ)器、校驗(yàn)和檢驗(yàn)器以及多路復(fù)用控制器。所述輸入調(diào)度器將公共請(qǐng)求并行地提供給所述至少兩個(gè)重復(fù)子系統(tǒng)。所述校驗(yàn)和生成器根據(jù)所接收的響應(yīng)于所述公共請(qǐng)求的、所述至少兩個(gè)重復(fù)子系統(tǒng)的第一子系統(tǒng)的第一響應(yīng)來生成第一校驗(yàn)和，并且根據(jù)從所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)接收的響應(yīng)于所述公共請(qǐng)求的第二響應(yīng)來生成第二校驗(yàn)和。所述存儲(chǔ)器臨時(shí)存儲(chǔ)所述第一校驗(yàn)和，直到接收到所述第二響應(yīng)。所述校驗(yàn)和檢驗(yàn)器比較所述第一校驗(yàn)和與所述第二校驗(yàn)和，并且如果匹配，則向所述多路復(fù)用控制器輸出匹配控制信號(hào)。響應(yīng)于來自所述校驗(yàn)和檢驗(yàn)器的匹配控制信號(hào)輸出，所述多路復(fù)用控制器僅將所述第一響應(yīng)和所述第二響應(yīng)之一作為對(duì)所述公共請(qǐng)求的響應(yīng)而從所述通信信道行輸出。?

在另一方面，提供了一種檢驗(yàn)子系統(tǒng)響應(yīng)的完整性的系統(tǒng)，包括：第一響應(yīng)接收裝置，用于在通信信道處從至少兩個(gè)重復(fù)子系統(tǒng)的第一子系統(tǒng)接收第一響應(yīng)，所述第一響應(yīng)響應(yīng)于被發(fā)送到所述至少兩個(gè)重復(fù)子系統(tǒng)中每個(gè)子系統(tǒng)的公共請(qǐng)求，并且其中所述至少兩個(gè)重復(fù)子系統(tǒng)向所述通信信道輸出響應(yīng)；第一校驗(yàn)和確定裝置，用于在所述通信信道內(nèi)確定所述第一子系統(tǒng)的第一響應(yīng)的第一校驗(yàn)和；第二響應(yīng)接收裝置，用于在所述通信信道處從響應(yīng)于所述公共請(qǐng)求的所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)接收第二響應(yīng)；第二校驗(yàn)和確定裝置，用于確定所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)的第二響應(yīng)的第二校驗(yàn)和；以及轉(zhuǎn)發(fā)裝置，用于比較所述第一校驗(yàn)和與所述第二校驗(yàn)和，并且如果匹配，則僅將所述第一響應(yīng)和所述第二?響應(yīng)之一作為對(duì)所述公共請(qǐng)求的響應(yīng)而從所述通信信道進(jìn)行轉(zhuǎn)發(fā)。?

在又一方面，提供了計(jì)算機(jī)可讀的至少一個(gè)程序存儲(chǔ)設(shè)備，其有形地含有所述計(jì)算機(jī)可執(zhí)行的指令的至少一個(gè)程序，以便實(shí)現(xiàn)檢驗(yàn)子系統(tǒng)響應(yīng)的完整性的方法。該方法包括：在通信信道處從至少兩個(gè)重復(fù)子系統(tǒng)的第一子系統(tǒng)接收第一響應(yīng)，所述第一響應(yīng)響應(yīng)于被發(fā)送到所述至少兩個(gè)重復(fù)子系統(tǒng)中每個(gè)子系統(tǒng)的公共請(qǐng)求，并且其中所述至少兩個(gè)重復(fù)子系統(tǒng)向所述通信信道輸出響應(yīng)；在所述通信信道內(nèi)確定所述第一子系統(tǒng)的第一響應(yīng)的第一校驗(yàn)和；在所述通信信道處從響應(yīng)于所述公共請(qǐng)求的所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)接收第二響應(yīng)；確定所述至少兩個(gè)重復(fù)子系統(tǒng)的第二子系統(tǒng)的第二響應(yīng)的第二校驗(yàn)和；以及比較所述第一校驗(yàn)和與所述第二校驗(yàn)和，并且如果匹配，則僅將所述第一響應(yīng)和所述第二響應(yīng)之一作為對(duì)所述公共請(qǐng)求的響應(yīng)而從所述通信信道進(jìn)行轉(zhuǎn)發(fā)。?

附圖說明

現(xiàn)在將僅通過例子的方式并參照附圖來描述本發(fā)明的實(shí)施例，其中：?