......DE....FRGB..IT..............................JDIM360 - Ver 2.7 (17 Nov 1997) 2100000/1 2100000/20596636EUROPEAN PATENT SPECIFICATIONB119980401EP93308502.9199310261994112119950203enenen97018819921102US199804011998141994051119941919980401199814199608266 6G 06F 12/08 AdeCache-EtikettenspeicherenCache tag memoryfrMémoire d'étiquettes d'antémémoireEP-A- 0 439 952GB-A- 2 200 481IBM TECHNICAL DISCLOSURE BULLETIN. vol. 23, no. 7B , December 1980 , NEW YORK US pages 3461 - 3463 YAMOUR 'Odd/even interleave cache with optimal hardware array cost, cycle time and variable data port width'IEEE JOURNAL OF SOLID-STATE CIRCUITS vol. 26, no. 11 , November 1991 , NEW YORK US pages 1586 - 1592 KOBAYASHI ET AL. 'A 0.5-W 64-kilobyte snoopy cache memory with pseudo two-port operatio'3McClure, David Charles3701 ElizabethCarrollton, Denton County Texas 75007USSGS-THOMSON MICROELECTRONICS, INC.00723064sgs thomson micro1310 Electronics DriveCarrollton Texas 75006USPalmer, Rogeret al00034631PAGE, WHITE & FARRER 54 Doughty StreetLondon WC1N 2LSGBDEFRGBIT19940629199426

The present invention relates in general to digital computer systems, and more particularly to cache memory systems.

This application is related to European Patent Application EP-A-0 439 952, which discloses a dual-port cache tag memory.

Cache memories are used in many computer systems to improve system performance. A cache memory is a relatively small, fast memory which resides between a central processor and main system memory. Whenever the processor reads the contents of a memory location which is stored in the cache memory, the time required to access such location is drastically reduced. A good cache technique can provide a "hit ratio" of well over ninety percent, meaning that no main memory access is necessary for over ninety percent of the read operations performed. Access of data which is stored in the cache can improve access times by factors of three to ten times.

A cache performs functions requiring two different types of memory. The first type is the data memory, in which the data is actually stored. The second type is known as a tag memory, or tag RAM, which is used to determine which memory locations are actually stored in the cache. In general, the cache tag RAM contains a plurality of entries corresponding to the entries of the data cache. Each entry is indexed by some number of least significant bits of the address generated by the central processor, with the tag entry itself containing the most significant bits of the memory location which is stored in the corresponding data cache entry. If the most significant bits stored in the cache tag match the most significant bits of the address currently being generated, with the least significant bits of this address acting as an index to the tag RAM, a cache "hit" has occurred and the data to be read may be taken from the corresponding data cache entry. If data corresponding to the desired address is not located in the data cache, the tag entry will not match the most significant bits of the address, and a "miss" occurs. This indicates that the data must be retrieved from main system memory and placed into the data cache. At this time, the current contents of the cache tag entry are overwritten with the most significant bits of the newly retrieved address.

In multi-processor systems, it is possible to provide each processor in a system with its own cache memory. Each local processor accesses its own cache whenever possible, and accesses main system memory through a system bus only when necessary.

This situation introduces an important problem known as the "cache coherency problem." This problem arises whenever it is possible for shared variables in main system memory to be accessed by two or more processors in the system. These processors can be local central processing units, or input/output devices attached to the bus. The cache coherency problem arises when a single memory location is cached in two or more local caches. If one of the processors writes a new value into that memory location, it will be inconsistent with the value of the same variable, or main memory location, currently cached in the other caches. The cache coherency problem also arises when a non-caching device writes to a location in system memory which has been cached by another device.

One technique utilized in dealing with the cache coherency problem is to have all local processors having caches monitor, or "snoop", the main system bus at all times. If another processor or device writes data to a memory location which is currently stored in a local cache, the local cache entry is invalidated. If that location is later accessed by the local processor, the updated data is then retrieved from the main system memory.

