JP2015508537A - プライマリ／バックアップ複製スキームにおける同期化のための方法および装置 - Google Patents

Abstract

プライマリ／バックアップ複製機能が開示される。プライマリプロセスおよびバックアッププロセスが、プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスに関与する。この同期化プロセスは、エポックと呼ばれる期間において機能する。現在のエポック中に、プライマリプロセスは、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す状態更新情報を計算する。現在のエポック中に、プライマリプロセスはまた、現在のエポック中に生成された出力メッセージを、現在のエポックにおいて使用するための専用とされている関連付けられている出力バッファ内にバッファリングする。プライマリプロセスは、前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始する。現在のエポックに関してバッファリングされている出力メッセージは、現在のエポックに関する状態更新確認応答をプライマリプロセスが受信して、すべての前のエポックのすべての出力バッファが空になった後に、関連付けられている出力バッファからリリースされる。

Description

本件は一般に、プライマリ／バックアップ複製スキームにおける同期化を提供することに関する。

クラウドコンピューティングは、コンピューティングサービスが提供される方法を変えている。データセンターの機能をフルに利用するために、多くのサービスが、負荷に伴ってスケーリングするように、および障害に対する耐性を有するように設計されている。複数のサービス（たとえば、テレコミュニケーション、ゲーミング等などのインタラクティブなサービス）は、遅延およびジッタなどのネットワークパフォーマンスパラメータに関して相対的に厳しい制限を有している。これらの基準、すなわち、弾力性、フォルトトレランス、およびネットワークパフォーマンスは、多くのさまざまな点で相いれないことがある。プロセスにフォルトトレランスを加えるさまざまなフォルトトレランスメカニズムがあるが、そのようなフォルトトレランスは典型的には、ネットワークオーバーヘッドを招くという犠牲を払って加えられる。そのような１つのフォルトトレランスメカニズムが、プライマリ／バックアップ複製であり、このプライマリ／バックアップ複製においては、プライマリプロセスの障害の後にバックアッププロセスがプライマリプロセスの役割を引き継ぐことができるように、プライマリプロセスの状態がバックアッププロセスの状態と同期化される。しかしながら、不利なことに、メモリおよびディスクの両方のリカバリを可能にするものを含む、多くの既存のプライマリ／バックアップ複製スキームにおいては、プライマリプロセスとバックアッププロセスとの間における定期的な同期化が、少なくとも、プライマリプロセスとバックアッププロセスとの間における往復遅延に等しい遅延を加える。これは、遅延の影響を受けやすいサービスのネットワークパフォーマンスを著しく低下させる。

従来技術におけるさまざまな欠点は、プライマリ／バックアップ複製を提供するための実施形態によって対処される。

少なくともいくつかの実施形態においては、プライマリプロセスおよびバックアッププロセスが、プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスに関与する。この同期化プロセスは、エポックと呼ばれる期間において機能する。それぞれのエポックごとに、エポック中に生成された出力メッセージをバッファリングする際に使用するために、関連付けられている出力バッファが割り当てられる。現在のエポック中に、プライマリプロセスは、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す状態更新情報を計算する。現在のエポック中に、プライマリプロセスはまた、現在のエポック中に生成された出力メッセージを、現在のエポックにおいて使用するための専用とされている関連付けられている出力バッファ内にバッファリングする。プライマリプロセスは、前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始する。現在のエポックに関してバッファリングされている出力メッセージは、現在のエポックに関する状態更新確認応答をプライマリプロセスが受信して、すべての前のエポックのすべての出力バッファが空になった後に、関連付けられている出力バッファからリリースされる。

一実施形態においては、ある装置が、プライマリプロセスとバックアッププロセスとの間において状態を同期化するように構成されている。この装置は、プロセッサと、少なくとも１つのメモリとを含む。少なくとも１つのメモリは、プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスのそれぞれの複数のエポックに関連付けられている複数の出力バッファを保持するように構成されている。プロセッサは、現在のエポック中に、現在のエポックに関して、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す状態更新情報を計算し、現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングするように構成されている。プロセッサはまた、前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始するように構成されている。

一実施形態においては、プライマリプロセスとバックアッププロセスとの間において状態を同期化するための方法が提供される。この方法は、プロセッサおよび少なくとも１つのメモリを使用する。プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポック中に、現在のエポックに関して状態更新情報が計算され、その状態更新情報は、前のエポック以降のプライマリプロセスの状態情報に対する変化を表し、現在のエポック中に生成された出力メッセージが、現在のエポックに関連付けられている出力バッファ内にバッファリングされる。前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックが開始される。

一実施形態においては、コンピュータ可読記録媒体が、コンピュータによって実行されたときに、プライマリプロセスとバックアッププロセスとの間において状態を同期化するための方法をコンピュータに実行させる命令を格納している。プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポック中に、現在のエポックに関して状態更新情報が計算され、その状態更新情報は、前のエポック以降のプライマリプロセスの状態情報に対する変化を表し、現在のエポック中に生成された出力メッセージが、現在のエポックに関連付けられている出力バッファ内にバッファリングされる。前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックが開始される。

本明細書における教示は、添付の図面と併せて以降の詳細な説明を考察することによって容易に理解されることが可能である。

アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームをサポートするように構成されているシステムを示すハイレベルブロック図である。 図１のシステム内のアシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームを示す例示的なオペレーション図である。 図２に関して示され説明されているようなエポックを使用するプライマリ／バックアップ複製を提供するための方法の一実施形態を示す図である。 図２に関して示され説明されているようなエポックに関連付けられている情報を管理することによってプライマリ／バックアップ複製を提供するための方法の一実施形態を示す図である。 本明細書において説明されている機能を実行する際に使用するのに適しているコンピュータを示すハイレベルブロック図である。

理解を容易にする目的で、図どうしに共通している同じ要素を指すために、可能な場合には、同じ参照番号が使用されている。

