JP5890194B2

JP5890194B2 - 情報処理装置、及び、情報処理方法

Info

Publication number: JP5890194B2
Application number: JP2012032474A
Authority: JP
Inventors: 雅彦高遠
Original assignee: NEC Platforms Ltd
Current assignee: NEC Platforms Ltd
Priority date: 2012-02-17
Filing date: 2012-02-17
Publication date: 2016-03-22
Anticipated expiration: 2032-02-17
Also published as: JP2013168103A

Description

本発明は、情報処理に関し、特に、複数の処理部からアクセスする資源（リソース）管理に関する。

情報処理システム、又は、情報処理装置は、各処理を実行する複数の処理単位（例えば、処理装置、プロセッサ、又は、プロセス。以下、これら処理単位をまとめてプロセッサと言う）が動作している。このように、複数（マルチ）のプロセッサを含むシステムは、マルチプロセッサシステムを言われる。マルチプロセッサシステムは、複数のプロセッサがアクセスする（共有する）資源（リソース）の整合性を保つため、排他制御の機能を備える。

ここで、共有リソースは、例えば、ホストメモリ、外部記憶装置、出力装置、又は、入力装置である。

共有リソースの排他制御として用いられる同期の基本（プリミティブ）構造としては、ミューテックスやセマフォのようなロックを用いた不可分（アトミック）操作がある。（例えば、特許文献１及び特許文献２を参照）
上記の特許文献１及び特許文献２のシステムのプロセッサは、共有リソースを使用する場合、次のように動作する。

まず、プロセッサは、共有リソースのロックの有無を確認する。

ロックされていない（解除状態の）場合、プロセッサは、共有リソースのロックを取得する。そして、プロセッサは、共有リソースを処理し、処理後ロックを解除する。

ロックされている（ロック設定の）場合、プロセッサは、ロックが解除されるまで待ち、ロック解除後に共有リソースのロックを取得し、処理を継続する。

あるいは、マルチプロセッサシステムを構成するプロセッサ、特に個別の命令を処理するＣＰＵ(Central Processing Unit)が、アトミック性を備えた特別な命令を備え、アトミックな操作を実現し、排他制御を実現する。このような命令は、例えば、テスト・アンド・セット（TAS：Test And Set）命令やコンペア・アンド・スワップ（CAS：Compare And Swap）命令である。

特開平０７−０８４８５１特開２０１０−１４０２９０

上記のＴＡＳ命令やＣＡＳ命令を用いるシステムは、これらの命令を備えた特別なＣＰＵ又はハードウェアが必要であるという問題点があった。

また、特許文献１及び特許文献２に記載のシステムは、アクセスの内容に関係せずに、共有リソースの処理においてロック取得が必要である問題点があった。

この問題点のため、特許文献１及び特許文献２に記載のシステムは、ロック取得の競合が増加し、次のような性能低下を発生させる問題点があった。

（１）ロックの競合が増加すると、ロック取得の失敗の頻度が高くなる。その結果、プロセッサは、ロック待ちとなる場合が増加する。

（２）ロック待ちが増加すると、キャッシュがページアウトされて無効（インバリッド）となる頻度が高くなる。つまり、キャッシュミス率が高くなる。その結果、プロセッサは、処理におけるページインの頻度が高くなり、処理時間が多くなる。

（３）共有リソースを参照するプロセッサが並列に処理できない。

これらの問題点は、大規模マルチプロセッサの構成において、特に著しい性能悪化の原因となる。

本発明の目的は、上記問題点を解決し、特別な命令を用いずに、性能の低下を削減した共有リソースの利用を実現する、情報処理装置、及び、情報処理方法を提供することにある。

本発明の情報処理装置は、共有資源の更新状態を示す制御情報を保持する資源制御部と、前記共有資源を更新する前に前記資源制御部の制御情報を更新し、前記共有資源を更新後に前記資源制御部の制御情報をさらに更新する第１の処理部と、前記資源制御部の制御情報を基に前記第１の処理部が前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記資源制御部の制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照する第２の処理部とを含む。

本発明の情報処理方法は、共有資源の更新状態を示す制御情報を保持し、前記共有資源を更新する場合、前記共有資源を更新する前に前記制御情報を更新し、前記共有資源を更新後に前記制御情報をさらに更新し、前記共有資源を参照する場合、前記制御情報を基に前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照する。

本発明のプログラムは、共有資源の更新状態を示す制御情報を保持する処理と、前記共有資源を更新する場合、前記共有資源の更新の前に前記制御情報を更新し、前記共有資源の更新後に前記制御情報をさらに更新する処理と、前記共有資源を参照する場合、前記制御情報を基に前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照する処理とをコンピュータに実行させる。

本発明によれば、特別な命令を用いずに、性能の低下を削減した共有リソースの利用を実現できる。

図１は、本発明における第１の実施形態に係る情報処理装置の構成の一例を示すブロック図である。図２は、第１の実施形態に係る資源制御部の構成一例を示すブロック図である。図３は、第１の実施形態に係る情報処理装置の共有データの更新動作の一例を示すフローチャートである。図４は、第１の実施形態に係る情報処理装置の更新動作の一例を示すシーケンス図である。図５は、第１の実施形態に係る情報処理装置の共有データの参照動作の一例を示すフローチャートである。図６は、第１の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図７は、第１の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図８は、第１の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図９は、第１の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図１０は、第１の実施形態の係る情報処理装置の別の構成の一例を示すブロック図である。図１１は、第１の実施形態の係る情報処理装置の参照動作の別の一例を示すフローチャートである。図１２は、第２の実施形態に係る資源制御部の構成一例を示すブロック図である。図１３は、第２の実施形態に係る情報処理装置の共有データの更新動作の一例を示すフローチャートである。図１４は、第２の実施形態に係る情報処理装置の更新動作の一例を示すシーケンス図である。図１５は、第２の実施形態に係る情報処理装置の共有データの参照動作の一例を示すフローチャートである。図１６は、第２の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図１７は、第２の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図１８は、第２の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。図１９は、第２の実施形態に係る情報処理装置の参照動作の一例を示すシーケンス図である。

次に、本発明の実施形態について図面を参照して説明する。

なお、各図面は、本発明の実施形態を説明するものである。そのため、本発明は、各図面の記載に限られるわけではない。また、各図面の同様の構成には、同じ番号を付し、その繰り返しの説明は、省略する場合がある。

（第１の実施形態）
図１は、本発明おける第１の実施形態に係る情報処理装置１０の構成の一例を示すブロック図である。なお、図１において、本実施形態の説明に関係しない構成（例えば、入出力部）は、省略した。

情報処理装置１０は、プロセッサ２０ａと、プロセッサ２０ｂと、資源制御部３０とを含む。

プロセッサ２０ａとプロセッサ２０ｂとをまとめて、プロセッサ２０と言う。

プロセッサ２０は、資源制御部３０を用いて、図示しない共有リソースを使用する。

より詳細な動作は、後ほど説明するが、プロセッサ２０は、資源制御部３０を、次のように用いる。

プロセッサ２０は、共有リソースを更新（例えば、データを更新）する場合、資源制御部３０が含む情報（以下、「制御情報３０ａ」と言う）を更新して変更処理を進める。つまり、プロセッサ２０は、制御情報３０ａの変化に基づいて、共有リソースの更新を検出できる。

なお、図１において、プロセッサ２０ａ及びプロセッサ２０ｂを２つ示した例示である。情報処理装置１０は、３つ以上のプロセッサ２０を含んでも良い。

また、プロセッサ２０は、情報処理装置１０の処理の単位の一例である。プロセッサ２０は、ＣＰＵのように単独のプロセッサでもよく、ＣＰＵとＲＯＭ（Read Only Memory）とＲＡＭ（Random Access Memory）と記憶装置と含むコンピュータのような装置でもよく、ＣＰＵ上で実行されるプロセス、スレッド又はタスクでもよい。そのため、プロセッサ２０は、「処理部」と言うこともできる。

資源制御部３０は、共有リソースに対応する制御情報３０ａを保持する。既に説明しているが、制御情報３０ａは、共有リソースの更新の状態を示す情報である。なお、制御情報３０ａは、更新を示す情報として変数（制御用の変数）を含む。

なお、情報処理装置１０は、共有資源（リソース）毎に資源制御部３０を含んでも良い。あるいは、資源制御部３０は、複数の共有リソースに対応しても良い。

ただし、以下では、説明を明確にするため、資源制御部３０及び対象となる共有リソースを１つとして説明する。

次に、本実施形態の情報処理装置１０の動作について説明する。

本実施形態の資源制御部３０の制御情報３０ａが含む制御用の変数に特に制限はない。ただし、本実施形態は、図２に示すように、制御情報３０ａとして開始変数３１と終了変数３２とを含むとして説明する。

共有リソースを更新するプロセッサ２０は、更新処理の開始時に開始変数３１を更新する。

また、共有リソースを更新するプロセッサ２０は、更新処理の終了時に終了変数３２を更新する。

なお、開始変数３１及び終了変数３２の更新内容は、予め、情報処理装置１０において、共有リソースを参照するプロセッサ２０が判別できるように決めておけば特に制限はない。本実施形態の説明では、一例として、開始変数３１及び終了変数３２の初期値をどちらも「０」とし、更新を「１加算」として説明する。つまり、開始変数３１と終了変数３２は、更新中ではない場合、同じ値となり、更新中の場合、異なる値となる。

また、共有リソースの変更及び参照は、いずれのプロセッサ２０が行っても良い。ただし、以下、説明の便宜のため、特に断らない限り、プロセッサ２０ａが共有リソースを更新し、プロセッサ２０ｂが共有リソースを参照する。

まず、共有リソースの更新動作について説明する。

プロセッサ２０ａは、共有リソースを更新する場合、共有リソースが他のプロセッサから更新されることを防ぐため、排他機構を用いて占有する。この占有は、特に制限はない。例えば、プロセッサ２０ａは、資源制御部３０を占有（ロック設定）しても良い。あるいは、プロセッサ２０ａは、一般的な排他機構（例えば、共有リソースのロック機構）を用いてもよい。そのため、共有リソースの占有についての詳細な説明は、省略する。

そして、プロセッサ２０ａは、共有リソースを更新するときに、次に説明する動作を行う。

図３は、本実施形態の情報処理装置１０の更新動作の一例を示すフローチャートである。

プロセッサ２０ａは、開始変数３１を更新（１加算）する（ステップ１０１）。

次に、プロセッサ２０ａは、共有リソースの仕様を基に更新に必要な保護機構を設定する（ステップ１０２）。プロセッサ２０ａは、この動作を、共有リソースの仕様に従って行う。例えば、共有リソースがメモリの場合、プロセッサ２０ａは、メモリの順序性を保障するメモリバリア（メモリフェンス）を設定する。なお、既にプロセッサ２０ａが、共有リソースを占有しているため、更なる保護機構が不要な場合、プロセッサ２０ａは、ステップ１０２を省略しても良い。

保護を設定後、プロセッサ２０ａは、共有リソースを更新する（ステップ１０３）。

更新後、プロセッサ２０ａは、保護機構を解除する（ステップ１０４）。なお、ステップ１０２を省略した場合、プロセッサ２０ａは、ステップ１０４を省略する。

その後、プロセッサ２０ａは、終了変数３２を更新（１加算）する（ステップ１０５）。

全ての更新が終了すると、プロセッサ２０ａは、共有リソースの占有を解除（ロック解除）する。

図４は、情報処理装置１０の更新動作の一例のシーケンス図である。図４において、共有リソースの保護機能についての動作を省略した。

プロセッサ２０ａは、開始変数３１を更新する（１００１）。

そして、プロセッサ２０ａは、共有リソースを更新する（１００２）。

その後、プロセッサ２０ａは、終了変数３２を更新する（１００３）。

このような動作を基に、情報処理装置１０は、共有リソースの更新に関して、次の状態を実現する。

（１）更新中、開始変数３１の値と終了変数３２の値とが異なる。

（２）更新の後の開始変数３１及び終了変数３２の値が、更新前の開始変数３１及び終了変数３２の値と異なる。

このように、共有リソースを更新するプロセッサ２０ａは、更新の前に開始変数３１を更新し、更新終了後に終了変数３２を更新する。