Using a dual-port memory array in this manner, however, results in both an area penalty on the tag RAM chip and an overall degradation in access time as disclosed in IBM technical disclosure bulletin vol. 23, no. 7B, December 1980, NEW YORK US, pages 3461-3463 YAMOUR, "Odd/Even interleave cache with optimal hardware array cost, cycle time and variable data port width".

This is because a dual-port memory, compared to a single-port memory array, can be two and a half to three and a half times larger, or more.

Therefore, it would be desirable to provide a cache tag memory which reduces space consumption as well as maintain the coherency of the cache memory.

According to one embodiment of the present invention there is provided a cache memory, comprising a data cache for storing a plurality of entries, a cache tag memory including a dual-port memory array having a plurality of entries, means for addressing said dual-port memory array by each of a system bus and a local processor, a cache controller for controlling exchanges of data or control signals between the local processor and the system bus, means for generating a first match signal for indicating that a memory location addressed by the local processor resides in the data cache, means for providing a valid signal for indicating that a memory location addressed by the local processor is valid, means for generating a second match signal for indicating that a memory location addressed by the system bus matches an entry in the cache tag memory, characterised in that the cache tag memory further includes a first single-port memory array containing a first plurality of entries corresponding to the entries stored in the dual-port memory array, means for addressing said first single-port memory array by the local processor, a second single-port memory array containing a second plurality of entries corresponding to the entries stored in the dual-port and first single-port memory arrays, means for addressing said second single-port memory array by the system bus, and means for storing information in said dual-port memory array indicating the validity of corresponding entries stored in the first and second single port memory arrays.

The novel features believed characteristic of the invention are set forth in the appended claims. The invention itself however, as well as a preferred mode of use, and further objects and advantages thereof, will best be understood by reference to the following detailed description of an illustrative embodiment when read in conjunction with the accompanying drawings, wherein:

Referring to Figure 1, a multi-processor computer system is illustrated and referred to generally with the reference number 10. Local processors 12, 14, 16 are each provided with a local cache memory 18, 20, 22. The processors 12, 14, 16 communicate with each other and with a main system memory 24 through a system bus 26. A plurality of input/output devices 28, 30 are also attached to the system bus 26. Input/output devices 28, 30 typically do not contain local cache memories.

The problem of maintaining coherency between shared variable stored in the various local cache memories 18, 20, 22 can arise in several ways. In one, for example, local cache memories 18 and 20 may each contain a copy of a shared variable from main system memory 24. If local processor 14 updates the value of the shared variable, local cache 20 will be updated as will main system memory 24. In order to ensure coherency of cache memory 18, a technique as disclosed in United States Patent Application Serial No. 07/473239, entitled DUAL-PORT CACHE TAG MEMORY, filed on January 31, 1990, which is incorporated herein by reference, is utilized to ensure that the outdated value for such local variable stored in cache memory 18 is marked as invalid. A similar situation can occur if input/output device 28 writes a value to main memory 24. If such memory location has previously been cached in local cache memory 18, the current memory data and the data in local cache memory 18 will not be the same.

Referring to Figure 2, a high level block diagram showing a cache memory utilizing a cache tag memory according to the present invention is depicted. A preferred system for ensuring cache coherency in a single or multi-processor system will also be described. A data cache 32 and cache tag RAM 34 communicate with system bus 26 and local processor 36. Cache controller 38 performs the usual cache control functions found in caches which are suitable for use with single processor systems.

Data cache 32 exchanges data with the local processor 36 and system bus 26 under control of cache controller 38. Various control signals are exchanged by the local processor 36 and cache controller 38, and between cache controller 38 and system bus 26. Address and control signals are communicated from local processor 36 to cache tag RAM 34. Address and control signals are also communicated between cache tag RAM 34 and system bus 26.

In some cache memory formats, a control signal SW is communicated to cache tag RAM 34 from system bus 26 to indicate that a write operation, referred to as a snoop write, is occurring on the system bus 26. A control signal MTCHB is returned to system bus 26 whenever a system bus address matches an entry in cache tag RAM 34 during a snoop write operation. The signal MTCHB can be used as desired by the system in performance of cache control functions.