一般に、プライマリ／バックアップ複製機能が本明細書において示され説明されているが、さまざまなその他の機能が本明細書において提示されることもあるだろう。

主として、チェックポイントベースのプライマリ／バックアップ複製（本明細書においては、アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームとして示されている）を提供するためのプライマリ／バックアップ複製機能の実施形態の使用に関して示され説明されているが、プライマリ／バックアップ複製機能のさまざまな実施形態は、イベントベースのプライマリ／バックアップ複製（たとえば、入力、割り込み等などの非決定性のイベントに基づくプライマリ／バックアップ複製）のためのプライマリ／バックアップ複製を提供するために使用されることも可能であるということに留意されたい。

図１は、アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームをサポートするように構成されているシステムのハイレベルブロック図を示している。

図１において示されているように、システム１００は、プライマリプロセス１１０_Ｐおよびバックアッププロセス１１０_Ｂ（総称して、プロセス１１０）、ならびに関連付けられている環境１２０を含む。図１においてさらに示されているように、プライマリプロセスには、出力バッファモジュール１１２が関連付けられている。

プライマリプロセス１１０_Ｐは、環境１２０と対話するように構成されている。プライマリプロセス１１０_Ｐは、環境１２０から入力メッセージを受信して、それらの受信された入力メッセージを処理するように構成されている。プライマリプロセス１１０_Ｐは、（たとえば、プライマリプロセス１１０_Ｐによって受信される入力メッセージとは無関係なローカル処理に基づいて、および／またはプライマリプロセス１１０_Ｐによって受信される入力メッセージの処理に基づいて）出力メッセージを生成して、それらの出力メッセージを環境１２０に提供するように構成されている。プライマリプロセス１１０_Ｐは、出力バッファモジュール１１２を使用して、それらの生成された出力メッセージをバッファリングするように構成されている。出力バッファモジュール１１２（およびその関連付けられている出力バッファｂ_１−ｂ_ｎ）は、任意の適切な様式で（たとえば、それぞれのバッファごとに別々のキューを使用して、それぞれの出力バッファを区別するためのキューマーカを含む単一のキューを使用して、といった具合に）実装されることが可能である。プライマリプロセス１１０_Ｐは、受信入力メッセージをバッファリングするために１つまたは複数の入力バッファ（明確にする目的で省略されている）を使用するように構成されることも可能である。プライマリプロセス１１０_Ｐと環境１２０との間における通信は、双方向である（これは、出力バッファモジュール１１２をよりよく示すためにプライマリプロセス１１０_Ｐへの入力とプライマリプロセス１１０_Ｐからの出力とに関する２つの異なる通信パスを使用して表されているが、任意の適切な様式で提供されることが可能である）ということに留意されたい。

バックアッププロセス１１０_Ｂは、プライマリプロセス１１０_Ｐをバックアップするように構成されている。バックアッププロセス１１０_Ｂは、プライマリプロセス１１０_Ｐが機能しなくなったときにアクティブプロセスとして機能するように構成されている。バックアッププロセス１１０_Ｂは、アクティブなときには、上述のように、プライマリプロセス１１０_Ｐの様式と同様の様式で機能するように構成されている。バックアッププロセス１１０_Ｂがアクティブであるときには、バックアッププロセス１１０_Ｂと環境１２０との間における通信は、双方向である（これは、バックアッププロセス１１０_Ｂへの入力とバックアッププロセス１１０_Ｂからの出力との両方に関する１つの通信パスを使用して表されているが、任意の適切な様式で提供されることが可能である）ということに留意されたい。

プライマリプロセス１１０_Ｐが機能しなくなったときにバックアッププロセス１１０_Ｂがアクティブプロセスの役割を担うためには、プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとが同期化されることが必要である。したがって、プライマリプロセス１１０_Ｐの状態とマッチするようにバックアッププロセス１１０_Ｂの状態を定期的に同期化するために、チェックポイントベースの同期化が実行される。プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとの間における状態の同期化は、ディスク状態およびメモリ状態の同期化を含む。プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとの間におけるディスク状態およびメモリ状態の両方の整合性を確保するためには、状態情報がそれに基づくネットワーク出力がプライマリプロセス１１０_Ｐによって環境１２０へリリースされることが可能になる前に、プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとが同期化されることが必要であるということに留意されたい。一実施形態においては、アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームを使用して同期化が実行され、そのアシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームは、本明細書においては図２−図４に関連して示され、説明されている。

プロセス１１０は、アプリケーション、クラウドコンピューティング環境における仮想マシン（ＶＭ）等など、プライマリ／バックアップ複製が使用されることが可能である任意の適切なタイプのプロセスを含むことができる。状態情報と、関連付けられている状態情報確認応答とをやり取りする目的でのプロセス１１０どうしの間における通信は、任意の適切な様式で提供されることが可能であるということに留意されたい。たとえば、プロセス１１０どうしの間における通信は、１つのデバイス内の内部通信を介することが可能であり、その場合には、両方のプロセス１１０は、単一の物理デバイス内で（例示としては、プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとの間における破線を使用して）実施される。たとえば、プロセス１１０どうしの間における通信は、通信ネットワークを介することが可能であり、その場合には、プロセス１１０どうしは、別々の物理デバイス上で（例示としては、環境１２０および／またはその他の任意の適切な環境もしくはネットワークを介して）稼働している。明確にする目的で省略されているが、プロセス１１０どうしは、さまざまなプロセッサおよびメモリ（ならびに任意選択で、さまざまなその他のハードウェアおよびソフトウェア）が関連付けられている１つまたは複数の物理マシン上で稼働していることが可能であるということがわかるであろう。

