Address conflict detection system employing address indirection for use in a high-speed multi-processor system

• US 5,875,472 A
• Filed: 01/29/1997
• Issued: 02/23/1999
• Est. Priority Date: 01/29/1997
• Status: Expired due to Term

• Current Assignee: Unisys Corporation
• Original Assignee: Unisys Corporation
• Inventors: Englin, Donald Carl, Mackenthun, Donald William, Bauman, Mitchell Anthony
• Primary Examiner(s): Swann, Tod R.
• Assistant Examiner(s): Chow, Christopher S.
• Application Number:
  US08/792,685
• Time in Patent Office: 755 Days
• Field of Search: 711/147, 711/150, 711/141, 711/152
• US Class Current: 711/150
• CPC Class Codes: G06F 12/0815 Cache consistency protocols

Abstract

An improved conflict detection system for use in maintaining memory coherency in a multiprocessor, shared-cache memory system. The system includes a queue for storing pointers to request addresses that resulted in cache misses. The addresses associated with the queued pointers will generally be presented to a main memory for processing based on a predetermined priority scheme. The system further includes conflict detection logic which uses the queue pointers and the request addresses provided by associated ones of the processors to determine if any two of the queued requests are associated with the same request address. If so, a conflict exists, and the request queue later in time must be re-directed to cache instead of being presented to main memory to maintain cache coherency. The system further includes a mechanism for using pointers to detect conflict situations associated with flush and replacement cache operations. Because the conflict detection system queues pointers to addresses, instead of the addresses themselves, a large amount of silicon area can be saved. In addition, the system performs all conflict detection operations using full address compares to eliminate the detection of false conflicts.

Claims

1. For use in a data processing system in which multiple requesters are each coupled to a first memory for requesting access to the first memory at a request address and wherein ones of the multiple requesters can come in conflict by attempting to gain access to the same request address, the data processing system further having memory priority logic coupled to each of the multiple requesters and to the first memory for selecting ones of the request addresses to be provided to the first memory, wherein the first memory determines whether each of the selected ones of the request addresses is a non-resident request address which is not resident within the first memory, the data processing system further having a second memory coupled to the memory priority logic, an improved conflict detection system, comprising:

pointer generation means coupled to each of the multiple requesters for generating pointer signals indicative of a selected one of the multiple requesters requesting a selected one of the request addresses;

pointer queue means coupled to the first memory and to said pointer generation means for storing said pointer signals indicative of ones of the multiple requesters requesting non-resident request addresses; and

queue priority means coupled to said pointer queue means and to the memory priority logic for selecting from said pointer queue means predetermined ones of said stored pointer signals, and for providing said pointer signals to the memory priority logic, whereby the memory priority logic provides to the second memory a non-resident request address from one of the multiple requesters as indicated by said selected ones of said stored pointer signals.

2. The improved conflict detection system of claim 1, and further including:

front-end compare means coupled to each of the multiple requesters for receiving each of the request addresses and coupled to the memory priority logic for receiving each of the selected ones of the request addresses, said front-end compare means for providing front-end conflict signals if a conflicting one of the selected ones of the request addresses has a predetermined relationship to any conflicting one of the request addresses; and

compare validation means coupled to said front-end compare means for receiving said front-end conflict signals, and further coupled to said pointer queue means for receiving said stored pointer signals, said compare validation means for providing a valid conflict signal to said pointer queue means if said stored pointer signals are indicative of one of the multiple requesters requesting any said conflicting one of the request addresses, whereby said pointer signals indicative of the requester requesting the selected one of the request addresses are stored as conflict pointer signals, and whereby said queue priority means selects said conflict pointer signals from said pointer queue means to provide to the memory priority logic to cause the selected one of the request addresses to be provided from the one of the multiple requesters indicated by said selected conflict pointer signals to the first memory.

3. The improved conflict detection system of claim 1, and further including:

storage means coupled to the memory priority logic for storing as a replacement address a selected one of the request addresses that is a non-resident request address; and

