複数のプロセッサと、スリープタスクの発生率と各スリープタスクの時間長を許容遅延時間に基づいて決定する計数測定計算CMCユニットと、前記時間長を有するスリープタスクを前記発生率で発生させ、前記発生させたスリープタスクをオリジナルタスクのトラフィックに挿入するスリープタスク発生器と、前記トラフィック内のオリジナルタスクおよびスリープタスクを前記複数のプロセッサに割り当てるスケジューラと、を備え、各スリープタスクは、該スリープタスクが割当てられた前記複数のプロセッサの1つをスイッチオフする、マルチプロセッサシステム。前記CMCユニットは、オリジナルタスクおよびスリープタスクの到着時間間隔と実行時間が所定の待ち行列モデルの分布に従うように、前記発生率と前記時間長を決定する、請求項1に記載のマルチプロセッサシステム。前記CMCユニットは、オリジナルタスクの平均応答時間に応じて前記許容遅延時間を決定する、請求項1または2に記載のマルチプロセッサシステム。前記スケジューラは、前記複数のプロセッサにおけるオン状態とオフ状態の間の遷移を減少させるようにする、請求項1ないし3のいずれか1項に記載のマルチプロセッサシステム。前記スリープタスクは、当該タスクが割り当てられた前記複数のプロセッサの1つをスイッチオフするだけの仮想タスクであり、前記スリープタスクは、前記オリジナルタスクと同一の統計量を有する、請求項1ないし4のいずれか1項に記載のマルチプロセッサ。各々のローカルキューが前記オリジナルタスクおよび前記スリープタスクの少なくとも一部を保持する複数のローカルキューをさらに備える、請求項1ないし5のいずれか1項に記載のマルチプロセッサ。前記複数のプロセッサの中に空き状態のプロセッサがある場合、前記スケジューラは前記空き状態のプロセッサに新タスクを送出し、前記複数のプロセッサの中に空き状態のプロセッサがない場合、前記スケジューラは、前記複数のローカルキューのうちの最終のタスクが新タスクと同一のタイプであるキューに該新タスクを送出する、請求項6に記載のマルチプロセッサシステム。前記オリジナルタスクおよび前記スリープタスクを保持するグローバルキューをさらに備える、請求項1ないし5のいずれか1項に記載のマルチプロセッサシステム。タスクが前記複数のプロセッサの1つで終了した場合、前記スケジューラは前記グローバルキュー内の同一のタイプの最早のタスクを該プロセッサに送出する、請求項8に記載のマルチプロセッサシステム。前記CMCユニットは、終了したオリジナルタスクの実行時間を測定し、前記オリジナルタスクの数を計数し、ある期間内における前記オリジナルタスクの到着率と分布を計算する、請求項1ないし9のいずれか1項に記載のマルチプロセッサシステム。前記CMCユニットは、前記オリジナルタスクおよび前記スリープタスクの到着時間間隔が所定の分布に従うように、前記発生率を決定する、請求項1ないし10のいずれか1項に記載のマルチプロセッサシステム。前記CMCユニットは、前記オリジナルタスクの到着率の測定結果に応じて、前記スリープタスクの発生率を決定する、請求項1ないし11のいずれか1項に記載のマルチプロセッサシステム。前記CMCユニットは、直近に終了したタスクの測定結果に応じて、前記スリープタスクの時間長を決定する、請求項1ないし12のいずれか1項に記載のマルチプロセッサシステム。スリープタスクの発生率と各スリープタスクの時間長を許容遅延時間に基づいて決定する工程と、前記時間長を有する前記スリープタスクを前記発生率で発生させる工程と、オリジナルタスクのトラフィックに前記発生させたスリープタスクを挿入する工程と、前記トラフィック内の前記オリジナルタスクおよび前記スリープタスクを複数のプロセッサに割り当てる工程と、を含み、各スリープタスクは、該スリープタスクが割り当てられた前記複数のプロセッサの1つをスイッチオフする、マルチプロセッサシステムにおける省エネルギー化方法。前記オリジナルタスクおよび前記スリープタスクの到着時間間隔と実行時間が待ち行列モデルの所定の分布に従うように、前記発生率と前記時間長が決定される、請求項14に記載のマルチプロセッサシステムにおける省エネルギー化方法。前記オリジナルタスクの平均応答時間に応じて前記許容遅延時間を決定する工程をさらに含む、請求項14または15に記載のマルチプロセッサシステムにおける省エネルギー化方法。前記複数のプロセッサにおけるオン状態とオフ状態の間の遷移を減少させるようにする工程をさらに含む、請求項14ないし16のいずれか1項に記載のマルチプロセッサシステムにおける省エネルギー化方法。前記スリープタスクは、当該タスクが割り当てられた前記複数のプロセッサの1つをスイッチオフするだけの仮想タスクであり、前記スリープタスクは、前記オリジナルタスクと同一の統計量を有する、請求項14ないし17のいずれか1項に記載のマルチプロセッサシステムにおける省エネルギー化方法。上記の非特許文献の全開示内容は引用により本書に繰り込み記載されているものとする。以下の分析は、本発明の観点から与えられる。低電力状態ではエネルギー消費は最小となるものの、状態間の遷移において余分な時間とエネルギーが必要とされる。したがって、DPMダイナミック電力管理を使いこなすためには、システムレベルでの複雑な電力管理ポリシが必要となる。さもないと、性能および効率がいずれも低下してしまう。最も一般的なシステムレベルの電力管理ポリシは、多くのオペレーティングシステムに実装されているタイムアウトポリシtimeoutpolicy非特許文献2、3である。このポリシの欠点は、タイムアウトイベントを待っている間に電力とエネルギーが浪費されることである。対話型端末用に開発された予測ポリシ非特許文献4および5は、アイドル期間が十分長く継続すると予測器が推定すると、部品がアイドル状態になるとすぐに低電力状態へ遷移するように強制する。ただし、不正確な推定を行った場合には、性能とエネルギーの両方について明らかに不利益が生じる。確率モデルに基づくポリシは、最適な結果を保証することを可能にする。確率モデルは、システムの振る舞いを表す分布を使用する非特許文献6~8。換言すれば、その精度と最適性は、システムの振る舞いがその分布に適合するか否かに強く依存する。例えば、到着時間間隔および実行時間は、すべてのマルコフモデルで仮定する指数分布に従わないおそれがある。さらに、ほとんどの確率モデルに基づくポリシは、定常的であるすなわち、任意の時点で同一のポリシが適用される。したがって、関連技術において、電力消費を抑制し、タスクの平均応答時間を制御することが可能なマルチプロセッサシステム、およびマルチプロセッサシステムにおけるエネルギー消費の節減方法を提供することが望まれる。本発明の第1の視点によれば、以下に示すマルチプロセッサシステムが提供される。すなわち、マルチプロセッサシステムは、複数のプロセッサと、スリープタスクの発生率と各スリープタスクの時間長を許容遅延時間に基づいて決定する計数測定計算CMCユニットと、前記時間長を有するスリープタスクを前記発生率で発生させ、前記発生させたスリープタスクをオリジナルタスクのトラフィックに挿入するスリープタスク発生器と、前記トラフィック内のオリジナルタスクおよびスリープタスクを前記複数のプロセッサに割り当てるスケジューラと、を備え、各スリープタスクは該スリープタスクが割当てられた前記複数のプロセッサの1つをスイッチオフする。本発明の第2の視点によれば、以下の工程を含むマルチプロセッサシステムにおける省エネルギー化方法が提供される。すなわち、省エネルギー化方法は、スリープタスクの発生率と各スリープタスクの時間長を許容遅延時間に基づいて決定する工程と、前記時間長を有する前記スリープタスクを前記発生率で発生させる工程と、オリジナルタスクのトラフィックに前記発生させたスリープタスクを挿入する工程と、前記トラフィック内の前記オリジナルタスクおよび前記スリープタスクを複数のプロセッサに割り当てる工程と、を含み、各スリープタスクは該スリープタスクが割り当てられた前記複数のプロセッサの1つをスイッチオフする。さらに、他の視点によれば、前記した視点による方法を実装するためのプログラム、または、前記した視点によるマルチプロセッサシステムを駆動/実行するためのプログラムが提供される。また、プログラムは、プログラム製品となるコンピュータ読み取り可能な記憶媒体computerreadablenontransientmediumに記録するようにしてもよい。本発明のマルチプロセッサシステム、および、マルチプロセッサにおける省エネルギー化方法によれば、マルチプロセッサシステムにおける電力消費が抑制され、かつ、タスクの平均応答時間を制御することが可能になる。本明細書において、以下の用語が用いられる。1.状態On:プロセッサがフルスピードで動作するアクティブ状態2.状態Off:プロセッサが完全スリープまたは低スピードで動作する低電力状態3.遷移:OnからOff、またはOffからOnの状態遷移4.遷移時間:状態遷移に必要とされる時間5.遷移エネルギー:状態遷移に必要とされるエネルギー6.タスク:計算の集まりなお、本発明では、中量または多量のタスクトラフィックを対象とする。なぜなら、少量のトラフィックは問題なく扱うことができるからである。マルチプロセッサシステムにおいて、タスクはセントラルスケジューラに到着し、その後、セントラルスケジューラから出発する。基本的に、このようなシステムは待ち行列モデルで近似的に表すことができ、平衡状態における性能が関心事となる。本発明によるマルチプロセッサシステムにおいて、マルチプロセッサシステム内のいくつかのプロセッサを賢くスイッチオフすることでエネルギー消費を削減できるような電力管理が行われる。本発明は、電力消費を節減するために、タスクの平均応答時間を制御しつつ、いくつかのプロセッサを適宜スイッチオフする、すなわち、いくつかのプロセッサを状態オフにすることを目指すものである。ここで、状態遷移の頻度は低く維持される。なぜなら、状態遷移では余分な時間とエネルギーが必要とされるからである。本発明によるマルチプロセッサシステムにおいて、スリープタスク、すなわち、単にプロセッサをスイッチオフするだけの仮想タスクが生成され、オリジナルタスクのトラフィックに挿入される。マルチプロセッサシステムにおいて、以下の2つのステップが実行される。第1に、ある期間内のスリープタスクの量が待ち行列モデルにより決定される。第2に、挿入されたスリープタスクは、オリジナルタスクの応答時間を大幅に増加させることなく、かつ、頻繁に状態遷移が生ずることを避けるように、プロセッサに適宜割り当てられる。ここで、本発明の概要を説明する。ここで、付される参照符号は単に説明の理解を助けるためのものである。なお、本発明は、図面に記載された形態に限定されるものではない。図1および図2を参照すると、本発明によるマルチプロセッサシステムは、複数のプロセッサ101、201と、スリープタスクの発生率および各スリープタスクの時間長を許容遅延時間に基づいて決定する計数測定計算CMC:CountingMeasuringandCalculatingユニット103、203と、上記時間長を有するスリープタスクを上記発生率で発生させ、発生させたスリープタスクをオリジナルタスクのトラフィックに挿入するスリープタスク発生器105、205と、上記トラフィック内のオリジナルタスクおよびスリープタスクの双方を複数のプロセッサに割り当てるスケジューラ104、202とを備え、各巣レープタスクは該スリープタスクが割当てられた複数のプロセッサの1つをスイッチオフする。本発明のマルチプロセッサによれば、マルチプロセッサシステムにおける電力消費が抑制され、かつ、タスクの平均応答時間を制御することが可能になる。本開示において、以下に示すものを含む種々の形態が可能である。ただし、それに限定されるものではない。形態1本発明の第1の視点によるマルチプロセッサシステムが提供される。形態2前記マルチプロセッサシステムにおいて、前記CMCユニットは、オリジナルタスクおよびスリープタスクの到着時間間隔と実行時間が所定の待ち行列モデルの分布に従うように、前記発生率と前記時間長を決定するようにしてもよい。形態3前記マルチプロセッサシステムにおいて、前記CMCユニットは、オリジナルタスクの平均応答時間に応じて許容遅延時間を決定するようにしてもよい。形態4前記マルチプロセッサシステムにおいて、前記スケジューラは、前記複数のプロセッサにおけるオン状態とオフ状態の間の遷移を減少させるようにしてもよい。形態5前記マルチプロセッサシステムにおいて、前記スリープタスクは、タスクが割り当てられた前記複数のプロセッサの1つをスイッチオフするだけの仮想タスクであってもよく、前記スリープタスクは、前記オリジナルタスクと同一の統計量を有するようにしてもよい。形態6前記マルチプロセッサシステムは、各々のローカルキューが前記オリジナルタスクおよび前記スリープタスクの少なくとも一部を保持する複数のローカルキューをさらに備えるようにしてもよい。形態7前記マルチプロセッサシステムにおいて、前記複数のプロセッサの中に空き状態のプロセッサがある場合、前記スケジューラは前記空き状態のプロセッサに新タスクを送り、前記複数のプロセッサの中に空き状態のプロセッサがない場合、前記スケジューラは、前記複数のローカルキューのうちの最終のタスクが新タスクと同一のタイプであるキューに該新タスクを送出するようにしてもよい。形態8前記マルチプロセッサシステムは、前記オリジナルタスクおよび前記スリープタスクを保持するグローバルキューを代わりに備えるようにしてもよい。形態9前記マルチプロセッサシステムにおいて、タスクが前記複数のプロセッサの1つで終了した場合、前記スケジューラは前記グローバルキュー内の同一のタイプの最早のタスクを該プロセッサに送出するようにしてもよい。形態10前記マルチプロセッサシステムにおいて、前記CMCユニットは、終了したオリジナルタスクの実行時間を測定し、前記オリジナルタスクの数を計数し、ある期間内における前記オリジナルタスクの到着率と分布を計算するようにしてもよい。形態11前記マルチプロセッサシステムにおいて、前記CMCユニットは、前記オリジナルタスクおよび前記スリープタスクの到着時間間隔が所定の分布に従うように、前記発生率を決定するようにしてもよい。形態12前記マルチプロセッサシステムにおいて、前記CMCユニットは、前記オリジナルタスクの到着率の測定結果に応じて、前記スリープタスクの発生率を決定するようにしてもよい。形態13前記マルチプロセッサシステムにおいて、前記CMCユニットは、直近に終了したタスクの測定結果に応じて、前記スリープタスクの時間長を決定するようにしてもよい。形態14本発明の第2の視点によれば、マルチプロセッサシステムにおける省エネルギー化方法が提供される。形態15前記マルチプロセッサシステムにおける省エネルギー化方法において、前記オリジナルタスクおよび前記スリープタスクの到着時間間隔と実行時間が待ち行列モデルの所定の分布に従うように、前記発生率および前記時間長が決定されるようにしてもよい。形態16前記マルチプロセッサシステムにおける省エネルギー化方法は、前記オリジナルタスクの平均応答時間に応じて前記許容遅延時間を決定する工程をさらに含むようにしてもよい。形態17前記マルチプロセッサシステムにおける省エネルギー化方法は、前記複数のプロセッサにおけるオン状態とオフ状態の間の遷移を減少させるようにする工程をさらに含むようにしてもよい。形態18前記マルチプロセッサシステムにおける省エネルギー化方法において、前記スリープタスクは、前記タスクが割り当てられた前記複数のプロセッサの1つをスイッチオフするだけの仮想タスクであってもよく、前記スリープタスクは前記オリジナルタスクと同一の統計量を有するようにしてもよい。形態19前記した形態による方法を実装するためのプログラム、あるいは、前記した形態によるマルチプロセッサシステムを駆動/実行するためのプログラムが提供される。該プログラムは、プログラム製品となるコンピュータ読み取り可能なnontransientな記憶媒体に記録するようにしてもよい。該プログラムは、上記方法の工程を少なくとも部分的に実行したり、上記システムの要素を動作させたりするのに使用される。<実施形態1>一実施形態によるマルチプロセッサシステムについて、図面を参照して説明する。図1は、分散キューアーキテクチャのマルチプロセッサシステムを示すブロック図である。図1を参照すると、マルチプロセッサシステムは、複数のプロセッサ101と、複数のローカルキュー102と、計数測定計算CMC:CountingMeasuringandCalculatingユニット103と、スリープタスク発生器105と、スケジューラ104を備えている。CMCユニット103は、スリープタスクの発生率と各スリープタスクの時間長を決定する。スリープタスク105は、上記時間長を有するスリープタスクを上記発生率で発生し、発生したスリープタスクをオリジナルタスクのトラフィックに挿入する。スケジューラ104は、トラフィック内のオリジナルタスクおよびスリープタスクをローカルキュー102に割り当てる。図2は、グローバルキューアーキテクチャのマルチプロセッサを示すブロック図である。図2を参照すると、マルチプロセッサは、複数のプロセッサ201と、グローバルキュー204と、計数測定計算CMCユニット203と、スリープタスク発生器205と、スケジューラ202を備えている。CMCユニット203は、スリープタスクの発生率と各スリープタスクの時間長を決定する。スリープタスク発生器205は、上記時間長を有するスリープタスクを上記発生率で発生し、発生したスリープタスクをオリジナルタスクのトラフィックに挿入する。スケジューラ202は、グローバルキュー204内のオリジナルタスクおよびスリープタスクをプロセッサ201に割り当てる。従来システムのソフトウェアのアーキテクチャを少しだけ変更する必要がある。本実施形態において、2つの設計、すなわち、分散キューアーキテクチャ図1とグローバルキューアーキテクチャ図2が提供される。少なくとも2つの要素が従来技術のアーキテクチャに追加される。1つはスリープタスク発生器図1の105、図2の205であり、もう1つは測定および計算の要素、すなわち、計数測定計算CMCユニット図1の103、図2の203である。さらに、スケジューラ図1の104、図2の202は、オリジナルタスクとスリープタスクを適切に処理するように拡張する必要がある。図1および図2は、2種類のアーキテクチャを示している。図1および図2において、実線はタスクパスを表し、破線は情報収集パスを表している。図1および図2に示すマルチプロセッサシステムは、以下に説明するように動作する。ステップ1.CMCユニット103および203は、待ち行列モデルによりタスクの平均応答時間を計算する。アプリケーションと上記システムに対して、待ち行列モデルを構築することができる。Webシステムやネットワークスイッチのような長期間動作するアプリケーションでは平衡状態が存在し、かかる計算が可能となる。ステップ2.CMCユニット103および203は、オリジナルタスクの平均応答時間に対して許容遅延時間を設定する。次に、ステップ1のモデルによりタスクの新しい到着率が得られる。ステップ3.CMCユニット103および203は、ある期間内にシステムに到着するタスク数を計数し、当該期間内に終了したタスクの実行時間を測定する。この期間を時間ウインドウと呼ぶ。分散キューアーキテクチャにおいて、CMCユニット103はプロセッサ101とローカルキュー102を監視する。グローバルキューアーキテクチャにおいて、CMCユニット203は、プロセッサ201とグローバルキュー204を監視する。ステップ4.ステップ2による新しい到着率、および、ステップ3によるデータに基づいて、CMCユニット103および203は、スリープタスクの発生率を計算し、発生するスリープタスクの時間長を決定する図5のステップS502~S505。計算例は、M/M/1のクラスタに基づいている。なぜなら、本発明では、中量または多量の負荷のみを検討対象とするからである。多量の負荷の場合には、各々がM/M/1であるm個のプロセッサのクラスタは、M/M/mの1つのシステムにほぼ等価になる。オリジナルタスクの到着率がL1であることが既知であると仮定すると、タスクの平均応答時間は、1/u-L1/mとなる。ここで、uはプロセッサのサービス割合である。因子dの遅延時間が許容され、新しい到着率がLの場合、次式が成り立つ。d/u-L1/m=1/u-L/m。したがって、Lを計算することができる。スリープタスクの到着率をL2と表す。このとき、L2=L-L1となる。オリジナルタスクの実行時間は、指数分布に従わないかもしれない。そこで、スリープタスクの長さは、このギャップを埋めるように生成される。すなわち、オリジナルタスクとスリープタスクの両方の実行時間が、最終的に指数分布に従うように強制される。さらに、タスクの到着間隔も、スリープタスクの挿入時点を調整することにより、ある指数分布に従うように強制される。ステップ5.スリープタスク発生器105および205は、発生したスリープタスクをオリジナルタスクのトラフィックに挿入する図5のステップS506。次に、タスクのトラフィックは、それ以前に確立したモデルに適合するように調整される。ステップ6.スケジューラ104および202は、オリジナルタスクおよびスリープタスクをあるスケジューリングアルゴリズムにより割り当てる。本実施形態において、分散キューアーキテクチャおよびグローバルアーキテクチャに対し、図3および図4の2つのスケジューリングアルゴリズムがそれぞれ提供される。2つのスケジューリングアルゴリズムは、いずれも、不必要な状態遷移を避けることをその狙いとする。上記スケジューリングアルゴリズムの変形例が存在する。変形例では、プロセッサ状態を変更することが可能な最終時点のパラメータが定義される。言い換えると、このパラメータはプロセッサが同一の状態に留まっている最長時間を定義する。以下に、本実施形態をより詳細に説明する。1.待ち行列モデルは、平均応答時間がモデル化されるものであればよい。しかしながら、計算の複雑さの点で、M/M/1のクラスタが選択される。なぜなら、第1に、M/M/1キューのクラスタは、M/M/m待ち行列システムと等価であり、第2に、スリープタスクの挿入により、タスクの到着間隔と実行時間がある指数分布に従うように強制することができるからである。M/M/1キューのクラスタに基づく計算は、他のものよりもずっと簡単である。2.元のシステムとアプリケーションの平均応答時間は、既知であると仮定する。元の平均応答時間が未知の場合には、モデルに適合し、平均応答時間を計算するために、一連の測定が行われるべきである。3.図1の分散キューアーキテクチャにおいて、CMCユニット103は、システムにおけるタスクの数とタスクの実行時間を計数するために、プロセッサ101およびローカルキュー102の監視を続ける。図2のグローバルキューアーキテクチャにおいて、CMCユニット203は、プロセッサ201とグローバルキュー204の監視を続ける。期間とウインドウが設定される。ウインドウ内のタスクの数とタスクの実行時間は、タスクの到着率および平均実行時間を計算するために用いられ、タスクの到着率と平均実行時間は、スリープタスクの発生率とスリープタスクの時間長を決定するために用いられる。時間が経過するに従って、現在時刻に追随するようにウインドウも移動する。4.スケジューラ104および202はオリジナルタスクに対するのと同様の方法で、挿入されたタスクを扱う。各プロセッサにおいて、直前に終了したタスクがスリープタスクである場合、プロセッサは、オリジナルタスクが到着するまでoff状態のままである。逆の場合も、同様である。5.スリープタスク発生器105および205は、次のスリープタスクの発生時刻と時間長を、CMCユニット103および203の結果により計算する。6.分散キューアーキテクチャおよびグローバルキューアーキテクチャのスケジューリングアルゴリズムが、それぞれ、図3および図4に例示されている。12つのアルゴリズムは、いずれもイベント起動型である。イベントトリガが、アルゴリズム、すなわち、ステップS301およびS401において生成される。2アルゴリズムの次の動作を決めるために、ステップS302およびS402において2種類のイベントが認識される。3分散型キューアーキテクチャでは、ステップS303およびS304のように、プロセッサが空き状態であるか否かがタスク割り当てを決定するための鍵となる。4このアルゴリズムは、ステップS306、S310、S408、S409のように、つねに空き状態のプロセッサに最早のタスクを送出しようとする。5このアルゴリズムは、ステップS308、S311、S407のように、不必要な状態遷移を避けるために、つねに、直前に終了したタスクと同一のタイプのタスクを送出しようとする。6分散キューアーキテクチャ用のアルゴリズムは、ステップS308およびS309のように、所定の負荷バランスを維持しようとする。図3を参照すると、分散キューアーキテクチャにおいて、スケジューラ104はタスクイベント待ちとなるステップS301。新タスクが到着した場合ステップS302のA、スケジューラ104はプロセッサPが空き状態であるか否かを判定するステップS303。プロセッサPが空き状態の場合ステップS303のY、スケジューラ104はその新タスクをプロセッサPに送出するステップS306。プロセッサPが空き状態でない場合ステップS303のN、スケジューラ104は、あるキューQの最終タスクが新タスクと同タイプであるか否かを判定するステップS305。キューQの最終タスクが新タスクと同一のタイプである場合ステップS305のY、スケジューラ104はその新タスクをそのキューQに送出するステップS308。キューQの最終タスクがその新タスクと同一のタイプでない場合ステップS305のN、スケジューラ104はその新タスクを最短のキューに送出するステップS309。タスクがプロセッサPから出発する場合ステップS302のD、スケジューラ104は、プロセッサPが空き状態であるか否かを判定するステップS304。プロセッサPが空き状態の場合ステップS304のY、スケジューラ104は、他のキューの中にその出発するタスクと同一のタイプのタスクTがあるか否かを判定する。タスクTがある場合ステップS307のY、スケジューラ104はタスクTをプロセッサPに移動するステップS311。タスクTがない場合ステップS307のN、スケジューラは他のキューからの最早のタスクをプロセッサPに移動するステップS310。図4を参照すると、グローバルキューアーキテクチャにおいて、スケジューラ202はタスクイベント待ちとなるステップS401。タスクTが出発するとステップS402のD、すなわち、プロセッサPがタスクTを終了するとステップS403、スケジューラ202はグローバルキュー204内にタスクTと同一のタイプのタスクT’があるか否かを判定するステップS405。タスクT’がある場合ステップS405のY、スケジューラ202はタスクT’をプロセッサPに送出するステップS407。タスクT’がない場合ステップS405のN、スケジューラ202はグローバルキュー204内の最早のタスクをプロセッサPに送出するステップS408。新タスクTが到着するとステップS402のA、S404、スケジューラ202はプロセッサPが空き状態か否かを判定するステップS406。プロセッサPが空き状態の場合ステップS406のY、スケジューラ202はタスクTをプロセッサPに送出するステップS409。プロセッサPが空き状態でない場合ステップS406のN、スケジューラ202はタスクTをグローバルキュー204の末尾に追加するステップS410。7.スリープタスクを発生して挿入するメカニズムを図5に示す。CMCユニット103および203は、ステップS501~S504を実行し、その間、スリープタスク発生器105および205はステップS505を実行する。本願発明の従来技術に対する差異の1つは、プロセッサをスイッチオフする時間の総計を予め決めておき、その後、タイムスロット、スリープタスクがオリジナルタスクと一緒にスケジューリングされることである。従来技術では、プロセッサを何時スイッチオフするか、および、どれだけ期間スイッチオフするかは、現在の時点において決定される。実施形態による効果は以下のように要約されるが、それに限定されるものではない。1.本実施形態によるマルチプロセッサシステムは、従来技術よりも高い信頼性が得られる。なぜなら、どのようなモデルを考えた場合であっても、スリープタスクを発生することで、全タスクの到着率および実行時間は選択された待ち行列モデルに適合するように強制されるからである。したがって、モデルに基づく計算がより高精度になる。換言すれば、全タスクの平均応答時間を正確に把握することが可能となる。2.本実施形態によるマルチプロセッサシステムは、他の従来システムよりも簡単になる。計算は選択された待ち行列モデルに基づいて行われ、より複雑な計算を採用する必要はない。スリープタスクの発生やスリープタスクのスケジューリング等の新たに生ずる動作は、容易に実装することができる。3.タスクのスケジューリングは、複数のスリープタスクを結合することで、これらのスリープタスクがまとまって動作し、不要な状態遷移が回避されるようにする。なお、本発明の全開示請求の範囲の枠内において、さらにその基本的技術思想に基づいて、実施形態の変更調整が可能である。また、本発明の請求の範囲の枠内において種々の開示要素の多様な組み合わせないし選択が可能である。すなわち、本発明は、請求の範囲を含む全開示、技術的思想にしたがって当業者であればなし得るであろう各種変形、修正を含むことは勿論である。