物理的に独立した複数の記憶媒体と、前記複数の記憶媒体の記憶領域を用いて処理を行う複数の処理手段と、前記複数の記憶媒体の記憶領域を前記複数の処理手段に対して割り当てる割当手段と、前記複数の処理手段に対する問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値より少なくとも1つの記憶媒体が有する記憶領域量以上少ないか否かを判定する判定手段と、問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと前記判定手段により判定された場合に、前記複数の処理手段それぞれに割り当てられた記憶領域の再割り当てを行う再割当手段と、前記再割当手段により記憶領域が再割り当てされた場合に、前記複数の記憶媒体のうち、前記処理手段に対して割り当てられた記憶領域が存在しない記憶媒体の動作を停止する停止手段と、を有する演算処理システム。前記再割当手段は、問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと前記判定手段により判定された場合に、前記複数の処理手段が処理を行うために必要な記憶領域量が確保可能な記憶領域を、前記複数の記憶媒体上において連続して配置するように前記複数の処理手段に対して再割り当てを行う請求項1に記載の演算処理システム。前記割当手段により前記複数の記憶媒体の記憶領域が前記複数の処理手段に割り当てられた後に、前記複数の処理手段に対して該複数の処理手段が処理を行うために必要な記憶領域量についての問い合わせが行われる請求項1または2に記載の演算処理システム。前記複数の記憶媒体は、ダイナミックランダムアクセスメモリであり、前記停止手段は、前記複数の記憶媒体のうち、前記処理手段に対して割り当てられた記憶領域が存在しない記憶媒体のリフレッシュ動作を停止させる請求項1から3いずれか記載の演算処理システム。前記複数の処理手段は、それぞれ、コンピュータのシステムを管理する基本ソフトウェアに基づいて処理を行う請求項1から4いずれか記載の演算処理システム。物理的に独立した複数の記憶媒体の記憶領域を用いて処理を行う複数の処理部を有するコンピュータに対して、前記複数の記憶媒体の記憶領域を前記複数の処理部に対して割り当てるステップと、前記複数の処理部に対する問い合わせの結果により取得された、前記複数の処理部が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値より少なくとも1つの記憶媒体が有する記憶領域量以上少ないか否かを判定するステップと、問い合わせの結果により取得された、前記複数の処理部が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと判定された場合に、前記複数の処理部それぞれに割り当てられた記憶領域の再割り当てを行うステップと、記憶領域が再割り当てされた場合に、前記複数の記憶媒体のうち、前記処理部に対して割り当てられた記憶領域が存在しない記憶媒体の動作を停止するステップと、を実行させるためのプログラム。本発明の目的は、複数の記憶媒体を複数の処理手段により使用した場合において、本構成を有していない場合と比較して電力消費を削減することが可能な演算処理システムおよびプログラムを提供することである。請求項1に係る本発明は、物理的に独立した複数の記憶媒体と、前記複数の記憶媒体の記憶領域を用いて処理を行う複数の処理手段と、前記複数の記憶媒体の記憶領域を前記複数の処理手段に対して割り当てる割当手段と、前記複数の処理手段に対する問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値より少なくとも1つの記憶媒体が有する記憶領域量以上少ないか否かを判定する判定手段と、問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと前記判定手段により判定された場合に、前記複数の処理手段それぞれに割り当てられた記憶領域の再割り当てを行う再割当手段と、前記再割当手段により記憶領域が再割り当てされた場合に、前記複数の記憶媒体のうち、前記処理手段に対して割り当てられた記憶領域が存在しない記憶媒体の動作を停止する停止手段と、を有する演算処理システムである。請求項2に係る本発明は、前記再割当手段は、問い合わせの結果により取得された、前記複数の処理手段が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと前記判定手段により判定された場合に、前記複数の処理手段が処理を行うために必要な記憶領域量が確保可能な記憶領域を、前記複数の記憶媒体上において連続して配置するように前記複数の処理手段に対して再割り当てを行う請求項1に記載の演算処理システムである。請求項3に係る本発明は、前記割当手段により前記複数の記憶媒体の記憶領域が前記複数の処理手段に割り当てられた後に、前記複数の処理手段に対して該複数の処理手段が処理を行うために必要な記憶領域量についての問い合わせが行われる請求項1または2に記載の演算処理システムである。請求項4に係る本発明は、前記複数の記憶媒体は、ダイナミックランダムアクセスメモリであり、前記停止手段は、前記複数の記憶媒体のうち、前記処理手段に対して割り当てられた記憶領域が存在しない記憶媒体のリフレッシュ動作を停止させる請求項1から3いずれか記載の演算処理システムである。請求項5に係る本発明は、前記複数の処理手段は、それぞれ、コンピュータのシステムを管理する基本ソフトウェアに基づいて処理を行う請求項1から4いずれか記載の演算処理システムである。請求項6に係る本発明は、物理的に独立した複数の記憶媒体の記憶領域を用いて処理を行う複数の処理部を有するコンピュータに対して、前記複数の記憶媒体の記憶領域を前記複数の処理部に対して割り当てるステップと、前記複数の処理部に対する問い合わせの結果により取得された、前記複数の処理部が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値より少なくとも1つの記憶媒体が有する記憶領域量以上少ないか否かを判定するステップと、問い合わせの結果により取得された、前記複数の処理部が処理を行うために必要な記憶領域量の合計値が、前記複数の記憶媒体における記憶領域量の合計値よりも少なくとも1つの記憶媒体が有する記憶領域量以上少ないと判定された場合に、前記複数の処理部それぞれに割り当てられた記憶領域の再割り当てを行うステップと、記憶領域が再割り当てされた場合に、前記複数の記憶媒体のうち、前記処理部に対して割り当てられた記憶領域が存在しない記憶媒体の動作を停止するステップと、を実行させるためのプログラムである。請求項1に係る本発明によれば、複数の記憶媒体を複数の処理手段により使用した場合において、本構成を有していない場合と比較して電力消費を削減することが可能な演算処理システムを提供することができる。請求項2に係る本発明によれば、請求項1により得られる効果に加えて、本構成を有していない場合と比較して、複数の処理手段それぞれに割り当てられた記憶領域が存在しない記憶媒体を発生させる可能性の高い記憶領域の再割り当てを行うことが可能な演算処理システムを提供することができる。請求項3に係る本発明によれば、請求項1により得られる効果に加えて、複数の処理手段が処理を行うために必要な記憶領域量を把握することが可能な演算処理システムを提供することができる。請求項4に係る本発明によれば、請求項1により得られる効果に加えて、ダイナミックランダムアクセスメモリのリフレッシュ動作による電力消費を削減することが可能な演算処理システムを提供することができる。請求項5に係る本発明によれば、基本ソフトウェアに基づいて処理を行う複数の処理手段により複数の記憶媒体が使用された場合に、本構成を有していない場合と比較して電力消費を削減することが可能な演算処理システムを提供することができる。請求項6に係る本発明によれば、複数の記憶媒体を複数の処理手段により使用した場合において、本構成を有していない場合と比較して電力消費を削減することが可能なプログラムを提供することができる。次に、本発明の実施の形態について図面を参照して詳細に説明する。図1は、本発明の一実施形態の画像形成システムを示す図である。図1において、本実施形態における画像形成装置10は、ネットワーク30を介して端末装置20と接続されている。画像形成装置10は、端末装置20からネットワーク30を介して送信されてきた画像データを用紙に印刷する。次に、本実施形態における画像形成装置10のハードウェアの構成を図2を参照して詳細に説明する。画像形成装置10は、図2に示されるように、CPU11、メモリ12、ハードディスクドライブHDD等の記憶装置13、ネットワーク3を介して外部の装置等との間でデータの送信及び受信を行う通信インタフェースIF14、タッチパネル又は液晶ディスプレイ並びにキーボードを含むユーザインタフェースUI装置15、プリンタ16、スキャナ17を有する。これらの構成要素は、制御バス18を介して互いに接続されている。CPU11は、メモリ12または記憶装置13に格納された制御プログラムに基づいて所定の処理を実行して、画像形成装置10の動作を制御する。なお、本実施形態では、CPU11は、メモリ12または記憶装置13内に格納された制御プログラムを読み出して実行するものとして説明したが、当該プログラムをCD-ROM等の記憶媒体に格納してCPU11に提供することも可能である。図3は、上記の制御プログラムが実行されることにより画像形成装置10を動作させる構成を示すブロック図である。画像形成装置10は、図3に示されるように、複数のCPUを有していて、各CPUにはゲストOSオペレーティングシステム1~3がそれぞれインストールされている。そして、画像形成装置10は、ゲストOS1~3、ゲストOS1~3を管理するハイパーバイザ4、DRAMダイナミックランダムアクセスメモリ51~53により動作する。また、ハイパーバイザ4は、RAMマネージャ41、パワーマネージャ42の機能を有する。画像形成装置10は、物理的に独立した複数の記憶媒体であるDRAM51~53をハードウェアに格納している。また、本実施形態において、DRAM51の記憶領域はアドレス0×00000000~0×3FFFFFFF、DRAM52の記憶領域はアドレス0×40000000~7FFFFFFFF、DRAM53の記憶領域はアドレス0×80000000~BFFFFFFFであり、それぞれ1Gバイトのメモリ量記憶領域量を有する。ゲストOS1~3は、画像形成装置10のシステムを管理する基本ソフトウェアであり、それぞれに異なるCPUにより実行され、DRAM51~53の記憶領域を用いて処理を行う。ハイパーバイザ4は、DRAM51~53の記憶領域をゲストOS1~3に対して割り当てる。また、ハイパーバイザ4は、ゲストOS1~3の起動などの動作を制御する。RAMマネージャ41は、ハイパーバイザ4によりDRAM51~53の記憶領域がゲストOS1~3に対して割り当てられた後に、ゲストOS1~3に対して問い合わせを行い、問い合わせの結果により取得した、ゲストOS1~3が処理を行うために必要なメモリ量の合計値が、DRAM51~53におけるメモリ量の合計値より少なくとも1つのDRAMが有するメモリ量以上少ないか否かを判定する。具体的には、本実施形態において、ゲストOS1~3が処理を行うために必要なメモリ量とは、ゲストOS1~3それぞれの処理に用いられるメモリ量の最大値である最大RAM使用量にマージン率1.5を掛けた値である。また、本実施形態において、DRAM51~53それぞれのメモリ量が1Gバイトであり、DRAM51~53におけるメモリ量の合計値が3Gバイトとなるため、RAMマネージャ41は、ゲストOS1~3の最大RAM使用量にマージン率を掛けた値の合計値が、DRAM51~53の合計値から1つのDRAMが有するメモリ量である1Gバイトを差し引いた値の2Gバイト以下であるか否かを判定する。なお、マージン率とは、ゲストOS1~3の最大RAM使用量が確保可能なメモリ量を決定するための倍率である。パワーマネージャ42は、問い合わせの結果により取得された、ゲストOS1~3が処理を行うために必要なメモリ量の合計値が、DRAM51~53におけるメモリ量の合計値よりも少なくとも1つのDRAMが有するメモリ量以上少ないとRAMマネージャ41により判定された場合に、ゲストOS1~3が処理を行うために必要なメモリ量が確保可能な記憶領域を、DRAM51~53上において連続して配置するようにゲストOS1~3に対して再割り当てを行う。また、パワーマネージャ42は、DRAM51~53のうち、ゲストOS1~3に対して割り当てられた記憶領域が存在しないDRAMのリフレッシュ動作を停止する。具体的には、本実施形態においては、ゲストOS1~3の最大RAM使用量にマージン率を掛けた値の合計値が2G以下と判定された場合に、ゲストOS1~3それぞれの最大RAM使用量にマージン率を掛けた値分のメモリ量を、DRAM51~53上において連続して配置するようにゲストOS1~3に対して再割り当てを行う。そして、パワーマネージャ42は、ゲストOS1~3に割り当てられた記憶領域が存在しない未使用のDRAMのリフレッシュ動作を停止する。次に、本実施形態の画像形成装置10における動作を図面を参照して詳細に説明する。まず、画像形成装置10における全体的な動作を図4を参照して説明する。まず、ハイパーバイザ4は、画像形成装置10が起動するとDRAM51~53の記憶領域をゲストOS1~3に対して割り当てるステップS101。具体的な割り当て方法については後述する。そして、RAMマネージャ41は、ゲストOS1~3における最大RAM使用量にマージン率1.5を掛けた値の合計値が、2Gバイト以下であるか否かを判定するステップS102。具体的な最大RAM使用量の合計値の判定方法についても後述する。また、パワーマネージャ42は、RAMマネージャ41によりゲストOS1~3における最大RAM使用量にマージン率を掛けた値の合計値が2G以下であると判定された場合に、ゲストOS1~3に対する割当領域が連続するように再割り当てを行い、DRAM51~53のうち未使用のDRAMのリフレッシュ動作を停止するステップS103。具体的な再割り当て方法およびリフレッシュ動作の停止方法についても後述する。次に、ステップS101におけるDRAM51~53の記憶領域の割り当て方法を図5のフローチャートを参照して詳細に説明する。まず、画像形成装置10が起動した場合に、ハイパーバイザ4は、DRAM51~53に対して問い合わせを行い、DRAM51~53のメモリ量や配置数などのRAM構成の情報を取得するステップS201。ここで、ハイパーバイザ4は、物理的に独立した3つのDRAMであるDRAM51~53が存在し、DRAM51~53のメモリ量がそれぞれ1Gバイトであるという情報を取得する。そして、ハイパーバイザ4は、ゲストOS1~3へのメモリ割り当て定義が存在するか否かを判定するステップS202。ここで、メモリ割り当て定義とは、例えばゲストOS1には0.5Gバイト、ゲストOS2には1.5Gバイト、ゲストOS3には1Gバイトといったように、予め定められたゲストOS1~3への記憶領域の割当量を定義するものである。そして、ハイパーバイザ4は、メモリ割り当て定義が存在しない場合は、ゲストOS1~3に対してDRAM51~53の記憶領域をゲストOS1~3がそれぞれ使用可能な記憶領域として均等に割り当てるステップS203。ここで、本実施形態においては、メモリ割り当て定義が存在しない場合、ステップS201において取得した情報より、DRAM51~53がそれぞれ1Gバイトであるため、ハイパーバイザ4は、ゲストOS1にはDRAM51の記憶領域、ゲストOS2にはDRAM52の記憶領域、ゲストOS3にはDRAM53の記憶領域といったようにゲストOS1~3に対して記憶領域をそれぞれ1Gバイトずつ均等に割り当てる。また、メモリ割り当て定義が存在する場合には、ハイパーバイザ4は、メモリ割り当て定義に従ってDRAM51~53の記憶領域をゲストOS1~3に割り当てるステップS204。以下、本実施形態において、メモリ割り当て定義が存在せず、図6に示すように、DRAM51~53の記憶領域がゲストOS1~3にそれぞれ1Gバイトずつ均等に割り当てられた場合について説明をする。なお、図6においては、ゲストOS1に対してDRAM51の記憶領域であるアドレス0×00000000から0×3FFFFFFFまでの記憶領域が割り当てられている。また、図6においては、ゲストOS2に対してDRAM52の記憶領域であるアドレス0×40000000から0×7FFFFFFFまでの記憶領域が割り当てられ、ゲストOS3に対してはDRAM53の記憶領域であるアドレス0×80000000から0×BFFFFFFFまでの記憶領域が割り当てられている。しかし、実際には、例えばゲストOS1により最大でアドレス0×0000000から0×18FFFFFFまでの400Mバイトの記憶領域、ゲストOS2によりアドレス0×40000000から0×58FFFFFFまでの400Mバイトの記憶領域、ゲストOS3によりアドレス0×80000000から0×98FFFFFFまでの400Mバイトの記憶領域がそれぞれの最大RAM使用領域として使用されている。次に、ステップS102における最大RAM使用量の合計値の判定方法を、図7のフローチャートを参照して詳細に説明する。まず、RAMマネージャ41は、ゲストOS番号を1に設定するステップS301。次に、RAMマネージャ41は、ゲストOS番号に該当するゲストOSが存在するか否かを判定するステップS302。本実施形態においては、ゲストOS1~3が存在するため、ゲストOS番号が3以下であればyes、4以上であればnoと判定される。そして、ゲストOS番号に該当するゲストOSが存在する場合ステップ302においてyesと判定、RAMマネージャ41は、該当する番号のゲストOSに対して問い合わせを行い、図6に示すような、該当する番号のゲストOSの最大RAM使用量を取得するステップS303。例えば、ゲストOS番号が1である場合には、ゲストOS1の最大RAM使用量が400Mであるという情報を取得する。また、RAMマネージャ41は、ステップS303において取得した情報を図8に示すような管理テーブルに格納するステップS304。そして、RAMマネージャ41は、ゲストOS番号に1加算してステップS302に戻るステップS305。そして、ステップS302~305の処理が繰り返されることにより、ゲストOS1~3の最大RAM使用量が管理テーブルに格納される。ゲストOS1~3の最大RAM使用量が管理テーブルに格納されると、ゲストOS番号が4となり存在しなくなるためステップS302においてnoと判定、RAMマネージャ41は、管理テーブルを参照して、ゲストOS1~3の最大RAM使用量にマージン率1.5を掛けた値の合計値が2Gバイト以下であるか否かを判定するステップS306。そして、ゲストOS1~3の最大RAM使用量にマージン率を掛けた値の合計値が2Gバイト以下である場合ステップS306においてyesと判定、RAMマネージャ41は、パワーマネージャ42に対して再割当通知を行うステップS307。例えば、図8に示すように、ゲストOS1~3の最大RAM使用量がそれぞれ400Mバイトである場合には、ゲストOS1~3の最大RAM使用量にマージン率を掛けた値の合計値が1800Mバイトであり、2G以下ステップS306においてyesと判定であるため、RAMマネージャ41は、パワーマネージャ42に対して再割当通知を行う。さらに、図8に示すように、ゲストOS1~3の最大RAM使用量がそれぞれ200Mバイトである場合には、ゲストOS1~3の最大RAM使用量にマージン率を掛けた値の合計値が900Mバイトであり、2G以下ステップS306においてyesと判定であるため、RAMマネージャ41は、パワーマネージャ42に対して再割当通知を行う。また、ゲストOS1~3の最大RAM使用量がそれぞれ800Mである場合、最大RAM使用量にマージン率を掛けた値の合計値が2Gバイトよりも大きいと判定ステップS306においてnoと判定して再割当通知を行わない。最後に、ステップS306においてnoと判定された場合、およびステップS307の処理が終了した場合には、次にRAMマネージャ41を呼び出す時間を設定してステップS301に戻るステップS308。ここで、次にRAMマネージャ41を呼び出す時間は、ユーザにより設定されてもよいし、RAMマネージャ41に予め設定されていてもよい。次に、ステップS103における再割り当て方法およびリフレッシュ動作を停止させる処理について、図9を参照して詳細に説明する。まず、パワーマネージャ42は、初期状態として再割当通知待ちの状態であり、RAMマネージャ41から再割当通知がされたか否かを判定するステップS401。ここで、RAMマネージャ41から再割当通知がされていない場合ステップS401においてnoと判定、パワーマネージャ42は、再割当通知待ちの状態を維持してRAMマネージャ41から再割当通知がされるまでステップS401の判定をループする。そして、ステップS401において、RAMマネージャ41から再割当通知がされた場合ステップS401においてyesと判定、パワーマネージャ42は、再割当通知待ちの状態を解除して、ゲストOS番号を1に設定しステップS402、ゲストOS番号に該当するゲストOSが存在するか否かを判定するステップS403。そして、ゲストOS番号に該当するゲストOSが存在すると判定された場合ステップS403においてyesと判定、パワーマネージャ41は、ゲストOS番号に該当するゲストOSがアイドル中であるか否かを判定するステップS404。ここで、ゲストOS番号に該当するゲストOSがアイドル中でないと判定された場合ステップS404においてnoと判定、再びステップS403の処理に戻る。また、ゲストOS番号に該当するゲストOSがアイドル中であると判定された場合ステップS404においてyesと判定、パワーマネージャ42は、ゲストOS番号に該当するゲストOSを一旦シャットダウンして再起動を行う。そして、パワーマネージャ42は、ゲストOS番号に該当するゲストOSが再び起動される際に最大RAM使用量が確保可能な分の記憶領域を、該当するゲストOSに対して再割り当てを行うステップS405。以下、ゲストOS1~3の最大RAM使用量がそれぞれ400Mであり、ステップS307において、再割当通知が行われた場合を図10を参照して説明する。まず、ゲストOS番号が1である場合、図10に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値600Mバイト分のDRAMの記憶領域アドレス0×00000000~0×257FFFFFをゲストOS1の割当領域として再割り当てを行う。次に、ゲストOS番号が2である場合、図10に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値600Mバイト分のDRAMの記憶領域をゲストOS2の割当領域として、ゲストOS1の割り当て領域における最終アドレス0×257FFFFFの次のアドレス0×25800000を始点とするように前詰めして再割り当てを行う。さらに、ゲストOS番号が3である場合、図10に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値600Mバイト分のDRAMの記憶領域をゲストOS3の割当領域として、ゲストOS2の割り当て領域における最終アドレス4AFFFFFFの次のアドレス4B000000を始点とするように前詰めして再割り当てを行う。このようにして、パワーマネージャ42は、ゲストOS1~3に割り当てられる記憶領域が連続するように再割り当てを行う。そして、パワーマネージャ42は、ゲストOS番号に1加算してステップS403に戻るステップS406。次に、ステップS403において、ゲストOS番号に該当するゲストOSが存在しない場合ステップS403においてnoと判定、パワーマネージャ42は、DRAM51~53のうち、ゲストOS1~3に対して割り当てられた記憶領域が存在せず、非割当領域のみからなる未使用のDRAMが存在するか否かを判定するステップS407。そして、ステップS407において未使用のDRAMが存在する場合ステップS407においてyesと判定、パワーマネージャ42は、未使用と判定されたDRAMのリフレッシュ動作を停止する信号を送信するステップS408。そして、パワーマネージャ42からの信号を受信したDRAMは、リフレッシュ動作を停止する。ここで、図10に示すように、ステップS405およびステップS406の処理によってゲストOS1~3の割り当て領域が前詰めされて再割り当てされたことにより、DRAM53の記憶領域は全てゲストOS1~3のいずれにも割り当てられていない非割当領域となり、DRAM53は未使用のDRAMであると判定される。そして、パワーマネージャ42は、DRAM53に対してリフレッシュ動作を停止する信号を送信し、DRAM53はリフレッシュ動作を停止する。最後に未使用のDRAMが存在しない場合ステップS407においてnoと判定、およびステップS408の処理が終了した場合、パワーマネージャ42は再割当通知待ちの状態に遷移して、再びRAMマネージャ41から再割当通知がされるまで再割当通知待ちの状態を維持する。また、ゲストOS1~3の最大RAM使用量が200Mであって、ステップS307において、再割り当てありの再割当通知がされた場合を図11を参照して説明する。ステップS405において、ゲストOS番号が1である場合、図11に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値300Mバイト分のDRAMの記憶領域アドレス0×00000000~0×12BFFFFFをゲストOS1の割当領域とする再割り当てを行う。次に、ゲストOS番号が2である場合、図11に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値300Mバイト分のDRAMの記憶領域をそれぞれゲストOS2の割当領域として、ゲストOS1の割当領域における最終アドレス0×12BFFFFFの次のアドレス0×12C00000を始点とするように前詰めして再割り当てを行う。さらに、ゲストOS番号が3である場合、図11に示すように、パワーマネージャ42は、最大RAM使用量にマージン率を掛けた値300Mバイト分のDRAMの記憶領域をそれぞれゲストOS3の割当領域として、ゲストOS2の割当領域における最終アドレス257FFFFFの次のアドレス25800000を始点とするように前詰めして再割り当てを行う。そして、図11に示すように、DRAM52およびDRAM53は全ての記憶領域が非割当領域となり、ステップS408において、パワーマネージャ42は、DRAM52およびDRAM53は未使用のDRAMと判定して、DRAM52およびDRAM53に対してリフレッシュ動作を停止する信号を送信する。上記で説明した通り、本実施形態では、ゲストOS1~3に割り当てる記憶領域を、ゲストOS1~3それぞれの最大RAM使用量が確保可能な記憶領域がDRAM上において連続して配置するように再割り当てを行う。これにより、本実施形態によれば、いずれのゲストOSにも割り当てられていない非割当領域が発生し、非割当領域のみからなる未使用のDRAMが存在する場合に、パワーマネージャ42が未使用のDRAMのリフレッシュ動作を停止するため、未使用のDRAMのリフレッシュ動作分の電力消費を削減することができる。なお、DRAMでは、キャパシタに蓄えられた電荷が失われないよう定期的にリフレッシュ動作が行われている。そのため、DRAMの消費電力の大部分がリフレッシュ動作によるものであり、このリフレッシュ動作が停止されることにより、大幅に電力消費を削減することができる。なお、本実施形態においては、ゲストOS1~3にDRAM51~53の記憶領域の再割り当てを行う際に、最大RAM使用量が確保可能な記憶領域がDRAM上において連続して配置するように再割り当てを行うものとして説明したが、本発明は、最大RAM使用量が確保可能な記憶領域をDRAM上で連続するように再割り当てするものに限定される発明ではない。本発明によれば、最大RAM使用量が確保可能な記憶領域をDRAM上で非連続に再割り当てを行った結果、未使用のDRAMが存在する場合にも、同様に適用することができる。さらに、本実施形態においては、RAMマネージャ41は、ゲストOS1~3の最大RAM使用量を取得するものとして説明したが、本発明は、最大RAM使用量に限定されるものではない。また、本実施形態においては、DRAMを3つ使用する場合を用いて説明したが、DRAMを4つ以上使用する場合、またはDRAMを2つ使用する場合にも本発明は同様に適用することができる。また、本実施形態においては、複数のDRAMがそれぞれ1Gバイトのメモリ量を有するものとして説明したが、複数のDRAMのメモリ量がそれぞれ異なる場合でも、RAMマネージャ41によりゲストOS1~3の最大RAM使用量の合計値が、複数のDRAMのメモリ量の合計値よりも複数のDRAMのうちいずれか1つ以上小さいか否かを判定することによって、パワーマネージャ42は記憶領域の再割り当て行い、未使用となったDRAMのリフレッシュ動作を停止することができる。また、複数のDRAMのメモリ量は1Gバイトに限定されるものではなく、例えば、3Gバイトなどより大きなメモリ量を有する場合、および200Mバイトなどより小さなメモリ量を有する場合にも本発明は同様に適用することができる。また、本実施形態においては、未使用のDRAMのリフレッシュ動作を停止するものとして説明したが、例えば、DRAMの電源を遮断することが可能な構成であれば未使用のDRAMへ供給される電源を遮断するようにしてもよく、本発明はリフレッシュ動作の停止に限定されるものではない。さらに、本実施形態においては、DRAMを使用した場合にリフレッシュ動作を停止するものとして説明したが、記憶媒体であればDRAMに限定されるものではない。例えば、SRAMスタティックランダムアクセスメモリなどの記憶媒体を利用した場合に未使用のSRAMへの電力供給を停止して、SRAMの動作を停止するようにしてもよい。また、本実施形態においては、画像形成装置10におけるシステムとして説明したが、パーソナルコンピュータなど、複数の記憶媒体および複数の記憶媒体の記憶領域を用いて処理を行う複数の処理手段を備えているコンピュータシステムであれば本発明は同様に適用することができるものである。