環境１２０は、通信ネットワークまたはその他のタイプの環境など、任意の適切なタイプの環境を含むことができる。明確にする目的で省略されているが、環境１２０は、プライマリプロセス１１０_Ｐ（および、アクティブなときには、バックアッププロセス１１０_Ｂ）がさまざまなタイプのメッセージをやり取りすることができる相手であるさまざまなノードを含むことができるということがわかるであろう。たとえば、プライマリプロセス１１０_Ｐ（および、アクティブなときには、バックアッププロセス１１０_Ｂ）は、環境１２０からさまざまなタイプの入力メッセージを受信して処理することができ、同様に、プライマリプロセス１１０_Ｐ（および、アクティブなときには、バックアッププロセス１１０_Ｂ）は、さまざまなタイプの出力メッセージを生成して環境１２０へ伝搬することができる。

図２は、図１のシステム内のアシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームの例示的なオペレーション図を示している。

図２の例示的なオペレーション図２００において示されているように、プライマリプロセス１１０_Ｐ（Ｐと示されている）およびバックアッププロセス１１０_Ｂ（Ｂと示されている）は、プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとの間において状態を同期化するために対話する。

プライマリプロセス１１０_Ｐは、エポックと示されている期間内で機能する（例示としては、ｉ番目のエポックを示すために、ｅ_ｉが使用される）。

現在のエポックｅ_ｉは、前のエポックｅ_ｉ−１（本明細書においては、先行エポックと呼ばれることも可能である）の終了後の任意の時点で開始され、同様に、新たなエポックｅ_ｉ＋１（本明細書においては、次なるエポックと呼ばれることも可能である）は、現在のエポックｅ_ｉの終了後の任意の時点で開始される。

現在のエポックｅ_ｉ内で、プライマリプロセス１１０_Ｐは、オペレーション（すなわち、プライマリプロセス１１０_Ｐのオペレーション）を実行し、これは、その状態情報に対する変化をもたらす場合がある。プライマリプロセス１１０_Ｐは、バックアッププロセス１１０_Ｂのために状態更新情報を決定する（例示としては、現在のエポックｅ_ｉ中にバックアッププロセス１１０_Ｂのためにプライマリプロセス１１０_Ｐによって計算された現在の状態更新情報を示すために、ｍ_ｉが使用される）。現在のエポックｅ_ｉ中にプライマリプロセス１１０_Ｐによって決定された現在の状態更新情報ｍ_ｉは、前のエポックｅ_ｉ−１中にプライマリプロセス１１０_Ｐによって前の状態更新情報ｍ_ｉ−１が決定されて以降のプライマリプロセス１１０_Ｐの状態に対する変化（ひいては、プライマリプロセス１１０_Ｐの状態と、バックアッププロセス１１０_Ｂの状態との間における相違）を表す。プライマリプロセス１１０_Ｐは、現在のエポックｅ_ｉ中に自分のオペレーションを実行するのと同時に、または現在のエポックｅ_ｉ中に自分のオペレーションを完了した後に、現在の状態更新情報ｍｉを計算することができる。

現在のエポックｅ_ｉ内で、プライマリプロセス１１０_Ｐは、プライマリプロセス１１０_Ｐが機能する環境に提供されることを意図されている出力メッセージを生成することもできる。プライマリプロセス１１０_Ｐは、それらの出力メッセージを任意の適切な様式で生成することができる。たとえば、プライマリプロセス１１０_Ｐは、プライマリプロセス１１０_Ｐにおいて受信されるいかなる入力メッセージとも無関係に実行されるプライマリプロセス１１０_Ｐにおけるローカル処理に基づいて出力メッセージを生成することができる。たとえば、プライマリプロセス１１０_Ｐは、入力メッセージを受信し、それらの入力メッセージを処理し、関連付けられている出力メッセージを作成することができる。入力メッセージの処理および出力メッセージの生成は、プライマリプロセス１１０_Ｐによって実行されるオペレーションの一部であるとみなされることが可能であるということに留意されたい。現在のエポックｅ_ｉ中に生成された出力メッセージは、現在のエポックｅ_ｉの専用とされている関連付けられている出力バッファ内に格納される（例示としては、ｉ番目のエポックに関するｉ番目の出力バッファを示すために、ｂ_ｉが使用される）。

プライマリプロセスは、現在のエポックｅ_ｉの終了後の任意の時点で新たなエポックｅ_ｉ＋１を開始する。次いでプライマリプロセス１１０_Ｐは、新たなエポックｅ_ｉ＋１（プライマリプロセス１１０_Ｐにとっては、これが現在のエポックになっている）の間に自分の機能を実行することを開始することができる。すなわち、プライマリプロセス１１０_Ｐは、自分のオペレーションを実行すること、新たなエポックｅ_ｉ＋１に関する新たな状態更新情報ｍ_ｉ＋１を計算すること、新たなエポックｅ_ｉ＋１中に出力メッセージを生成してバッファリングすることなどが可能である。プライマリプロセス１１０_Ｐは、（１）任意の前のエポックに関する関連付けられている状態更新情報をバックアッププロセス１１０_Ｂが受信して適用したことを示すバックアッププロセス１１０_Ｂからのあらゆる状態更新確認応答を受信すること、（２）現在のエポックｅ_ｉに関する状態更新情報をバックアッププロセス１１０_Ｂへ送信すること、および（３）現在のエポックｅ_ｉに関する状態更新情報をバックアッププロセス１１０_Ｂが受信して適用したことを示すバックアッププロセス１１０_Ｂからの状態更新確認応答を受信することとは無関係に、新たなエポックｅ_ｉ＋１を開始するということに留意されたい。任意の現在のまたは過去の状態更新確認応答を受信することとは無関係に新たなエポックｅ_ｉ＋１を開始して以降、プライマリプロセスは、任意の所与の時点で保留中でありうるエポックの数に関するいかなる制約も伴わずに、新たなエポックを開始して、それらの新たなエポックに関する状態更新情報を引き続き送信することができるということにさらに留意されたい。プライマリプロセス１１０_Ｐは、連続したエポックにわたって、この様式で継続する。