replacement compare means coupled to said pointer generation means, and coupled to said storage means for receiving said replacement address, said replacement compare means further coupled to the memory priority logic for receiving other selected ones of the request addresses and for providing a replacement conflict signal to said pointer generation means if any of the said other selected ones of the request addresses is a conflicting request address having a predetermined relationship to said replacement address, whereby said pointer generation means generates pointer signals which are conflict pointer signals indicative of the requester requesting said conflicting request address, whereby said pointer queue means stores said conflict pointer signals, and whereby said queue priority means selects said conflict pointer signals from said pointer queue means to provide to the memory priority logic to cause said conflicting request addresses to be provided from the one of the multiple requesters indicated by said selected conflict pointer signals to the first memory.

4. The improved conflict detection system of claim 1, wherein each of the request addresses is comprised of set address signals and block address signals, and further including:

storage means coupled to the memory priority means for receiving the set address signals of a selected one of the request addresses that is a non-resident request address as the flush set address, said storage means further coupled to the first memory for receiving predetermined signals as a flush block address, and for storing said flush set address and said flush block address as said flush address; and

flush compare means coupled to said pointer generation means, and coupled to said storage means for receiving said flush address, said flush compare means further coupled to the memory priority logic for receiving other selected ones of the request addresses and for providing a flush conflict signal to said pointer generation means if any of the said other selected ones of the request addresses is a conflicting request address having a predetermined relationship to said flush address, whereby said pointer generation means generates pointer signals which are conflict pointer signals indicative of the requester requesting said conflicting request address, whereby said pointer queue means stores said conflict pointer signals, and whereby said queue priority means selects said conflict pointer signals from said pointer queue means to provide to the memory priority logic to cause said conflicting request address to be provided from the one of the multiple requesters indicated by said selected conflict pointer signals to the first memory.

5. The improved conflict detection system of claim 1, and further including:

first storage means coupled to the memory priority logic for storing address signals associated with a first selected one of the request addresses;

second storage means coupled to the memory priority logic for storing address signals associated with a second selected one of the request addresses; and

immediate compare means coupled to said first storage means, to said second storage means, and to said pointer generation means for providing an immediate conflict signal to said pointer generation means if said first selected one of the request addresses and said second selected one of the request addresses have a predetermined relationship, said immediate conflict signal for causing said pointer generation means to generate pointer signals which are conflict pointer signals indicative of the requester requesting said second selected one of the request addresses, whereby said pointer queue means stores said conflict pointer signals, and whereby said queue priority means selects said conflict pointer signals from said pointer queue means to provide to the memory priority logic to cause the requester requesting said second selected one of the request addresses to provide said second selected one of the request addresses to the first memory.

6. The improved conflict detection system of claim 1, wherein said pointer queue means includes means for simultaneously storing pointer signals indicative of each of the multiple requesters.

7. The improved conflict detection system of claim 1, and further including request storage means coupled to each of the multiple requesters for storing a plurality of request addresses, and whereby said plurality of request addresses is made available to the memory priority logic at one time, and wherein said pointer signals are indicative of one of the plurality of request addresses from one of the multiple requesters.

8. For use in a data processing system, memory priority logic coupled to multiple requesters and to a first memory to receive one or more request signals from each of the multiple requesters, wherein each of the request signals is associated with a stored memory address provided by one of the requesters, and wherein ones of the multiple requesters can come in conflict by providing the same stored memory address, the memory priority logic to select as selected request signals ones of the multiple request signals to be provided to the first memory, the first memory to detect for each of the selected request signals whether the associated stored memory address is a nonresident address which is not resident within the first memory, the first memory being further coupled to a second memory, the improved conflict and detection system, comprising:

pointer generation logic coupled to each of the multiple requesters to receive the one or more request signals from each of the multiple requesters, and to generate for each of the selected request signals associated pointer signals pointing to the associated stored memory address;

