[發明專利]用于主與輔虛擬機之間的檢查點/傳遞的方法和設備

有效

• 申請號: 201480081838.6
• 申請日: 2014-10-08
• 公開（公告）號: CN107077366B
• 公開（公告）日: 2021-12-03
• 發明（設計）人: 田坤;董耀祖
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F9/455
• 分類號: G06F9/455
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 徐予紅;杜荔南

示例可包括基于輸出分組相似性來確定用于主和輔虛擬機的檢查點/傳遞策略。輸出分組相似性可基于時間間隔的比較，經由所述時間間隔內容對于從主和輔虛擬機所輸出的分組匹配。檢查點/傳遞模式然后可至少部分基于所確定檢查點/傳遞策略來被選擇。

技術領域

本文所描述的示例一般涉及復制運行具有輸出分組(其路由到網絡)的一個或多個應用的虛擬機(VM)。

背景技術

與客戶端計算裝置所耦合的網絡服務器越來越多地布置成支持或托管(一個或多個)虛擬機(VM)，其使多個操作系統和/或應用能夠被單個計算平臺所支持。另外，在對托管VM的服務器期望高可用性時，主VM(PVM)和輔VM(SVM)各可托管在獨立服務器或節點上(例如數據中心內)，并且可復制其狀態。狀態的這個復制可為“不間斷服務”提供應用不可知（agnostic）的軟件實現硬件容錯解決方案。該容錯解決方案可在托管PVM的服務器遭受硬件故障時允許SVM接管(故障轉移)。

鎖步是一種容錯解決方案，其可復制每指令的VM狀態。例如，PVM和SVM對確定性指令并行地運行，但是對非確定性指令鎖步。但是，鎖步在應對多處理器(MP)實現(其中各存儲器存取可能是非確定性的)時可遭受極大開銷。

檢查點是另一種容錯解決方案，其在周期時期(epoch)將PVM狀態復制到SVM。對于檢查點，為了保證成功故障轉移，所有輸出分組可需要被緩沖直到已經完成成功檢查點。始終緩沖直到VM環境中的成功檢查點可導致因輸出分組緩沖的額外網絡等待時間以及因頻繁檢查點(有時稱作被動(passive)檢查點或周期檢查點)的額外開銷。

粗粒度鎖步(COLO)是又一種容錯解決方案，其使PVM和SVM均饋送有來自客戶端的相同請求/數據(輸入)網絡分組。支持COLO的邏輯可以能夠監測PVM和SVM的輸出響應，并且將SVM的狀態看作是PVM狀態的有效復制（只要SVM所生成的網絡響應(輸出)與PVM所生成的網絡響應匹配）。如果給定網絡響應不匹配，則抑制對客戶端的網絡響應的傳輸，直到PVM狀態同步(強制新檢查點)到SVM狀態。因此，COLO可確保容錯系統經由到SVM的故障轉移是高度可用的。這個高可用性可存在，即使非確定性可表示SVM的內部狀態與PVM的內部狀態不同，SVM同樣有效并且從外部觀察者觀點來看對實現COLO的容錯系統保持一致。因此，通過避免處理鎖步中的MP非確定性的復雜度并且降低被動檢查點中的檢查點頻率/開銷，COLO可具有優于純鎖步或檢查點容錯解決方案的優點。COLO可稱作主動檢查點或按需檢查點。

COLO容錯解決方案可利用例如與傳輸控制協議(TCP)棧關聯的那些協議的協議。TCP棧可布置成具有每連接的狀態，并且可以能夠從分組丟失和/或分組重排序進行恢復。COLO可包括使用每TCP連接響應分組比較。如果從PVM所輸出的每個TCP連接的響應分組匹配從SVM所輸出的每個TCP連接的響應分組，則每TCP連接響應分組比較可將SVM狀態看作是有效復制。這個匹配與跨TCP連接的可能分組排序無關。

附圖說明

圖1示出示例第一系統。

圖2示出示例第二系統。

圖3示出示例第一數據庫。

圖4示出示例第一過程。

圖5示出示例第三系統。

圖6示出示例方案。

圖7示出示例第二數據庫。

圖8示出示例第二過程。

圖9示出第一設備的示例框圖。

圖10示出第一邏輯流程的示例。

圖11示出第一存儲介質的示例。

圖12示出第二設備的示例框圖。

圖13示出第二邏輯流程的示例。