プライマリプロセス１１０_Ｐは、現在のエポックｅ_ｉ中に決定された現在の状態更新情報をバックアッププロセス１１０_Ｂへ送信する（例示としては、プライマリプロセス１１０_Ｐからバックアッププロセス１１０_Ｂへ送信される現在の状態更新情報を示すために、ｍ_ｉが使用される）。プライマリプロセス１１０_Ｐは、次なるエポックｅ_ｉ＋１の初期化とは無関係に、現在のエポックｅ_ｉに関する現在の状態更新情報ｍｉをバックアッププロセス１１０_Ｂへ送信することができる。一実施形態においては、たとえば、プライマリプロセス１１０_Ｐは、現在のエポックｅ_ｉ中に現在のエポックｅ_ｉに関する現在の状態更新情報ｍ_ｉをバックアッププロセス１１０_Ｂへ送信することができる（たとえば、その場合には、現在の状態更新情報ｍ_ｉは、現在のエポックｅ_ｉ中にプライマリプロセス１１０_Ｐによってバックアッププロセス１１０_Ｂへと押し出されるが、必ずしも現在のエポックｅ_ｉ中にバックアッププロセス１１０_Ｐによって受信されるとは限らない）。一実施形態においては、たとえば、プライマリプロセス１１０_Ｐは、次なるエポックｅ_ｉ＋１中に現在のエポックｅ_ｉに関する現在の状態更新情報ｍ_ｉをバックアッププロセス１１０_Ｂへ送信することができる（たとえば、その場合には、現在の状態更新情報ｍ_ｉは、現在のエポックｅ_ｉが終了した後に、プライマリプロセス１１０_Ｐによってバックアッププロセス１１０_Ｂへと押し出される）。このような実施形態の組合せがサポートされることも可能である（たとえば、その場合には、現在のエポックｅ_ｉの終了、および次なるエポックｅ_ｉ＋１の開始の両方の最中に、現在の状態更新情報ｍ_ｉをプライマリプロセス１１０_Ｐによってバックアッププロセス１１０_Ｂへと押し出すことが行われる）ということに留意されたい。状態更新情報は、任意の適切な様式で（たとえば、任意の適切な通信メディアを介して送信される１つまたは複数のメッセージを使用して）プライマリプロセス１１０_Ｐからバックアッププロセス１１０_Ｂへ送信されることが可能である。

バックアッププロセス１１０_Ｂは、プライマリプロセス１１０_Ｐのエポックとは無関係に、エポックｅ_ｉに関するプライマリプロセス１１０_Ｐによって送信された状態更新情報ｍ_ｉを受信し、プライマリプロセス１１０_Ｐから受信された状態更新情報ｍ_ｉに基づいて自分の状態情報を更新し、関連付けられている状態更新確認応答をプライマリプロセス１１０_Ｐへ送信する（例示としては、エポックｅ_ｉの状態更新情報ｍ_ｉに対応してバックアッププロセス１１０_Ｂからプライマリプロセス１１０_Ｐへ送信される状態更新確認応答を示すために、ａ_ｉが使用される）。状態更新確認応答は、任意の適切な様式で（たとえば、任意の適切な通信メディアを介して送信される任意の適切なタイプのメッセージを使用して）バックアッププロセス１１０_Ｂからプライマリプロセス１１０_Ｐへ送信されることが可能である。プライマリプロセス１１０_Ｐは、（１）エポックｅ_ｉに関するバックアッププロセス１１０_Ｂからの状態更新確認応答ａ_ｉを受信した後に、および（２）エポックｅ_ｉよりも前のすべてのエポックに関するすべての出力メッセージが、それらの関連付けられている出力バッファから環境１２０へリリースされた後に、エポックｅ_ｉの出力バッファｂ_ｉから出力メッセージをリリースする。

出力メッセージがエポックｅ_ｉの出力バッファｂ_ｉから環境１２０へリリースされた時点で、プライマリプロセス１１０_Ｐは、もはやエポックｅ_ｉ内で機能していないが、出力メッセージがエポックｅ_ｉの出力バッファｂ_ｉから環境１２０へリリースされるまで、エポックｅ_ｉは、プライマリプロセス１１０_Ｐにおいては依然として保留中であるとみなされるということに留意されたい。したがって、上述のように、プライマリプロセス１１０_Ｐは、エポックｅ_ｉの出力メッセージがエポックｅ_ｉの出力バッファｂ_ｉから環境１２０へリリースされることが可能である状況をモニタするように（たとえば、エポックｅ_ｉに関するバックアッププロセス１１０_Ｂからの状態更新確認応答ａ_ｉが受信されていないかモニタするように、およびエポックｅ_ｉよりも前のすべてのエポックに関するすべての出力メッセージが、それらの関連付けられている出力バッファから環境１２０へいつリリースされたかを検知するために前のエポックの出力バッファの現在のステータスをモニタするように構成されている。

バッファｂ_ｉは、エポックｅ_ｉ中に生成された出力メッセージを格納するために、それぞれのエポックｅ_ｉごとにインスタンス化されており、同様に、エポックｅ_ｉのバッファｂ_ｉは、出力メッセージがバッファｂ_ｉからリリースされた後に終了される。したがって、それぞれのバッファは、特定の長さの時間にわたって（すなわち、その関連付けられているエポックの開始から、その関連付けられているエポックの出力バッファから出力メッセージがリリースされるまで）存在し、任意の所与の時点で特定の数のバッファのみが存在することになる。