Cache tag RAM 34 also passes a signal MTCHA to cache controller 38. MTCHA indicates that the memory location currently being addressed by local processor 36 resides in the data cache 32, and that the entry is currently valid. Cache controller 38 then causes the location being accessed by local processor 36 to be read directly from data cache 32. If MTCHA indicates a miss, cache controller 38 causes the contents of the address location to be accessed from main memory over system bus 26.

Figure 3 is a block diagram of a preferred cache tag memory, referred to generally by the reference number 34. Cache tag memory 34 includes a first single-port memory array 40 with a corresponding row decoder 42. In the preferred embodiment, the first single-port memory array 40 is dedicated to a local processor. A second single-port memory array 44 and corresponding row decoder 46 is preferably dedicated to the system or main memory. Finally, a dual-port memory array 48 is utilized to store information or status bits about the cache memory. The status bits stored in the dual-port memory array 48 are shared by both the first and second single-port memory arrays 40, 44. Examples of status bits include a snoop valid bit, parity bit, or bits required for MOESI protocol. MOESI stands for Modified, Owned, Exclusive, Shared, and Invalid, and is utilized to -indicate cache states. Essentially, any bit which may be altered by the system port while the local processor is performing its operations is stored in the dual-port memory array 48.

The size difference between a dual-port memory array and a single-port memory array can be two and a half to three and a half times larger, or more. Thus, having a cache tag memory which has two single-port memory arrays and a small dual-port memory array results in space savings on the chip. For example, the area difference between an all dual-port cache tag memory and the preferred cache tag memory is calculated below for a cache tag memory which utilizes a tag which is 16 bits wide plus 2 status bits (total 18 bits wide).
   all dual-port: 18 bits x R
   preferred cache tag: (2 bits x R) + (16 bits x 2)

The ratio of the size of a dual-port to the size of a single-port memory array is denoted by the variable R. If R=2.5, the all dual-port cache tag memory is 22% larger than the preferred cache tag memory. If R=3.0, the all dual-port cache tag memory is 42% larger. Finally, if R=3.5, the all dual-port cache tag memory is 62% larger than the preferred cache tag memory array.

Referring to Figure 4, a block diagram of a preferred cache tag RAM 34 is illustrated. The cache tag RAM 34 includes a first single-port memory array 40 dedicated to the local processor, a second single-port memory array 44 dedicated to the system or main memory, and a dual-port memory array 48. As discussed above, the dual-port memory array 48 stores information or status bits about the cache memory, and its entries are shared by the two single-port memory arrays 40, 44.

First single-port memory array 40 is addressed by the least significant bits (LSB) of the address from the local processor. The most significant bits (MSB) of the local address are input to a comparator 50 where they are compared with the first single-port memory array 40 entry currently selected by the local address LSB, which is available on line 52. A logical one is output from comparator 50 if the selected entry matches the MSB of the local address, and is connected to one input of AND gate 54. The snoop valid bit 56 from the corresponding address is also connected as an input to AND gate 54, and the output of AND gate 54 defines the signal MTCHA. Thus, signal MTCHA is a logical one, indicating a cache hit, only if the first single-port memory array 40 entry indexed by the LSB of the local address matches the MSB of the local address, and the corresponding snoop valid bit 56 for that entry is a logical one.

Second single-port memory array 44 is addressed by the LSB of the system address. The entry corresponding to such location within the array is output on data line 58 and connected to comparator 60. Comparator 60 compares the entry present on line 58 with the MSB of the system address, generating a logical one if they match. The output of comparator 60 is connected to an input of both AND gates 62, 64. The snoop valid bit 56 of the entry indexed by the LSB of the system address is also connected to AND gate 62. The signal MTCHB is a logical one only if the selected entry matches the MSB of the system address, and the snoop valid bit 56 has a value of logical one. Some cache systems, however, do not require the snoop valid bit 56 to be monitored in this manner, so the signal MTCHB is a logical one if the selected entry matches the MSB of the system address.