なお、図４には、参考として、プロセッサ２０ｂが、共有リソースを更新する場合のシーケンス（１００４−１００６）も示している。プロセッサ２０ｂは、プロセッサ２０ａのロック解除後、共有リソースのロックを設定してから、図４に示す動作を実行する。

次に、本実施形態の情報処理装置１０が、共有リソースを参照する場合の動作について説明する。

図５は、情報処理装置１０の参照動作の一例を示すフローチャートである。

共有リソースを参照するプロセッサ２０ｂは、参照の前に開始変数３１と終了変数３２（以下、合わせて「両変数」と言う）を読み出す（ステップ２０１）。以下、ステップ２０１で読み出した変数を「第１の変数」と言う。

プロセッサ２０ｂは、第１の開始変数３１と第１の終了変数３２との値を確認する（ステップ２０２）。具体的には、プロセッサ２０ｂは、第１の開始変数３１と第１の終了変数３２とが同じか否かを判定する。この判定は、上記のとおり、共有リソースが更新中であるか否かの判定である。

第１の開始変数３１と第１の終了変数３２とが異なる、つまり、更新中の場合（ステップ２０２でＮＯ）、プロセッサ２０ｂは、ステップ２０１に戻り、更新が終了するまで待つ。プロセッサ２０ｂは、この待ちを、ステップ２０１と２０２との繰り返し（スピンロック）として待つ。ただし、本実施形態の情報処理装置１０は、スピンロックに限る必要はない。例えば、プロセッサ２０ｂは、図示しないウェイト管理機構を備え、ウェイト状態として再開を待っても良い。

第１の開始変数３１と第１の終了変数３２とが一致、つまり更新中でない場合（ステップ２０２でＹＥＳ）、プロセッサ２０ｂは、共有データを参照、例えば、データを読み出す（ステップ２０３）。

参照が終了すると、プロセッサ２０ｂは、両変数を読み出す（ステップ２０４）。ステップ２０４で読み出した変数を「第２の変数」と言う。

次に、プロセッサ２０ｂは、第１の終了変数３２と第２の終了変数３２とを確認する（ステップ２０５）。具体的には、プロセッサ２０ｂは、第１の終了変数３２と第２の終了変数３２とが同じか否かを判定する。この判定は、第１の両変数を読み出した後、終了した更新処理が発生したか否かの判定である。

第１の終了変数３２と第２の終了変数３２が異なる、つまり、終了した更新が発生した場合（ステップ２０５でＮＯ）、プロセッサ２０ｂは、ステップ２０１に戻り、最初から参照動作を始める。ステップ２０１に戻るのは、共有リソースが更新されているため、ステップ２０３での参照が無効の可能性があるためである。

第１の終了変数３２と第２の終了変数３２とが同じ場合（ステップ２０５でＹＥＳ）、プロセッサ２０ｂは、第２の開始変数３１と第２の終了変数３２とを確認する（ステップ２０６）。具体的には、プロセッサ２０ｂは、第２の開始変数３１と第２の終了変数３２が同じか否かを判定する。この判定は、新しい更新動作中であるか否かの判定である。