上述のように、それぞれのバッファは、特定の長さの時間にわたって存在し、ひいては、保留中のバッファの数に関する限界は、次のように計算されることが可能である。第１に、ｅ_ｉが現在のエポックであるときに、またはプライマリプロセス１１０_Ｐが、まだバックアッププロセス１１０_Ｂからの状態更新確認応答ａ_ｉを待っているときに、エポックｅ_ｉが保留中であるとみなされる場合には、１つのバッファｂは、保留中のエポックｅごとに存在しなければならないということに留意されたい。第２に、エポックｅ_ｉの終了と、プライマリプロセス１１０_Ｐが、関連付けられている状態更新確認応答ａ_ｉをバックアッププロセス１１０_Ｂから受信する時点との間における時間をＴと表す（これは、大まかには、プライマリプロセス１１０_Ｐとバックアッププロセス１１０_Ｂとの間における往復時間と考えられることが可能である）。第３に、｜エポック｜で、エポックの長さ（時間）を表す。ｋが（ｋ−１）｜エポック｜≧Ｔを満たす場合には、最大でｋ個の保留中のエポックが存在することになり、したがって、ｋ個のバッファで十分であろう。したがって、アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームは、ＡＰＣ_ｎという表記を使用して表されることが可能であり、この場合、ｎは、確認応答されていないチェックポイントの数を表す（ｎ＝ｋ−１）。

アシンクロナスパイプラインドチェックポインティングプライマリ／バックアップ複製スキームのオペレーションは、図２の例示的なオペレーション図２００のさらに具体的な考察を介して、よりよく理解されることが可能である。

図２のエポックｅ_１の説明が、以降に続く。エポックｅ_１において生成された出力メッセージは、エポックｅ_１に関連付けられているバッファｂ_１内にバッファリングされる。エポックｅ_１の完了時に、プライマリプロセス１１０_Ｐは、状態更新情報ｍ_１をバックアッププロセス１１０_Ｂへ送信する（この状態更新情報ｍ_１は、伝搬遅延に起因して、第３のエポックｅ_３の終了付近までバックアッププロセス１１０_Ｂにおいては受信されない）。バックアッププロセス１１０_Ｂは、その状態更新情報を処理し、これは、第３のエポックｅ_３の終了付近から、第４のエポックｅ_４の開始付近までに行われる。バックアッププロセス１１０_Ｂは、状態更新確認応答ａ_１をプライマリプロセス１１０_Ｐへ送信する（この状態更新確認応答ａ_１は、伝搬遅延に起因して、第６のエポックｅ_６の開始付近までプライマリプロセス１１０_Ｐにおいては受信されない）。次いで、エポックｅ_１中にバッファｂ_１内にバッファリングされた出力メッセージは、第６のエポックｅ_６中に状態更新確認応答ａ_１が受信されたときに（前のエポックのバッファが空にされていると想定して）環境１２０へリリースされる。この時点で、第１のエポックｅ_１は、プライマリプロセス１１０_Ｐに関して、もはや保留中ではなくなる。

図２のエポックｅ_２の説明が、以降に続く。エポックｅ_２において生成された出力メッセージは、エポックｅ_２に関連付けられているバッファｂ_２内にバッファリングされる。エポックｅ_２の完了時に、プライマリプロセス１１０_Ｐは、状態更新情報ｍ_２をバックアッププロセス１１０_Ｂへ送信する（この状態更新情報ｍ_２は、伝搬遅延に起因して、第４のエポックｅ_４の終了付近までバックアッププロセス１１０_Ｂにおいては受信されない）。バックアッププロセス１１０_Ｂは、その状態更新情報を処理し、これは、第４のエポックｅ_４の終了付近から、第５のエポックｅ_５の開始付近までに行われる。バックアッププロセス１１０_Ｂは、状態更新確認応答ａ_２をプライマリプロセス１１０_Ｐへ送信する（この状態更新確認応答ａ_２は、伝搬遅延に起因して、第７のエポックｅ_７の開始付近までプライマリプロセス１１０_Ｐにおいては受信されない）。次いで、エポックｅ_２中にバッファｂ_２内にバッファリングされた出力メッセージは、第７のエポックｅ_７中に状態更新確認応答ａ_２が受信されたときに（前のエポックのバッファが空にされていると想定して）環境１２０へリリースされる。この時点で、第２のエポックｅ_２は、プライマリプロセス１１０_Ｐに関して、もはや保留中ではなくなる。第２のエポックｅ_２からは、次なるエポック（第３のエポックｅ_３）の開始は、任意の前のエポック（すなわち、エポックｅ_０、ｅ_１、およびｅ２）に関する関連付けられている状態更新情報をバックアッププロセス１１０_Ｂが受信して適用したことを示すバックアッププロセス１１０_Ｂからのあらゆる状態更新確認応答を受信することとは無関係であると見られることが可能である。なぜなら、エポックｅ_１の状態更新確認応答ａ_１およびエポックｅ_２の更新確認応答ａ_２がプライマリプロセス１１０_Ｐによって受信される前に、第３のエポックｅ_３が開始されるためである。

図３は、図２に関して示され説明されているようなエポックを使用するプライマリ／バックアップ複製を提供するための方法の一実施形態を示している。

ステップ３１０において、方法３００が開始する。

ステップ３２０において、エポックｅ_ｉが初期化される。エポックｅ_ｉは、エポックｅ_ｉのために割り当てられている関連付けられているバッファｂ_ｉを有している。

ステップ３３０において、プライマリプロセスが、エポックｅ_ｉ中に機能を実行する。プライマリプロセスは、オペレーション（そのうちの少なくともいくつかは、プライマリプロセスの状態情報に対する変化をもたらす場合がある）を実行し、エポックｅ_ｉに関する状態更新情報を計算し、生成された出力メッセージを、エポックｅ_ｉに関連付けられているバッファｂ_ｉ内にバッファリングする。これらの機能は、エポックｅ_ｉ内の任意の適切な時点で実行されることが可能である（たとえば、状態更新情報は、オペレーションが実行されるのと同時に、および／またはその後で計算されることが可能であり、出力メッセージは、エポックｅ_ｉの全体を通じて任意の時点で生成されバッファリングされることが可能であるなど、ならびにそれらのさまざまな組合せが可能である）ということに留意されたい。

