【手続補正書】
【提出日】平成19年4月23日(2007.4.23)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
メモリアクセス要求を処理する方法を実施するためのコンピュータ実行可能命令を符号化したコンピュータ読み取り可能な記録媒体であって、前記方法は、
メモリの一部にアクセスするための要求を受け取るステップであって、前記要求は、アドレス変換マップを介して変換可能な識別子によって、アクセスされる前記メモリの一部を識別する、受け取るステップと、
前記アドレス変換マップに関するキャッシュ済み情報に基づいて、前記要求の実行が、前記メモリへのアクセスを制限するポリシーに違反することになるかどうかを判定するステップであって、前記キャッシュ済み情報は、前記アドレス変換マップの、所定のプロパティを有するページの集合を識別するデータを含む、判定するステップと、
前記要求の実行が前記ポリシーに違反しない場合は、前記要求に従って前記メモリへのアクセスを可能にするステップと、
前記要求の実行が前記ポリシーに違反する場合は、
前記要求を阻止すること、または、
前記要求を前記ポリシーに違反しないように修正して、前記修正した要求を実行すること
のどちらかを実施するステップと
を備えることを特徴とするコンピュータ読み取り可能な記録媒体。
【請求項２】
前記要求は、前記メモリの前記一部に書き込む要求を含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項３】
前記アドレス変換マップは前記メモリに記憶され、前記要求は、前記アドレス変換マップが記憶されたメモリの一部に書き込む要求を含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項４】
前記キャッシュ済み情報は、前記アドレス変換マップ中の、前記アドレス変換マップのルートから所定距離にあるページの集合を識別するデータを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項５】
前記キャッシュ済み情報は、指定のページへの参照の数を示すデータを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項６】
前記キャッシュ済み情報は、指定のページへの参照の数を示すデータを含み、前記参照は指定の属性を有する
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項７】
前記キャッシュ済み情報は、前記アドレス変換マップ中の指定のページが参照するページの数を示すデータを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項８】
前記キャッシュ済み情報は、前記アドレス変換マップ中の指定のページが参照する、また、前記指定のページが指定の属性を割り当てるページの数を示すデータを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項９】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記キャッシュ済み情報は、前記集合の適切な上位集合を含み、前記要求の実行が前記ポリシーに違反することになるかどうかを判定する前記動作は、前記ページが前記上位集合のメンバかどうかを評価することを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項１０】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記キャッシュ済み情報は、前記集合の適切な部分集合を含み、前記要求の実行が前記ポリシーに違反することになるかどうかを判定する前記動作は、前記ページが前記部分集合のメンバかどうかを評価することを含む
ことを特徴とする請求項１に記載のコンピュータ読み取り可能な記録媒体。
【請求項１１】
アドレス変換マップを介してアクセスが提供されるコンピュータメモリを管理する方法であって、
前記アドレス変換マップの状態の少なくとも１つの態様に関する情報を記憶するステップであって、前記記憶済み情報は、前記アドレス変換マップの、所定のプロパティを有するページの集合を識別するデータを含む、記憶するステップと、
前記コンピュータメモリにアクセスするための要求を受け取るステップと、
前記記憶済み情報に少なくとも部分的に基づいて、前記要求の実行が、前記コンピュータメモリへのアクセスを制限するポリシーに違反することにならないと判定するステップと、
前記要求の実行を可能にするステップと、
前記要求の実行から生じる前記アドレス変換マップの状態を反映するように、前記記憶済み情報を更新するステップと
を備えることを特徴とする方法。
【請求項１２】
前記要求は、前記コンピュータメモリの一部に書き込む要求を含む
ことを特徴とする請求項１１に記載の方法。
【請求項１３】
前記アドレス変換マップは前記メモリに記憶され、前記要求は、前記アドレス変換マップが記憶されたメモリの一部に書き込む要求を含む
ことを特徴とする請求項１１に記載の方法。
【請求項１４】
前記記憶済み情報は、前記アドレス変換マップ中の、前記アドレス変換マップのルートから所定距離にあるページの集合を識別するデータを含む
ことを特徴とする請求項１１に記載の方法。
【請求項１５】
前記記憶済み情報は、指定のページへの参照の数を示すデータを含む
ことを特徴とする請求項１１に記載の方法。
【請求項１６】
前記記憶済み情報は、指定のページへの参照の数を示すデータを含み、前記参照は指定の属性を有する
ことを特徴とする請求項１１に記載の方法。
【請求項１７】
前記記憶済み情報は、前記アドレス変換マップ中の指定のページが参照するページの数を示すデータを含む
ことを特徴とする請求項１１に記載の方法。
【請求項１８】
前記記憶済み情報は、前記アドレス変換マップ中の指定のページが参照する、また、前記指定のページが指定の属性を割り当てるページの数を示すデータを含む
ことを特徴とする請求項１１に記載の方法。
【請求項１９】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記記憶済み情報は、前記集合の適切な上位集合を含み、前記要求の実行が前記ポリシーに違反することにならないと判定する前記動作は、前記ページが前記上位集合のメンバかどうかを評価することを含む
ことを特徴とする請求項１１に記載の方法。
【請求項２０】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記記憶済み情報は、前記集合の適切な部分集合を含み、前記要求の実行が前記ポリシーに違反することにならないと判定する前記動作は、前記ページが前記部分集合のメンバかどうかを評価することを含む
ことを特徴とする請求項１１に記載の方法。
【請求項２１】
アドレス変換マップによってアドレス指定されるメモリへのアクセスを制御するためのシステムであって、
前記メモリへのアクセスを制限するポリシーを記憶する１つまたは複数の記憶位置と、
前記アドレス変換マップに関する情報を記憶するキャッシュであって、前記キャッシュに記憶された情報は、前記アドレス変換マップの、所定のプロパティを有するページの集合を識別するデータを含む、キャッシュと、
前記メモリにアクセスするための要求を受け取り、前記キャッシュに記憶された前記情報に少なくとも部分的に基づいて、前記要求が前記ポリシーの下で許可できるかどうかを判定する論理とを備え、
前記論理は、前記要求が前記ポリシーの下で許可できると判定された場合は、前記要求の続行を可能にし、前記要求が前記ポリシーの下で許可できないと判定された場合は、（１）前記要求を阻止すること、または、（２）前記要求を前記ポリシーの下で許可できる形に修正して、前記修正した要求の続行を可能にすること、のどちらかを実施する
ことを特徴とするシステム。
【請求項２２】
前記要求は、前記メモリの一部に書き込む要求を含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２３】
前記アドレス変換マップは前記メモリに記憶され、前記要求は、前記アドレス変換マップが記憶されたメモリの一部に書き込む要求を含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２４】
前記キャッシュに記憶された情報は、前記アドレス変換マップ中の、前記アドレス変換マップのルートから所定距離にあるページの集合を識別するデータを含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２５】
前記キャッシュに記憶された情報は、指定のページへの参照の数を示すデータを含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２６】
前記キャッシュに記憶された情報は、指定のページへの参照の数を示すデータを含み、前記参照は指定の属性を有する
ことを特徴とする請求項２１に記載のシステム。
【請求項２７】
前記キャッシュに記憶された情報は、前記アドレス変換マップ中の指定のページが参照するページの数を示すデータを含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２８】
前記キャッシュに記憶された情報は、前記アドレス変換マップ中の指定のページが参照する、また、前記指定のページが指定の属性を割り当てるページの数を示すデータを含む
ことを特徴とする請求項２１に記載のシステム。
【請求項２９】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記キャッシュに記憶された情報は、前記集合の適切な上位集合を含み、前記論理は、前記ページが前記上位集合のメンバかどうかを評価することによって、前記要求を許可することが前記ポリシーに違反することになるかどうかを判定する
ことを特徴とする請求項２１に記載のシステム。
【請求項３０】
前記ポリシーへの適合は、集合中のページのメンバシップに基づいて判定され、前記キャッシュに記憶された情報は、前記集合の適切な部分集合を含み、前記論理は、前記ページが前記部分集合のメンバかどうかを評価することによって、前記要求を許可することが前記ポリシーに違反することになるかどうかを判定する
ことを特徴とする請求項２１に記載のシステム。
【請求項３１】
前記論理はハードウェアとソフトウェアのうちの少なくとも一方において実現される
ことを特徴とする請求項２１に記載のシステム。