第２の開始変数３１と第２の終了変数３２とが異なる、つまり、更新中の場合(ステップ２０６でＮＯ）、プロセッサ２０ｂは、ステップ２０１に戻り、最初から参照動作を始める。ステップ２０１に戻るのは、共有リソースの更新が開始されているため、ステップ２０３での参照が無効の可能性があるためである。

第２の開始変数３１と第２の終了変数３２とが同じ場合（ステップ２０６でＹＥＳ）、プロセッサ２０ｂは、参照動作を終了する。その後、プロセッサ２０ｂは、適宜、次の動作に移る。

なお、ステップ２０５とステップ２０６は、どちらも変数の判定の動作である。そのため、情報処理装置１０は、この動作を分けず、１つの判定動作としても良い。

このように、共有リソースを参照するプロセッサ２０ｂは、共有リソースに排他機構を設定されているか否かに係わらず、開始変数３１と終了変数３２とを基に、共有リソースを参照できる。

次に、情報処理装置１０が、適切に共有リソースを参照できることを、図６−図９を参照して説明する。なお、図面の煩雑さを避けるため、図６−図９において、図５のステップ２０５とステップ２０６との判断は、１つの判断として示す。

まず、共有リソースの更新動作と参照動作とが重ならない場合について説明する。

図６は、プロセッサ２０ａが共有リソースの更新後に、プロセッサ２０ｂが参照動作を開始した場合のシーケンス図である。

プロセッサ２０ｂは、第１の両変数を読み出す（２００１）。この場合、第１の開始変数３１及び終了変数３２は、同じ値（図６では「０１」）となる。

そのため、第１の開始変数３１と第１の終了変数３２との判定（図５のステップ２０２）は、ＹＥＳとなる（２００２）。

そして、プロセッサ２０ｂは、共有リソースを参照する（２００３）。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（２００４）。この場合、第２の開始変数３１及び終了変数３２は、第１の開始変数３１及び終了変数３２と同じ値（図６では「０１」）となる。

そのため、ステップ２０５及び２０６に対応する変数の判定は、どちらもＹＥＳとなる（２００５）。

その結果、プロセッサ２０ｂは、参照した共有リソースが有効として、参照動作を終了する。

次に、プロセッサ２０ａが更新動作中に、プロセッサ２０ｂが参照動作を開始した場合について説明する。

図７は、プロセッサ２０ａが更新動作中に、プロセッサ２０ｂが参照動作を開始した場合のシーケンス図である。

プロセッサ２０ｂは、第１の両変数を読み出す（３００１）。この場合、プロセッサ２０ａは、更新中である。そのため、第１の開始変数３１及び第１の終了変数３２は、異なる値（図７では、開始変数３１が「０１」、終了変数３２が「００」）となる。

そのため、第１の開始変数３１と第１の終了変数３２との判定（図５のステップ２０２）は、ＮＯとなる（３００２）。

プロセッサ２０ａの更新動作が終了するまで、第１の開始変数３１と終了変数３２とが異なる。そのため、プロセッサ２０ｂは、図５のステップ２０１−２０２（図７では、３００１−３００２）を繰り返す。

プロセッサ２０ａが更新動作を終了すると、第１の開始変数３１と終了変数３２とが同じ値となる。

その後、プロセッサ２０ｂが、第１の両変数を読み出す（３００３）と、第１の開始変数３１及び第１の終了変数３２は、同じ値（図７では「０１」）である。

そのため、第１の開始変数３１と第１の終了変数３２との判定（図５のステップ２０２）は、ＹＥＳとなる（３００４）。

これ以降、プロセッサ２０ｂは、図６の２００３−２００５と同様に動作する。

つまり、プロセッサ２０ｂは、共有リソースを参照する（３００５）。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（３００６）。この場合、第２の開始変数３１及び終了変数３２は、第１の開始変数３１及び終了変数３２と同じ値（図７では「０１」）である。

そのため、ステップ２０５及び２０６に対応する変数の判定は、どちらもＹＥＳとなる（３００７）。

次に、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始した場合について説明する。まず、プロセッサ２０ｂの第２の変数の確認前に、プロセッサ２０ａの更新動作が終了した場合について説明する。

図８は、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の変数の確認前に、プロセッサ２０ａの更新動作が終了した場合のシーケンス図である。

プロセッサ２０ｂは、第１の両変数を読み込む（４００１）。この場合、第１の開始変数３１及び終了変数３２は、同じ値（図８では「００」）である。

そのため、第１の開始変数３１と第１の終了変数３２との判定（図５のステップ２０２）は、ＹＥＳとなる（４００２）。

プロセッサ２０ｂは、共有リソースを参照する（４００３）。

ただし、プロセッサ２０ａは、プロセッサ２０ｂが共有リソースを参照中に、共有リソースを更新する。そのため、開始変数３１及び終了変数３２は、どちらも更新（図８ではどちらも「０１」）される。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（４００４）。上記のとおり、第２の両変数は、更新された後のため、第１の両変数とは異なる。

そのため、プロセッサ２０ｂの変数の判定、具体的には、図５のステップ２０５の判定がＮＯとなる（４００５）。

その結果、プロセッサ２０ｂは、参照動作の最初（図５のステップ２０１）に戻り、参照動作をやり直す。つまり、プロセッサ２０ｂは、図６の２００１−２００５に相当する図８の４００６−４０１０を実行する。

具体的に説明すると次のとおりである。

プロセッサ２０ｂは、第１の両変数を読み出す（４００６）。第１の開始変数３１及び終了変数３２は、同じ値（図８では、「０１」）となる。

プロセッサ２０ｂは、第１の開始変数３１と終了変数３２を判定する（４００７）。

第１の両変数が同じため、プロセッサ２０ｂは、共有リソースを参照する（４００８）。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（４００９）。この場合、第２の両変数は、第１の両変数と同じ値（図８では「０１」）である。

そのため、プロセッサ２０ｂの変数の判定は、ＹＥＳとなる（４０１０）。

プロセッサ２０ｂは、参照した共有リソースが有効として、参照動作を終了する。

続いて、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の変数の確認時に、プロセッサ２０ａの更新動作が終了していない場合について説明する。

図９は、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の変数の確認時に、プロセッサ２０ａの更新動作が終了していない場合のシーケンス図である。

プロセッサ２０ｂは、第１の両変数を読み出す（５００１）。この場合、第１の開始変数３１及び終了変数３２は、同じ値（図９では「００」）である。

そのため、第１の開始変数３１と第１の終了変数３２との判定（図５のステップ２０２）は、ＹＥＳとなる（５００２）。

プロセッサ２０ｂは、共有リソースを参照する（５００３）。

ただし、プロセッサ２０ａは、プロセッサ２０ｂが共有リソースを参照中に、共有リソースの更新を開始している。そのため、開始変数３１は、更新（図９では「０１」）されている。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（５００４）。上記のとおり、第２の開始変数３１は、更新されたため、第２の終了変数３２と異なる。

そのため、プロセッサ２０ｂの変数の判定、具体的には、図５のステップ２０６の判定がＮＯとなる（５００５）。

そのため、プロセッサ２０ｂは、参照動作の最初（図５のステップ２０１）に戻り、参照動作をやり直す。

これ以降の動作は、図７と同様の動作になる。

つまり、プロセッサ２０ｂは、第１の開始変数３１と終了変数３２が一致するまで、両変数の読み出しと判定を繰り返す。

プロセッサ２０ａが、更新を終了すると、開始変数３１と終了変数３２とが同じ値（図９では「０１」）となる。

その後、プロセッサ２０ｂが、第１の両変数を読み出す（５００６）と、第１の開始変数３１及び終了変数３２は、同じ値（図９では、「０１」）である。

プロセッサ２０ｂは、第１の開始変数３１と終了変数３２を判定する（５００７）。

第１の変数が同じため、プロセッサ２０ｂは、共有リソースを参照する（５００８）。

参照後、プロセッサ２０ｂは、第２の両変数を読み出す（５００９）。この場合、第２の両変数は、第１の両変数と同じ値（図９では「０１」）である。

そのため、プロセッサ２０ｂの変数の判定は、ＹＥＳとなる（５０１０）。

このように構成された第１の実施形態の情報処理装置１０は、特別な命令を用いずに、性能の低下を削減した排他制御を実現する効果を得ることができる。

その理由は、次のとおりである。

情報処理装置１０は、制御情報３０ａとして開始変数３１及び終了変数３２を含む。

そして、共有リソースを更新するプロセッサ２０ａは、占有している共有リソースの更新を開始するときに開始変数３１を更新し、更新を終了したときに終了変数３２を更新する。

プロセッサ２０ｂに基づく共有リソースの参照は、共有リソースに影響を与えない。そのため、プロセッサ２０ｂは、いつでも共有リソースを参照できる。さらに、プロセッサ２０ｂは、開始変数３１及び終了変数３２を基に、共有リソースが更新中であるか否か、及び、参照中に更新が発生したか否かを判定できる。

つまり、プロセッサ２０ｂは、更新が発生していない場合、常に共有リソースを参照できる。そして、更新中の場合、プロセッサ２０ｂは、更新終了後に共有リソースを参照できる。また、参照中に更新が発生した場合、プロセッサ２０ｂは、参照後に、更新の発生を検出できるため、再度参照し、更新後の共有リソースを参照できる。

このように、共有リソースを参照するプロセッサ２０ｂは、共有リソースが更新するプロセッサ２０ａに占有されている場合でも、共有リソースを参照できる。

つまり、本実施形態の情報処理装置１０の共有リソースを参照するプロセッサ２０ｂは、共有リソースを占有しているプロセッサ２０ａの占有解除を待たなくても、共有リソースを参照できる。

このため、本実施形態の情報処理装置１０は、共有リソースの参照において、占有の解除の待ち時間を削減できる。その結果、情報処理装置１０は、占有解除の待ち時間に基づく性能低下を削減できる。

また、本実施形態の情報処理装置１０の共有リソースを参照するプロセッサ２０ｂは、開始変数３１及び終了変数３２を用い、ロック設定及び解除せずに共有リソースを参照できる。

そのため、共有リソースを参照するプロセッサ２０ｂは、ロックの取得や解除などの処理を必要としない。そのため、情報処理装置１０は、さらに、性能低下の低減できる。また、情報処理装置１０は、ロックの競合を低減できる。

さらに、共有リソースを参照するプロセッサ２０ｂは、ロック取得が必要ないため、並列処理が可能である。その結果、情報処理装置１０の処理性能が、さらに向上できるためである。

なお、本実施形態の情報処理装置１０の構成は、これまでの説明に限らない。情報処理装置１０は、複数の構成を１つの構成としても良い。あるいは、情報処理装置１０は、１つの構成を複数の構成に分けても良い。また、情報処理装置１０は、ＣＰＵ（Central Processing Unit）と、ＲＯＭ（Read Only Memory）と、ＲＡＭ（Random Access Memory）とを含むコンピュータとして実現しても良い。

図１０は、本実施形態の別の構成である情報処理装置６０の構成の一例を示す図である。

情報処理装置６０は、ＣＰＵ６１０ａと、ＣＰＵ６１０ｂと、ＲＯＭ６２０と、ＲＡＭ６３０と、ＩＯ（Input/Output）６４０と、内部記憶装置６５０と、キーボード６６０と、マウス６７０と、ディスプレイ６８０と、ＮＩＣ６９０とを含み、コンピュータを構成している。

ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、ＲＯＭ６２０、又は、ＩＯ６４０を介して内部記憶装置６５０からプログラムを読み込む。そして、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、読み込んだプログラムに基づいて、既に説明した本実施形態の情報処理装置１０のプロセッサ２０として各機能を実現する。ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、各機能を実現する際に、ＲＡＭ６３０及び内部記憶装置６５０を一時記憶として使用する。また、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、資源制御部３０としてＲＡＭ６３０又は内部記憶装置６５０を用いる。また、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、ＮＩＣ６９０を介して、図示しない他の処理装置と情報をやり取りする。さらに、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂは、ＩＯ６４０を介して、キーボード６６０及びマウス６７０から入力データを受信し、ディスプレイ６８０に表示データを表示する。

なお、ＣＰＵ６１０ａ又はＣＰＵ６１０ｂは、コンピュータで読み取り可能にプログラムを記憶した記憶媒体７００が含むプログラムを、図示しない記憶媒体読み取り装置を用いて読み込んでも良い。あるいは、ＣＰＵ６１０ａ又はＣＰＵ６１０ｂは、ＮＩＣ６９０を介してネットワークに接続された図示しない外部記憶装置からプログラムを読み込んでも良い。

ＲＯＭ６２０は、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂが実行するプログラム、及び、固定的なデータを記憶する。ＲＯＭ６２０は、例えば、Ｐ−ＲＯＭ(Programmable-ROM）やフラッシュＲＯＭである。

ＲＡＭ６３０は、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂが実行するプログラムやデータを一時的に記憶する。ＲＡＭ６３０は、資源制御部３０として動作しても良い。ＲＡＭ６３０は、例えば、Ｄ−ＲＡＭ（Dynamic-RAM）である。

ＩＯ６４０は、内部記憶装置６５０やキーボード６６０などとＣＰＵ６１０ａ及びＣＰＵ６１０ｂとのデータを仲介する。ＩＯ６４０は、例えば、ＩＯインターフェースカードである。

内部記憶装置６５０は、情報処理装置６０の長期的に保存するデータやプログラムを保存する。また、内部記憶装置６５０は、資源制御部３０として動作してもよい。さらに、内部記憶装置６５０は、ＣＰＵ６１０ａ及びＣＰＵ６１０ｂの一時記憶装置として動作しても良い。内部記憶装置６５０は、例えば、ハードディスク装置、光磁気ディスク装置、ＳＳＤ（Solid State Drive）、又は、ディスクアレイ装置である。

キーボード６６０及びマウス６７０は、情報処理装置６０の操作者からの入力指示を受信する入力部である。キーボード６６０及びマウス６７０は、受信した入力指示のデータをＣＰＵ６１０ａ又はＣＰＵ６１０ｂに送信する。

ディスプレイ６８０は、情報処理装置６０の表示部である。ＣＰＵ６１０ａ又はＣＰＵ６１０ｂは、操作者に必要な情報を、ディスプレイ６８０に表示する。

ＮＩＣ６９０は、ネットワークを介した他の装置との情報のやり取りを中継する。ＮＩＣ６９０は、例えば、ＬＡＮカードである。

このように構成された情報処理装置６０は、情報処理装置１０と同様の効果を得ることができる。

その理由は、情報処理装置６０のＣＰＵ６１０ａ及びＣＰＵ６１０ｂが、プログラムに基づいて情報処理装置１０のプロセッサ２０と同様の動作を実現できるためである。
（変形例１）
第１の実施形態の情報処理装置１０は、開始変数３１と終了変数３２とを基に、共有リソースの更新を検出する。ただし、本実施形態の情報処理装置１０の参照動作は、図５を用いた説明の動作に限らない。

図１１は、第１の実施形態に係る情報処理装置１０の参照動作の別の動作の一例を示すフローチャートである。

図１１において、図５との差は、図５のステップ２０５とステップ２０６を、ステップ３０５に変更した点である。そのため、ステップ３０５について説明し、他の説明は省略する。

図５に示した参照動作において、プロセッサ２０ｂは、次を確認した。

ステップ２０５において、プロセッサ２０ｂは、第１の終了変数３２と第２の終了変数３２が一致する否か、つまり、参照開始時に終了した更新と、参照終了後に終了した更新とが、一致するか否かを判定する。

ステップ２０６において、プロセッサ２０ｂは、第２の開始変数３１と第２の終了変数３２が一致するか否か、つまり、参照終了時に更新中か否かを判定する。

しかし、プロセッサ２０ｂは、ステップ２０２において、更新中でないことを確認してから参照動作を開始している。

そのため、プロセッサ２０ｂは、参照終了時に、参照中に更新が発生したか否かを判定しても良い。

そのため、本変形例のプロセッサ２０ｂは、ステップ３０５において、第１の開始変数３１と第２の開始変数３１が一致する否か、つまり、参照終了時に、更新が発生したか否かを判定する。

更新が発生した場合（ステップ３０５のＮＯ）、プロセッサ２０ｂは、ステップ２０１に戻り、参照動作を最初から再開する。

更新が発生していない場合（ステップ３０５でＹＥＳ）、プロセッサ２０ｂは、参照した共有リソースが有効として、参照動作を終了する。

変形例１の情報処理装置１０は、第１の実施形態の情報処理装置１０と同様の効果を得ることができる。

その理由は、変形例１の情報処理装置１０は、第１の実施形態の情報処理装置１０と同様に、共有リソースの参照中に発生した更新を検出でき、更新が発生した場合に、再度、参照動作が可能なためである。

（第２の実施形態）
本実施形態の情報処理装置１０の制御情報３０ａは、図２に示す開始変数３１及び終了変数３２に限らない。

第２の実施形態に係る情報処理装置１０の資源制御部３０は、図１２に示すように、制御情報３０ｂとして制御変数３３を含む。その他の構成は、第１の実施形態の同様のため、詳細な説明は省略し、制御変数３３に関係する構成について説明する。

制御変数３３は、共有リソースの更新状態を示す。なお、制御変数３３は、初期値として特に制限はないが、以下の説明では、初期値を０（偶数）として説明する。なお、初期値を奇数とした場合、以下の説明において、偶数と奇数を入れ替えればよい。

共有リソースを更新するプロセッサ２０ａは、共有リソースの更新の開始時と終了時に制御変数３３を更新（例えば、１加算）する。

共有リソースを参照するプロセッサ２０ｂは、共有リソースの参照前と参照後の制御変数３３の値を基に、更新中、及び、参照中の更新の発生の有無を判定する。

第２の実施形態の情報処理装置１０の動作について図を参照して説明する。

図１３は、第２の実施形態の情報処理装置１０の更新動作の一例を示すフローチャートである。

プロセッサ２０ａの更新における排他制御は、第１の実施形態の同様のため、詳細な説明は省略する。

プロセッサ２０ａは、制御変数３３を更新（１加算）する（ステップ４０１）。つまり、制御変数３３は、奇数になる。

次に、プロセッサ２０ａは、必要に応じて共有リソースに保護機構を設定する（ステップ４０２）。

保護を設定後、プロセッサ２０ａは、共有リソースを更新する（ステップ４０３）。

更新後、プロセッサ２０ａは、保護機構を解除する（ステップ４０４）。

その後、プロセッサ２０ａは、制御変数３３を更新（１加算）する（ステップ４０５）。つまり、制御変数３３は、偶数に戻る。

図１４は、第２の実施形態の情報処理装置１０の更新動作の一例のシーケンス図である。図１４においても、共有リソースの保護機能についての動作は、省略した。

プロセッサ２０ａは、制御変数３３を（奇数に）更新する（１００７）。

そして、プロセッサ２０ａは、共有リソースを更新する（１００８）。

その後、プロセッサ２０ａは、制御変数３３を（偶数に）更新する（１００９）。

（１）更新中、制御変数３３は、奇数である。

（２）更新の前後において、制御変数３３は、偶数であるが、値が異なる。

なお、図１４には、参考として、他のプロセッサ２０の例として、プロセッサ２０ｂが、共有リソースを更新する場合のシーケンス（１０１０−１０１２）も示している。

このように、共有リソースを更新するプロセッサ２０ａは、更新の前後において、制御変数３３を更新する。

図１５は、第２の実施形態の情報処理装置１０の参照動作の一例を示すフローチャートである。

共有リソースを参照するプロセッサ２０ｂは、参照の前に制御変数３３を読み出す（ステップ５０１）。以下、ステップ５０１で読み出した変数を「第１の制御変数３３」と言う。

プロセッサ２０ｂは、第１の制御変数３３の値を確認する（ステップ５０２）。具体的には、プロセッサ２０ｂは、第１の制御変数３３が偶数か否かを判定する。この判定は、上記のとおり、共有リソースが更新中であるか否かの判定である。

第１の制御変数３３が偶数でない（奇数の）場合（ステップ５０２でＮＯ）、プロセッサ２０ｂは、ステップ５０１に戻る。プロセッサ２０ｂは、第１の制御変数３３が偶数になるまで、待つ。この動作は、第１の実施形態と同様に、ステップ５０１と５０２との繰り返しでよいし、ウェイト状態を用いても良い。

第１の制御変数３３が偶数、つまり更新中でない場合（ステップ５０２でＹＥＳ）、プロセッサ２０ｂは、共有データを参照する（ステップ５０３）。

参照後、プロセッサ２０ｂは、制御変数３３を読み出す（ステップ５０４）。ステップ５０４で読み出した変数を「第２の制御変数３３」と言う。

次に、プロセッサ２０ｂは、第１の制御変数３３と第２の制御変数３３とを確認する（ステップ５０５）。具体的には、プロセッサ２０ｂは、第１の制御変数３３と第２の制御変数３３とが同じか否かを判定する。この判定は、第１の制御変数３３を読み出した後、終了した更新処理が発生したか否かの判定である。

第１の制御変数３３と第２の制御変数３３が異なる、つまり、終了した更新が発生した場合（ステップ５０５でＮＯ）、プロセッサ２０ｂは、ステップ５０１に戻り、最初から参照動作を始める。ステップ５０１に戻るのは、共有リソースが更新されているため、ステップ５０３での参照が無効の可能性があるためである。

第１の制御変数３３と第２の制御変数３３が同じ値の場合（ステップ５０５でＹＥＳ）、プロセッサ２０ｂは、第２の制御変数３３の値を確認する（ステップ５０６）。具体的には、プロセッサ２０ｂは、第２の制御変数３３が偶数か否かを判定する。この判定は、更新動作中か否かの判定である。

第２の制御変数３３が奇数、つまり、更新中の場合(ステップ５０６でＮＯ）、プロセッサ２０ｂは、ステップ５０１に戻り、最初から参照動作を始める。ステップ５０１に戻るのは、共有リソースの更新が開始されているため、ステップ５０３での参照が無効の可能性があるためである。

第２の制御変数３３が偶数の場合（ステップ５０６でＹＥＳ）、プロセッサ２０ｂは、参照動作を終了する。プロセッサ２０ｂは、適宜、次の動作に移る。

なお、ステップ５０５とステップ５０６は、どちらも変数の判定の動作である。そのため、情報処理装置１０は、この動作を分けずに、１つの判定動作として実行しても良い。

また、プロセッサ２０ｂは、ステップ５０２で制御変数３３が偶数である場合に処理を進めている。つまり、第１の制御変数３３は、偶数である。更新中の制御変数３３は、奇数となる。奇数と偶数は、異なる値である。つまり、更新中の場合も、プロセッサ２０ｂは、ステップ５０５の判定がＮＯとなる。したがって、プロセッサ２０ｂは、ステップ５０６を省略しても良い。

このように、共有リソースを参照するプロセッサ２０ｂは、共有リソースに排他機構を設定されているか否かに係わらず、制御変数３３を基に共有リソースを参照できる。

次に、情報処理装置１０が、適切に共有リソースを参照できることを、図１６−１９を参照して説明する。なお、図面の煩雑さを避けるため、図１６−図１９において、図１５のステップ５０５とステップ５０６との判断は、１つの判断として示す。

図１６は、プロセッサ２０ａが共有リソースの更新を終了後、プロセッサ２０ｂが参照動作を開始した場合のシーケンス図である。

プロセッサ２０ｂは、第１の制御変数３３を読み出す（６００１）。この場合、第１の制御変数３３は、偶数（図１６では「０２」）となる。

そのため、第１の制御変数３３の判定（図１５のステップ５０２）は、ＹＥＳとなる（６００２）。

そして、プロセッサ２０ｂは、共有リソースを参照する（６００３）。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（６００４）。この場合、第２の制御変数３３は、第１の制御変数３３と同じ値（図１６では「０２」）となる。

そのため、ステップ５０５及び５０６に対応する変数の判定は、どちらもＹＥＳとなる（６００５）。

図１７は、プロセッサ２０ａが更新動作中に、プロセッサ２０ｂが参照動作を開始した場合のシーケンス図である。

プロセッサ２０ｂは、第１の制御変数３３を読み出す（７００１）。この場合、プロセッサ２０ａは、更新中である。そのため、第１の制御変数３３は、奇数（図１７では、「０１」）となる。

そのため、第１の制御変数３３の判定（図１５のステップ５０２）は、ＮＯとなる（７００２）。

プロセッサ２０ａの更新動作が終了するまで、第１の制御変数３３は、奇数である。そのため、プロセッサ２０ｂは、図１５のステップ５０１−５０２（図１７では、７００１−７００２）を繰り返す。

プロセッサ２０ａが更新動作を終了すると、第１の制御変数３３は、偶数になる。

その後、プロセッサ２０ｂが、第１の制御変数３３を読み出す（７００３）と、第１の制御変数３３は、偶数（図１７では「０２」）となる。

そのため、第１の制御変数３３の判定（図１５のステップ５０２）は、ＹＥＳとなる（７００４）。

これ以降、プロセッサ２０ｂは、図１６の６００３−６００５と同様に動作する。

つまり、プロセッサ２０ｂは、共有リソースを参照する（７００５）。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（７００６）。この場合、第２の制御変数３３は、第１の制御変数３３と同じ値（図１７では「０２」）である。

そのため、ステップ５０５及び５０６に対応する変数の判定は、どちらもＹＥＳとなる（７００７）。

次に、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始した場合について説明する。まず、プロセッサ２０ｂの第２の制御変数３３の確認前に、プロセッサ２０ａの更新動作が終了した場合について説明する。

図１８は、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の制御変数３３の確認前に、プロセッサ２０ａの更新動作が終了した場合のシーケンス図である。

プロセッサ２０ｂは、第１の制御変数３３を読み込む（８００１）。この場合、第１の制御変数３３は、偶数（図１８では「００」）である。

そのため、第１の制御変数３３の判定（図１５のステップ５０２）は、ＹＥＳとなる（８００２）。

プロセッサ２０ｂは、共有リソースを参照する（８００３）。

ただし、プロセッサ２０ａは、プロセッサ２０ｂが共有リソースを参照中に、共有リソースを更新している。そのため、制御変数３３は、更新（図１８では「０２」）されている。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（８００４）。上記のとおり、第２の制御変数３３は、更新された後のため、第１の制御変数３３とは異なる。

そのため、プロセッサ２０ｂの変数の判定、具体的には、図１５のステップ５０５の判定がＮＯとなる（８００５）。

そのため、プロセッサ２０ｂは、参照動作の最初（図１５のステップ５０１）に戻り、参照動作をやり直す。つまり、プロセッサ２０ｂは、図１６の６００１−６００５に相当する図１８の８００６−８０１０を実行する。

具体的に説明すると次のとおりである。

プロセッサ２０ｂは、第１の制御変数３３を読み出す（８００６）。第１の制御変数３３は、偶数（図１８では、「０２」）である。

プロセッサ２０ｂは、第１の制御変数３３を判定する（８００７）。

第１の制御変数３３が偶数のため、プロセッサ２０ｂは、共有リソースを参照する（８００８）。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（８００９）。この場合、第２の制御変数３３は、第１の制御変数３３と同じ偶数の値（図１８では「０２」）である。

そのため、プロセッサ２０ｂの変数の判定は、ＹＥＳとなる（８０１０）。

続いて、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の制御変数３３の確認時に、プロセッサ２０ａの更新動作が終了していない場合について説明する。

図１９は、プロセッサ２０ｂが参照動作を開始してから、プロセッサ２０ａが更新動作を開始し、プロセッサ２０ｂの第２の制御変数３３の確認時に、プロセッサ２０ａの更新動作が終了していない場合のシーケンス図である。

プロセッサ２０ｂは、第１の制御変数３３を読み出す（９００１）。この場合、第１の制御変数３３は、偶数（図１９では「００」）である。

そのため、第１の制御変数３３の判定（図１５のステップ５０２）は、ＹＥＳとなる（９００２）。

プロセッサ２０ｂは、共有リソースを参照する（９００３）。

ただし、プロセッサ２０ａは、プロセッサ２０ｂが共有リソースを参照中に、共有リソースの更新を開始している。そのため、制御変数３３は、更新（図１９では「０１」）されている。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（９００４）。上記のとおり、第２の制御変数３３は、更新されたため、第１の制御変数３３とは異なる。

そのため、プロセッサ２０ｂの制御変数３３の判定、具体的には、図１５のステップ５０５の判定がＮＯとなる（５００５）。

そのため、プロセッサ２０ｂは、参照動作の最初（図１５のステップ５０１）に戻り、参照動作をやり直す。

これ以降の動作は、図１７と同様の動作になる。

つまり、プロセッサ２０ｂは、第１の制御変数３３が偶数になるまで、制御変数３３の読み出しと判定を繰り返す。

プロセッサ２０ａが、更新を終了すると、制御変数３３が偶数（図１９では「０２」）となる。

その後、プロセッサ２０ｂが、第１の制御変数３３を読み出す（９００６）と、第１の制御変数３３は、偶数（図１９では、「０２」）である。

プロセッサ２０ｂは、第１の制御変数３３を判定する（９００７）。

第１の制御変数３３が偶数のため、プロセッサ２０ｂは、共有リソースを参照する（９００８）。

プロセッサ２０ｂは、第２の制御変数３３を読み出す（９００９）。この場合、第２の制御変数３３は、第１の制御変数３３と同じ偶数（図１９では「０２」）である。

そのため、プロセッサ２０ｂの変数の判定は、ＹＥＳとなる（９０１０）。

このように構成された第２の実施形態の情報処理装置１０は、第１の実施形態の情報処理装置１０と同様の効果を得ることができる。

その理由は、第２の実施形態の情報処理装置１０は、制御変数３３を用いて、開始変数３１と終了変数３２とを用いる第１の実施形態の情報処理装置１０と同様に動作できるためである。

以上、実施形態を参照して本願発明を説明したが、本願発明は上記実施形態に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。

１０情報処理装置
２０プロセッサ
２０ａプロセッサ
２０ｂプロセッサ
３０資源制御部
３０ａ制御情報
３０ｂ制御情報
３１開始変数
３２終了変数
３３制御変数
６０情報処理装置
６１０ａＣＰＵ
６１０ｂＣＰＵ
６２０ＲＯＭ
６３０ＲＡＭ
６４０ＩＯ
６５０内部記憶装置
６６０キーボード
６７０マウス
６８０ディスプレイ
６９０ＮＩＣ
７００記憶媒体

Claims

共有資源の更新状態を示す制御情報を保持する資源制御部と、
前記共有資源を更新する前に前記資源制御部の制御情報を更新し、前記共有資源を更新後に前記資源制御部の制御情報をさらに更新する第１の処理部と、
前記資源制御部の制御情報を基に前記第１の処理部が前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記資源制御部の制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照する第２の処理部と
を含み、
前記資源制御部の前記制御情報は、
前記共有資源の更新前に更新される開始変数と、
前記共有資源の更新後に更新される終了変数と
を含み、
前記開始変数が、前記共有資源の更新後に前記終了変数が更新されるときに更新されず、
前記終了変数が、前記共有資源の更新前に前記開始変数が更新されるときに更新されない
情報処理装置。
前記開始変数及び前記終了変数の初期値が０であり、
前記開始変数及び前記終了変数が、更新として、１を加算される
請求項１に記載の情報処理装置。
前記第２の処理部は、
前記共有資源の参照前に前記資源制御部から取り出した前記制御情報を第１の変数として前記第１の判定を行い、
前記共有資源の参照後に前記資源制御部から取り出した前記制御情報を第２の変数として前記第１の変数及び前記第２の変数を基に前記第２の判定を行う
請求項１又は請求項２に記載の情報処理装置。
共有資源の更新状態を示す制御情報を保持し、
前記共有資源を更新する場合、前記共有資源を更新する前に前記制御情報を更新し、前記共有資源を更新後に前記制御情報をさらに更新し、
前記共有資源を参照する場合、前記制御情報を基に前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照し、
前記制御情報は、
前記共有資源の更新前に更新される開始変数と、
前記共有資源の更新後に更新される終了変数と
を含み、
前記開始変数が、前記共有資源の更新後に前記終了変数が更新されるときに更新されず、
前記終了変数が、前記共有資源の更新前に前記開始変数が更新されるときに更新されない
情報処理方法。
共有資源の更新状態を示す制御情報を保持する処理と、
前記共有資源を更新する場合、前記共有資源の更新の前に前記制御情報を更新し、前記共有資源の更新後に前記制御情報をさらに更新する処理と、
前記共有資源を参照する場合、前記制御情報を基に前記共有資源を更新中か否かの判定である第１の判定を行い、更新中でない場合は前記共有資源を参照し、更新中の場合は更新終了後に前記共有資源を参照し、前記共有資源の参照後、前記制御情報を基に参照中に前記共有資源の更新が発生したか否かを判定である第２の判定を行い、更新が発生した場合、前記共有資源を再度参照する処理と
をコンピュータに実行させ、
さらに、前記制御情報に、
前記共有資源の更新前に更新される開始変数と、
前記共有資源の更新後に更新される終了変数と
を含み、
前記開始変数が、前記共有資源の更新後に前記終了変数が更新されるときに更新されず、
前記終了変数が、前記共有資源の更新前に前記開始変数が更新されるときに更新されないように処理を実行させる
プログラム。