ステップ３４０において、方法３００は、エポックｅ_ｉが完了しているかどうかを決定する。エポックｅ_ｉは、エポックｅ_ｉに関する状態更新情報が決定された後の任意の時点で完了しているとみなされることが可能である。エポックｅ_ｉが完了していない場合には、方法３００は、ステップ３３０へ戻る（すなわち、プライマリプロセスは、機能（たとえば、エポックｅ_ｉに関する状態更新情報を決定すること、生成された出力メッセージを、エポックｅ_ｉに関連付けられているバッファｂ_ｉ内にバッファリングすることなど）のうちのいくつかまたはすべてを引き続き実行する）。エポックｅ_ｉが完了している場合には、方法３００は、（１）ステップ３２０へ戻って次なるエポック（ｉ＝ｉ＋１）を開始し、（２）ステップ３５０へ進む。次なるエポックｅ_ｉ＋１が開始されるが、エポックｅ_ｉ中に生成された出力メッセージが環境へリリースされることが可能になるまでそれらの出力メッセージをバッファリングする目的でエポックｅ_ｉは保留中のままであるということに留意されたい。

ステップ３５０において、プライマリプロセスは、エポックｅ_ｉに関連付けられている情報の管理を開始する。これは、状態更新情報をバックアッププロセスへ送信すること、およびエポックｅ_ｉに関連付けられているバッファｂ_ｉ内にバッファリングされている出力メッセージのリリースをコントロールするためのアクションを実行することを含むことができる。エポックｅ_ｉに関連付けられている情報を管理するための例示的なプロセスは、本明細書においては図４に関連して示され、説明されている。

図３においては、方法３００は、ステップ３４０から、方法３００が（次なるエポックｅ_ｉ＋１の初期化のために）ステップ３２０へ戻り、また（エポックｅ_ｉに関連付けられている情報の管理のために）ステップ３５０へ進むように構成されている。これは、ステップ３２０−３４０のそれぞれの実行ごとにステップ３５０の別々の実行が存在することになるということを示している。したがって、任意の所与の時点で、エポックｅ_ｉに関するステップ３２０−３４０の現在の実行と、エポックｅ_ｉに関するステップ３２０−３４０の実行の時点でまだ保留中である１つまたは複数の前のエポックに関するステップ３５０の１つまたは複数の同時の実行とが存在することになる。

図４は、図２に関して示され説明されているようなエポックに関連付けられている情報を管理することによってプライマリ／バックアップ複製を提供するための方法の一実施形態を示している。

上述のように、図４の方法４００は、図３の方法３００によって初期化されたそれぞれのエポックｅ_ｉごとに図３の方法３００のステップ３５０として使用するのに適している。

ステップ４１０において、方法４００が開始する。この時点で、エポックｅ_ｉに関する状態更新情報が、プライマリプロセスによって（たとえば、図３の方法３００のステップ３２０−３４０を使用して）計算されていると想定される。

ステップ４２０において、プライマリプロセスは、エポックｅ_ｉに関する状態更新情報をバックアッププロセスへ送信する。

ステップ４３０において、プライマリプロセスは、エポックｅ_ｉに関する状態更新確認応答がバックアッププロセスから受信されていないかモニタする。

ステップ４４０において、プライマリプロセスは、エポックｅ_ｉの状態更新確認応答が受信されているかどうかを決定する。エポックｅ_ｉの状態更新確認応答が受信されていない場合には、方法４００は、ステップ４３０へ戻る（すなわち、プライマリプロセスは、エポックｅ_ｉに関する状態更新確認応答が受信されていないか引き続きモニタする）。エポックｅ_ｉの状態更新確認応答が受信されている場合には、方法４００は、ステップ４５０へ進む。

ステップ４５０において、プライマリプロセスは、すべての前のエポックのすべての出力メッセージが環境へリリースされているかどうかを決定する。すべての前のエポックのすべての出力メッセージが環境へリリースされているわけではない場合には、方法４００は、ステップ４５０に留まる（すなわち、プライマリプロセスは、エポックｅ_ｉのバッファｂ_ｉの出力メッセージに関して処理を進める前に、すべての前のエポックのすべての出力メッセージが環境へリリースされるまで待つ）。すべての前のエポックのすべての出力メッセージが環境へリリースされている場合には、方法４００は、ステップ４６０へ進む。

ステップ４６０において、プライマリプロセスは、エポックｅ_ｉのバッファｂ_ｉの出力メッセージを環境へリリースする。

ステップ４７０において、方法４００は終了する。図３に関連して述べたように、図４の方法４００は、図３の方法３００によって初期化されたそれぞれのエポックごとに繰り返される。したがって、任意の所与の時点で、方法４００の複数の実行が、互いと、ならびに図３の方法３００の実行と同時にアクティブになることが予想される。

上述したように、図３の方法３００および図４の方法４００は、エポックｅ_ｉが完了して新たなエポックｅ_ｉ＋１が開始された後にエポックｅ_ｉに関する状態更新情報がプライマリプロセスからバックアッププロセスへ送信される一実施形態に関連して示され説明されているが、エポックｅ_ｉに関する状態更新情報は、その他の任意の適切な時点で（たとえば、（示されていないが）ステップ３３０の一部としてエポックｅ_ｉ内で、（図４において示されているように）ステップ３５０の一部としてエポックｅ_ｉの後に、またはそれらの組合せで）プライマリプロセスからバックアッププロセスへ送信されることが可能であるということに留意されたい。

本明細書においては、主として、プライマリ要素およびバックアップ要素がプロセスであるプライマリ／バックアップ複製スキームにおける同期化を提供することに関連して示され説明されているが、本明細書において示され説明されているさまざまな実施形態は、その他のタイプのプライマリ要素およびバックアップ要素に関するプライマリ／バックアップ複製スキームにおける同期化を提供するために（たとえば、プライマリデバイスとバックアップデバイスとの（たとえば、ネットワークのノードどうしの、またはその他の適切なタイプのデバイスどうしの）間における同期化のために、プライマリアプリケーションとバックアップアプリケーションとの間における同期化のためになど）使用されることが可能であるということがわかるであろう。

