【手続補正書】
【提出日】令和1年5月29日(2019.5.29)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
プロセッサが仮想マシン（ＶＭ）を実行している間にＶＭの状態を定義するためのレジスタを実装する前記プロセッサ上で動作する前記ＶＭの終了条件を検出することであって、前記終了条件は、前記ＶＭが前記プロセッサ上での実行から削除され、前記プロセッサの制御が前記ＶＭのハイパーバイザに戻されることを示す、ことと、
前記終了条件を検出したことに応じて、前記レジスタの内容を、前記ＶＭの前記ハイパーバイザがアクセスできない第１のデータ構造に記憶することと、
前記終了条件を検出したことに応じて及び前記終了条件が非自動終了であることに応じて、前記終了条件を前記ＶＭに認識させることを要求する例外ハンドラを、前記ＶＭを用いてインスタンス化することであって、前記例外ハンドラは、前記レジスタのサブセットを選択するように構成されている、ことと、
前記例外ハンドラによって、前記レジスタのサブセットの内容を前記ハイパーバイザに選択的に公開することと、
前記レジスタのサブセットの内容を前記ハイパーバイザに公開したことに応じて、前記例外ハンドラによって、前記プロセッサ上での実行から前記ＶＭを削除するための終了プロセスを開始するための終了コマンドを発行することと、を含む、
方法。
【請求項２】
前記レジスタの内容を前記第１のデータ構造に記憶することは、前記レジスタの内容を、前記ハイパーバイザがアクセスできないメモリ位置に記憶することを含む、請求項１に記載の方法。
【請求項３】
前記レジスタの内容を前記第１のデータ構造に記憶することは、前記レジスタの内容を前記第１のデータ構造に記憶する前に、ハードウェア暗号化モジュールを使用して前記レジスタの内容を暗号化することを含む、請求項１に記載の方法。
【請求項４】
前記レジスタのサブセットの内容を選択的に公開することは、前記レジスタのサブセットの内容を、前記ハイパーバイザに見える第２のデータ構造に記憶することを含む、請求項１に記載の方法。
【請求項５】
前記終了条件が、前記終了条件を前記ＶＭに認識させる必要のない自動終了であることに応じて、前記例外ハンドラをインスタンス化しないことをさらに含む、請求項４に記載の方法。
【請求項６】
前記ハイパーバイザに公開された前記第２のデータ構造内の前記レジスタのサブセットの内容に基づいて、前記ＶＭの前記終了プロセスを完了することをさらに含む、請求項５に記載の方法。
【請求項７】
前記ＶＭの前記終了プロセスを完了することは、前記第２のデータ構造内の前記レジスタのサブセットの内容のうち少なくとも１つを変更することを含む、請求項６に記載の方法。
【請求項８】
前記終了プロセスを完了した後に前記プロセッサ上で前記ＶＭの実行を開始することに応じて、前記レジスタの内容を前記第１のデータ構造からロードすることと、
前記第２のデータ構造内の前記レジスタのサブセットの内容のうち変更された少なくとも１つに対応するように、前記レジスタ内の少なくとも１つの値を変更することと、をさらに含む、請求項７に記載の方法。
【請求項９】
前記レジスタの内容を前記第１のデータ構造からロードすることは、前記第１のデータ構造内の前記レジスタの内容に基づいて計算されたチェックサムが、事前に記憶されたチェックサムと一致することに応じて、前記レジスタの内容を前記第１のデータ構造からロードすることを含む、請求項８に記載の方法。
【請求項１０】
プロセッサであって、仮想マシン（ＶＭ）が前記プロセッサ上で実行されている間に前記ＶＭの状態を定義するためのレジスタを実装するプロセッサを備え、
前記プロセッサは、前記ＶＭの終了条件であって、前記ＶＭが前記プロセッサ上での実行から削除され、前記プロセッサの制御が前記ＶＭのハイパーバイザに戻されることを示す終了条件を検出し、前記プロセッサは、前記終了条件を検出したことに応じて、前記レジスタの内容を、前記ＶＭの前記ハイパーバイザがアクセスできない第１のデータ構造に記憶し、前記ＶＭは、前記終了条件を検出したことに応じて及び前記終了条件が非自動終了であることに応じて、前記終了条件を前記ＶＭに認識させることを要求する例外ハンドラをインスタンス化し、前記例外ハンドラは、前記レジスタのサブセットを選択するように構成されており、前記例外ハンドラは、前記レジスタのサブセットの内容を前記ハイパーバイザに選択的に公開するように構成されており、前記例外ハンドラは、前記レジスタのサブセットの内容を前記ハイパーバイザに公開したことに応じて、前記プロセッサ上での実行から前記ＶＭを削除するための終了プロセスを開始するための終了コマンドを発行するように構成されている、
装置。
【請求項１１】
前記プロセッサは、前記レジスタの内容を、前記ハイパーバイザがアクセスできない位置に記憶する、請求項１０に記載の装置。
【請求項１２】
前記レジスタの内容を前記第１のデータ構造に記憶する前に前記レジスタの内容を暗号化するハードウェア暗号化モジュールをさらに備える、請求項１０に記載の装置。
【請求項１３】
前記ＶＭは、前記レジスタのサブセットの内容を、前記ハイパーバイザに見える第２のデータ構造に記憶することによって、前記レジスタのサブセットの内容を選択的に公開する、請求項１０に記載の装置。
【請求項１４】
前記ＶＭは、前記終了条件が、前記終了条件を前記ＶＭに認識させる必要のない自動終了であることに応じて、前記例外ハンドラをインスタンス化しない、請求項１３に記載の装置。
【請求項１５】
前記ハイパーバイザは、前記ハイパーバイザに公開された前記第２のデータ構造内の前記レジスタのサブセットの内容に基づいて、前記ＶＭの前記終了プロセスを完了する、請求項１４に記載の装置。
【請求項１６】
前記ハイパーバイザは、前記第２のデータ構造内の前記レジスタのサブセットの内容のうち少なくとも１つを変更する、請求項１５に記載の装置。
【請求項１７】
前記ハイパーバイザは、前記終了プロセスを完了した後に前記プロセッサ上で前記ＶＭの実行を開始することに応じて、前記レジスタの内容を前記第１のデータ構造からロードし、前記例外ハンドラは、前記第２のデータ構造内の前記レジスタのサブセットの内容のうち変更された少なくとも１つに対応するように、前記レジスタ内の少なくとも１つの値を変更するように構成されている、請求項１６に記載の装置。
【請求項１８】
前記ハイパーバイザは、前記第１のデータ構造内の前記レジスタの内容に基づいて計算されたチェックサムが、事前に記憶されたチェックサムと一致することに応じて、前記レジスタの内容を前記第１のデータ構造からロードする、請求項１７に記載の装置。
【請求項１９】
コンピュータシステムを操作して処理システムの少なくとも一部を製造するプロセスの一部を実行するための実行可能命令のセットを記憶するコンピュータ可読記憶媒体であって、
前記処理システムは、
プロセッサであって、仮想マシン（ＶＭ）が前記プロセッサ上で実行されている間に前記ＶＭの状態を定義するためのレジスタを実装するプロセッサを備え、
前記プロセッサは、前記ＶＭの終了条件であって、前記ＶＭが前記プロセッサ上での実行から削除され、前記プロセッサの制御が前記ＶＭのハイパーバイザに戻されることを示す終了条件を検出し、前記プロセッサは、前記終了条件を検出したことに応じて、前記レジスタの内容を、前記ＶＭの前記ハイパーバイザがアクセスできない第１のデータ構造に記憶し、前記ＶＭは、前記終了条件を検出したことに応じて及び前記終了条件が非自動終了であることに応じて、前記終了条件を前記ＶＭに認識させることを要求する例外ハンドラをインスタンス化し、前記例外ハンドラは、前記レジスタのサブセットを選択するように構成されており、前記例外ハンドラは、前記レジスタのサブセットの内容を前記ハイパーバイザに選択的に公開するように構成されており、前記例外ハンドラは、前記レジスタのサブセットの内容を前記ハイパーバイザに公開したことに応じて、前記プロセッサ上での実行から前記ＶＭを削除するための終了プロセスを開始するための終了コマンドを発行するように構成されている、
コンピュータ可読記憶媒体。
【請求項２０】
前記処理システムは、前記レジスタの内容を前記第１のデータ構造に記憶する前に前記レジスタの内容を暗号化するハードウェア暗号化モジュールをさらに備える、請求項１９に記載のコンピュータ可読記憶媒体。