a pointer queue coupled to the first memory and to said pointer generation logic to stores said pointer signals for each of the selected request signals if said associated selected request signals is associated with a non-resident address; and

queue priority logic coupled to said pointer queue and to the memory priority logic to select from said pointer queue based on a predetermined priority scheme ones of said stored pointer signals as selected pointer signals, and to provide to the memory priority logic said selected pointer signals, whereby the memory priority logic, based on a second predetermined priority scheme, provides the stored memory address associated with said selected pointer signals to the second memory.

9. The improved conflict detection system of claim 8, and further including compare circuits coupled to said pointer queue logic to tag predetermined ones of said pointer signals as conflict-tagged pointer signals, and wherein upon receipt by the memory priority logic, said conflict-tagged pointer signals cause the memory priority logic to provide the stored memory address associated with said conflict-tagged pointer signals to the first memory instead of to the second memory.

10. The improved conflict detection system of claim 9, and further including:

front-end compare logic coupled to each of the multiple requesters to receive each of the stored memory addresses and further coupled to the memory priority logic to receive ones of the selected request signals, said front-end compare logic to provide front-end conflict signals for each of the selected request signals which is associated with a stored memory address which has a predetermined relationship to any of the other ones of the stored memory addresses, said front-end conflict signals to identify as conflicting addresses said other ones of the stored memory addresses having said predetermined relationship;

conflict validation logic coupled to said front-end compare logic to receive said front-end conflict signals and further coupled to said pointer queue to receive said stored ones of said pointer signals, and to provide to said pointer generation logic a valid conflict signal if any of said conflicting addresses are associated with any of said stored pointer signals, and if so, to provide to said pointer queue as conflict-tagged pointer signals said pointer signals pointing to the stored memory address associated with the selected request.

11. The improved conflict detection system of claim 9, and further including:

a storage device coupled to the memory priority logic to store as a replacement address a predetermined stored memory address associated with said selected pointer signals, said predetermined stored memory address being a non-resident address; and

replacement compare logic coupled to said pointer generation logic, and coupled to said storage device to receive said replacement address, said replacement compare logic further coupled to the memory priority logic to receive other selected request signals, said replacement compare logic to provide replacement conflict signals to identify any of the stored memory addresses associated with said other selected request signals having a predetermined relationship to said replacement address, wherein said pointer generation logic is coupled to said replacement compare logic to receive said replacement conflict signals and is further coupled to said pointer queue to provide to said pointer queue said conflict-tagged pointer signals for each of said identified stored memory addresses associated with said other selected request signals.

12. The improved conflict detection system of claim 9 wherein each of the stored memory addresses is comprised of set address signals and block address signals, and further including:

a storage device coupled to the memory priority logic and to the first memory to store said set address signals of the stored memory address that is a non-resident address and is associated with one of the selected request signals, said storage device to further store block address signals received from the first memory, said stored set address and block address signals being the flush address; and

flush compare logic coupled to said pointer generation logic, and coupled to said storage device to receive said flush address, said flush compare logic further coupled to the memory priority logic to receive other selected request signals, said flush compare logic to provide flush conflict signals to identify any of the stored memory addresses associated with said other selected request signals having a predetermined relationship to said flush address, wherein said pointer generation logic is coupled to said flush compare logic to receive said flush conflict signals and is further coupled to said pointer queue to provide to said pointer queue said conflict-tagged pointer signals for each of said identified stored memory addresses associated with said other selected request signals.

13. The improved conflict detection system of claim 9, and further including:

a first device coupled to the memory priority logic to store as the first immediate address a stored memory address associated with a first one of the selected request signals;

a second device coupled to the memory priority logic to store as the second immediate address a stored memory address associated with a second one of the selected request signals selected following the selection of said first one of the selected request signals; and

immediate compare logic coupled to said pointer generation logic, coupled to said first storage device to receive said first immediate address, said immediate compare logic further coupled to said second storage device to receive said second immediate address, said immediate compare logic to provide immediate conflict signals if said first immediate address and said second immediate address have a predetermined relationship, and to provide to said pointer generation logic immediate conflict signals, whereby said pointer generation logic provides to said pointer queue said conflict-tagged pointer signals pointing to said stored memory address associated with said second one of the selected request signals.