In some cache formats, it is desirable to have a snoop write signal (SW) connected to a second input of AND gate 64. The output of AND gate 64 will be a logical one only if the address MSB on the system bus matches the entry in the second single-port memory array 44 indexed by the system address LSB, and a write operation is being performed on the system bus. In such event, the value stored in the data cache for such entry is now out of date, and must be marked as invalid. When the output of AND gate 64 is a logical one, the snoop valid bit of the entry indexed by the LSB of the current system address is reset to a logical zero. This will cause any future accesses of this entry by the local processor to indicate a miss, since the output of AND gate 54 for such entry will now be a logical zero.

When the data cache is being reloaded, requiring a write to cache tag RAM 34, the desired address appears on both the local bus and the system bus. The address tag is written into the first single-port memory array 40 and the corresponding cell in the second single-port memory array 44. The status bits are also written into the dual-port memory array 48 at this time. Snooping occurs as described with reference to Figure 3, so that entries are invalidated or the status bits are altered as snoop hits are registered. The local processor does not need to be halted as the status bits are altered by the system due to the dual-port nature of the status bit cells.

Upon reference to the description above, those skilled in the art will appreciate that the described invention can result in a significant savings of space on a RAM chip. Utilizing a cache tag memory array which has both single-port and dual-port memory arrays, a significant savings of space can be realized. This is due to the fact that dual-port memory arrays may be two and a half to three and a half times larger, or more, than single-port memory arrays.

