【手続補正書】
【提出日】平成20年6月13日(2008.6.13)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
第１のコンピューティングデバイスの集合を備える障害許容型分散コンピューティングシステムであって、前記第１の集合中の各コンピューティングデバイスは状態マシンのレプリカを実行し、前記状態マシン上で実行される操作は前記第１の集合のリーダによって提案されるシステムにおいて、それぞれが前記状態マシンのレプリカを実行するコンピューティングデバイスの第２の集合を作成する方法であって、
前記第１の集合中のコンピューティングデバイスによって、前記第２の集合を作成するよう要求すること、
前記第１の集合中の定足数の前記デバイスの間で、前記第２の集合を構成する前記コンピューティングデバイスが所与のステップの後で前記状態マシンを実行することに合意すること、
前記第１の集合の前記リーダによって、前記所与のステップに到達するために前記状態マシンでの十分な数のヌル操作を提案すること
を備えることを特徴とする方法。
【請求項２】
ポリシーに応答して自動的に開始されることを特徴とする請求項１に記載の方法。
【請求項３】
明示的ユーザ要求に応答して開始されることを特徴とする請求項１に記載の方法。
【請求項４】
前記第２の集合中の１つまたは複数のコンピューティングデバイスによって、前記第１の集合中の１つまたは複数のコンピューティングデバイスの確実性を検証すること
をさらに備えることを特徴とする請求項１に記載の方法。
【請求項５】
前記リーダによって提案される操作は、前記第１の集合中の定足数のコンピューティングデバイスが前記提案に同意した場合に限って前記状態マシンによって実行されることを特徴とする請求項１に記載の方法。
【請求項６】
複数の複製されたコンピューティングデバイスを備える障害許容型分散コンピューティングシステムであって、前記複製されたコンピューティングデバイスの第１の集合は、第１のステップシーケンスで状態マシンによって実行される操作を決定し、前記複製されたコンピューティングデバイスの第２の集合は、第２のステップシーケンスで前記状態マシンによって後で実行される操作を決定し、前記第１および第２のシーケンスは互いに排他的であるシステムにおいて、
前記状態マシンのステップにおける操作を実行する実行モジュールと、
前記第１の集合中の他の複製されたコンピューティングデバイスと連係して前記第１のシーケンスでの操作を決定する第１の同意モジュールと
によって実行を円滑化する、第１の複製されたコンピューティングデバイス上での実行のためのコンピュータ実行可能命令を含むことを特徴とするコンピュータ記録可能媒体。
【請求項７】
前記コンピュータ実行可能命令は、
前記第２の集合中の他の複製されたコンピューティングデバイスと連係して前記第２のシーケンスでの操作を決定する第２の同意モジュール
によってさらに実行を円滑化することを特徴とする請求項６に記載のコンピュータ記録可能媒体。
【請求項８】
前記第１の同意モジュールは、前記実行モジュールが前記第１のシーケンスの前記ステップを実行した後に破棄されることを特徴とする請求項６に記載のコンピュータ記録可能媒体。
【請求項９】
前記破棄された第１の同意モジュールは、前記複製されたコンピューティングデバイスの第２の集合に関する情報を維持することを特徴とする請求項８に記載のコンピュータ記録可能媒体。
【請求項１０】
前記実行モジュールは、前記複製されたコンピューティングデバイス上に同意モジュールが残っていない場合に破棄されることを特徴とする請求項８に記載のコンピュータ記録可能媒体。
【請求項１１】
破棄される前に、前記第１の同意モジュールは、前記複製されたコンピューティングデバイスの第２の集合が前記状態マシンによって実行される操作を決定することを保証するために、前記第２の集合中の１つまたは複数の複製されたコンピューティングデバイスにポーリングすることを特徴とする請求項８に記載のコンピュータ記録可能媒体。
【請求項１２】
破棄される前に、前記第１の同意モジュールは、前記第２の集合中の定足数の複製されたコンピューティングデバイスが、安定した記憶に、前記第１のステップシーケンスでの最後の操作の実行の直後の前記状態マシンの状態を記憶していることを保証することを特徴とする請求項１１に記載のコンピュータ記録可能媒体。
【請求項１３】
前記複製されたコンピューティングデバイスの第１の集合はリーダデバイスを含み、前記第１のシーケンスにおける操作は、前記第１の集合中の定足数の複製されたコンピューティングデバイスが前記リーダデバイスによるその操作についての提案に同意した場合に限って、前記状態マシンによって実行されることを特徴とする請求項６に記載のコンピュータ記録可能媒体。
【請求項１４】
複数の複製されたコンピューティングデバイスを備える障害許容型分散コンピューティングシステムであって、前記複製されたコンピューティングデバイスの第１の集合は、第１のステップシーケンスで状態マシンによって実行される操作を決定し、前記複製されたコンピューティングデバイスの第２の集合は、第２のステップシーケンスで前記状態マシンによって実行される操作を決定し、前記第１および第２のシーケンスは互いに排他的であり、前記第１のステップシーケンスは前記第２のステップシーケンスに先行するシステムにおいて、
前記複製されたコンピューティングデバイスに関連する記憶装置上の実行モジュールであって、前記状態マシンの操作を実行する前記実行モジュールと、
前記複製されたコンピューティングデバイスに関連する記憶装置上の第１の同意モジュールであって、前記第１の集合中の他の複製されたコンピューティングデバイスと連係して前記第１のシーケンスでの操作を決定する前記第１の同意モジュールと
を備えることを特徴とするコンピューティングデバイス。
【請求項１５】
前記複製されたコンピューティングデバイスに関連する記憶装置上の第２の同意モジュールであって、前記第２の集合中の他のコンピューティングデバイスと連係して前記第２のシーケンスでの操作を決定する前記第２の同意モジュール
をさらに備えることを特徴とする請求項１４に記載のコンピューティングデバイス。
【請求項１６】
前記実行モジュールは、前記第１の集合によって決定されたステップまでヌル操作を実行し、前記決定されたステップの後で前記第２のシーケンスの操作を実行することを特徴とする請求項１５に記載のコンピューティングデバイス。
【請求項１７】
前記第１の同意モジュールは、前記実行モジュールが前記第１のシーケンスの前記ステップを実行した後に破棄されることを特徴とする請求項１４に記載のコンピューティングデバイス。
【請求項１８】
破棄される前に、前記第１の同意モジュールは、前記複製されたコンピューティングデバイスの第２の集合が前記状態マシンによって実行される操作を決定することを保証するために、前記第２の集合中の１つまたは複数の複製されたコンピューティングデバイスにポーリングすることを特徴とする請求項１７に記載のコンピューティングデバイス。
【請求項１９】
破棄される前に、前記第１の同意モジュールは、前記第２の集合中の定足数の複製されたコンピューティングデバイスが、安定した記憶に、前記第１のステップシーケンスでの最後の操作の実行の直後の前記状態マシンの状態を記憶していることを保証することを特徴とする請求項１８に記載のコンピューティングデバイス。
【請求項２０】
前記破棄された第１の同意モジュールは、前記複製されたコンピューティングデバイスの第２の集合に関する情報を維持することを特徴とする請求項１７に記載のコンピューティングデバイス。
【請求項２１】
前記実行モジュールは、前記複製されたコンピューティングデバイス上に同意モジュールが残っていない場合に破棄されることを特徴とする請求項１７に記載のコンピューティングデバイス。