図５は、本明細書において説明されている機能を実行する際に使用するのに適しているコンピュータのハイレベルブロック図を示している。

図５において示されているように、コンピュータ５００は、プロセッサ要素５０２（たとえば、中央処理装置（ＣＰＵ）および／またはその他の適切な（１つもしくは複数の）プロセッサ）、ならびにメモリ５０４（たとえば、ランダムアクセスメモリ（ＲＡＭ）、読み取り専用メモリ（ＲＯＭ）など）を含む。コンピュータ５００はまた、協同モジュール／プロセス５０５、ならびに／またはさまざまな入力／出力デバイス５０６（たとえば、ユーザ入力デバイス（キーボード、キーパッド、マウスなど）、ユーザ出力デバイス（ディスプレイ、スピーカーなど）、入力ポート、出力ポート、受信機、送信機、およびストレージデバイス（たとえば、テープドライブ、フロッピー（登録商標）ドライブ、ハードディスクドライブ、コンパクトディスクドライブなど））を含むことができる。

本明細書において示され説明されている機能は、ソフトウェアにおいて（たとえば、１つもしくは複数のプロセッサ上でのソフトウェアの実施を介して）実施されることが可能であり、ならびに／またはハードウェアにおいて（たとえば、汎用コンピュータ、１つもしくは複数の特定用途向け集積回路（ＡＳＩＣ）、および／もしくはその他の任意のハードウェア均等物を使用して）実施されることが可能であるということがわかるであろう。

本明細書において示され説明されている機能は、（たとえば、専用コンピュータを実装する目的で汎用コンピュータ上で実行するために（たとえば、１つもしくは複数のプロセッサによる実行を介して））ソフトウェアにおいて実施されることが可能であり、ならびに／またはハードウェアにおいて（たとえば、１つもしくは複数の特定用途向け集積回路（ＡＳＩＣ）、および／または１つもしくは複数のその他のハードウェア均等物を使用して）実施されることが可能であるということがわかるであろう。

一実施形態においては、協同プロセス５０５は、本明細書において論じられている機能を実施するために、メモリ４０４内にロードされて、プロセッサ５０２によって実行されることが可能である。したがって、協同プロセス５０５（関連付けられているデータ構造を含む）は、コンピュータ可読記録媒体、たとえば、ＲＡＭメモリ、磁気または光学ドライブまたはディスケットなどに格納されることが可能である。

図５において示されているコンピュータ５００は、本明細書において説明されている機能要素、および／または本明細書において説明されている機能要素の一部を実施するのに適している一般的なアーキテクチャおよび機能性を提供するということがわかるであろう。たとえば、コンピュータ５００は、プライマリプロセス１１０_Ｐ、プライマリプロセス１１０_Ｐをホストするように構成されているデバイス、バックアッププロセス１１０_Ｂ、バックアッププロセス１１０_Ｂをホストするように構成されているデバイス、環境１２０のデバイスなどのうちの１つまたは複数を実施するのに適している一般的なアーキテクチャおよび機能性を提供する。

本明細書においてソフトウェア方法として論じられているステップのうちのいくつかは、ハードウェア内に、たとえば、さまざまな方法ステップを実行するためにプロセッサと協同する回路として実装されることが可能であると考えられる。本明細書において説明されている機能／要素の一部は、コンピュータプログラム製品として実装されることが可能であり、その場合には、コンピュータ命令が、コンピュータによって処理されたときに、本明細書において説明されている方法および／または技術が呼び出されるかまたはその他の形で提供されるように、そのコンピュータのオペレーションを適合させる。本発明の方法を呼び出すための命令は、固定式のメディアもしくは取り外し可能なメディア内に格納されること、ブロードキャストメディアもしくはその他の信号搬送メディア内に含めてデータストリームを介して伝送されること、および／またはそれらの命令に従って機能するコンピューティングデバイス内のメモリ内に記憶されることが可能である。

さまざまな実施形態の態様が、特許請求の範囲において明記されている。さまざまな実施形態のそれらおよびその他の態様は、下記の番号付けされた条項において明記されている：

１． プライマリプロセスとバックアッププロセスとの間において状態を同期化するための装置であって、
プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスのそれぞれの複数のエポックに関連付けられている複数の出力バッファを保持するように構成されている少なくとも１つのメモリと、
現在のエポック中に、
現在のエポックに関して、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す状態更新情報を計算し、
現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングし、
前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始する
ように構成されているプロセッサとを含む、装置。

２． プロセッサが、
現在のエポック中に、入力メッセージを受信し、出力メッセージの少なくとも一部分を生成するために入力メッセージを処理するように構成されている、第１条に記載の装置。

３． プロセッサが、
現在のエポック中に、出力メッセージの少なくとも一部分を生成するためにローカル処理を実行するように構成されている、第１条に記載の装置。

４． プロセッサが、
状態更新確認応答が現在のエポックに関してバックアッププロセスから受信され、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされている場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするように構成されている、第１条に記載の装置。

５． プロセッサが、出力メッセージを、出力バッファから、プライマリプロセスおよびバックアッププロセスに関連付けられている環境へリリースするように構成されている、第４条に記載の装置。

６． 環境が、通信ネットワークと、プライマリプロセスと通信するように構成されている少なくとも１つのその他のプロセスとを含む、第５条に記載の装置。

７． プロセッサが、
現在のエポックに関連付けられている状態更新情報がバックアッププロセスによって受信され処理された旨のバックアッププロセスからの確認応答をモニタするように構成されている、第１条に記載の装置。

８． プロセッサが、
確認応答が受信された場合には、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているかどうかを特定するように構成されている、第７条に記載の装置。

９． プロセッサが、
すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているわけではないという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするのを遅らせるように構成されている、第８条に記載の装置。

１０． プロセッサが、
すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするように構成されている、第８条に記載の装置。