While the invention has been particularly shown and described with reference to a preferred embodiment, it will be understood by those skilled in the art that various changes in form and detail may be made therein without departing from the scope of the invention.

 A cache memory, comprising: a data cache (32) for storing a plurality of entries; a cache tag memory (34) including a dual-port memory array (48) having a plurality of entries; means for addressing said dual-port memory array by each of a system bus (26) and a local processor (36); a cache controller (38) for controlling exchanges of data or control signals between the local processor (36) and the system bus (26); means (50) for generating a first match signal for indicating that a memory location addressed by the local processor resides in the data cache; means for providing a valid signal (56) for indicating that a memory location addressed by the local processor is valid; means (60) for generating a second match signal for indicating that a memory location addressed by the system bus matches an entry in the cache tag memory; characterised in that the cache tag memory further includes: a first single-port memory array (40) containing a first plurality of entries corresponding to the entries stored in the dual-port memory array; means for addressing said first single-port memory array by the local processor; a second single-port memory array (44) containing a second plurality of entries corresponding to the entries stored in the dual-port and first single-port memory arrays; means for addressing said second single-port memory array by the system bus; and means for storing information in said dual-port memory array indicating the validity of corresponding entries stored in the first and second single port memory arrays. The cache memory of Claim 1, further comprising means for receiving a control signal (SW) to be communicated to the cache tag memory from the system bus (26) indicating a write operation is ocurring on the system bus. The cache memory of Claim 1 or Claim 2, further comprising means for invalidating an entry in the cache tag if the entry is accessed globally, through the system bus. The cache memory of any one of claims 1 to 3, wherein said means for generating the second match signal is adapted to generate said second match signal when a write operation is occurring on the system bus. The cache tag memory of any one of claims 1 to 4 further comprising: a first memory port capable of writing entries to said first single-port memory array (40) and said dual-port memory array (48), and capable of reading entries from said first single-port memory array and said dual-port memory array; a second memory port capable of reading entries from said second single-port memory array (44) and said dual-port memory array (48), and capable of writing entries to said dual-port memory array; a first comparator (50) connected to said first port for comparing an array entry selected by a first portion of a local address, as addressed by the local processor, with a second portion of the local address, and for generating a signal indicative of a match (53); and a second comparator (60) connected to said second port for comparing an array entry selected by a first portion of a global address, as communicated from the system bus, with a second portion of the global address, and for generating a signal indicative of a match (59). The cache tag memory of Claim 5, wherein said first memory port is capable of writing entries into said second single-port memory array (44). The cache tag memory of Claim 5 or Claim 6, wherein said second memory port is capable of writing entries into said second single-port memory array The cache tag memory of any one of Claims 5 to 7, comprising means for storing a valid state composed of a bit or bits in said dual-port memory array (48) to indicate the validity of an entry stored in the first and second single-port memory arrays. The cache tag memory of Claim 8, comprising means for setting said valid state corresponding to said entry to a first value when a new value is written to the entry. The cache tag memory of Claim 9, further comprising: comparison logic for determining whether the value of the entry indexed by a first portion of a global system address is the same as a second portion of the global system address, thereby defining a match; and logic means (64) for setting the first valid state corresponding to such indexed entry to a second value if a match occurs during a global system write operation. The cache tag memory of Claim 10, further comprising logic means for setting the first valid state corresponding to such indexed entry to the second value if a match occurs during a global system read operation. The cache tag memory of Claim 10 or Claim 11, wherein said comparison logic comprises a logic gate (54) for combining logically said valid state and the output of the first comparator (50). The cache tag memory of any one of Claims 10 to 12, wherein said comparison logic comprises a logic gate (62) for combining logically said valid state and the output of the second comparator (60). The cache tag memory of any one of Claims 10 to 13, wherein said logic means comprises a logic gate (64) for combining logically a snoop write signal (SW) and the output of the second comparator (60). The cache tag memory of any one of Claims 5 to 14, further comprising control circuitry for writing into the first and second single-port memory arrays. The cache tag memory of any one of Claims 5 to 15, comprising means for storing at least one bit position in the dual-port memory array(48) as a parity bit. Chache-Speicher mit: einem Daten-Cache (32) zum Speichern mehrerer Einträge; einem Cache-Etikettenspeicher (34) mit einer Dualschnittstellen-Speicheranordnung (48) mit mehreren Einträgen; Einrichtungen zum Ansprechen der Dualschnittstellen-Speicheranordnung durch sowohl einen Systembus (26) als auch einen lokalen Prozessor (36); einer Cache-Steuereinrichtung (38) zum Steuern des Austausches von Daten- oder Steuersignalen zwischen dem lokalen Prozessor (36) und dem Systembus (26); Einrichtungen (50) zum Erzeugen eines ersten Abgleichsignals, das anzeigt, daß eine durch den lokalen Prozessor angesprochene Speicherstelle sich im Datencache befindet; Einrichtungen zur Bereitstellung eines Gültig-Signals (56), das anzeigt, daß eine durch den lokalen Prozessor angesprochene Speicherstelle gültig ist; Einrichtungen (60) zum Erzeugen eines zweiten Abgleichsignals, das anzeigt, daß eine durch den Systembus angesprochene Speicherstelle mit einem Eintrag im Cache-Etikettenspeicher übereinstimmt; dadurch gekennzeichnet, daß der Cache-Etikettenspeicher ferner umfaßt: eine erste Einzelschnittstellen-Speicheranordnung (40) mit einer ersten Vielzahl an Einträgen, die den in der Dualschnittstellen-Speicheranordnung gespeicherten Einträgen entsprechen; Einrichtungen zum Adressieren der ersten Einzelstellen-Speicheranordnung durch den lokalen Prozessor; eine zweite Einzelschnittstellen-Speicheranordnung (44), die eine zweite Vielzahl von Einträgen enthält, die den Einträgen entsprechen, welche in der Doppelschnittstellen- und in der ersten Einzelschnittstellen-Speicheranordnung gespeichert sind; Einrichtungen zum Ansprechen der zweiten Einzelschnittstellen-Speicheranordnung durch den Systembus; und Einrichtungen zum Speichern von Informationen in der Doppelschnittstellen-Speicheranordnung, die die Gültigkeit entsprechender Einträge anzeigen, welche in der ersten und der zweiten Einzelschnittstellen-Speicheranordnung gespeichert sind. Cache-Speicher nach Anspruch 1, der ferner Einrichtungen zum Empfangen eines Steuersignals (SW) aufweist, das vom Systembus (26) zum Cache-Etikettenspeicher übertragen wird und anzeigt, daß auf dem Systembus eine Schreiboperation stattfindet. Cache-Speicher nach Anspruch 1 oder 2, der ferner Einrichtungen aufweist, die einen Eintrag in dem Cache-Etikett ungültig machen, wenn durch den Systembus auf den Eintrag global zugegriffen wird. Cache-Speicher nach einem der Ansprüche 1 bis 3, bei dem die Einrichtung zur Erzeugung des zweiten Abgleichsignals so angepaßt ist, daß sie ein zweites Abgleichsignal erzeugt, wenn eine Schreiboperation auf dem Systembus stattfindet. Cache-Etikettenspeicher nach einem der Ansprüche 1 bis 4, der ferner aufweist: eine erste Speicherschnittstelle, die Einträge in die erste Einzelschnittstellen-Speicheranordnung (40) und die Dualschnittstellen-Speicheranordnung (48) schreiben und Einträge aus der ersten Einzelschnittstellen-Speicheranordnung und der Dualschnittstellen-Speicheranordnung lesen kann; eine zweite Speicherschnittstelle, die Einträge aus der zweiten Einzelschnittstellen-Speicheranordnung (24) und der Dualschnittstellen-Speicheranordnung (48) lesen und Einträge in die Dualschnittstellen-Speicheranordnung schreiben kann; einen ersten Vergleicher (50, der mit der ersten Schnittstelle verbunden ist, um einen Anordnungseintrag, der durch einen ersten Abschnitt einer lokalen Adresse ausgewählt und auf den durch den lokalen Prozessor zugegriffen wird, mit einem zweiten Abschnitt der lokalen Adresse zu vergleichen und zur Erzeugung eines Signals, das einen Abgleich (53) anzeigt; und einem zweiten Vergleicher (60), der mit der zweiten Schnittstelle verbunden ist, um einen durch einen ersten Abschnitt einer globalen Adresse ausgewählten Anordnungseintrag, wie er vom Systembus übermittelt wird, mit einem zweiten Abschnitt der globalen Adresse zu vergleichen, und zum Erzeugen eines Signals, das einen Abgleich (59) anzeigt. Cache-Etikettenspeicher nach Anspruch 5, bei dem die erste Speicherschnittstelle Einträge in die zweiten Einzelschnittstellen-Speicheranordnung (44) schreiben kann. Cache-Etikettenspeicher nach Anspruch 5 oder 6, bei dem die zweite Speicherschnittstelle Einträge in die zweite Einzelschnittstellen-Speicheranordnung schreiben kann. Cache-Etikettenspeicher, nach einem der Ansprüche 5 bis 7, der Einrichtungen zum Speichern eines Gültig-Zustandes, der aus einem Bit oder aus Bits aufgebaut ist, in der Dualschnittstellen-Speicheranordnung (48) aufweist, um die Gültigkeit eines Eintrags anzuzeigen, der in der ersten und der zweiten EinzelschnittstelleSpeicheranordnung gespeichert ist. Cache-Etikettenspeicher nach Anspruch 8, mit Einrichtungen, die den Gültig-Zustand entsprechend dem Eintrag auf einen ersten Wert einstellen, wenn ein neuer Wert auf den Eintrag geschrieben wird. Cache-Etikettenspeicher nach Anspruch 9, der ferner aufweist: eine Vergleichslogik zur Bestimmung, ob der Wert des durch einen ersten Abschnitt einer globalen Systemadresse indizierten Eintrags derselbe ist wie ein zweiter Abschnitt der globalen Systemadresse, wodurch ein Abgleich definiert wird; und logische Einrichtungen (64) zum Einstellen des ersten Gültig-Zustandes entsprechend eines solchen Indexeintrags auf einen zweiten Wert, wenn ein Abgleich während einer globalen System-Schreiboperation auftritt. Cache-Etikettenspeicher nach Anspruch 10, der ferner logische Einrichtungen aufweist, zum Einstellen des ersten Gültig-Zustands entsprechend einem solchen indizierten Eintrag auf den zweiten Wert, wenn ein Abgleich während einer globalen System-Schreiboperation auftritt. Cache-Etikettenspeicher nach Anspruch 10 oder Anspruch 11 bei dem die Vergleichslogik ein logisches Gate (54) zum logischen Kombinieren des Gültig-Zustands und der Ausgabe des ersten Vergleichers (50) aufweist. Cache-Etikettenspeicher nach einem der Ansprüche 10 bis 12, bei dem die Vergleichslogik ein logisches Gate (62) zum logischen Kombinieren des Gültig-Zustandes mit der Ausgabe des zweiten Vergleichers (60) aufweist. Cache-Etikettenspeicher nach einem der Ansprüche 10 bis 13, bei dem die logische Einrichtung ein logisches Gate (64) zum logischen Kombinieren eines PrüfSchreibsignals (SW) mit der Ausgabe des zweiten Vergleichers (60) aufweist. Cache-Etikettenspeicher nach einem der Ansprüche 5 bis 14, der ferner eine Steuerschaltung zum Schreiben in die erste und in die zweite Einzelschnittstellen-Speicheranordnung aufweist. Cache-Etikettenspeicher nach einem der Ansprüche 5 bis 15, der ferner Einrichtungen zum Speichern mindestens einer Bitposition in der Dualschnittstellen-Speicheranordnung als Paritäts-Bit aufweist. Antémémoire comprenant : - une antémémoire de données (32) pour mémoriser plusieurs entrées ; - une mémoire d'étiquettes d'antémémoire (34) comprenant une matrice de mémoire à double accès (48) ayant plusieurs entrées ; - des moyens pour adresser ladite matrice de mémoire à double accès à la fois par un bus système (26) et par un processeur local (36) ; - un circuit de commande d'antémémoire (38) pour commander les échanges de signaux de données ou de commande entre le processeur local (36) et le bus système (26) ; - des moyens (50) pour produire un premier signal de correspondance pour indiquer qu'un emplacement de mémoire adressé par le processeur local se situe dans l'antémémoire de données ; - des moyens pour délivrer un signal valide (56) pour indiquer qu'un emplacement de mémoire adressé par le processeur local est valide ; - des moyens (60) pour produire un second signal de correspondance pour indiquer qu'un emplacement de mémoire adressé par le bus système correspond à une entrée dans la mémoire d'étiquettes d'antémémoire ;    caractérisée en ce que la mémoire d'étiquettes d'antémémoire comprend en outre : - une première matrice de mémoire à un accès (40) contenant plusieurs premières entrées correspondant aux entrées mémorisées dans la matrice de mémoire à double accès ; - des moyens pour adresser ladite première matrice de mémoire à un accès par le processeur local ; - une seconde matrice de mémoire à un accès (44) contenant plusieurs secondes entrées correspondant aux entrées mémorisées dans la matrice de mémoire à double accès et dans la première matrice de mémoire à un accès ; - des moyens pour adresser ladite seconde matrice de mémoire à un accès par le bus système ; et - des moyens pour mémoriser des informations dans ladite matrice de mémoire à double accès indiquant la validité d'entrées correspondantes mémorisées dans les première et seconde matrices de mémoire à un accès. Antémémoire de la revendication 1, comprenant en outre des moyens pour recevoir un signal de commande (SW) devant être transmis à la mémoire d'étiquettes d'antémémoire depuis le bus système (26) indiquant qu'une opération d'écriture apparaît sur le bus système. Antémémoire de la revendication 1 ou 2, comprenant en outre des moyens pour invalider une entrée dans la mémoire d'étiquettes d'antémémoire si l'entrée est accédée de manière globale par l'intermédiaire du bus système. Antémémoire de l'une quelconque des revendications 1 à 3, dans laquelle lesdits moyens pour produire le second signal de correspondance est conçu pour produire ledit second signal de correspondance lorsqu'une opération d'écriture apparaît sur le bus système. Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 1 à 4, comprenant en outre : - un premier accès de mémoire capable d'écrire des entrées dans ladite première matrice de mémoire à un accès (40) et dans ladite matrice de mémoire à double accès (48), et capable de lire des entrées depuis ladite première matrice de mémoire à un accès et depuis ladite matrice de mémoire à double accès ; - un second accès de mémoire capable de lire des entrées depuis ladite seconde matrice de mémoire à un accès (44) et depuis ladite matrice de mémoire à double accès (48), et capable d'écrire des entrées dans ladite matrice de mémoire à double accès ; - un premier comparateur (50) connecté audit premier accès pour comparer une entrée de matrice sélectionnée par une première partie d'une adresse locale, comme adressée par le processeur local, avec une seconde partie de l'adresse locale, et pour produire un signal indiquant une correspondance (53) ; et - un second comparateur (60) connecté audit second accès pour comparer une entrée de matrice sélectionnée par une première partie d'une adresse globale, comme transmise depuis le bus système, avec une seconde partie de l'adresse globale, et pour produire un signal indiquant une correspondance (59). Mémoire d'étiquettes d'antémémoire de la revendication 5, dans laquelle ledit premier accès de mémoire est capable d'écrire des entrées dans ladite seconde matrice de mémoire à un accès (44). Mémoire d'étiquettes d'antémémoire de la revendication 5 ou 6, dans laquelle ledit second accès de mémoire est capable d'écrire des entrées dans ladite seconde matrice de mémoire à un accès. Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 5 à 7, comprenant des moyens pour mémoriser un état valide composé d'un ou de plusieurs bits dans ladite matrice de mémoire à double accès (48) pour indiquer la validité d'une entrée mémorisée dans les première et seconde matrices de mémoire à un accès. Mémoire d'étiquettes d'antémémoire de la revendication 8, comprenant des moyens pour fixer ledit état valide correspondant à ladite entrée à une première valeur lorsqu'une nouvelle valeur est écrite dans l'entrée. Mémoire d'étiquettes d'antémémoire de la revendication 9, comprenant en outre : - une logique de comparaison pour déterminer si la valeur de l'entrée indexée par une première partie d'une adresse du système global est la même qu'une seconde partie de l'adresse du système global, définissant ainsi une correspondance ; et - des moyens logiques (64) pour fixer le premier état valide correspondant à cette entrée indexée à une seconde valeur si une correspondance apparaît durant une opération d'écriture du système global. Mémoire d'étiquettes d'antémémoire de la revendication 10, comprenant en outre des moyens logiques pour fixer le premier état valide correspondant à cette entrée indexée à la seconde valeur si une correspondance apparaît durant une opération de lecture du système global. Mémoire d'étiquettes d'antémémoire de la revendication 10 ou 11, dans laquelle ladite logique de comparaison comprend une porte logique (54) pour combiner de façon logique ledit état valide et la sortie du premier comparateur (50). Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 10 à 12, dans laquelle ladite logique de comparaison comprend une porte logique (62) pour combiner de façon logique ledit état valide et la sortie du second comparateur (60). Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 10 à 13, dans laquelle lesdits moyens logiques comprennent une porte logique (64) pour combiner de façon logique un signal d'écriture de surveillance (SW) et la sortie du second comparateur (60). Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 5 à 14, comprenant en outre un ensemble de circuits de commande pour écrire dans les première et seconde matrices de mémoire à un accès. Mémoire d'étiquettes d'antémémoire de l'une quelconque des revendications 5 à 15, comprenant des moyens pour mémoriser au moins une position de bit dans la matrice de mémoire à double accès (48) sous la forme d'un bit de parité.