14. The improved conflict detection system of claim 8, wherein said pointer queue is capable of simultaneously storing pointer signals associated with each of the stored memory addresses.

15. The improved conflict detection system of claim 8, wherein each of the multiple requesters provides one read request signal and one write request signal.

16. For use in a system having a plurality of storage devices coupled to a first memory, the first memory being coupled to an associated tag memory for providing tag signals indicative of the addresses resident within the first memory, each of the plurality of storage devices for presenting an associated stored memory address to the first memory for processing, and wherein ones of the storage devices can come in conflict by presenting the same stored memory address, the first memory further being coupled to a second memory, the improved conflict detection system, comprising:

priority means coupled to each of the plurality of storage devices for receiving each of the associated stored memory addresses, and for selecting ones of the associated stored memory addresses as selected addresses to be presented to the first memory;

pointer generation means for generating pointer signals associated with each of said selected addresses and indicative of the associated storage device;

queue means for storing said pointer signals for each of said associated selected addresses which is as non-resident address that is not resident within the first memory, wherein said queue means is capable of storing ones of said pointer signals for every storage device in the system; and

queue priority means for selecting predetermined ones of said stored pointer signals as said selected pointer signals for presentation to said priority means, whereby said priority means provides the stored memory address from the storage device indicated by said selected pointer signals to the second memory.

17. The improved conflict detection system of claim 16, wherein said pointer generation means tags predetermined ones of said pointer signals as conflict pointer signals, and whereby upon receipt of said pointer signals that are said conflict pointer signals, said priority means provides the stored memory address from the storage device indicated by said conflict pointer signals to the first memory.

18. The improved conflict detection system of claim 17, and further including:

front-end compare means coupled to each of the plurality of storage devices for receiving each of the associated stored memory addresses, said front-end conflict signal for identifying as conflicting ones any of the associated stored memory addresses having a predetermined relationship to said selected address; and

conflict validation means for tagging as said conflict pointer signals said pointer signals associated with said selected address if said identified conflicting ones of the associated stored memory addresses are associated with said stored pointer signals.

19. The improved conflict detection system of claim 17, and further including:

replace storage means for storing as the replacement address the stored memory address associated with said selected pointer signals if said stored memory address is one of said nonresident memory addresses and said replace storage means is not storing a different said replacement address;

replace compare means for receiving said selected addresses and for providing replacement conflict signals associated with each of said selected addresses that has a predetermined relationship to said replacement address; and

wherein said pointer generation means is further for receiving said replacement conflict signals and for generating conflict pointer signals for said associated selected address, said conflict pointer signals to be stored by said pointer queue means.

20. The improved conflict detection system of claim 19, and further including:

flush storage means for receiving a predetermined portion of said replacement address as the flush set address, and for further receiving tag signals provided from said replacement address in the tag memory as the flush block address, and for storing said flush set address and said flush block address as said flush address;

flush compare means for receiving said selected addresses and for providing flush conflict signals associated with each of said selected addresses that have a predetermined relationship to said replacement address; and

wherein said pointer generation means is further for receiving said flush conflict signals and for generating conflict pointer signals for said associated selected address, said conflict pointer signals to be stored by said pointer queue means.

21. The improved conflict detection system of claim 17, and further including:

first immediate storage means for storing a first one of said selected addresses as the first immediate address;

second immediate storage means for storing a second one of said selected addresses as the second immediate address;

immediate compare means for receiving said first immediate address and said second immediate address and for providing immediate conflict signals associated with said second immediate address if said second immediate address has a predetermined relationship to said first immediate address; and

wherein said pointer generation means is further for receiving said immediate conflict signals and for generating conflict pointer signals for said second immediate address, said conflict pointer signals to be stored by said pointer queue means.