１１． プライマリプロセスとバックアッププロセスとの間において状態を同期化するための方法であって、
プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポックに関する状態更新情報を計算するステップであり、状態更新情報が、現在のエポック中に計算され、状態更新情報が、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す、計算するステップと、
現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングするステップであり、出力メッセージが、現在のエポック中にバッファリングされる、バッファリングするステップと、
前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始するステップと
のためにプロセッサおよび少なくとも１つのメモリを使用するステップを含む、方法。

１２． 現在のエポック中に、入力メッセージを受信し、出力メッセージの少なくとも一部分を生成するために入力メッセージを処理するステップ
をさらに含む、第１１条に記載の方法。

１３． 現在のエポック中に、出力メッセージの少なくとも一部分を生成するためにローカル処理を実行するステップ
をさらに含む、第１１条に記載の方法。

１４． 状態更新確認応答が現在のエポックに関してバックアッププロセスから受信され、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされている場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするステップ
をさらに含む、第１１条に記載の方法。

１５． 出力メッセージが、出力バッファから、プライマリプロセスおよびバックアッププロセスに関連付けられている環境へリリースされる、第１４条に記載の方法。

１６． 環境が、通信ネットワークと、プライマリプロセスと通信するように構成されている少なくとも１つのその他のプロセスとを含む、第１５条に記載の方法。

１７． 現在のエポックに関連付けられている状態更新情報がバックアッププロセスによって受信され処理された旨のバックアッププロセスからの確認応答をモニタするステップ
をさらに含む、第１１条に記載の方法。

１８． 確認応答が受信された場合には、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているかどうかを決定するステップ
をさらに含む、第１７条に記載の方法。

１９． すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているわけではないという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするのを遅らせるステップ
をさらに含む、第１８条に記載の方法。

２０． すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするステップ
をさらに含む、第１８条に記載の方法。

２１． コンピュータによって実行されたときに、プライマリプロセスとバックアッププロセスとの間における同期化のための方法をコンピュータに実行させる命令を格納しているコンピュータ可読記録媒体であって、その方法が、
プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポックに関する状態更新情報を計算するステップであり、状態更新情報が、現在のエポック中に計算され、状態更新情報が、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す、計算するステップと、
現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングするステップであり、出力メッセージが、現在のエポック中にバッファリングされる、バッファリングするステップと、
前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始するステップとを含む、コンピュータ可読記録媒体。

本明細書においては、本発明の教示を組み込むさまざまな実施形態が示され、詳細に説 明されているが、当業者なら、依然としてそれらの教示を組み込むその他の多くの変更された実施形態を容易に考案することができる。

Claims (10)

1. プライマリプロセスとバックアッププロセスとの間において状態を同期化するための装置であって、
   プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスのそれぞれの複数のエポックに関連付けられている複数の出力バッファを保持するように構成されている少なくとも１つのメモリと、
   現在のエポック中に、
   現在のエポックに関して、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す状態更新情報を計算し、
   現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングし、
   前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始する
   ように構成されているプロセッサとを含む、装置。
2. プロセッサが、
   現在のエポック中に、入力メッセージを受信し、出力メッセージの少なくとも一部分を生成するために入力メッセージを処理するように構成されている、請求項１に記載の装置。
3. プロセッサが、
   現在のエポック中に、出力メッセージの少なくとも一部分を生成するためにローカル処理を実行するように構成されている、請求項１に記載の装置。
4. プロセッサが、
   状態更新確認応答が現在のエポックに関してバックアッププロセスから受信され、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされている場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするように構成されている、請求項１に記載の装置。
5. プロセッサが、出力メッセージを、出力バッファから、プライマリプロセスおよびバックアッププロセスに関連付けられている環境へリリースするように構成されている、請求項４に記載の装置。
6. プロセッサが、
   現在のエポックに関連付けられている状態更新情報がバックアッププロセスによって受信され処理された旨のバックアッププロセスからの確認応答をモニタするように構成されている、請求項１に記載の装置。
7. プロセッサが、
   確認応答が受信された場合には、すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているかどうかを決定するように構成されている、請求項６に記載の装置。
8. プロセッサが、
   すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているわけではないという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするのを遅らせ、
   すべての前のエポックの出力メッセージがそれらのそれぞれの出力バッファからリリースされているという決定が行われた場合には、現在のエポックに関連付けられている出力バッファから出力メッセージをリリースするように構成されている、請求項７に記載の装置。
9. プライマリプロセスとバックアッププロセスとの間において状態を同期化するための方法であって、
   プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポックに関する状態更新情報を計算するステップであり、状態更新情報が、現在のエポック中に計算され、状態更新情報が、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す、計算するステップと、
   現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングするステップであり、出力メッセージが、現在のエポック中にバッファリングされる、バッファリングするステップと、
   前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始するステップと
   のためにプロセッサおよび少なくとも１つのメモリを使用するステップを含む、方法。
10. コンピュータによって実行されたときに、プライマリプロセスとバックアッププロセスとの間における同期化のための方法をコンピュータに実行させる命令を格納しているコンピュータ可読記録媒体であって、その方法が、
    プライマリプロセスの状態情報をバックアッププロセスの状態情報と同期化するように構成されている同期化プロセスの現在のエポックに関する状態更新情報を計算するステップであり、状態更新情報が、現在のエポック中に計算され、状態更新情報が、前のエポック以降のプライマリプロセスの状態情報に対する変化を表す、計算するステップと、
    現在のエポック中に生成された出力メッセージを、現在のエポックに関連付けられている出力バッファ内にバッファリングするステップであり、出力メッセージが、現在のエポック中にバッファリングされる、バッファリングするステップと、
    前のエポック中にプライマリプロセスによって決定された状態更新情報がバックアッププロセスによって受信されたことを確認して応答する前のエポックに関する状態更新確認応答をバックアッププロセスから受信することとは無関係に新たなエポックを開始するステップとを含む、コンピュータ可読記録媒体。

Images