JPH1091524A - キャッシュ・コヒーレンシを維持するための方法及び装置 - Google Patents
キャッシュ・コヒーレンシを維持するための方法及び装置Info
- Publication number
- JPH1091524A JPH1091524A JP9142666A JP14266697A JPH1091524A JP H1091524 A JPH1091524 A JP H1091524A JP 9142666 A JP9142666 A JP 9142666A JP 14266697 A JP14266697 A JP 14266697A JP H1091524 A JPH1091524 A JP H1091524A
- Authority
- JP
- Japan
- Prior art keywords
- data
- processor
- given block
- block
- given
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F12/00—Accessing, addressing or allocating within memory systems or architectures
- G06F12/02—Addressing or allocation; Relocation
- G06F12/08—Addressing or allocation; Relocation in hierarchically structured memory systems, e.g. virtual memory systems
- G06F12/0802—Addressing of a memory level in which the access to the desired data or data block requires associative addressing means, e.g. caches
- G06F12/0806—Multiuser, multiprocessor or multiprocessing cache systems
- G06F12/0815—Cache consistency protocols
- G06F12/0817—Cache consistency protocols using directory methods
- G06F12/0828—Cache consistency protocols using directory methods with concurrent directory accessing, i.e. handling multiple concurrent coherency transactions
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Memory System Of A Hierarchy Structure (AREA)
- Multi Processors (AREA)
Abstract
(57)【要約】
【課題】 多重キャッシュ・システム構成内のプロセッ
サの集合が、システム内のどのプロセッサからも発する
ことのできる記憶動作の優先順序付けに関して不一致に
ならないことを保証する、キャッシュ・コヒーレンシ・
プロトコルを提供する。 【解決手段】 本発明のプロトコルでは、他のプロセッ
サがラインの未変更の以前のコピーにアクセスしている
間に、あるプロセッサがラインを変更できる、コヒーレ
ンシが維持される。このコヒーレンシの達成は、システ
ム内のすべてのラインの状況を維持するライン状況レジ
スタと、他のプロセッサと共用されるラインを変更する
ことの許可を与えられているプロセッサのすべての識別
を維持する変更元プロセッサ・レジスタを使用すること
を介して行われる。優先サイクルの機会を生じる可能性
がある共用ラインに対する変更状況の許可が実現する状
況の排除が、本発明の中心的な態様である。
サの集合が、システム内のどのプロセッサからも発する
ことのできる記憶動作の優先順序付けに関して不一致に
ならないことを保証する、キャッシュ・コヒーレンシ・
プロトコルを提供する。 【解決手段】 本発明のプロトコルでは、他のプロセッ
サがラインの未変更の以前のコピーにアクセスしている
間に、あるプロセッサがラインを変更できる、コヒーレ
ンシが維持される。このコヒーレンシの達成は、システ
ム内のすべてのラインの状況を維持するライン状況レジ
スタと、他のプロセッサと共用されるラインを変更する
ことの許可を与えられているプロセッサのすべての識別
を維持する変更元プロセッサ・レジスタを使用すること
を介して行われる。優先サイクルの機会を生じる可能性
がある共用ラインに対する変更状況の許可が実現する状
況の排除が、本発明の中心的な態様である。
Description
【０００１】
【発明の属する技術分野】本発明は、多重プロセッサ・
システムに関し、具体的には、多重プロセッサ・システ
ムのキャッシュ・コヒーレンシに関する。
システムに関し、具体的には、多重プロセッサ・システ
ムのキャッシュ・コヒーレンシに関する。
【０００２】
【従来の技術】プロセッサのサイクル時間とメモリ・ア
クセス時間が不釣り合いなので、プロセッサにキャッシ
ュを使用せざるをえなくなった。このキャッシュには、
高速にアクセスできるメモリのサブセットが含まれる。
各プロセッサが独自の局所キャッシュに接続される多重
プロセッサ・システムでは、異なるプロセッサに接続さ
れる局所キャッシュの内容同士の間で何らかの調整を行
わないと、コヒーレンシの問題が発生する可能性があ
る。接続されたプロセッサがメモリ更新（記憶）動作を
実行する時に、必ず更新されるキャッシュ・メモリを考
慮されたい。通常、このようなシステムでは、プロセッ
サがそれ自体のキャッシュの内容を変更しようとする時
に、メモリ・システムが、他のキャッシュ内のキャッシ
ュ・ラインの他のすべてのコピーを無効化することによ
って、変更元プロセッサのキャッシュ内で変更されるキ
ャッシュ・ラインの排他的コピーを作成することを必要
とすることによって、キャッシュ・コヒーレンシが実施
される。このようなライン無効化は、時間のかかる動作
であり、各メモリ更新動作がすべての無効化の完了と同
期化される場合、かなりの遅延がもたらされる可能性が
ある。
クセス時間が不釣り合いなので、プロセッサにキャッシ
ュを使用せざるをえなくなった。このキャッシュには、
高速にアクセスできるメモリのサブセットが含まれる。
各プロセッサが独自の局所キャッシュに接続される多重
プロセッサ・システムでは、異なるプロセッサに接続さ
れる局所キャッシュの内容同士の間で何らかの調整を行
わないと、コヒーレンシの問題が発生する可能性があ
る。接続されたプロセッサがメモリ更新（記憶）動作を
実行する時に、必ず更新されるキャッシュ・メモリを考
慮されたい。通常、このようなシステムでは、プロセッ
サがそれ自体のキャッシュの内容を変更しようとする時
に、メモリ・システムが、他のキャッシュ内のキャッシ
ュ・ラインの他のすべてのコピーを無効化することによ
って、変更元プロセッサのキャッシュ内で変更されるキ
ャッシュ・ラインの排他的コピーを作成することを必要
とすることによって、キャッシュ・コヒーレンシが実施
される。このようなライン無効化は、時間のかかる動作
であり、各メモリ更新動作がすべての無効化の完了と同
期化される場合、かなりの遅延がもたらされる可能性が
ある。
【０００３】メモリ・システムがこのようなステップを
実行するという固有の必要は存在しない。多重プロセッ
サ・システムのコヒーレンシの本質は、すべてのプロセ
ッサが、すべてのプロセッサの処置によってメモリ・シ
ステムが更新される順序について同意するということで
ある。メモリ・システムの更新の順序は、メモリの２つ
の位置を検査することによって、プログラムによって識
別できる。プログラムが位置Ａを観察し、位置Ａが新し
い値を有することを発見し、次に位置Ｂを検査し、位置
Ｂが古い値を有することを発見する場合、このプログラ
ムは、位置Ｂが更新される前に位置Ａが更新されたと推
論することができる。多重プロセッサ・システムでは、
すべてのプロセッサが、この質問の共通の解に達するこ
とが必要である。この必要は、多数の微妙な暗示を有す
る。たとえば、多重プロセッサ・システムにおいて、単
一のプロセッサが２つの取出し要求（または検査要求）
を発行する場合、これらの要求は、順番に処理されなけ
ればならない。あるプロセッサが２つの記憶要求（また
は更新要求）を発行する場合、これらの要求は、順番に
処理されなければならない。取出し要求が順番に処理さ
れない場合、記憶要求を順番に処理する必要もない。さ
らに、単一プロセッサ内では、取出し要求によって、概
念上その取出しより前にある、そのプロセッサによって
発行された最後の記憶結果が得られなければならない。
多重プロセッサでは、メモリ・サブシステム内で記憶動
作が発生する順序に関する共通の推論を侵害しない限
り、あるプロセッサでの特定の取出し要求によって、別
のプロセッサからの特定の記憶の結果が得られる必要は
ない。この必要を要約した規則は、次の形で表現でき
る。
実行するという固有の必要は存在しない。多重プロセッ
サ・システムのコヒーレンシの本質は、すべてのプロセ
ッサが、すべてのプロセッサの処置によってメモリ・シ
ステムが更新される順序について同意するということで
ある。メモリ・システムの更新の順序は、メモリの２つ
の位置を検査することによって、プログラムによって識
別できる。プログラムが位置Ａを観察し、位置Ａが新し
い値を有することを発見し、次に位置Ｂを検査し、位置
Ｂが古い値を有することを発見する場合、このプログラ
ムは、位置Ｂが更新される前に位置Ａが更新されたと推
論することができる。多重プロセッサ・システムでは、
すべてのプロセッサが、この質問の共通の解に達するこ
とが必要である。この必要は、多数の微妙な暗示を有す
る。たとえば、多重プロセッサ・システムにおいて、単
一のプロセッサが２つの取出し要求（または検査要求）
を発行する場合、これらの要求は、順番に処理されなけ
ればならない。あるプロセッサが２つの記憶要求（また
は更新要求）を発行する場合、これらの要求は、順番に
処理されなければならない。取出し要求が順番に処理さ
れない場合、記憶要求を順番に処理する必要もない。さ
らに、単一プロセッサ内では、取出し要求によって、概
念上その取出しより前にある、そのプロセッサによって
発行された最後の記憶結果が得られなければならない。
多重プロセッサでは、メモリ・サブシステム内で記憶動
作が発生する順序に関する共通の推論を侵害しない限
り、あるプロセッサでの特定の取出し要求によって、別
のプロセッサからの特定の記憶の結果が得られる必要は
ない。この必要を要約した規則は、次の形で表現でき
る。
【０００４】次の例が発生しない限り、多重プロセッサ
・システム内で観測可能な順序の侵害は存在しない。Ｋ
個のプロセッサＰi（ここで、ｉ＝１、２、…、Ｋ）
と、２組のＫ個のメモリ位置Ｘi及びＹi（ここで、Ｙi
はＸiの置換）を有するシステムを仮定する。Ｋ個のプ
ロセッサＰiのそれぞれが、Ｘiの後にＹiを観察し、Ｘi
の新しい値とＹiの古い値を見る。優先サイクルと称す
るこの例では、複数のプロセッサが、記憶動作の順序に
関する矛盾した推論に達する。
・システム内で観測可能な順序の侵害は存在しない。Ｋ
個のプロセッサＰi（ここで、ｉ＝１、２、…、Ｋ）
と、２組のＫ個のメモリ位置Ｘi及びＹi（ここで、Ｙi
はＸiの置換）を有するシステムを仮定する。Ｋ個のプ
ロセッサＰiのそれぞれが、Ｘiの後にＹiを観察し、Ｘi
の新しい値とＹiの古い値を見る。優先サイクルと称す
るこの例では、複数のプロセッサが、記憶動作の順序に
関する矛盾した推論に達する。
【０００５】
【発明が解決しようとする課題】本発明の目的は、優先
サイクル発生の可能性を回避しつつ、１プロセッサによ
って排他的に保持されるキャッシュ・ラインのみが更新
動作の対象となり得ることを必要としない、キャッシュ
・コヒーレンシ・プロトコルを提供することである。
サイクル発生の可能性を回避しつつ、１プロセッサによ
って排他的に保持されるキャッシュ・ラインのみが更新
動作の対象となり得ることを必要としない、キャッシュ
・コヒーレンシ・プロトコルを提供することである。
【０００６】
【課題を解決するための手段】本発明によれば、プロセ
ッサがそれ自体のキャッシュ内のデータを変更できると
同時に、そのデータが他のプロセッサのキャッシュ内で
未変更のままにとどまる、キャッシュ・コヒーレンシ・
プロトコルが開示される。これは、複数のプロセッサが
同一ラインを同時に変更できないことと、そのような変
更の結果が、禁止された優先サイクルの発生を引き起こ
せないことを保証する形で行われる。プロセッサが所与
のラインの変更を許可されるための規則は、次のとおり
である。 １）所与のラインが変更状況を有しない（すなわち、他
のすべてのプロセッサがそのラインを変更する許可を与
えられていない）ことと、 ２）所与のラインを共用する他のプロセッサ（すなわ
ち、所与のラインがそのプロセッサに関連するキャッシ
ュ・ライン内に置かれる）のすべてが、現在、他のライ
ンに関して、変更状況を許可されていないこと。
ッサがそれ自体のキャッシュ内のデータを変更できると
同時に、そのデータが他のプロセッサのキャッシュ内で
未変更のままにとどまる、キャッシュ・コヒーレンシ・
プロトコルが開示される。これは、複数のプロセッサが
同一ラインを同時に変更できないことと、そのような変
更の結果が、禁止された優先サイクルの発生を引き起こ
せないことを保証する形で行われる。プロセッサが所与
のラインの変更を許可されるための規則は、次のとおり
である。 １）所与のラインが変更状況を有しない（すなわち、他
のすべてのプロセッサがそのラインを変更する許可を与
えられていない）ことと、 ２）所与のラインを共用する他のプロセッサ（すなわ
ち、所与のラインがそのプロセッサに関連するキャッシ
ュ・ライン内に置かれる）のすべてが、現在、他のライ
ンに関して、変更状況を許可されていないこと。
【０００７】このプロトコルの主な長所は、許可された
ラインの変更が、多重プロセッサ・システム内のライン
の他のすべてのコピーの無効化なしに発生可能であり、
したがって、更新動作に関連する処理時間が削減される
ことである。
ラインの変更が、多重プロセッサ・システム内のライン
の他のすべてのコピーの無効化なしに発生可能であり、
したがって、更新動作に関連する処理時間が削減される
ことである。
【０００８】本発明の他の目的及び長所は、添付図面と
共に以下の詳細な説明を検討すれば完全に理解される。
共に以下の詳細な説明を検討すれば完全に理解される。
【０００９】
【発明の実施の形態】図１からわかるように、多重プロ
セッサ・システムには、共用メモリ１０１にアクセスす
る複数のプロセッサ（Ｐ1、Ｐ2、…、ＰN）が含まれ
る。各プロセッサには、共用メモリ１０１のサブセット
を記憶する、複数のラインとして配置された対応する局
所キャッシュ（Ｃ1、Ｃ2、…、ＣN）が関連する。所与
の局所キャッシュ内の各ラインは、図４に示されるよう
に、そのラインに関連する２ビットを有することが好ま
しい。第１ビット４０１は、通常は有効ビットと称する
が、そのラインが有効状況と無効状況のいずれを有する
かを識別する。第１ビット４０１からそのラインが有効
状況を有することが示される場合、第２ビット４０３に
よって、そのラインが読取り専用状況と変更状況のいず
れを有するかが示される。
セッサ・システムには、共用メモリ１０１にアクセスす
る複数のプロセッサ（Ｐ1、Ｐ2、…、ＰN）が含まれ
る。各プロセッサには、共用メモリ１０１のサブセット
を記憶する、複数のラインとして配置された対応する局
所キャッシュ（Ｃ1、Ｃ2、…、ＣN）が関連する。所与
の局所キャッシュ内の各ラインは、図４に示されるよう
に、そのラインに関連する２ビットを有することが好ま
しい。第１ビット４０１は、通常は有効ビットと称する
が、そのラインが有効状況と無効状況のいずれを有する
かを識別する。第１ビット４０１からそのラインが有効
状況を有することが示される場合、第２ビット４０３に
よって、そのラインが読取り専用状況と変更状況のいず
れを有するかが示される。
【００１０】プロセッサがそれに関連する局所キャッシ
ュに対して発行する参照は、次の２つのクラスに編成で
きる。 １）クラス１参照 プロセッサによる所与のラインの変
更が目的でない参照 ２）クラス２参照 プロセッサによる所与のラインの変
更が目的の参照
ュに対して発行する参照は、次の２つのクラスに編成で
きる。 １）クラス１参照 プロセッサによる所与のラインの変
更が目的でない参照 ２）クラス２参照 プロセッサによる所与のラインの変
更が目的の参照
【００１１】プロセッサがクラス１参照を発行し、参照
されるラインが（ａ）そのプロセッサに関連する局所キ
ャッシュ内にあり、（ｂ）読取り専用状況または変更状
況のいずれかの有効状況を有する場合には、局所キャッ
シュからプロセッサへ要求されたラインを転送すること
によってクラス１参照に対応することができる。
されるラインが（ａ）そのプロセッサに関連する局所キ
ャッシュ内にあり、（ｂ）読取り専用状況または変更状
況のいずれかの有効状況を有する場合には、局所キャッ
シュからプロセッサへ要求されたラインを転送すること
によってクラス１参照に対応することができる。
【００１２】プロセッサがクラス１参照を発行し、参照
されるラインが（ａ）そのプロセッサに関連する局所キ
ャッシュ内にないか、（ｂ）そのプロセッサに関連する
局所キャッシュ内にあるが無効状況を有する場合、キャ
ッシュ・ミス（ＣＭ）要求が発行される。ＣＭ要求の処
理は、下で詳細に説明する。ＣＭ要求の処理が完了した
時、参照されたラインは、プロセッサに関連する局所キ
ャッシュに記憶され、有効状況と読取り専用状況を有す
る。その後、局所キャッシュからプロセッサへ要求され
た情報を転送することによって、クラス１参照に対応す
ることができる。
されるラインが（ａ）そのプロセッサに関連する局所キ
ャッシュ内にないか、（ｂ）そのプロセッサに関連する
局所キャッシュ内にあるが無効状況を有する場合、キャ
ッシュ・ミス（ＣＭ）要求が発行される。ＣＭ要求の処
理は、下で詳細に説明する。ＣＭ要求の処理が完了した
時、参照されたラインは、プロセッサに関連する局所キ
ャッシュに記憶され、有効状況と読取り専用状況を有す
る。その後、局所キャッシュからプロセッサへ要求され
た情報を転送することによって、クラス１参照に対応す
ることができる。
【００１３】プロセッサがクラス２参照を発行し、キャ
ッシュ・ラインが、そのプロセッサに関連する局所キャ
ッシュ内にあり、有効状況と変更状況を有する場合、局
所キャッシュに記憶された参照されたラインをプロセッ
サが更新できるようにすることによって、クラス２参照
に対応することができる。
ッシュ・ラインが、そのプロセッサに関連する局所キャ
ッシュ内にあり、有効状況と変更状況を有する場合、局
所キャッシュに記憶された参照されたラインをプロセッ
サが更新できるようにすることによって、クラス２参照
に対応することができる。
【００１４】プロセッサがクラス２参照を発行し、キャ
ッシュ・ラインが、そのプロセッサに関連する局所キャ
ッシュ内にあり、有効状況と読取り専用状況を有する場
合、存在するラインの変更が目的のキャッシュ・ミス
（ＣＭＩＭＬＰ）要求が発行される。ＣＭＩＭＬＰ要求
の処理は、下で詳細に説明する。ＣＭＩＭＬＰ要求の処
理が完了した時、参照されたラインは、プロセッサに関
連する局所キャッシュに記憶され、有効状況と変更状況
を有する。その後、局所キャッシュに記憶された参照さ
れたラインをプロセッサが更新できるようにすることに
よって、クラス２参照に対応することができる。
ッシュ・ラインが、そのプロセッサに関連する局所キャ
ッシュ内にあり、有効状況と読取り専用状況を有する場
合、存在するラインの変更が目的のキャッシュ・ミス
（ＣＭＩＭＬＰ）要求が発行される。ＣＭＩＭＬＰ要求
の処理は、下で詳細に説明する。ＣＭＩＭＬＰ要求の処
理が完了した時、参照されたラインは、プロセッサに関
連する局所キャッシュに記憶され、有効状況と変更状況
を有する。その後、局所キャッシュに記憶された参照さ
れたラインをプロセッサが更新できるようにすることに
よって、クラス２参照に対応することができる。
【００１５】プロセッサがクラス２参照を発行し、参照
されるラインが、（ａ）そのプロセッサに関連する局所
キャッシュ内にない、または（ｂ）そのプロセッサに関
連する局所キャッシュ内に存在するが、無効状況を有す
る場合、不在のラインの変更が目的のキャッシュ・ミス
（ＣＭＩＭＬＡ）要求が発行される。ＣＭＩＭＬＡ要求
の処理は、下で詳細に説明する。ＣＭＩＭＬＡ要求の処
理が完了した時、参照されたラインは、そのプロセッサ
に関連する局所キャッシュに記憶され、有効状況と変更
状況を有する。その後、局所キャッシュに記憶された参
照されたラインをプロセッサが更新できるようにするこ
とによって、クラス２参照に対応することができる。
されるラインが、（ａ）そのプロセッサに関連する局所
キャッシュ内にない、または（ｂ）そのプロセッサに関
連する局所キャッシュ内に存在するが、無効状況を有す
る場合、不在のラインの変更が目的のキャッシュ・ミス
（ＣＭＩＭＬＡ）要求が発行される。ＣＭＩＭＬＡ要求
の処理は、下で詳細に説明する。ＣＭＩＭＬＡ要求の処
理が完了した時、参照されたラインは、そのプロセッサ
に関連する局所キャッシュに記憶され、有効状況と変更
状況を有する。その後、局所キャッシュに記憶された参
照されたラインをプロセッサが更新できるようにするこ
とによって、クラス２参照に対応することができる。
【００１６】図５は、ＣＭ要求、ＣＭＩＭＬＰ要求及び
ＣＭＩＭＬＡ要求のフォーマットを示す図である。各要
求には、要求ＩＤフィールド５０１、プロセッサＩＤフ
ィールド５０３及びライン・アドレス・フィールド５０
５が含まれる。要求ＩＤフィールド５０１によって、そ
の要求がＣＭ要求、ＣＭＩＭＬＰ要求またはＣＭＩＭＬ
Ａ要求のいずれかとして識別される。プロセッサＩＤフ
ィールド５０３によって、要求元プロセッサが識別され
る。ライン・アドレス・フィールドによって、その要求
に関連するキャッシュ・ラインが識別される。
ＣＭＩＭＬＡ要求のフォーマットを示す図である。各要
求には、要求ＩＤフィールド５０１、プロセッサＩＤフ
ィールド５０３及びライン・アドレス・フィールド５０
５が含まれる。要求ＩＤフィールド５０１によって、そ
の要求がＣＭ要求、ＣＭＩＭＬＰ要求またはＣＭＩＭＬ
Ａ要求のいずれかとして識別される。プロセッサＩＤフ
ィールド５０３によって、要求元プロセッサが識別され
る。ライン・アドレス・フィールドによって、その要求
に関連するキャッシュ・ラインが識別される。
【００１７】要求元プロセッサにラインを変更すること
の許可が与えられることが判定された後の、ＣＭＩＭＬ
Ｐ要求とＣＭＩＭＬＡ要求の処理は、ＣＭＩＭＬＡ要求
の場合に変更状況を有するラインを現在の所有者から要
求を開始したプロセッサのキャッシュに転送しなければ
ならないことを除いて、同一である。さらに、ＣＭＩＭ
ＬＰ要求が延期される時には、ＣＭＩＭＬＰ要求をＣＭ
ＩＭＬＡ要求に変更する必要が生じる場合がある。した
がって、説明を簡単にするために、ＣＭＩＭＬＰ要求と
ＣＭＩＭＬＡ要求の共通処理を、以下では変更が目的の
キャッシュ・ミス（ＣＭＩＭ）要求と称する。しかし、
ＣＭＩＭＬＰ要求の処理とＣＭＩＭＬＡ要求の処理に相
違が存在する時には、具体的な相違を詳細に述べる。
の許可が与えられることが判定された後の、ＣＭＩＭＬ
Ｐ要求とＣＭＩＭＬＡ要求の処理は、ＣＭＩＭＬＡ要求
の場合に変更状況を有するラインを現在の所有者から要
求を開始したプロセッサのキャッシュに転送しなければ
ならないことを除いて、同一である。さらに、ＣＭＩＭ
ＬＰ要求が延期される時には、ＣＭＩＭＬＰ要求をＣＭ
ＩＭＬＡ要求に変更する必要が生じる場合がある。した
がって、説明を簡単にするために、ＣＭＩＭＬＰ要求と
ＣＭＩＭＬＡ要求の共通処理を、以下では変更が目的の
キャッシュ・ミス（ＣＭＩＭ）要求と称する。しかし、
ＣＭＩＭＬＰ要求の処理とＣＭＩＭＬＡ要求の処理に相
違が存在する時には、具体的な相違を詳細に述べる。
【００１８】本発明によれば、キャッシュ・コヒーレン
シ機構１０３が設けられ、これが、プロセッサ／キャッ
シュ対によって発行されたＣＭＩＭ要求を受け取り、キ
ャッシュ内のラインのコピーに変更状況を与えることが
できるかどうかを判定する。本発明のキャッシュ・コヒ
ーレンシ機構は、（ａ）キャッシュ・コヒーレンシ機構
によって維持されるラインに関する情報と、（ｂ）他の
プロセッサに関連する局所キャッシュ内で他のラインが
共用され、存在する可能性がある時点で変更状況が要求
された他のラインに関して変更状況を許可されているプ
ロセッサを識別する情報とに基づいて、このような変更
状況を許可する。ラインのコピーに、キャッシュ・コヒ
ーレンシ機構によって変更状況が与えられない場合、Ｃ
ＭＩＭ要求の処理は、次のキャッシュ・コヒーレンシ・
リセット（ＣＣＲ）まで延期される。
シ機構１０３が設けられ、これが、プロセッサ／キャッ
シュ対によって発行されたＣＭＩＭ要求を受け取り、キ
ャッシュ内のラインのコピーに変更状況を与えることが
できるかどうかを判定する。本発明のキャッシュ・コヒ
ーレンシ機構は、（ａ）キャッシュ・コヒーレンシ機構
によって維持されるラインに関する情報と、（ｂ）他の
プロセッサに関連する局所キャッシュ内で他のラインが
共用され、存在する可能性がある時点で変更状況が要求
された他のラインに関して変更状況を許可されているプ
ロセッサを識別する情報とに基づいて、このような変更
状況を許可する。ラインのコピーに、キャッシュ・コヒ
ーレンシ機構によって変更状況が与えられない場合、Ｃ
ＭＩＭ要求の処理は、次のキャッシュ・コヒーレンシ・
リセット（ＣＣＲ）まで延期される。
【００１９】具体的に言うと、本発明のキャッシュ・コ
ヒーレンシ機構には、変更元プロセッサ・レジスタとラ
イン状況レジスタが含まれることが好ましい。図２から
わかるように、変更元プロセッサ・レジスタには、各ビ
ットがシステムのプロセッサＰ1、Ｐ2、…、ＰNの１つ
に関連するｎビットが記憶される。各ビットは、変更状
況が要求された時点で他のプロセッサと共用されていた
ラインの変更状況が、関連するプロセッサに与えられた
かどうかを示す。変更元プロセッサ・レジスタ内のビッ
トの順序は、システムのプロセッサＰ1、Ｐ2、…、ＰN
の標準順序付けを表すことが好ましい。２進値「１」を
有する（または、セットされている）変更元プロセッサ
・レジスタのビットは、変更状況が要求された時点で他
のプロセッサと共用されていたラインの変更状況が関連
プロセッサに与えられていることを示し、２進値「０」
を有する（または、クリアされている）変更元プロセッ
サ・レジスタのビットは、変更状況が要求された時点で
他のプロセッサと共用されていたラインの変更状況が関
連プロセッサに与えられなかったことを示すことが好ま
しい。
ヒーレンシ機構には、変更元プロセッサ・レジスタとラ
イン状況レジスタが含まれることが好ましい。図２から
わかるように、変更元プロセッサ・レジスタには、各ビ
ットがシステムのプロセッサＰ1、Ｐ2、…、ＰNの１つ
に関連するｎビットが記憶される。各ビットは、変更状
況が要求された時点で他のプロセッサと共用されていた
ラインの変更状況が、関連するプロセッサに与えられた
かどうかを示す。変更元プロセッサ・レジスタ内のビッ
トの順序は、システムのプロセッサＰ1、Ｐ2、…、ＰN
の標準順序付けを表すことが好ましい。２進値「１」を
有する（または、セットされている）変更元プロセッサ
・レジスタのビットは、変更状況が要求された時点で他
のプロセッサと共用されていたラインの変更状況が関連
プロセッサに与えられていることを示し、２進値「０」
を有する（または、クリアされている）変更元プロセッ
サ・レジスタのビットは、変更状況が要求された時点で
他のプロセッサと共用されていたラインの変更状況が関
連プロセッサに与えられなかったことを示すことが好ま
しい。
【００２０】図３からわかるように、ライン状況レジス
タには、ライン状況ベクトルと称する複数の項目３０３
が記憶され、項目３０３のそれぞれが、共用メモリ１０
１の１ブロックと関連する。各項目と関連する共用メモ
リ１０１のブロックは、キャッシュ・ラインのサイズの
ブロックであり、各項目は、キャッシュ・ラインの実メ
モリ・アドレスを介してアドレッシングされることが好
ましい。ライン状況ベクトルのそれぞれは、ｎ＋１ビッ
トの長さを有する。このベクトルの最初のｎビット
Ｂ1、Ｂ2、…、ＢNは、関連するラインに影響するＣＣ
Ｒの最後の発生以降に、キャッシュＣ1、Ｃ2、…、ＣN
内に関連するラインのコピーを有するまたは有したプロ
セッサＰ1、Ｐ2、…、ＰN（変更元プロセッサ・レジス
タに使用されるものと同一のプロセッサの標準順序付け
を使用することが好ましい）を指定するビットである。
Ｂ1、Ｂ2、…、ＢNのビットが、２進値「１」を有する
（通常はセットされていると称する）場合、そのビット
が、関連するラインに影響するＣＣＲの最後の発生以降
に、関連プロセッサがその局所キャッシュ内に関連ライ
ンのコピーを有するまたは有したことを示し、このビッ
トが２進値「０」を有する（通常はクリアされていると
称する）場合、そのビットが、関連するラインに影響す
るＣＣＲの最後の発生以降に、関連プロセッサがその局
所キャッシュ内に関連ラインのコピーを有しないまたは
有しなかったことを示すことが好ましい。このベクトル
の第ｎ＋１ビットであるＢN+1は、プロセッサＰ1、
Ｐ2、…、ＰNのうちのどれかが、関連ラインの変更状況
を与えられたかどうかを指定するビットである。変更さ
れる（すなわち、ライン状況レジスタの関連ベクトルの
第ｎ＋１ビットであるＢN+1がセットされ、プロセッサ
による変更の対象であることが示される）ラインは、次
の２タイプのいずれかである。 １）ＳＩＮＧＬＥＴＯＮ（単集合） 多くとも１つのプ
ロセッサ（したがって、変更元プロセッサ）が、そのキ
ャッシュ内にラインの有効なコピーを有する ２）ＳＨＡＲＥＤ−ＭＯＤＩＦＹ（共用−変更） 複数
のプロセッサがそのラインのコピーを有し、これらのプ
ロセッサのうちの１つが、そのキャッシュ内に変更状況
を有するラインを有する上で述べたＳＩＮＧＬＥＴＯＮ
タイプのラインは、 １）所与のラインに関連するベクトルの第ｎ＋１ビット
であるＢN+1から、そのラインがプロセッサによる変更
の対象であることが示され、 ２）所与のラインに関連するベクトルの他のｎビット、
Ｂ1、Ｂ2、…、ＢNのうちの１ビットだけがセットさ
れ、したがって、１つのプロセッサだけが所与のライン
のコピーを有することが示されるものとして識別でき
る。上で述べたＳＨＡＲＥＤ−ＭＯＤＩＦＹラインは、 １）所与のラインに関連するベクトルの第ｎ＋１ビット
であるＢN+1から、そのラインがプロセッサによる変更
の対象であることが示され、 ２）所与のラインに関連するベクトルの他のｎビット、
Ｂ1、Ｂ2、…、ＢNのうちの複数のビットがセットさ
れ、したがって、複数のプロセッサが所与のラインのコ
ピーを有することが示されるものとして識別できる。
タには、ライン状況ベクトルと称する複数の項目３０３
が記憶され、項目３０３のそれぞれが、共用メモリ１０
１の１ブロックと関連する。各項目と関連する共用メモ
リ１０１のブロックは、キャッシュ・ラインのサイズの
ブロックであり、各項目は、キャッシュ・ラインの実メ
モリ・アドレスを介してアドレッシングされることが好
ましい。ライン状況ベクトルのそれぞれは、ｎ＋１ビッ
トの長さを有する。このベクトルの最初のｎビット
Ｂ1、Ｂ2、…、ＢNは、関連するラインに影響するＣＣ
Ｒの最後の発生以降に、キャッシュＣ1、Ｃ2、…、ＣN
内に関連するラインのコピーを有するまたは有したプロ
セッサＰ1、Ｐ2、…、ＰN（変更元プロセッサ・レジス
タに使用されるものと同一のプロセッサの標準順序付け
を使用することが好ましい）を指定するビットである。
Ｂ1、Ｂ2、…、ＢNのビットが、２進値「１」を有する
（通常はセットされていると称する）場合、そのビット
が、関連するラインに影響するＣＣＲの最後の発生以降
に、関連プロセッサがその局所キャッシュ内に関連ライ
ンのコピーを有するまたは有したことを示し、このビッ
トが２進値「０」を有する（通常はクリアされていると
称する）場合、そのビットが、関連するラインに影響す
るＣＣＲの最後の発生以降に、関連プロセッサがその局
所キャッシュ内に関連ラインのコピーを有しないまたは
有しなかったことを示すことが好ましい。このベクトル
の第ｎ＋１ビットであるＢN+1は、プロセッサＰ1、
Ｐ2、…、ＰNのうちのどれかが、関連ラインの変更状況
を与えられたかどうかを指定するビットである。変更さ
れる（すなわち、ライン状況レジスタの関連ベクトルの
第ｎ＋１ビットであるＢN+1がセットされ、プロセッサ
による変更の対象であることが示される）ラインは、次
の２タイプのいずれかである。 １）ＳＩＮＧＬＥＴＯＮ（単集合） 多くとも１つのプ
ロセッサ（したがって、変更元プロセッサ）が、そのキ
ャッシュ内にラインの有効なコピーを有する ２）ＳＨＡＲＥＤ−ＭＯＤＩＦＹ（共用−変更） 複数
のプロセッサがそのラインのコピーを有し、これらのプ
ロセッサのうちの１つが、そのキャッシュ内に変更状況
を有するラインを有する上で述べたＳＩＮＧＬＥＴＯＮ
タイプのラインは、 １）所与のラインに関連するベクトルの第ｎ＋１ビット
であるＢN+1から、そのラインがプロセッサによる変更
の対象であることが示され、 ２）所与のラインに関連するベクトルの他のｎビット、
Ｂ1、Ｂ2、…、ＢNのうちの１ビットだけがセットさ
れ、したがって、１つのプロセッサだけが所与のライン
のコピーを有することが示されるものとして識別でき
る。上で述べたＳＨＡＲＥＤ−ＭＯＤＩＦＹラインは、 １）所与のラインに関連するベクトルの第ｎ＋１ビット
であるＢN+1から、そのラインがプロセッサによる変更
の対象であることが示され、 ２）所与のラインに関連するベクトルの他のｎビット、
Ｂ1、Ｂ2、…、ＢNのうちの複数のビットがセットさ
れ、したがって、複数のプロセッサが所与のラインのコ
ピーを有することが示されるものとして識別できる。
【００２１】本発明のキャッシュ・コヒーレンシ機構の
最後の構成要素は、キャッシュ・ライン無効化機構であ
り、これは、共用されている間に変更状況を与えられた
ラインのコピーを無効化するように機能する。このよう
なラインの組の全体を、１つのクラスとして扱う必要が
あり、このクラスのすべてのラインがそのコピーを無効
化された時に、ＣＣＲを呼び出すことができる。ＣＣＲ
の終了時に、すべてのラインが、ライン状況レジスタ内
の関連ベクトルにＳＩＮＧＬＥＴＯＮ状況をセットさ
れ、そのラインが変更され、そのラインを最後に変更し
たプロセッサのキャッシュ内で排他的であることが示さ
れる。さらに、変更元プロセッサ・レジスタは、現在変
更状況を有するプロセッサがないことを示すように設定
される。この時点で、このようなメモリ要求によっても
たらされたラインの状況またはこのようなラインを共用
するプロセッサの状況が原因で延期されていたメモリ要
求のすべてを、処理することができる。
最後の構成要素は、キャッシュ・ライン無効化機構であ
り、これは、共用されている間に変更状況を与えられた
ラインのコピーを無効化するように機能する。このよう
なラインの組の全体を、１つのクラスとして扱う必要が
あり、このクラスのすべてのラインがそのコピーを無効
化された時に、ＣＣＲを呼び出すことができる。ＣＣＲ
の終了時に、すべてのラインが、ライン状況レジスタ内
の関連ベクトルにＳＩＮＧＬＥＴＯＮ状況をセットさ
れ、そのラインが変更され、そのラインを最後に変更し
たプロセッサのキャッシュ内で排他的であることが示さ
れる。さらに、変更元プロセッサ・レジスタは、現在変
更状況を有するプロセッサがないことを示すように設定
される。この時点で、このようなメモリ要求によっても
たらされたラインの状況またはこのようなラインを共用
するプロセッサの状況が原因で延期されていたメモリ要
求のすべてを、処理することができる。
【００２２】ラインがすでに変更状況を有するので延期
されたＣＭＩＭＬＰ要求は、そのＣＭＩＭＬＰ要求を発
行したプロセッサのキャッシュ内でラインのコピーがキ
ャッシュ・ライン無効化機構によって無効化されるの
で、ＣＭＩＭＬＡ要求に変換される。しかし、すでに変
更状況を有するプロセッサによってラインが共用されて
いたので延期されたＣＭＩＭＬＰ要求は、キャッシュ・
ライン無効化機構の処置の一部としてのラインのコピー
の無効化が行われないので、ＣＭＩＭＬＰ要求として処
理できる。これは、入出力事象の処置が原因でラインが
無効化される時に起こり得る。このような無効化が発生
する場合、そのラインに関する延期されたＣＭＩＭＬＰ
要求は、ＣＭＩＭＬＡ要求に変換されなければならな
い。
されたＣＭＩＭＬＰ要求は、そのＣＭＩＭＬＰ要求を発
行したプロセッサのキャッシュ内でラインのコピーがキ
ャッシュ・ライン無効化機構によって無効化されるの
で、ＣＭＩＭＬＡ要求に変換される。しかし、すでに変
更状況を有するプロセッサによってラインが共用されて
いたので延期されたＣＭＩＭＬＰ要求は、キャッシュ・
ライン無効化機構の処置の一部としてのラインのコピー
の無効化が行われないので、ＣＭＩＭＬＰ要求として処
理できる。これは、入出力事象の処置が原因でラインが
無効化される時に起こり得る。このような無効化が発生
する場合、そのラインに関する延期されたＣＭＩＭＬＰ
要求は、ＣＭＩＭＬＡ要求に変換されなければならな
い。
【００２３】本発明のキャッシュ・コヒーレンシ機構の
全要素の動作を、キャッシュ・ミス（ＣＭ）または変更
が目的のキャッシュ・ミス（ＣＭＩＭ）の時点の後で発
生する処置を追うことによって示す。このようなミスの
結果は、プロセッサ要求の成功裡の完了か、キャッシュ
・コヒーレンシ・リセット（ＣＣＲ）までの延期のいず
れかになる。本発明のキャッシュ・コヒーレンシ機構
は、全プロセッサによって生成される要求を直列化し、
その結果、どのサイクルにもただ１つのＣＭ要求または
ＣＭＩＭ要求が発行されるようにすることが好ましい。
全要素の動作を、キャッシュ・ミス（ＣＭ）または変更
が目的のキャッシュ・ミス（ＣＭＩＭ）の時点の後で発
生する処置を追うことによって示す。このようなミスの
結果は、プロセッサ要求の成功裡の完了か、キャッシュ
・コヒーレンシ・リセット（ＣＣＲ）までの延期のいず
れかになる。本発明のキャッシュ・コヒーレンシ機構
は、全プロセッサによって生成される要求を直列化し、
その結果、どのサイクルにもただ１つのＣＭ要求または
ＣＭＩＭ要求が発行されるようにすることが好ましい。
【００２４】ＣＭ要求時の処置 たとえば、多重プロセッサ・システムの局所キャッシュ
Ｃaに対するプロセッサＰaによる参照がＣＭ要求の発行
をもたらすシナリオを検討する。この場合、キャッシュ
・コヒーレンシ機構は、そのラインに関連するライン状
況ベクトルをライン状況レジスタから抽出し、下記に従
ってこのベクトルを検査する。・ライン状況ベクトルの
第ｎ＋１ビット、ＢN+1から、そのラインがプロセッサ
による変更の対象でないことが示される場合、有効状況
と読取り専用状況と共にラインのコピーを局所キャッシ
ュＣaに転送し、プロセッサＰaに対応するライン状況ベ
クトルのビットＢaに「１」をセットして、プロセッサ
Ｐaがラインのコピーを有することを示し、それによっ
て、ＣＭ要求の処理を完了する。・ライン状況ベクトル
の第ｎ＋１ビット、ＢN+1から、そのラインがプロセッ
サによる変更の対象であるが、そのラインがプロセッサ
Ｐbに関するＳＩＮＧＬＥＴＯＮであることが示される
場合、正しい処置は、そのラインがプロセッサＰbに関
連するキャッシュＣb内でまだ有効であるかどうかに依
存する。キャッシュＣb内でラインが有効な場合、その
ラインのコピーがキャッシュＣbから共用メモリ１０１
とキャッシュＣaに送られ、キャッシュＣa及びＣb内の
そのラインに関連するライン状況ビットに有効と読取り
専用がセットされる。さらに、ＢN+1に「０」をセット
して、そのラインが変更の対象でないことを反映するこ
とと、ＢaとＢbの両方に「１」をセットして、そのライ
ンがプロセッサＰaとＰbの両方によって共用されること
を示すことによって、ライン状況ベクトルを更新する。
ラインがもはやキャッシュＣb内で有効でない場合、変
更されたラインが無効化された時に、変更されたライン
のコピーがシステムの共用メモリ１０１に送られたと推
論することができる。この場合、そのラインのコピー
が、共用メモリ１０１からキャッシュＣaに送られ、キ
ャッシュＣaのこのラインに関連するライン状況ビット
に、有効と読取り専用がセットされる。さらに、ＢN+1
に「０」をセットして、このラインが変更の対象でない
ことを反映し、Ｂaに「１」をセットして、このライン
がプロセッサＰaによって保持されることを示し、Ｂbに
「０」をセットして、このラインがプロセッサＰbによ
って保持されないことを示すことによって、ライン状況
ベクトルを更新する。これによって、ＣＭ要求の処理が
完了する。・ライン状況ベクトルの第ｎ＋１ビットＢ
N+1から、そのラインがプロセッサによる変更の対象で
あるが、ＳＨＡＲＥＤ−ＭＯＤＩＦＹであることが示さ
れる場合、ＣＭ要求の処理は、ＣＣＲが発生するまで延
期される。ＣＣＲによって、このようなラインのベクト
ルがＳＩＮＧＬＥＴＯＮ状況にリセットされる。
Ｃaに対するプロセッサＰaによる参照がＣＭ要求の発行
をもたらすシナリオを検討する。この場合、キャッシュ
・コヒーレンシ機構は、そのラインに関連するライン状
況ベクトルをライン状況レジスタから抽出し、下記に従
ってこのベクトルを検査する。・ライン状況ベクトルの
第ｎ＋１ビット、ＢN+1から、そのラインがプロセッサ
による変更の対象でないことが示される場合、有効状況
と読取り専用状況と共にラインのコピーを局所キャッシ
ュＣaに転送し、プロセッサＰaに対応するライン状況ベ
クトルのビットＢaに「１」をセットして、プロセッサ
Ｐaがラインのコピーを有することを示し、それによっ
て、ＣＭ要求の処理を完了する。・ライン状況ベクトル
の第ｎ＋１ビット、ＢN+1から、そのラインがプロセッ
サによる変更の対象であるが、そのラインがプロセッサ
Ｐbに関するＳＩＮＧＬＥＴＯＮであることが示される
場合、正しい処置は、そのラインがプロセッサＰbに関
連するキャッシュＣb内でまだ有効であるかどうかに依
存する。キャッシュＣb内でラインが有効な場合、その
ラインのコピーがキャッシュＣbから共用メモリ１０１
とキャッシュＣaに送られ、キャッシュＣa及びＣb内の
そのラインに関連するライン状況ビットに有効と読取り
専用がセットされる。さらに、ＢN+1に「０」をセット
して、そのラインが変更の対象でないことを反映するこ
とと、ＢaとＢbの両方に「１」をセットして、そのライ
ンがプロセッサＰaとＰbの両方によって共用されること
を示すことによって、ライン状況ベクトルを更新する。
ラインがもはやキャッシュＣb内で有効でない場合、変
更されたラインが無効化された時に、変更されたライン
のコピーがシステムの共用メモリ１０１に送られたと推
論することができる。この場合、そのラインのコピー
が、共用メモリ１０１からキャッシュＣaに送られ、キ
ャッシュＣaのこのラインに関連するライン状況ビット
に、有効と読取り専用がセットされる。さらに、ＢN+1
に「０」をセットして、このラインが変更の対象でない
ことを反映し、Ｂaに「１」をセットして、このライン
がプロセッサＰaによって保持されることを示し、Ｂbに
「０」をセットして、このラインがプロセッサＰbによ
って保持されないことを示すことによって、ライン状況
ベクトルを更新する。これによって、ＣＭ要求の処理が
完了する。・ライン状況ベクトルの第ｎ＋１ビットＢ
N+1から、そのラインがプロセッサによる変更の対象で
あるが、ＳＨＡＲＥＤ−ＭＯＤＩＦＹであることが示さ
れる場合、ＣＭ要求の処理は、ＣＣＲが発生するまで延
期される。ＣＣＲによって、このようなラインのベクト
ルがＳＩＮＧＬＥＴＯＮ状況にリセットされる。
【００２５】ＣＭＩＭ要求時の処置 次の例では、多重プロセッサ・システムの局所キャッシ
ュＣaに対するプロセッサＰaによる参照が、ＣＭＩＭ要
求の発行をもたらすシナリオを検討する。この場合、キ
ャッシュ・コヒーレンシ機構は、そのラインに関連する
ベクトルをライン状況レジスタから抽出し、下記に従っ
てこのベクトルを検査する。 ・下記の２つの条件 １）ライン状況ベクトルの第ｎ＋１ビットＢN+1から、
そのラインがプロセッサによる変更の対象でないことが
示され、 ２）ライン状況レジスタの最初のｎビットがクリアされ
ており、これによってそのラインのコピーを有するプロ
セッサがないことが示されるか、（ベクトルの最初のｎ
ビットのうちの）プロセッサＰaに関連する１ビットだ
けがセットされ、これによってプロセッサＰaだけがそ
のラインのコピーを有するか有した、のいずれかが成立
する場合、動作は、要求がＣＭＩＭＬＡ要求とＣＭＩＭ
ＬＰ要求のいずれであるかに依存する。要求がＣＭＩＭ
ＬＡ要求の場合、有効状況と変更状況と共にそのライン
を、共用メモリ１０１からプロセッサＰaに関連する局
所キャッシュＣaに転送する。要求がＣＭＩＭＬＰ要求
の場合、キャッシュＣa内のラインのライン状況ビット
に、有効状況と変更状況がセットされる。どちらの場合
でも、ライン状況レジスタ内のそのラインに関連するラ
イン状況ベクトルは、そのラインがＳＩＮＧＬＥＴＯＮ
であることを表すように更新される。これは、（ベクト
ルの最初のｎビットのうちの）プロセッサＰaに関連す
る１ビットだけをセットし、ベクトルの第ｎ＋１ビット
をセットして、そのラインがプロセッサによる変更の対
象であることを示すことによって達成されることが好ま
しい。これによってＣＭＩＭが完了する。・下記の２つ
の条件 １）ライン状況ベクトルの第ｎ＋１ビットＢN+1から、
そのラインがプロセッサによる変更の対象でないことが
示され、 ２）ライン状況ベクトルの最初のｎビットから、プロセ
ッサＰa以外の少なくとも１つのプロセッサが、そのラ
インのコピーを有することが示されるが成立する場合、
プロセッサのそれぞれに関連するライン状況ベクトルの
最初のｎビットを、変更元プロセッサ・レジスタの対応
するビットと比較する。このベクトルと変更元プロセッ
サ・レジスタの対応するビット対のうち、プロセッサＰ
aに対応するビット対以外のどれかがセットされている
場合、ＣＭＩＭ要求の処理は、ＣＣＲが発生するまで延
期される。ＣＣＲによって、変更元プロセッサ・レジス
タがクリアされる。プロセッサＰaに対応するビット対
以外に対応するビット対がない場合、下記の処置を行
う。 ・要求がＣＭＩＭＬＡ要求の場合、そのラインを、プロ
セッサＰaに関連する局所キャッシュＣaに転送する。要
求がＣＭＩＭＬＰ要求の場合、ラインの移動は不要であ
る。 ・そのラインに、キャッシュＣa内で変更状況を割り当
てる。 ・そのラインに関連するライン状況ベクトルの第ｎ＋１
ビットＢN+1をセットし、そのラインがプロセッサによ
る変更の対象であることを示す。 ・ライン状況ベクトルの最初のｎビットのうちでプロセ
ッサＰaに関連するビットをセットし、これによって、
プロセッサＰaがそのラインのコピーを有することを示
す。 ・このラインを共用するものの無効化に関する情報を、
キャッシュ・ライン無効化機構に供給する（この情報の
詳細な説明は、下で述べる）。 ・プロセッサＰaに対応する変更元プロセッサ・レジス
タのビットをセットし（これによって、プロセッサＰa
が、共用されるラインに対して変更状況を与えることを
求める将来の要求のすべてに対して検査しなければなら
ないプロセッサの１つであることを示し）、ＣＭＩＭ要
求の処理を完了する。 ・ラインがＳＨＡＲＥＤ−ＭＯＤＩＦＹの場合、ＣＭＩ
Ｍ要求の処理は、ＣＣＲが発生するまで延期される。Ｃ
ＣＲによって、このラインがＳＩＮＧＬＥＴＯＮに変換
される。 ・ラインがプロセッサＰbに関するＳＩＮＧＬＥＴＯＮ
である場合、下記の処置を行う。 ・ライン状況ベクトルを更新して、そのラインがプロセ
ッサＰaに関するＳＩＮＧＬＥＴＯＮであることを表
す。これは、（ベクトルの最初のｎビットのうちの）プ
ロセッサＰaに関連する１ビットだけをセットし、ベク
トルの第ｎ＋１ビットＢN+1を保存して、そのラインが
プロセッサによる変更の対象であり続けることを示すこ
とによって達成されることが好ましい。 ・そのラインを、プロセッサＰbに関連する局所キャッ
シュから、プロセッサＰaに関連する局所キャッシュに
転送する。 ・そのラインを、プロセッサＰbに関連する局所キャッ
シュでは無効とマークし、プロセッサＰaに関連する局
所キャッシュでは変更状況を有する有効とマークし、Ｃ
ＭＩＭ要求の処理を完了する。
ュＣaに対するプロセッサＰaによる参照が、ＣＭＩＭ要
求の発行をもたらすシナリオを検討する。この場合、キ
ャッシュ・コヒーレンシ機構は、そのラインに関連する
ベクトルをライン状況レジスタから抽出し、下記に従っ
てこのベクトルを検査する。 ・下記の２つの条件 １）ライン状況ベクトルの第ｎ＋１ビットＢN+1から、
そのラインがプロセッサによる変更の対象でないことが
示され、 ２）ライン状況レジスタの最初のｎビットがクリアされ
ており、これによってそのラインのコピーを有するプロ
セッサがないことが示されるか、（ベクトルの最初のｎ
ビットのうちの）プロセッサＰaに関連する１ビットだ
けがセットされ、これによってプロセッサＰaだけがそ
のラインのコピーを有するか有した、のいずれかが成立
する場合、動作は、要求がＣＭＩＭＬＡ要求とＣＭＩＭ
ＬＰ要求のいずれであるかに依存する。要求がＣＭＩＭ
ＬＡ要求の場合、有効状況と変更状況と共にそのライン
を、共用メモリ１０１からプロセッサＰaに関連する局
所キャッシュＣaに転送する。要求がＣＭＩＭＬＰ要求
の場合、キャッシュＣa内のラインのライン状況ビット
に、有効状況と変更状況がセットされる。どちらの場合
でも、ライン状況レジスタ内のそのラインに関連するラ
イン状況ベクトルは、そのラインがＳＩＮＧＬＥＴＯＮ
であることを表すように更新される。これは、（ベクト
ルの最初のｎビットのうちの）プロセッサＰaに関連す
る１ビットだけをセットし、ベクトルの第ｎ＋１ビット
をセットして、そのラインがプロセッサによる変更の対
象であることを示すことによって達成されることが好ま
しい。これによってＣＭＩＭが完了する。・下記の２つ
の条件 １）ライン状況ベクトルの第ｎ＋１ビットＢN+1から、
そのラインがプロセッサによる変更の対象でないことが
示され、 ２）ライン状況ベクトルの最初のｎビットから、プロセ
ッサＰa以外の少なくとも１つのプロセッサが、そのラ
インのコピーを有することが示されるが成立する場合、
プロセッサのそれぞれに関連するライン状況ベクトルの
最初のｎビットを、変更元プロセッサ・レジスタの対応
するビットと比較する。このベクトルと変更元プロセッ
サ・レジスタの対応するビット対のうち、プロセッサＰ
aに対応するビット対以外のどれかがセットされている
場合、ＣＭＩＭ要求の処理は、ＣＣＲが発生するまで延
期される。ＣＣＲによって、変更元プロセッサ・レジス
タがクリアされる。プロセッサＰaに対応するビット対
以外に対応するビット対がない場合、下記の処置を行
う。 ・要求がＣＭＩＭＬＡ要求の場合、そのラインを、プロ
セッサＰaに関連する局所キャッシュＣaに転送する。要
求がＣＭＩＭＬＰ要求の場合、ラインの移動は不要であ
る。 ・そのラインに、キャッシュＣa内で変更状況を割り当
てる。 ・そのラインに関連するライン状況ベクトルの第ｎ＋１
ビットＢN+1をセットし、そのラインがプロセッサによ
る変更の対象であることを示す。 ・ライン状況ベクトルの最初のｎビットのうちでプロセ
ッサＰaに関連するビットをセットし、これによって、
プロセッサＰaがそのラインのコピーを有することを示
す。 ・このラインを共用するものの無効化に関する情報を、
キャッシュ・ライン無効化機構に供給する（この情報の
詳細な説明は、下で述べる）。 ・プロセッサＰaに対応する変更元プロセッサ・レジス
タのビットをセットし（これによって、プロセッサＰa
が、共用されるラインに対して変更状況を与えることを
求める将来の要求のすべてに対して検査しなければなら
ないプロセッサの１つであることを示し）、ＣＭＩＭ要
求の処理を完了する。 ・ラインがＳＨＡＲＥＤ−ＭＯＤＩＦＹの場合、ＣＭＩ
Ｍ要求の処理は、ＣＣＲが発生するまで延期される。Ｃ
ＣＲによって、このラインがＳＩＮＧＬＥＴＯＮに変換
される。 ・ラインがプロセッサＰbに関するＳＩＮＧＬＥＴＯＮ
である場合、下記の処置を行う。 ・ライン状況ベクトルを更新して、そのラインがプロセ
ッサＰaに関するＳＩＮＧＬＥＴＯＮであることを表
す。これは、（ベクトルの最初のｎビットのうちの）プ
ロセッサＰaに関連する１ビットだけをセットし、ベク
トルの第ｎ＋１ビットＢN+1を保存して、そのラインが
プロセッサによる変更の対象であり続けることを示すこ
とによって達成されることが好ましい。 ・そのラインを、プロセッサＰbに関連する局所キャッ
シュから、プロセッサＰaに関連する局所キャッシュに
転送する。 ・そのラインを、プロセッサＰbに関連する局所キャッ
シュでは無効とマークし、プロセッサＰaに関連する局
所キャッシュでは変更状況を有する有効とマークし、Ｃ
ＭＩＭ要求の処理を完了する。
【００２６】キャッシュ・ライン無効化機構は、ライン
・アドレスと、ライン記憶レジスタに記憶されたそれに
関連するライン状況ベクトルと、そのキャッシュ・ディ
レクトリ内で有効及び変更を与えられ、したがって、所
与のラインを変更する能力を有する単独のプロセッサで
あるプロセッサＰrの識別とを使用して、所与のライン
の共用ユーザのすべてのキャッシュ項目を無効化する。
このような要求のリストは、キャッシュ・ライン無効化
機構によって維持される。共用ユーザのすべてが無効化
された時に、キャッシュ・ライン無効化機構は、キャッ
シュ・コヒーレンシ・リセット（ＣＣＲ）を宣言する。
・アドレスと、ライン記憶レジスタに記憶されたそれに
関連するライン状況ベクトルと、そのキャッシュ・ディ
レクトリ内で有効及び変更を与えられ、したがって、所
与のラインを変更する能力を有する単独のプロセッサで
あるプロセッサＰrの識別とを使用して、所与のライン
の共用ユーザのすべてのキャッシュ項目を無効化する。
このような要求のリストは、キャッシュ・ライン無効化
機構によって維持される。共用ユーザのすべてが無効化
された時に、キャッシュ・ライン無効化機構は、キャッ
シュ・コヒーレンシ・リセット（ＣＣＲ）を宣言する。
【００２７】ＣＣＲを処理するために、キャッシュ・ラ
イン無効化機構は、保留中の各ラインに関連するライン
状況レジスタのライン状況ベクトルを更新して、そのラ
インをＳＩＮＧＬＥＴＯＮとして識別し、これによっ
て、そのラインが変更されており、最後にそのラインを
変更したプロセッサのキャッシュ内で排他的であること
を表す。さらに、変更元プロセッサ・レジスタは、現在
変更状況を有するプロセッサがないことを示すようにセ
ットされる。
イン無効化機構は、保留中の各ラインに関連するライン
状況レジスタのライン状況ベクトルを更新して、そのラ
インをＳＩＮＧＬＥＴＯＮとして識別し、これによっ
て、そのラインが変更されており、最後にそのラインを
変更したプロセッサのキャッシュ内で排他的であること
を表す。さらに、変更元プロセッサ・レジスタは、現在
変更状況を有するプロセッサがないことを示すようにセ
ットされる。
【００２８】要約すると、本発明のキャッシュ・コヒー
レンシ・プロトコルでは、単一のプロセッサが変更を希
望するラインの共用コピーの無効化が、変更状況の付与
から分離される。したがって、プロセッサがその個々の
キャッシュのアクセスと変更を継続している間に、シス
テム内で非同期に無効化を行うことができる。これによ
って、ライン変更の前に無効化を必要とする従来のキャ
ッシュ・コヒーレンシ・プロトコルを使用する時に生ず
る遅延がなくなる。
レンシ・プロトコルでは、単一のプロセッサが変更を希
望するラインの共用コピーの無効化が、変更状況の付与
から分離される。したがって、プロセッサがその個々の
キャッシュのアクセスと変更を継続している間に、シス
テム内で非同期に無効化を行うことができる。これによ
って、ライン変更の前に無効化を必要とする従来のキャ
ッシュ・コヒーレンシ・プロトコルを使用する時に生ず
る遅延がなくなる。
【００２９】本明細書に開示された本発明の仕様及び実
践の考察から、本発明の他の実施態様は、当業者に明白
になる。開示された仕様及び例は、例にすぎないとみな
される目的のものであり、本発明の真の範囲は、請求項
によって示される。
践の考察から、本発明の他の実施態様は、当業者に明白
になる。開示された仕様及び例は、例にすぎないとみな
される目的のものであり、本発明の真の範囲は、請求項
によって示される。
【００３０】まとめとして、本発明の構成に関して以下
の事項を開示する。
の事項を開示する。
【００３１】（１）複数のプロセッサと関連局所キャッ
シュとを有する多重プロセッサ・システムにおいて、前
記局所キャッシュに記憶されたデータのコヒーレンシを
維持するための方法であって、複数のプロセッサによっ
て共用されるデータのブロックを変更することの許可を
与えられているプロセッサを識別する第１データを第１
メモリに記憶するステップと、前記局所キャッシュのう
ちの少なくとも１つに記憶される所与のデータのブロッ
クについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを第２メモリに記憶するステップ
と、前記所与のデータのブロックを変更するために特定
のプロセッサによって発行された参照に応答して、前記
第１メモリに記憶された前記第１データと前記第２メモ
リに記憶された前記所与のデータのブロックに関連する
前記第２データとに従って、前記所与のデータのブロッ
クを変更することの許可を前記特定のプロセッサに与え
るかどうかを判定するステップと、を含む方法。 （２）前記第１メモリに記憶された前記第１データが、
各ビットが１プロセッサに関連する複数のビットを含
み、各ビットが、関連するプロセッサが複数のプロセッ
サによって共用されるデータのブロックを変更すること
の許可を与えられているかどうかを表すことを特徴とす
る、上記（１）に記載の方法。 （３）前記所与のデータのブロックに関連する、前記第
２メモリに記憶された前記第２データが、各ビットが１
プロセッサに関連する複数のビットを含み、各ビット
が、関連するプロセッサがそれに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックのコピーを
有するかどうかを表すことを特徴とする、上記（１）に
記載の方法。 （４）前記所与のデータのブロックに関連する、前記第
２メモリに記憶された前記第２データが、前記プロセッ
サのうちのどれかが、前記所与のデータのブロックを変
更することを許可されているかどうかを表すビットを含
むことを特徴とする、上記（１）に記載の方法。 （５）前記判定するステップが、前記所与のデータのブ
ロックに関連する前記第２データが、ｉ）いずれのプロ
セッサも、前記所与のデータのブロックを変更すること
を許可されていないことと、ｉｉ）特定のプロセッサ以
外の少なくとも１つの他のプロセッサが、そのプロセッ
サに関連する局所キャッシュ内に前記所与のデータのブ
ロックのコピーを有することとを示す場合に、前記特定
のプロセッサ以外の他のプロセッサのいずれかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較するステップを含
むことを特徴とする、上記（１）に記載の方法。 （６）前記比較するステップが、前記特定のプロセッサ
以外のプロセッサが条件１）及び条件２）を満足すると
判定する場合に、要求の処理が、リセット動作が実行さ
れるまで延期されることを特徴とする、上記（５）に記
載の方法。 （７）前記リセット動作が、延期された要求のリストを
維持するステップと、延期された要求のそれぞれについ
て、受け取った順番で、前記延期された要求内で識別さ
れる前記所与のデータのブロックを変更することの許可
を与えられている単独のプロセッサを識別するステップ
と、前記延期された要求内で識別される前記所与のデー
タのブロックを共用するすべての局所キャッシュ内の前
記所与のデータのブロックを無効化するステップと、延
期された要求のすべてを処理した後に、いずれのプロセ
ッサも、複数のプロセッサによって共用されるデータの
ブロックを変更することの許可を与えられていないこと
を示すため、前記第１メモリに記憶された前記第１デー
タを更新するステップと、前記単独のプロセッサだけ
が、それに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することと、前記単独のプロ
セッサ以外の他のいずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
とを示すため、前記第２メモリに記憶された前記第２デ
ータを更新するステップとを含むことを特徴とする、上
記（６）に記載の方法。 （８）前記比較するステップが、前記特定のプロセッサ
以外のいずれのプロセッサも条件１）または条件２）も
しくはこの両方を満足しないと判定する場合に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新するステップと、前記特定のプ
ロセッサが、複数のプロセッサによって共用されるデー
タのブロックを変更することの許可を与えられているこ
とを示すため、前記第１メモリに記憶された前記第１デ
ータを更新するステップと、前記特定のプロセッサに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを前記特定のプロセッサに許可
するステップとを実行することを特徴とする、上記
（５）に記載の方法。 （９）前記比較するステップが、前記特定のプロセッサ
以外のいずれのプロセッサも条件１）または条件２）も
しくはこの両方を満足しないと判定する場合に、前記所
与のデータのブロックを、共用メモリから前記特定のプ
ロセッサに関連する局所キャッシュに転送するステップ
を実行することを特徴とする、上記（８）に記載の方
法。 （１０）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）プロセッサ
が、前記所与のデータのブロックを変更することを許可
されていることと、ｉｉ）複数のプロセッサが、そのプ
ロセッサに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することとを示すかどうかを
判定するステップを含み、条件ｉ）及び条件ｉｉ）が満
足される場合に、リセット動作が実行されるまで、要求
の処理を延期するステップを含む上記（１）に記載の方
法。 （１１）前記リセット動作が、延期された要求のリスト
を維持するステップと、延期された要求のそれぞれにつ
いて、受け取った順番で、前記延期された要求内で識別
される前記所与のデータのブロックを変更することの許
可を与えられた単独のプロセッサを識別するステップ
と、前記延期された要求内で識別される前記所与のデー
タのブロックを共用するすべての局所キャッシュ内の前
記所与のデータのブロックを無効化するステップと、延
期された要求のすべてを処理した後に、いずれのプロセ
ッサも、複数のプロセッサによって共用されるデータの
ブロックを変更することの許可を与えられていないこと
を示すため、前記第１メモリに記憶された前記第１デー
タを更新するステップと、前記単独のプロセッサだけ
が、それに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することと、前記単独のプロ
セッサ以外の他のいずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
とを示すため、前記第２メモリに記憶された前記第２デ
ータを更新するステップとを含むことを特徴とする、上
記（１０）に記載の方法。 （１２）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）プロセッサ
が、前記所与のデータのブロックを変更することを許可
されていることと、ｉｉ）特定のプロセッサ以外の１つ
の他のプロセッサだけが、そのプロセッサに関連する局
所キャッシュ内に前記所与のデータのブロックのコピー
を有することとを示すかどうかをを判定するステップを
含み、条件ｉ）及び条件ｉｉ）が満足される場合に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、前記１つ
の他のプロセッサに関連する局所キャッシュから前記特
定のプロセッサに関連する局所キャッシュへ前記所与の
データのブロックを転送するステップと、前記１つの他
のプロセッサが、それに関連する局所キャッシュに記憶
された前記所与のデータのブロックを更新することを禁
止するステップと、前記特定のプロセッサが、それに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを許可するステップとを含む、
上記（１）に記載の方法。 （１３）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）いずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないことを示し、かつ、ｉｉ）いずれ
のプロセッサも、そのプロセッサに関連する局所キャッ
シュ内に前記所与のデータのブロックのコピーを有しな
いことまたはｉｉｉ）前記特定のプロセッサ以外の他の
すべてのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有しないことのいずれかを示すかどうかを判定するステ
ップを含むことを特徴とし、条件ｉｉ）または条件ｉｉ
ｉ）のいずれかと条件ｉ）とが満足される場合に、前記
方法が、さらに、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、前記特定
のプロセッサに関連する局所キャッシュ内に記憶された
前記所与のデータのブロックを更新することを該特定の
プロセッサに許可するステップとを含む、上記（１）に
記載の方法。 （１４）前記所与のデータのブロックに関連する前記第
２データが、ｉ）いずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
を示し、かつ、ｉｉ）いずれのプロセッサも、そのプロ
セッサに関連する局所キャッシュ内に前記所与のデータ
のブロックのコピーを有しないことまたはｉｉｉ）前記
特定のプロセッサ以外のすべてのプロセッサが、そのプ
ロセッサに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有しないことのいずれかを示す
場合に、共用メモリから前記特定のプロセッサに関連す
る局所キャッシュへ前記所与のデータのブロックを転送
することを特徴とする、上記（１３）に記載の方法。 （１５）複数のプロセッサと関連局所キャッシュとを有
する多重プロセッサ・システムにおいて、前記局所キャ
ッシュに記憶されたデータのコヒーレンシを維持するた
めの装置であって、複数のプロセッサによって共用され
るデータのブロックを変更することの許可を与えられて
いるプロセッサを識別する第１データを記憶する第１メ
モリと、前記局所キャッシュのうちの少なくとも１つに
記憶される所与のデータのブロックについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを記憶する第２メモリと、前記所
与のデータのブロックを変更するために特定のプロセッ
サによって発行された参照に応答して、前記第１メモリ
に記憶された前記第１データと前記第２メモリに記憶さ
れた前記所与のデータのブロックに関連する前記第２デ
ータとに従って、前記所与のデータのブロックを変更す
ることの許可を前記特定のプロセッサに与えるかどうか
を判定する、前記第１メモリ及び前記第２メモリに結合
されたコヒーレンス論理機構とを含む装置。 （１６）前記第１メモリに記憶された前記第１データ
が、各ビットが１プロセッサに関連する複数のビットを
含み、各ビットが、関連するプロセッサが複数のプロセ
ッサによって共用されるデータのブロックを変更するこ
との許可を与えられているかどうかを表すことを特徴と
する、上記（１５）に記載の装置。 （１７）前記所与のデータのブロックに関連する、前記
第２メモリに記憶された前記第２データが、各ビットが
１プロセッサに関連する複数のビットを含み、各ビット
が、関連するプロセッサがそれに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックのコピーを
有するかどうかを表すことを特徴とする、上記（１５）
に記載の装置。 （１８）前記所与のデータのブロックに関連する、前記
第２メモリに記憶された前記第２データが、前記プロセ
ッサのうちのどれかが、前記所与のデータのブロックを
変更することを許可されているかどうかを表すビットを
含むことを特徴とする、上記（１５）に記載の装置。 （１９）前記所与のデータのブロックに関連する前記第
２データが、ｉ）いずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
と、ｉｉ）特定のプロセッサ以外の少なくとも１つの他
のプロセッサが、そのプロセッサに関連する局所キャッ
シュ内に前記所与のデータのブロックのコピーを有する
こととを示すかどうかを判定することと、条件ｉ）及び
条件ｉｉ）が満足されると判定される時に、前記特定の
プロセッサ以外の他のプロセッサのいずれかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較することとによっ
て、前記コヒーレンス論理機構が、前記所与のデータの
ブロックを変更することの許可を前記特定のプロセッサ
に与えるかどうかを決定することを特徴とする、上記
（１５）に記載の装置。 （２０）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のプロセッサが条件１）及び条件２）を満足
すると判定した時に、リセット動作が実行されるまで要
求の処理を延期することを特徴とする、上記（１９）に
記載の装置。 （２１）延期された要求のリストを記憶するバッファ
と、延期された要求のそれぞれについて、受け取った順
番で、前記延期された要求内で識別される前記所与のデ
ータのブロックを変更することの許可を与えられている
単独のプロセッサを識別し、前記延期された要求内で識
別される前記所与のデータのブロックを共用するすべて
の局所キャッシュ内の前記所与のデータのブロックを無
効化する無効化手段と、延期された要求のすべてを処理
した後に、いずれのプロセッサも、複数のプロセッサに
よって共用されるデータのブロックを変更することの許
可を与えられていないことを示すため、前記第１メモリ
に記憶された前記第１データを更新し、前記単独のプロ
セッサだけが、それに関連する局所キャッシュ内に前記
所与のデータのブロックのコピーを有することと、前記
単独のプロセッサ以外の他のいずれのプロセッサも、前
記所与のデータのブロックを変更することを許可されて
いないこととを示すため、前記第２メモリに記憶された
前記第２データを更新する更新手段とを含む、前記リセ
ット動作を実行するための手段をさらに含む、上記（２
０）に記載の装置。 （２２）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定した時に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新し、前記特定のプロセッサが、
複数のプロセッサによって共用されるデータのブロック
を変更することの許可を与えられていることを示すた
め、前記第１メモリに記憶された前記第１データを更新
し、前記特定のプロセッサに関連する局所キャッシュに
記憶された前記所与のデータのブロックを更新すること
を前記特定のプロセッサに許可することを特徴とする、
上記（１９）に記載の装置。 （２３）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定した時に、前
記所与のデータのブロックを、共用メモリから前記特定
のプロセッサに関連する局所キャッシュに転送すること
を特徴とする、上記（２２）に記載の装置。 （２４）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）プロセ
ッサが、前記所与のデータのブロックを変更することを
許可されていることと、ｉｉ）複数のプロセッサが、そ
のプロセッサに関連する局所キャッシュ内に前記所与の
データのブロックのコピーを有することとを示すかどう
かを判定することによって、特定のプロセッサに所与の
データのブロックを変更することの許可を与えるかどう
かを判定し、前記コヒーレンス論理機構が、条件ｉ）及
び条件ｉｉ）が満足されると判定した時に、リセット動
作が実行されるまで要求の処理を延期することを特徴と
する、上記（１５）に記載の装置。 （２５）延期された要求のリストを記憶するバッファ
と、延期された要求のそれぞれについて、受け取った順
番で、前記延期された要求内で識別される前記所与のデ
ータのブロックを変更することの許可を与えられた単独
のプロセッサを識別し、前記延期された要求内で識別さ
れる前記所与のデータのブロックを共用するすべての局
所キャッシュ内の前記所与のデータのブロックを無効化
する無効化手段と、延期された要求のすべてを処理した
後に、いずれのプロセッサも、複数のプロセッサによっ
て共用されるデータのブロックを変更することの許可を
与えられていないことを示すため、前記第１メモリに記
憶された前記第１データを更新し、前記単独のプロセッ
サだけが、それに関連する局所キャッシュ内に前記所与
のデータのブロックのコピーを有することと、前記単独
のプロセッサ以外の他のいずれのプロセッサも、前記所
与のデータのブロックを変更することを許可されていな
いこととを示すため、前記第２メモリに記憶された前記
第２データを更新する更新手段とを含む、前記リセット
動作を実行するための手段をさらに含む、上記（２４）
に記載の装置。 （２６）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）プロセ
ッサが、前記所与のデータのブロックを変更することを
許可されていることと、ｉｉ）特定のプロセッサ以外の
１つの他のプロセッサだけが、そのプロセッサに関連す
る局所キャッシュ内に前記所与のデータのブロックのコ
ピーを有することとを示すかどうかを判定することによ
って、前記所与のデータのブロックを変更することの許
可が前記特定のプロセッサに与えられているかどうかを
判定し、前記コヒーレンス論理機構が、条件ｉ）及び条
件ｉｉ）が満足されると判定した時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、前記１つの他のプロセ
ッサに関連する局所キャッシュから前記特定のプロセッ
サに関連する局所キャッシュへ前記所与のデータのブロ
ックを転送し、前記１つの他のプロセッサが、それに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを禁止し、前記特定のプロセッ
サが、それに関連する局所キャッシュに記憶された前記
所与のデータのブロックを更新することを許可すること
を特徴とする上記（１５）に記載の装置。 （２７）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）いずれ
のプロセッサも、前記所与のデータのブロックを変更す
ることを許可されていないことを示し、かつ、ｉｉ）い
ずれのプロセッサも、そのプロセッサに関連する局所キ
ャッシュ内に前記所与のデータのブロックのコピーを有
しないことまたはｉｉｉ）前記特定のプロセッサ以外の
他のすべてのプロセッサが、そのプロセッサに関連する
局所キャッシュ内に前記所与のデータのブロックのコピ
ーを有しないことのいずれかを示すかどうかを判定する
ことによって、所与のデータのブロックを変更すること
の許可を特定のプロセッサに与えるかどうかを判定し、
前記コヒーレンス論理機構が、条件ｉｉ）または条件ｉ
ｉｉ）のいずれかと条件ｉ）とが満足されると判定した
時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、前記特定のプロセッサ
に関連する局所キャッシュ内に記憶された前記所与のデ
ータのブロックを更新することを該特定のプロセッサに
許可することを特徴とする上記（１５）に記載の装置。 （２８）前記コヒーレンス論理機構が、条件ｉｉ）また
は条件ｉｉｉ）のいずれかと条件ｉ）とが満足されると
判定した時に、共用メモリから前記特定のプロセッサに
関連する局所キャッシュへ前記所与のデータのブロック
を転送することを特徴とする、上記（２７）に記載の装
置。
シュとを有する多重プロセッサ・システムにおいて、前
記局所キャッシュに記憶されたデータのコヒーレンシを
維持するための方法であって、複数のプロセッサによっ
て共用されるデータのブロックを変更することの許可を
与えられているプロセッサを識別する第１データを第１
メモリに記憶するステップと、前記局所キャッシュのう
ちの少なくとも１つに記憶される所与のデータのブロッ
クについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを第２メモリに記憶するステップ
と、前記所与のデータのブロックを変更するために特定
のプロセッサによって発行された参照に応答して、前記
第１メモリに記憶された前記第１データと前記第２メモ
リに記憶された前記所与のデータのブロックに関連する
前記第２データとに従って、前記所与のデータのブロッ
クを変更することの許可を前記特定のプロセッサに与え
るかどうかを判定するステップと、を含む方法。 （２）前記第１メモリに記憶された前記第１データが、
各ビットが１プロセッサに関連する複数のビットを含
み、各ビットが、関連するプロセッサが複数のプロセッ
サによって共用されるデータのブロックを変更すること
の許可を与えられているかどうかを表すことを特徴とす
る、上記（１）に記載の方法。 （３）前記所与のデータのブロックに関連する、前記第
２メモリに記憶された前記第２データが、各ビットが１
プロセッサに関連する複数のビットを含み、各ビット
が、関連するプロセッサがそれに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックのコピーを
有するかどうかを表すことを特徴とする、上記（１）に
記載の方法。 （４）前記所与のデータのブロックに関連する、前記第
２メモリに記憶された前記第２データが、前記プロセッ
サのうちのどれかが、前記所与のデータのブロックを変
更することを許可されているかどうかを表すビットを含
むことを特徴とする、上記（１）に記載の方法。 （５）前記判定するステップが、前記所与のデータのブ
ロックに関連する前記第２データが、ｉ）いずれのプロ
セッサも、前記所与のデータのブロックを変更すること
を許可されていないことと、ｉｉ）特定のプロセッサ以
外の少なくとも１つの他のプロセッサが、そのプロセッ
サに関連する局所キャッシュ内に前記所与のデータのブ
ロックのコピーを有することとを示す場合に、前記特定
のプロセッサ以外の他のプロセッサのいずれかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較するステップを含
むことを特徴とする、上記（１）に記載の方法。 （６）前記比較するステップが、前記特定のプロセッサ
以外のプロセッサが条件１）及び条件２）を満足すると
判定する場合に、要求の処理が、リセット動作が実行さ
れるまで延期されることを特徴とする、上記（５）に記
載の方法。 （７）前記リセット動作が、延期された要求のリストを
維持するステップと、延期された要求のそれぞれについ
て、受け取った順番で、前記延期された要求内で識別さ
れる前記所与のデータのブロックを変更することの許可
を与えられている単独のプロセッサを識別するステップ
と、前記延期された要求内で識別される前記所与のデー
タのブロックを共用するすべての局所キャッシュ内の前
記所与のデータのブロックを無効化するステップと、延
期された要求のすべてを処理した後に、いずれのプロセ
ッサも、複数のプロセッサによって共用されるデータの
ブロックを変更することの許可を与えられていないこと
を示すため、前記第１メモリに記憶された前記第１デー
タを更新するステップと、前記単独のプロセッサだけ
が、それに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することと、前記単独のプロ
セッサ以外の他のいずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
とを示すため、前記第２メモリに記憶された前記第２デ
ータを更新するステップとを含むことを特徴とする、上
記（６）に記載の方法。 （８）前記比較するステップが、前記特定のプロセッサ
以外のいずれのプロセッサも条件１）または条件２）も
しくはこの両方を満足しないと判定する場合に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新するステップと、前記特定のプ
ロセッサが、複数のプロセッサによって共用されるデー
タのブロックを変更することの許可を与えられているこ
とを示すため、前記第１メモリに記憶された前記第１デ
ータを更新するステップと、前記特定のプロセッサに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを前記特定のプロセッサに許可
するステップとを実行することを特徴とする、上記
（５）に記載の方法。 （９）前記比較するステップが、前記特定のプロセッサ
以外のいずれのプロセッサも条件１）または条件２）も
しくはこの両方を満足しないと判定する場合に、前記所
与のデータのブロックを、共用メモリから前記特定のプ
ロセッサに関連する局所キャッシュに転送するステップ
を実行することを特徴とする、上記（８）に記載の方
法。 （１０）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）プロセッサ
が、前記所与のデータのブロックを変更することを許可
されていることと、ｉｉ）複数のプロセッサが、そのプ
ロセッサに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することとを示すかどうかを
判定するステップを含み、条件ｉ）及び条件ｉｉ）が満
足される場合に、リセット動作が実行されるまで、要求
の処理を延期するステップを含む上記（１）に記載の方
法。 （１１）前記リセット動作が、延期された要求のリスト
を維持するステップと、延期された要求のそれぞれにつ
いて、受け取った順番で、前記延期された要求内で識別
される前記所与のデータのブロックを変更することの許
可を与えられた単独のプロセッサを識別するステップ
と、前記延期された要求内で識別される前記所与のデー
タのブロックを共用するすべての局所キャッシュ内の前
記所与のデータのブロックを無効化するステップと、延
期された要求のすべてを処理した後に、いずれのプロセ
ッサも、複数のプロセッサによって共用されるデータの
ブロックを変更することの許可を与えられていないこと
を示すため、前記第１メモリに記憶された前記第１デー
タを更新するステップと、前記単独のプロセッサだけ
が、それに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有することと、前記単独のプロ
セッサ以外の他のいずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
とを示すため、前記第２メモリに記憶された前記第２デ
ータを更新するステップとを含むことを特徴とする、上
記（１０）に記載の方法。 （１２）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）プロセッサ
が、前記所与のデータのブロックを変更することを許可
されていることと、ｉｉ）特定のプロセッサ以外の１つ
の他のプロセッサだけが、そのプロセッサに関連する局
所キャッシュ内に前記所与のデータのブロックのコピー
を有することとを示すかどうかをを判定するステップを
含み、条件ｉ）及び条件ｉｉ）が満足される場合に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、前記１つ
の他のプロセッサに関連する局所キャッシュから前記特
定のプロセッサに関連する局所キャッシュへ前記所与の
データのブロックを転送するステップと、前記１つの他
のプロセッサが、それに関連する局所キャッシュに記憶
された前記所与のデータのブロックを更新することを禁
止するステップと、前記特定のプロセッサが、それに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを許可するステップとを含む、
上記（１）に記載の方法。 （１３）前記判定するステップが、前記所与のデータの
ブロックに関連する前記第２データが、ｉ）いずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないことを示し、かつ、ｉｉ）いずれ
のプロセッサも、そのプロセッサに関連する局所キャッ
シュ内に前記所与のデータのブロックのコピーを有しな
いことまたはｉｉｉ）前記特定のプロセッサ以外の他の
すべてのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有しないことのいずれかを示すかどうかを判定するステ
ップを含むことを特徴とし、条件ｉｉ）または条件ｉｉ
ｉ）のいずれかと条件ｉ）とが満足される場合に、前記
方法が、さらに、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、前記特定
のプロセッサに関連する局所キャッシュ内に記憶された
前記所与のデータのブロックを更新することを該特定の
プロセッサに許可するステップとを含む、上記（１）に
記載の方法。 （１４）前記所与のデータのブロックに関連する前記第
２データが、ｉ）いずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
を示し、かつ、ｉｉ）いずれのプロセッサも、そのプロ
セッサに関連する局所キャッシュ内に前記所与のデータ
のブロックのコピーを有しないことまたはｉｉｉ）前記
特定のプロセッサ以外のすべてのプロセッサが、そのプ
ロセッサに関連する局所キャッシュ内に前記所与のデー
タのブロックのコピーを有しないことのいずれかを示す
場合に、共用メモリから前記特定のプロセッサに関連す
る局所キャッシュへ前記所与のデータのブロックを転送
することを特徴とする、上記（１３）に記載の方法。 （１５）複数のプロセッサと関連局所キャッシュとを有
する多重プロセッサ・システムにおいて、前記局所キャ
ッシュに記憶されたデータのコヒーレンシを維持するた
めの装置であって、複数のプロセッサによって共用され
るデータのブロックを変更することの許可を与えられて
いるプロセッサを識別する第１データを記憶する第１メ
モリと、前記局所キャッシュのうちの少なくとも１つに
記憶される所与のデータのブロックについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを記憶する第２メモリと、前記所
与のデータのブロックを変更するために特定のプロセッ
サによって発行された参照に応答して、前記第１メモリ
に記憶された前記第１データと前記第２メモリに記憶さ
れた前記所与のデータのブロックに関連する前記第２デ
ータとに従って、前記所与のデータのブロックを変更す
ることの許可を前記特定のプロセッサに与えるかどうか
を判定する、前記第１メモリ及び前記第２メモリに結合
されたコヒーレンス論理機構とを含む装置。 （１６）前記第１メモリに記憶された前記第１データ
が、各ビットが１プロセッサに関連する複数のビットを
含み、各ビットが、関連するプロセッサが複数のプロセ
ッサによって共用されるデータのブロックを変更するこ
との許可を与えられているかどうかを表すことを特徴と
する、上記（１５）に記載の装置。 （１７）前記所与のデータのブロックに関連する、前記
第２メモリに記憶された前記第２データが、各ビットが
１プロセッサに関連する複数のビットを含み、各ビット
が、関連するプロセッサがそれに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックのコピーを
有するかどうかを表すことを特徴とする、上記（１５）
に記載の装置。 （１８）前記所与のデータのブロックに関連する、前記
第２メモリに記憶された前記第２データが、前記プロセ
ッサのうちのどれかが、前記所与のデータのブロックを
変更することを許可されているかどうかを表すビットを
含むことを特徴とする、上記（１５）に記載の装置。 （１９）前記所与のデータのブロックに関連する前記第
２データが、ｉ）いずれのプロセッサも、前記所与のデ
ータのブロックを変更することを許可されていないこと
と、ｉｉ）特定のプロセッサ以外の少なくとも１つの他
のプロセッサが、そのプロセッサに関連する局所キャッ
シュ内に前記所与のデータのブロックのコピーを有する
こととを示すかどうかを判定することと、条件ｉ）及び
条件ｉｉ）が満足されると判定される時に、前記特定の
プロセッサ以外の他のプロセッサのいずれかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較することとによっ
て、前記コヒーレンス論理機構が、前記所与のデータの
ブロックを変更することの許可を前記特定のプロセッサ
に与えるかどうかを決定することを特徴とする、上記
（１５）に記載の装置。 （２０）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のプロセッサが条件１）及び条件２）を満足
すると判定した時に、リセット動作が実行されるまで要
求の処理を延期することを特徴とする、上記（１９）に
記載の装置。 （２１）延期された要求のリストを記憶するバッファ
と、延期された要求のそれぞれについて、受け取った順
番で、前記延期された要求内で識別される前記所与のデ
ータのブロックを変更することの許可を与えられている
単独のプロセッサを識別し、前記延期された要求内で識
別される前記所与のデータのブロックを共用するすべて
の局所キャッシュ内の前記所与のデータのブロックを無
効化する無効化手段と、延期された要求のすべてを処理
した後に、いずれのプロセッサも、複数のプロセッサに
よって共用されるデータのブロックを変更することの許
可を与えられていないことを示すため、前記第１メモリ
に記憶された前記第１データを更新し、前記単独のプロ
セッサだけが、それに関連する局所キャッシュ内に前記
所与のデータのブロックのコピーを有することと、前記
単独のプロセッサ以外の他のいずれのプロセッサも、前
記所与のデータのブロックを変更することを許可されて
いないこととを示すため、前記第２メモリに記憶された
前記第２データを更新する更新手段とを含む、前記リセ
ット動作を実行するための手段をさらに含む、上記（２
０）に記載の装置。 （２２）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定した時に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新し、前記特定のプロセッサが、
複数のプロセッサによって共用されるデータのブロック
を変更することの許可を与えられていることを示すた
め、前記第１メモリに記憶された前記第１データを更新
し、前記特定のプロセッサに関連する局所キャッシュに
記憶された前記所与のデータのブロックを更新すること
を前記特定のプロセッサに許可することを特徴とする、
上記（１９）に記載の装置。 （２３）前記コヒーレンス論理機構が、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定した時に、前
記所与のデータのブロックを、共用メモリから前記特定
のプロセッサに関連する局所キャッシュに転送すること
を特徴とする、上記（２２）に記載の装置。 （２４）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）プロセ
ッサが、前記所与のデータのブロックを変更することを
許可されていることと、ｉｉ）複数のプロセッサが、そ
のプロセッサに関連する局所キャッシュ内に前記所与の
データのブロックのコピーを有することとを示すかどう
かを判定することによって、特定のプロセッサに所与の
データのブロックを変更することの許可を与えるかどう
かを判定し、前記コヒーレンス論理機構が、条件ｉ）及
び条件ｉｉ）が満足されると判定した時に、リセット動
作が実行されるまで要求の処理を延期することを特徴と
する、上記（１５）に記載の装置。 （２５）延期された要求のリストを記憶するバッファ
と、延期された要求のそれぞれについて、受け取った順
番で、前記延期された要求内で識別される前記所与のデ
ータのブロックを変更することの許可を与えられた単独
のプロセッサを識別し、前記延期された要求内で識別さ
れる前記所与のデータのブロックを共用するすべての局
所キャッシュ内の前記所与のデータのブロックを無効化
する無効化手段と、延期された要求のすべてを処理した
後に、いずれのプロセッサも、複数のプロセッサによっ
て共用されるデータのブロックを変更することの許可を
与えられていないことを示すため、前記第１メモリに記
憶された前記第１データを更新し、前記単独のプロセッ
サだけが、それに関連する局所キャッシュ内に前記所与
のデータのブロックのコピーを有することと、前記単独
のプロセッサ以外の他のいずれのプロセッサも、前記所
与のデータのブロックを変更することを許可されていな
いこととを示すため、前記第２メモリに記憶された前記
第２データを更新する更新手段とを含む、前記リセット
動作を実行するための手段をさらに含む、上記（２４）
に記載の装置。 （２６）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）プロセ
ッサが、前記所与のデータのブロックを変更することを
許可されていることと、ｉｉ）特定のプロセッサ以外の
１つの他のプロセッサだけが、そのプロセッサに関連す
る局所キャッシュ内に前記所与のデータのブロックのコ
ピーを有することとを示すかどうかを判定することによ
って、前記所与のデータのブロックを変更することの許
可が前記特定のプロセッサに与えられているかどうかを
判定し、前記コヒーレンス論理機構が、条件ｉ）及び条
件ｉｉ）が満足されると判定した時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、前記１つの他のプロセ
ッサに関連する局所キャッシュから前記特定のプロセッ
サに関連する局所キャッシュへ前記所与のデータのブロ
ックを転送し、前記１つの他のプロセッサが、それに関
連する局所キャッシュに記憶された前記所与のデータの
ブロックを更新することを禁止し、前記特定のプロセッ
サが、それに関連する局所キャッシュに記憶された前記
所与のデータのブロックを更新することを許可すること
を特徴とする上記（１５）に記載の装置。 （２７）前記コヒーレンス論理機構が、前記所与のデー
タのブロックに関連する前記第２データが、ｉ）いずれ
のプロセッサも、前記所与のデータのブロックを変更す
ることを許可されていないことを示し、かつ、ｉｉ）い
ずれのプロセッサも、そのプロセッサに関連する局所キ
ャッシュ内に前記所与のデータのブロックのコピーを有
しないことまたはｉｉｉ）前記特定のプロセッサ以外の
他のすべてのプロセッサが、そのプロセッサに関連する
局所キャッシュ内に前記所与のデータのブロックのコピ
ーを有しないことのいずれかを示すかどうかを判定する
ことによって、所与のデータのブロックを変更すること
の許可を特定のプロセッサに与えるかどうかを判定し、
前記コヒーレンス論理機構が、条件ｉｉ）または条件ｉ
ｉｉ）のいずれかと条件ｉ）とが満足されると判定した
時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、前記特定のプロセッサ
に関連する局所キャッシュ内に記憶された前記所与のデ
ータのブロックを更新することを該特定のプロセッサに
許可することを特徴とする上記（１５）に記載の装置。 （２８）前記コヒーレンス論理機構が、条件ｉｉ）また
は条件ｉｉｉ）のいずれかと条件ｉ）とが満足されると
判定した時に、共用メモリから前記特定のプロセッサに
関連する局所キャッシュへ前記所与のデータのブロック
を転送することを特徴とする、上記（２７）に記載の装
置。
【図１】本発明を使用する多重プロセッサ・システムの
機能ブロック図である。
機能ブロック図である。
【図２】本発明による、図１のキャッシュ・コヒーレン
シ機構の変更元プロセッサ・レジスタの絵図である。
シ機構の変更元プロセッサ・レジスタの絵図である。
【図３】本発明による、図１のキャッシュ・コヒーレン
シ機構のライン状況レジスタの絵図である。
シ機構のライン状況レジスタの絵図である。
【図４】図１の局所キャッシュに記憶されたキャッシュ
・ラインの絵図である。
・ラインの絵図である。
【図５】本発明のキャッシュ・コヒーレンシ機構に対し
て発行される要求のフォーマットを示す図である。
て発行される要求のフォーマットを示す図である。
１０１ 共用メモリ １０３ キャッシュ・コヒーレンシ機構 ３０３ 項目（ライン状況ベクトルの） ４０１ 第１ビット ４０３ 第２ビット ５０１ 要求ＩＤフィールド ５０３ プロセッサＩＤフィールド ５０５ ライン・アドレス・フィールド
───────────────────────────────────────────────────── フロントページの続き (72)発明者 カッタムリ・エカナダム アメリカ合衆国10598 ニューヨーク州ヨ ークタウン・ハイツ カリー・ストリート 3263
Claims (28)
- 【請求項１】複数のプロセッサと関連局所キャッシュと
を有する多重プロセッサ・システムにおいて、前記局所
キャッシュに記憶されたデータのコヒーレンシを維持す
るための方法であって、 複数のプロセッサによって共用されるデータのブロック
を変更することの許可を与えられているプロセッサを識
別する第１データを第１メモリに記憶するステップと、 前記局所キャッシュのうちの少なくとも１つに記憶され
る所与のデータのブロックについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを第２メモリに記憶するステップ
と、 前記所与のデータのブロックを変更するために特定のプ
ロセッサによって発行された参照に応答して、前記第１
メモリに記憶された前記第１データと前記第２メモリに
記憶された前記所与のデータのブロックに関連する前記
第２データとに従って、前記所与のデータのブロックを
変更することの許可を前記特定のプロセッサに与えるか
どうかを判定するステップと、 を含む方法。 - 【請求項２】前記第１メモリに記憶された前記第１デー
タが、各ビットが１プロセッサに関連する複数のビット
を含み、各ビットが、関連するプロセッサが複数のプロ
セッサによって共用されるデータのブロックを変更する
ことの許可を与えられているかどうかを表すことを特徴
とする、請求項１に記載の方法。 - 【請求項３】前記所与のデータのブロックに関連する、
前記第２メモリに記憶された前記第２データが、各ビッ
トが１プロセッサに関連する複数のビットを含み、各ビ
ットが、関連するプロセッサがそれに関連する局所キャ
ッシュに記憶された前記所与のデータのブロックのコピ
ーを有するかどうかを表すことを特徴とする、請求項１
に記載の方法。 - 【請求項４】前記所与のデータのブロックに関連する、
前記第２メモリに記憶された前記第２データが、前記プ
ロセッサのうちのどれかが、前記所与のデータのブロッ
クを変更することを許可されているかどうかを表すビッ
トを含むことを特徴とする、請求項１に記載の方法。 - 【請求項５】前記判定するステップが、 前記所与のデータのブロックに関連する前記第２データ
が、ｉ）いずれのプロセッサも、前記所与のデータのブ
ロックを変更することを許可されていないことと、ｉ
ｉ）特定のプロセッサ以外の少なくとも１つの他のプロ
セッサが、そのプロセッサに関連する局所キャッシュ内
に前記所与のデータのブロックのコピーを有することと
を示す場合に、前記特定のプロセッサ以外の他のプロセ
ッサのいずれかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較するステップを含
むことを特徴とする、請求項１に記載の方法。 - 【請求項６】前記比較するステップが、前記特定のプロ
セッサ以外のプロセッサが条件１）及び条件２）を満足
すると判定する場合に、要求の処理が、リセット動作が
実行されるまで延期されることを特徴とする、請求項５
に記載の方法。 - 【請求項７】前記リセット動作が、 延期された要求のリストを維持するステップと、 延期された要求のそれぞれについて、受け取った順番
で、 前記延期された要求内で識別される前記所与のデータの
ブロックを変更することの許可を与えられている単独の
プロセッサを識別するステップと、 前記延期された要求内で識別される前記所与のデータの
ブロックを共用するすべての局所キャッシュ内の前記所
与のデータのブロックを無効化するステップと、 延期された要求のすべてを処理した後に、 いずれのプロセッサも、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていないことを示すため、前記第１メモリに記憶され
た前記第１データを更新するステップと、 前記単独のプロセッサだけが、それに関連する局所キャ
ッシュ内に前記所与のデータのブロックのコピーを有す
ることと、前記単独のプロセッサ以外の他のいずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないこととを示すため、前記第２メモ
リに記憶された前記第２データを更新するステップとを
含むことを特徴とする、請求項６に記載の方法。 - 【請求項８】前記比較するステップが、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定する場合に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新するステップと、 前記特定のプロセッサが、複数のプロセッサによって共
用されるデータのブロックを変更することの許可を与え
られていることを示すため、前記第１メモリに記憶され
た前記第１データを更新するステップと、 前記特定のプロセッサに関連する局所キャッシュに記憶
された前記所与のデータのブロックを更新することを前
記特定のプロセッサに許可するステップとを実行するこ
とを特徴とする、請求項５に記載の方法。 - 【請求項９】前記比較するステップが、前記特定のプロ
セッサ以外のいずれのプロセッサも条件１）または条件
２）もしくはこの両方を満足しないと判定する場合に、
前記所与のデータのブロックを、共用メモリから前記特
定のプロセッサに関連する局所キャッシュに転送するス
テップを実行することを特徴とする、請求項８に記載の
方法。 - 【請求項１０】前記判定するステップが、前記所与のデ
ータのブロックに関連する前記第２データが、ｉ）プロ
セッサが、前記所与のデータのブロックを変更すること
を許可されていることと、ｉｉ）複数のプロセッサが、
そのプロセッサに関連する局所キャッシュ内に前記所与
のデータのブロックのコピーを有することとを示すかど
うかを判定するステップを含み、 条件ｉ）及び条件ｉｉ）が満足される場合に、リセット
動作が実行されるまで、要求の処理を延期するステップ
を含む請求項１に記載の方法。 - 【請求項１１】前記リセット動作が、 延期された要求のリストを維持するステップと、 延期された要求のそれぞれについて、受け取った順番
で、 前記延期された要求内で識別される前記所与のデータの
ブロックを変更することの許可を与えられた単独のプロ
セッサを識別するステップと、 前記延期された要求内で識別される前記所与のデータの
ブロックを共用するすべての局所キャッシュ内の前記所
与のデータのブロックを無効化するステップと、 延期された要求のすべてを処理した後に、 いずれのプロセッサも、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていないことを示すため、前記第１メモリに記憶され
た前記第１データを更新するステップと、 前記単独のプロセッサだけが、それに関連する局所キャ
ッシュ内に前記所与のデータのブロックのコピーを有す
ることと、前記単独のプロセッサ以外の他のいずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないこととを示すため、前記第２メモ
リに記憶された前記第２データを更新するステップとを
含むことを特徴とする、請求項１０に記載の方法。 - 【請求項１２】前記判定するステップが、前記所与のデ
ータのブロックに関連する前記第２データが、ｉ）プロ
セッサが、前記所与のデータのブロックを変更すること
を許可されていることと、ｉｉ）特定のプロセッサ以外
の１つの他のプロセッサだけが、そのプロセッサに関連
する局所キャッシュ内に前記所与のデータのブロックの
コピーを有することとを示すかどうかをを判定するステ
ップを含み、 条件ｉ）及び条件ｉｉ）が満足される場合に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、 前記１つの他のプロセッサに関連する局所キャッシュか
ら前記特定のプロセッサに関連する局所キャッシュへ前
記所与のデータのブロックを転送するステップと、 前記１つの他のプロセッサが、それに関連する局所キャ
ッシュに記憶された前記所与のデータのブロックを更新
することを禁止するステップと、 前記特定のプロセッサが、それに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックを更新する
ことを許可するステップとを含む、請求項１に記載の方
法。 - 【請求項１３】前記判定するステップが、前記所与のデ
ータのブロックに関連する前記第２データが、ｉ）いず
れのプロセッサも、前記所与のデータのブロックを変更
することを許可されていないことを示し、かつ、ｉｉ）
いずれのプロセッサも、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有しないことまたはｉｉｉ）前記特定のプロセッサ以外
の他のすべてのプロセッサが、そのプロセッサに関連す
る局所キャッシュ内に前記所与のデータのブロックのコ
ピーを有しないことのいずれかを示すかどうかを判定す
るステップを含むことを特徴とし、 条件ｉｉ）または条件ｉｉｉ）のいずれかと条件ｉ）と
が満足される場合に、前記方法が、さらに、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新するステップと、 前記特定のプロセッサに関連する局所キャッシュ内に記
憶された前記所与のデータのブロックを更新することを
該特定のプロセッサに許可するステップとを含む、請求
項１に記載の方法。 - 【請求項１４】前記所与のデータのブロックに関連する
前記第２データが、ｉ）いずれのプロセッサも、前記所
与のデータのブロックを変更することを許可されていな
いことを示し、かつ、ｉｉ）いずれのプロセッサも、そ
のプロセッサに関連する局所キャッシュ内に前記所与の
データのブロックのコピーを有しないことまたはｉｉ
ｉ）前記特定のプロセッサ以外のすべてのプロセッサ
が、そのプロセッサに関連する局所キャッシュ内に前記
所与のデータのブロックのコピーを有しないことのいず
れかを示す場合に、 共用メモリから前記特定のプロセッサに関連する局所キ
ャッシュへ前記所与のデータのブロックを転送すること
を特徴とする、請求項１３に記載の方法。 - 【請求項１５】複数のプロセッサと関連局所キャッシュ
とを有する多重プロセッサ・システムにおいて、前記局
所キャッシュに記憶されたデータのコヒーレンシを維持
するための装置であって、 複数のプロセッサによって共用されるデータのブロック
を変更することの許可を与えられているプロセッサを識
別する第１データを記憶する第１メモリと、 前記局所キャッシュのうちの少なくとも１つに記憶され
る所与のデータのブロックについて、 ａ）前記プロセッサに関連する前記局所キャッシュに記
憶された前記所与のデータのブロックのコピーを有する
プロセッサと、 ｂ）前記プロセッサのうちのどれかが前記所与のデータ
のブロックを変更することを許可されているかどうかと
を識別する第２データを記憶する第２メモリと、 前記所与のデータのブロックを変更するために特定のプ
ロセッサによって発行された参照に応答して、前記第１
メモリに記憶された前記第１データと前記第２メモリに
記憶された前記所与のデータのブロックに関連する前記
第２データとに従って、前記所与のデータのブロックを
変更することの許可を前記特定のプロセッサに与えるか
どうかを判定する、前記第１メモリ及び前記第２メモリ
に結合されたコヒーレンス論理機構とを含む装置。 - 【請求項１６】前記第１メモリに記憶された前記第１デ
ータが、各ビットが１プロセッサに関連する複数のビッ
トを含み、各ビットが、関連するプロセッサが複数のプ
ロセッサによって共用されるデータのブロックを変更す
ることの許可を与えられているかどうかを表すことを特
徴とする、請求項１５に記載の装置。 - 【請求項１７】前記所与のデータのブロックに関連す
る、前記第２メモリに記憶された前記第２データが、各
ビットが１プロセッサに関連する複数のビットを含み、
各ビットが、関連するプロセッサがそれに関連する局所
キャッシュに記憶された前記所与のデータのブロックの
コピーを有するかどうかを表すことを特徴とする、請求
項１５に記載の装置。 - 【請求項１８】前記所与のデータのブロックに関連す
る、前記第２メモリに記憶された前記第２データが、前
記プロセッサのうちのどれかが、前記所与のデータのブ
ロックを変更することを許可されているかどうかを表す
ビットを含むことを特徴とする、請求項１５に記載の装
置。 - 【請求項１９】前記所与のデータのブロックに関連する
前記第２データが、ｉ）いずれのプロセッサも、前記所
与のデータのブロックを変更することを許可されていな
いことと、ｉｉ）特定のプロセッサ以外の少なくとも１
つの他のプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとを示すかどうかを判定することと、 条件ｉ）及び条件ｉｉ）が満足されると判定される時
に、前記特定のプロセッサ以外の他のプロセッサのいず
れかが、 １）そのプロセッサが、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていることと、 ２）そのプロセッサが、そのプロセッサに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することとの２つの条件を満足するかどうかを判定す
るため、前記第１データと、前記所与のデータのブロッ
クに関連する前記第２データとを比較することとによっ
て、前記コヒーレンス論理機構が、前記所与のデータの
ブロックを変更することの許可を前記特定のプロセッサ
に与えるかどうかを決定することを特徴とする、請求項
１５に記載の装置。 - 【請求項２０】前記コヒーレンス論理機構が、前記特定
のプロセッサ以外のプロセッサが条件１）及び条件２）
を満足すると判定した時に、リセット動作が実行される
まで要求の処理を延期することを特徴とする、請求項１
９に記載の装置。 - 【請求項２１】延期された要求のリストを記憶するバッ
ファと、 延期された要求のそれぞれについて、受け取った順番
で、 前記延期された要求内で識別される前記所与のデータの
ブロックを変更することの許可を与えられている単独の
プロセッサを識別し、 前記延期された要求内で識別される前記所与のデータの
ブロックを共用するすべての局所キャッシュ内の前記所
与のデータのブロックを無効化する無効化手段と、 延期された要求のすべてを処理した後に、 いずれのプロセッサも、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていないことを示すため、前記第１メモリに記憶され
た前記第１データを更新し、 前記単独のプロセッサだけが、それに関連する局所キャ
ッシュ内に前記所与のデータのブロックのコピーを有す
ることと、前記単独のプロセッサ以外の他のいずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないこととを示すため、前記第２メモ
リに記憶された前記第２データを更新する更新手段とを
含む、前記リセット動作を実行するための手段をさらに
含む、請求項２０に記載の装置。 - 【請求項２２】前記コヒーレンス論理機構が、前記特定
のプロセッサ以外のいずれのプロセッサも条件１）また
は条件２）もしくはこの両方を満足しないと判定した時
に、 ａ）前記所与のデータのブロックが、プロセッサによる
変更の対象であることと、 ｂ）前記特定のプロセッサが、前記所与のデータのブロ
ックのコピーを有することとを示すため、前記第２メモ
リに記憶された、前記所与のデータのブロックに関連す
る前記第２データを更新し、 前記特定のプロセッサが、複数のプロセッサによって共
用されるデータのブロックを変更することの許可を与え
られていることを示すため、前記第１メモリに記憶され
た前記第１データを更新し、 前記特定のプロセッサに関連する局所キャッシュに記憶
された前記所与のデータのブロックを更新することを前
記特定のプロセッサに許可することを特徴とする、請求
項１９に記載の装置。 - 【請求項２３】前記コヒーレンス論理機構が、前記特定
のプロセッサ以外のいずれのプロセッサも条件１）また
は条件２）もしくはこの両方を満足しないと判定した時
に、前記所与のデータのブロックを、共用メモリから前
記特定のプロセッサに関連する局所キャッシュに転送す
ることを特徴とする、請求項２２に記載の装置。 - 【請求項２４】前記コヒーレンス論理機構が、前記所与
のデータのブロックに関連する前記第２データが、ｉ）
プロセッサが、前記所与のデータのブロックを変更する
ことを許可されていることと、ｉｉ）複数のプロセッサ
が、そのプロセッサに関連する局所キャッシュ内に前記
所与のデータのブロックのコピーを有することとを示す
かどうかを判定することによって、特定のプロセッサに
所与のデータのブロックを変更することの許可を与える
かどうかを判定し、 前記コヒーレンス論理機構が、条件ｉ）及び条件ｉｉ）
が満足されると判定した時に、リセット動作が実行され
るまで要求の処理を延期することを特徴とする、 請求項１５に記載の装置。 - 【請求項２５】延期された要求のリストを記憶するバッ
ファと、 延期された要求のそれぞれについて、受け取った順番
で、 前記延期された要求内で識別される前記所与のデータの
ブロックを変更することの許可を与えられた単独のプロ
セッサを識別し、 前記延期された要求内で識別される前記所与のデータの
ブロックを共用するすべての局所キャッシュ内の前記所
与のデータのブロックを無効化する無効化手段と、 延期された要求のすべてを処理した後に、 いずれのプロセッサも、複数のプロセッサによって共用
されるデータのブロックを変更することの許可を与えら
れていないことを示すため、前記第１メモリに記憶され
た前記第１データを更新し、 前記単独のプロセッサだけが、それに関連する局所キャ
ッシュ内に前記所与のデータのブロックのコピーを有す
ることと、前記単独のプロセッサ以外の他のいずれのプ
ロセッサも、前記所与のデータのブロックを変更するこ
とを許可されていないこととを示すため、前記第２メモ
リに記憶された前記第２データを更新する更新手段とを
含む、前記リセット動作を実行するための手段をさらに
含む、請求項２４に記載の装置。 - 【請求項２６】前記コヒーレンス論理機構が、前記所与
のデータのブロックに関連する前記第２データが、ｉ）
プロセッサが、前記所与のデータのブロックを変更する
ことを許可されていることと、ｉｉ）特定のプロセッサ
以外の１つの他のプロセッサだけが、そのプロセッサに
関連する局所キャッシュ内に前記所与のデータのブロッ
クのコピーを有することとを示すかどうかを判定するこ
とによって、前記所与のデータのブロックを変更するこ
との許可が前記特定のプロセッサに与えられているかど
うかを判定し、 前記コヒーレンス論理機構が、条件ｉ）及び条件ｉｉ）
が満足されると判定した時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、 前記１つの他のプロセッサに関連する局所キャッシュか
ら前記特定のプロセッサに関連する局所キャッシュへ前
記所与のデータのブロックを転送し、 前記１つの他のプロセッサが、それに関連する局所キャ
ッシュに記憶された前記所与のデータのブロックを更新
することを禁止し、 前記特定のプロセッサが、それに関連する局所キャッシ
ュに記憶された前記所与のデータのブロックを更新する
ことを許可することを特徴とする請求項１５に記載の装
置。 - 【請求項２７】前記コヒーレンス論理機構が、前記所与
のデータのブロックに関連する前記第２データが、ｉ）
いずれのプロセッサも、前記所与のデータのブロックを
変更することを許可されていないことを示し、かつ、ｉ
ｉ）いずれのプロセッサも、そのプロセッサに関連する
局所キャッシュ内に前記所与のデータのブロックのコピ
ーを有しないことまたはｉｉｉ）前記特定のプロセッサ
以外の他のすべてのプロセッサが、そのプロセッサに関
連する局所キャッシュ内に前記所与のデータのブロック
のコピーを有しないことのいずれかを示すかどうかを判
定することによって、所与のデータのブロックを変更す
ることの許可を特定のプロセッサに与えるかどうかを判
定し、 前記コヒーレンス論理機構が、条件ｉｉ）または条件ｉ
ｉｉ）のいずれかと条件ｉ）とが満足されると判定した
時に、 １）前記特定のプロセッサだけが、それに関連する局所
キャッシュ内に前記所与のデータのブロックのコピーを
有することと、 ２）プロセッサが、前記所与のデータのブロックを変更
することを許可されていることとを示すため、前記第２
メモリに記憶された、前記所与のデータのブロックに関
連する前記第２データを更新し、 前記特定のプロセッサに関連する局所キャッシュ内に記
憶された前記所与のデータのブロックを更新することを
該特定のプロセッサに許可することを特徴とする請求項
１５に記載の装置。 - 【請求項２８】前記コヒーレンス論理機構が、条件ｉ
ｉ）または条件ｉｉｉ）のいずれかと条件ｉ）とが満足
されると判定した時に、共用メモリから前記特定のプロ
セッサに関連する局所キャッシュへ前記所与のデータの
ブロックを転送することを特徴とする、請求項２７に記
載の装置。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US08/665659 | 1996-06-18 | ||
| US08/665,659 US5787477A (en) | 1996-06-18 | 1996-06-18 | Multi-processor cache coherency protocol allowing asynchronous modification of cache data |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH1091524A true JPH1091524A (ja) | 1998-04-10 |
| JP3202939B2 JP3202939B2 (ja) | 2001-08-27 |
Family
ID=24671027
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP14266697A Expired - Fee Related JP3202939B2 (ja) | 1996-06-18 | 1997-05-30 | キャッシュ・コヒーレンシを維持するための方法及び装置 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5787477A (ja) |
| JP (1) | JP3202939B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20170107061A (ko) * | 2015-02-16 | 2017-09-22 | 후아웨이 테크놀러지 컴퍼니 리미티드 | 멀티 코어 시스템에서 데이터 방문자 디렉토리에 액세스하는 방법 및 장치 |
Families Citing this family (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6633958B1 (en) * | 1997-11-17 | 2003-10-14 | Silicon Graphics, Inc. | Multiprocessor computer system and method for maintaining cache coherence utilizing a multi-dimensional cache coherence directory structure |
| US6587931B1 (en) * | 1997-12-31 | 2003-07-01 | Unisys Corporation | Directory-based cache coherency system supporting multiple instruction processor and input/output caches |
| US6345340B1 (en) * | 1998-02-17 | 2002-02-05 | International Business Machines Corporation | Cache coherency protocol with ambiguous state for posted operations |
| US6487621B1 (en) | 1999-08-17 | 2002-11-26 | Compaq Information Technologies Group, L.P. | Architecture, system and method for ensuring an ordered transaction on at least one of a plurality of multi-processor buses that experience a hit-to-modified snoop cycle |
| US6751698B1 (en) | 1999-09-29 | 2004-06-15 | Silicon Graphics, Inc. | Multiprocessor node controller circuit and method |
| US6865645B1 (en) | 2000-10-02 | 2005-03-08 | International Business Machines Corporation | Program store compare handling between instruction and operand caches |
| US6801984B2 (en) * | 2001-06-29 | 2004-10-05 | International Business Machines Corporation | Imprecise snooping based invalidation mechanism |
| US8055492B2 (en) * | 2002-01-10 | 2011-11-08 | International Business Machines Corporation | Non-unique results in design verification by test programs |
| US7082500B2 (en) * | 2003-02-18 | 2006-07-25 | Cray, Inc. | Optimized high bandwidth cache coherence mechanism |
| US9501410B2 (en) * | 2013-03-15 | 2016-11-22 | Veritas Technologies Llc | Providing local cache coherency in a shared storage environment |
Family Cites Families (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4394731A (en) * | 1980-11-10 | 1983-07-19 | International Business Machines Corporation | Cache storage line shareability control for a multiprocessor system |
| US5317716A (en) * | 1988-08-16 | 1994-05-31 | International Business Machines Corporation | Multiple caches using state information indicating if cache line was previously modified and type of access rights granted to assign access rights to cache line |
| JPH0625984B2 (ja) * | 1990-02-20 | 1994-04-06 | インターナシヨナル・ビジネス・マシーンズ・コーポレーシヨン | マルチプロセツサ・システム |
| US5197139A (en) * | 1990-04-05 | 1993-03-23 | International Business Machines Corporation | Cache management for multi-processor systems utilizing bulk cross-invalidate |
| US5297269A (en) * | 1990-04-26 | 1994-03-22 | Digital Equipment Company | Cache coherency protocol for multi processor computer system |
| US5265232A (en) * | 1991-04-03 | 1993-11-23 | International Business Machines Corporation | Coherence control by data invalidation in selected processor caches without broadcasting to processor caches not having the data |
| US5361368A (en) * | 1991-09-05 | 1994-11-01 | International Business Machines Corporation | Cross interrogate synchronization mechanism including logic means and delay register |
| EP0569605A1 (de) * | 1992-05-06 | 1993-11-18 | International Business Machines Corporation | Verfahren zur Zugriffsverwaltung und -steuerung mehrerer Rechner auf gemeinsame Daten |
| US5406504A (en) * | 1993-06-30 | 1995-04-11 | Digital Equipment | Multiprocessor cache examiner and coherency checker |
| US5603005A (en) * | 1994-12-27 | 1997-02-11 | Unisys Corporation | Cache coherency scheme for XBAR storage structure with delayed invalidates until associated write request is executed |
-
1996
- 1996-06-18 US US08/665,659 patent/US5787477A/en not_active Expired - Fee Related
-
1997
- 1997-05-30 JP JP14266697A patent/JP3202939B2/ja not_active Expired - Fee Related
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20170107061A (ko) * | 2015-02-16 | 2017-09-22 | 후아웨이 테크놀러지 컴퍼니 리미티드 | 멀티 코어 시스템에서 데이터 방문자 디렉토리에 액세스하는 방법 및 장치 |
| JP2018508894A (ja) * | 2015-02-16 | 2018-03-29 | 華為技術有限公司Ｈｕａｗｅｉ Ｔｅｃｈｎｏｌｏｇｉｅｓ Ｃｏ．，Ｌｔｄ． | マルチコアシステムにおいてデータ訪問者ディレクトリにアクセスするための方法及びデバイス |
Also Published As
| Publication number | Publication date |
|---|---|
| JP3202939B2 (ja) | 2001-08-27 |
| US5787477A (en) | 1998-07-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4484267A (en) | Cache sharing control in a multiprocessor | |
| US5822763A (en) | Cache coherence protocol for reducing the effects of false sharing in non-bus-based shared-memory multiprocessors | |
| US5802582A (en) | Explicit coherence using split-phase controls | |
| US6088769A (en) | Multiprocessor cache coherence directed by combined local and global tables | |
| US7613884B2 (en) | Multiprocessor system and method ensuring coherency between a main memory and a cache memory | |
| US7340565B2 (en) | Source request arbitration | |
| US6625698B2 (en) | Method and apparatus for controlling memory storage locks based on cache line ownership | |
| US8793442B2 (en) | Forward progress mechanism for stores in the presence of load contention in a system favoring loads | |
| US6877030B2 (en) | Method and system for cache coherence in DSM multiprocessor system without growth of the sharing vector | |
| EP0743601A2 (en) | A system and method for improving cache performance in a multiprocessing system | |
| US6032228A (en) | Flexible cache-coherency mechanism | |
| JPH05127995A (ja) | ローカルキヤツシユに共通のページ間の一貫性を確保する方法 | |
| JP2006285992A (ja) | タグ付きキャッシュ状態に基づいて下位レベル・キャッシュへの参照なしに相互接続ファブリック上にリクエストを送出するためのデータ処理システム、キャッシュ・システム、および方法 | |
| JPH0762836B2 (ja) | データ・アクセス管理装置および方法 | |
| JP2000305841A (ja) | メモリを区画化する方法及び装置 | |
| JPH04227552A (ja) | ストアスルーキャッシュ管理システム | |
| JPH10133943A (ja) | リンクリスト形成方法 | |
| US20020078305A1 (en) | Method and apparatus for invalidating a cache line without data return in a multi-node architecture | |
| JP3202939B2 (ja) | キャッシュ・コヒーレンシを維持するための方法及び装置 | |
| US7912998B2 (en) | DMA access systems and methods | |
| JP2746530B2 (ja) | 共有メモリマルチプロセッサ | |
| JP3550092B2 (ja) | キャッシュ装置及び制御方法 | |
| US6496907B1 (en) | System and method for updating from a read-only to a read-write entry and concurrently invalidating stale cache copies from head-to-tail and tail-to-head directions | |
| US6321304B1 (en) | System and method for deleting read-only head entries in multi-processor computer systems supporting cache coherence with mixed protocols | |
| US7380107B2 (en) | Multi-processor system utilizing concurrent speculative source request and system source request in response to cache miss |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |