US 6,988,173 B2Grant

Bus protocol for a switchless distributed shared memory computer system

Issue Date:2006-01-17

•22 Claims

•20 Drawing Sheets

Abstract

A bus protocol is disclosed for a symmetric multiprocessing computer system consisting of a plurality of nodes, each of which contains a multitude of processors, I/O devices, main memory and a system controller comprising an integrated switch with a top level cache. The nodes are interconnected by a dual concentric ring topology. The bus protocol is used to exchange snoop requests and addresses, data, coherency information and operational status between nodes in a manner that allows partial coherency results to be passed in parallel with a snoop request and address as an operation is forwarded along each ring. Each node combines it's own coherency results with the partial coherency results it received prior to forwarding the snoop request, address and updated partial coherency results to the next node on the ring. The protocol allows each node in the system to see the final coherency results without requiring the requesting node to broadcast these results to all the other nodes in the system. The bus protocol also allows data to be returned on one of the two rings, with the ring selection determined by the relative placement of the source and destination nodes on each ring, in order to control latency and data bus utilization.

Metadata

Assignee

International Business Machines Corporation

Inventors

Michael A. Blake
Steven M. German
Pak-kin Mak
Adrian E. Seigler
Gary A. Van Huben

Application Information

Application Number:US 10/435,878

Filing Date:2003-05-12

Priority Date:2003-05-12

Art Unit:2188

Classifications

IPC:

G06F12/00

Patent Drawings (20 sheets)

Description

Cross Reference to Related Applications

[0001] This application is related to U.S. patent application, entitled: COHERENCY MANAGEMENT FOR A “SWITCHLESS” DISTRIBUTED SHARED MEMORY COMPUTER SYSTEM, Ser. No. 10/435,776 filed contemporaneously with this application.

[0002] This application is also related to U.S. patent application, entitled: TOPOLOGY FOR SHARED MEMORY COMPUTER SYSTEM, Ser. No. 10/436,378 filed contemporaneously with this application.

[0003] These co-pending applications and the present application are owned by one and the same assignee, International Business Machines Corporation of Armonk, N.Y.

[0004] The descriptions set forth in these co-pending applications are hereby incorporated into the present application by this reference.

[0005] Trademarks: IBM® is a registered trademark of International Business Machines Corporation, Armonk, N.Y., U.S.A. Other names may be registered trademarks or product names of International Business Machines Corporation or other companies.

Technical Field

[0006] The invention relates to large shared-memory symmetrical multiprocessing computer systems built from multiple building blocks, henceforth referred to as “nodes”, each of which contains some amount of memory and some number of processing units. More particularly, an exemplary embodiment of the present invention is related to the bus protocol on a nodal interconnect topology that allows for both high overall system performance and availability.

Background

[0007] The continued demand for high performance computers and/or computer systems requires optimum usage of the available hardware and software. One such approach is the implementation of the use of processing nodes each comprising one or more microprocessors and memories. These computer systems are sometimes referred to shared multiprocessor systems. In a shared multiprocessing computer system, the nodes are interconnected to each other so that they can communicate with each other, share operating systems, resources, data, memory etc.

[0008] One of the goals of building a modern computing machine employed at the Enterprise level include having enough system capacity to take the many different workloads and applications running in a distributed computing environment such as a server farm and migrate them onto a large monolithic host server. The benefit of consolidating workloads and applications from many small machines to a larger single one is financially motivated to reduce the number of system operators, amount of floorspace and system maintenance costs. System integration vendors have been pushing the SMP size envelope, integrating up to 64 or more processors in a tightly coupled shared memory system in a variety of coherent inter-processor connect topologies.

[0009] The commonly available designs in the Unix platform include topologies where integrated processor-memory nodes, or simply nodes, are interconnected by means of multiple parallel common directional loops with distributed switch network (topology A), Central crossbar switch (topology B), or tree-based hierarchical switch (topology C). All of the above-mentioned topologies can be built to achieve the large scalability goal of a modern computing machine, but at the expense of incurring lengthy node to node access latency times, as measured in the number of node hops, adversely affecting system performance.

[0010] When a processor demands a unit of storage data which is not present in its node's internal cache system the data request is broadcast out to snoop all other nodes in the system to locate the latest version of the data. This data request, or address broadcast snoop, traverses the entire topology to find every node and snoop their cache content for an address match. The collective snoop results are then combined and are acted upon as an arbitration means by which the appropriate node is selected to source the data. A storage coherency scheme can be devised that will source data early from a node without waiting upon the collective snoop results. If the same data exists in multiple nodes' caches only one node would source the requested data.

[0011] Upon implementing the described sequence for processing a data fetch request on a 4-node system as an example, the address snoop on topology A propagates around a ring snooping every node in the process and eventually circles back on the requesting node. The snoop results from each of the node are gathered back on the requesting node and then broadcast out on the ring to identify which node will source the data.

[0012] Again, a storage coherency scheme can be devised where data existing in a node's cache can be sourced on the initial snoop broadcast without needing to wait for the collective snoop result broadcast. The access latency on topology A for the early data case from snoop launch, assuming data routing is optimized for the shortest return path, is an average of 3.33 node to node crossings or node hops. For the late data case which relies on the collective snoop results the average latency is 7.33 node hops.

[0013] In topology B, the fetch request is launched to the central crossbar switch and from there it is broadcast to the other 3 nodes. The snoop results from the nodes are then collected on the central crossbar switch and broadcast out to the all nodes. The calculated average early data latency in topology B is therefore 4 node hops treating the node to central crossbar switch crossing as a node hop, and the average late data latency is 6 node hops.

[0014] In a tree based hierarchical topology such as in topology C with 4 nodes, optimally the topology would appear similar to topology B and therefore would have the same latency. A taller tree based hierarchy would lengthen the early and late data latencies by 2 node hops for each switch level that is added.

[0015] Accordingly, it is desirable to provide a bus protocol on a nodal interconnect topology that allows for both high overall system performance and availability.

Summary

[0016] Exemplary embodiments disclosed herein describe bus protocol and storage coherency management methods for a system topology comprised of multiple nodes having any combination of processors, I/O adapters, main memory and the system switch network distributed across as many pluggable nodes as desired.

[0017] Interconnecting the nodes together is a pair of coherent ring busses flowing in opposite directions providing to each node redundant paths for inter-processor communication. Within each node there exists a System Controller which consists of an integrated switch with a top level cache, various controllers, and discrete interfaces (or ports) to every Processor, I/O adapter, and the main memory.

[0018] The inter-processor communication flow in dual ring topology can occur on either of the two rings or on both. Each ring comprises dedicated pathways for coherency traffic and for storage data, and the two pathways are decoupled from each other permitting simultaneously different system operations within the same ring. Coherency traffic, or snoop addresses, generally need to be broadcast to all other nodes and in an exemplary embodiment snoop addresses are broadcast on both rings simultaneously to reduce data intervention latency times. However, storage data would only need to be returned on one of the rings.

[0019] The bus protocol set provides methods to efficiently package the various protocol constructs into a ring message so as to minimize overall coherency bus utilizations and to fit onto a small bus interface by combining the snoop command/address along with snoop responses that get ordered as the message passes through the nodes.

[0020] Also, a method is disclosed for situations when two messages have arrived at each downstream node whereby the two incoming responses are merged with the receiving node's own response to individually calculate the final response without the need to centrally collect all the snoop responses at a predetermined place on the system and then broadcast the results as another bus packet on the dual ring network.

[0021] Furthermore, when the second message arrives at a node the message does not require snooping since it was already performed with the first message and therefore the second message eliminates the address information before the second message packet exits the node to reduce coherency bus utilizations.

[0022] Storage coherency management is designed to maintain data integrity in a multiprocessor system where a plurality of the processors can simultaneously request for data.

[0023] The methods and apparatus disclosed herein also utilize a dual token based scheme where the presence of one token will override the coherency measures of the other token. These dual tokens, one that is cache based and the other memory based, act as system level coherency points and exist for each cacheable data unit from storage thus permitting parallel non-contending accesses. In the event multiple processors contend for the same cache data unit the access request which acquires the cache token proceeds while the other processors' access request are stalled until the receipt of data. In the absence of an existing cache token, implying the requested storage data is not to be cache sourced, the access request which acquires the memory token proceeds while the other processors'access request are stalled until the receipt of data.

[0024] Exemplary embodiments of the present invention also describe methods to avoid common hardware hazards that can be encountered at anytime during the processing of the data request starting from the time each token is being acquired to the safe passage of the returning data.

[0025] These and other embodiments are described in the following detailed description, which refer to the drawings.

Description of the Drawings

[0026] FIG. 1A illustrates the overall structure of a multi-nodal computer system comprising System Control Element (SCE), Central Processors(CP), I/O adapters, and Main Memory wherein each node is connected by a Ring topology.

[0027] FIG. 1B illustrates the detailed Ring topology of the exemplary embodiment which depicts command, address, response and data busses conveying information in opposite directions.

[0028] FIG. 2 illustrates a table of cache states that data may exist in. This table further depicts how Intervention Master (IM) and Multi-Copy (MC) states are used in conjunction with more traditional cache states to achieve overall coherency.

[0029] FIG. 3A illustrates a table listing the responses conveyed by the protocol of the exemplary embodiment for various bus operations.

[0030] FIG. 3B illustrates the priority table utilized by the present invention to order merged responses prior to outgating them onto the Ring topology.

[0031] FIG. 3C illustrates the response accumulation logic within the SCE responsible for merging incoming first and second messages with locally generated responses to formulate outgoing final responses.

[0032] FIG. 3D illustrates a flowchart which teaches a method for ensuring Intermediate IM Cast Out and first messages are launched onto the ring topology prior to the launching of second messages.

[0033] FIG. 4A illustrates a logic diagram for the Intervention Master (IM) Pending latches within the SCE which includes the logic and conditions which set and reset said latch.

[0034] FIG. 4B illustrates a logic diagram for the Memory Master (MM) Pending latches within the SCE which includes the logic and conditions which set and reset said latch.

[0035] FIG. 5A illustrates the IM Pending Address Interlock mechanism within the SCE which include the address comparator for the snoop address and the IM_—REJECT latch.

[0036] FIG. 5B illustrates the MM Pending Address Interlock mechanism within the SCE which include the address comparator for the snoop address and the MM_—REJECT latch.

[0037] FIG. 5C illustrates the Message Ordering Address Interlock mechanism within the SCE which includes the address comparator for the snoop address and the First-In/First-Out (FIFO) Queue.

[0038] FIG. 6 illustrates the list of bus operational commands which employ the bus protocol and cache coherency methods in an exemplary embodiment.

[0039] FIG. 7 illustrates the table used to determine the order of priority for launching new bus operations out onto the Ring topology in cases where a plurality of requests contend for the same interface.

[0040] FIGS. 8A thru 8E illustrate an example of sequencing for concurrent fetch operations vying for the same data. These figures shows how the various coherency and protocol methods result in one bus operation completing successfully, with the other being rejected.

[0041] The detailed description explains exemplary embodiments of the invention, together with advantages and features, by way of example with reference to the drawings.

Detailed Description

[0042] Referring now to the Figures and in accordance with an exemplary embodiment of the present invention, a large shared-memory symmetrical multiprocessing computer system built from multiple building blocks, henceforth referred to as “nodes”, each of which contains some amount of memory and some number of processing units is illustrated. In accordance with an exemplary embodiment, the system structure comprises four nodes interconnected via a dual concentric ring topology for illustrative purposes. Of course, it is contemplated that systems comprising more or less than four nodes may be used with the embodiments disclosed herein.

[0043] FIG. 1a depicts an example of four nodes (104) in a multi-nodal symmetric multiprocessing system. Each node (104) comprises a System Controller Element (103) which provides interconnections and communications with a plurality of central processors (100), I/O adapters (101), and main memory (102) of the node it is resident upon and the other nodes via other system controllers elements on the other nodes and a pair of rings for providing communication links between the nodes.

[0044] The System Controller Element (103) contains top-level cache which serves as the central coherency point within that particular node. Both the top-level cache and the main memory are accessible by a central processor or I/O adapter within that node (104) or any of the remaining three nodes in the system. Data fetch and store requests are initiated by the central processors or I/O adapters, and are processed by the local controllers contained within the SCE (103).

[0045] Fetch requests from a central processor which miss the top-level cache within a node will interrogate the top-level caches on the other nodes. If the fetch operation misses the top-level caches on all nodes, then the target node where the main memory address resides serves as the source for the data. For LRU Writeback operations resulting from aged out cache data, the data is transferred directly to the target node without the need for interrogation.

[0046] The command/address portion of all ring operations destined for other nodes are launched onto both rings simultaneously. For matters of system level coherency, both operations must pass through each node and the results of the requested operations are merged to provide a final response to the requesting node.

[0047] As the operation passes through each remote node, remote fetch controllers interrogate the top-level cache on that remote node and perform any necessary system coherency actions. In the event the desired data is located in one of the remote caches, the data fetch operation is handled by remote fetch controllers resident upon the node having the desired data. Finally, if the operation misses all the caches (local and remote) and targets memory on a remote node, the data fetch operation is handled by the remote fetch controller on the node in which the target memory resides.

[0048] The system's main memory is distributed across the nodes. On each node there exists a set of hardware mapping registers which takes the address portion of the operation and determines if the main memory location exists on that node.

[0049] For LRU Writeback operations passing thru each remote node, there exists a set of remote store controllers. On intermediate nodes (nodes which are neither the source or destination of data) the remote store controllers serve to propagate the operation to the next node. On the target memory node, the remote store controller no longer forwards the operation, but puts the data away in main memory and returns a completion response.

[0050] FIG. 1B depicts a detailed view of the Ring topology. The exemplary embodiment comprised of a topology comprising two rings concentric or otherwise which broadcast bus operations in opposite directions. Ring 0 (106) interconnects all the nodes (104) in the system and transfers bus operations and data in the clockwise direction. Ring 1 (107) provides the same degree of interconnect but conveys bus operations and data in the counterclockwise direction.

[0051] In accordance with an exemplary embodiment, the system contemplates a ring topology whereby each ring is comprised of a physical bus for data and another physical bus for command/address including response. In an exemplary embodiment, a bus operation is initiated from a node (104), and is simultaneously dispatched on both rings each being in opposite directions. As the command/address for a bus operation circulates around the rings, remote controllers of the non-initiating nodes begin processing. If the operation carries a store command, then the data bus conveys the data to the destination node.

[0052] The Ring protocol in accordance with an exemplary embodiment permits a multi-cycle data transfer to be initiated for a first operation while allowing a second non-data operation to initiate on the command/address bus of the same ring during subsequent data transfer cycles. As discussed herein data transfer operations traverse the shortest path between the node sourcing the data and the destination node.

[0053] A third component or operation of the Ring protocol is the response bus which conveys operational status and coherency information such as cache hit states. An exemplary embodiment of the present invention maintains overall system coherency by ensuring all responses circulate through every node. Additionally, and as they are circulated through each node the responses undergo a prioritization and merging process, described in more detail herein, which further assists in maintaining coherency.

[0054] FIG. 2 lists each of the possible cache ownership states (200) for a particular address on a node. In accordance with an exemplary embodiment, these cache ownership states are used in conjunction with more traditional cache ownership states to achieve overall coherency. When the IM (Intervention Master) bit is active for a particular address on a node, it indicates that this node was the most recent to cache in new data and receive cache ownership for that address. By definition there can no more than one node with IM=1 for a given address. Furthermore, if the cache ownership state for a given address indicates that the data is changed, it follows that the IM bit for that address must be active.

[0055] When the MC (Multi-Copy) bit is active for a particular address on a node, it indicates that one or more read-only copies of the data for this address may exist in remote caches. If the cache ownership state for a particular address on a node is Invalid, this means that the data for this address does not exist in the cache on that node. Note that for an address to be valid, either IM=1 or MC=1. Also, if an address is valid, it must be either read-only, exclusive to a central processor, or unowned. All lines held exclusive must be IM=1. Also note that valid lines with IM=0 are always unchanged.

[0056] FIG. 3a lists each of the possible responses (300) that can be propagated on a response bus of a given ring.

- [0057] No Status—This response is launched on both rings whenever a new remote fetch or store command is launched.
- [0058] Miss—This local response is generated if the cache ownership state at that node is found to be Invalid.
- [0059] IM Hit—This local response is generated at a node if the IM bit is on.
- [0060] Intermediate IM Cast Out—This intermediate response is generated to signal the return of data when the IM bit is on. As shown in FIG. 3d, ring priority logic ensures that the Intermediate IM Cast Out message is always forwarded (307) prior to forwarding of the second message IM Hit response (310). For performance reasons, the Intermediate IM Cast Out response is forwarded as quickly as possible, so as indicated by flow diagram elements 306, 307 and 308, it may also precede the forwarding of the first message IM Hit response. The direction of this response and castout data is such that it is always opposite to the direction of the incoming first message response. This facilitates data transfer with the minimum number of node hops.
- [0061] Read Only Hit—This local response is generated at a node if the cache ownership state is found Read Only and the IM bit is off.
- [0062] Memory Data—This local response is generated as a second message response accompanied by data at the target memory node if the local and incoming responses are some combination of Miss, Read Only Hit, or No Status.
- [0063] IM Reject—This local response is generated whenever an active IM Pending condition is detected during processing of a new incoming response.
- [0064] MM Reject—This local response is generated whenever an active MM Pending condition is detected during processing of a new incoming response.
- [0065] Normal Completion—This local response is generated whenever processing for an LRU Write-back of aged out cache data is completed at the target memory node.

[0066] FIG. 3b shows the ordering (301) of ring responses. This ordering is applied whenever incoming ring responses must be merged with local responses, or whenever accumulation of responses must be applied (as depicted in FIG. 3c). For Read Only, Fetch Exclusive, and LRU Write-back operations, a local IM Hit condition always results in cache data being sourced from the node. Similarly, for Read Only Invalidate operations, a local IM Hit always results in the cache ownership state being updated to Invalid at the node. This treatment of the local IM Hit condition necessitates that the IM Hit response be the highest ordered ring response. That is, once a local IM Hit condition has been observed at a node, this condition must subsequently be observed at all other nodes in order to ensure that the proper cache management actions are performed at all nodes.

[0067] Next in order behind the IM Hit response are IM and MM Reject responses. In other words, a locally generated reject response will always be reflected back to the requesting node unless an IM Hit condition exists at some other node. Next in order behind the reject responses is the Memory Data response. Since memory data can only be sourced from the target memory node when the incoming and local responses are some combination of Miss, Read Only Hit, and No Status responses, then it stands to reason that the Memory Data response must be the highest ordered response amongst those 4 types of responses. The No Status response only occurs when a ring command is initially launched onto both rings at the requesting node. Therefore, it is the lowest ordered response. The normal completion response applies only to LRU Write-back operations at the target memory node. It must be ordered ahead of the Miss response in order to facilitate notification of completion of the operation back to the requesting node.

[0068] FIG. 3c shows how local ring responses are combined with incoming ring responses to formulate the outgoing ring response. Incoming responses on both rings are captured in HELD RESP latches 302 and 304, which are located on each of the nodes in the system. HELD RESP latches 302 and 304 provide a means for combining local ring responses with incoming ring responses to formulate the outgoing ring response at all remote nodes.

[0069] An example of the operation of HELD RESP latches 302 and 304 is described as follows: If the incoming ring 0 response arrives first, it is captured in latch 302 and the incoming ring 1 response is captured in latch 304. If the incoming ring 1 response arrives first, it is captured in latch 302 and the incoming ring 0 response is captured in latch 304. Upon receipt of the incoming Ring X first message, a local response is generated. This local response is merged (303) with the held response from latch 302 using the response coherency ordering described in FIG. 3b. This result is then forwarded out on the first message. Wherein the result of this ordering is then merged (305) with the held response from latch 304—again using the response coherency ordering described in FIG. 3b. This result is then forwarded out on the second message.

[0070] In addition to merging the responses, the final response accumulation (305) also provides a means for selecting the direction of outgoing messages. For responses other than IM Cast Out messages, the outbound ring will normally be chosen based on the direction of the incoming message. For example, if the incoming first message arrives on Ring 0, it will be forwarded on Ring 0. Additionally, the second message would arrive on Ring 1, thereby causing the outgoing final response to be sent on Ring 1. In certain topologies, both messages can arrive at a node simultaneously. In this case, the present invention contemplates the use of a toggle latch to determine the direction of the outgoing message. The toggle latch is only used when both incoming messages arrive simultaneously, such that the outbound direction is indeterminant. Upon employing the latch to direct the outgoing message to a specific ring, the toggle latch is subsequently inverted such that the next time it is utilized, the other ring will be selected. This scheme ensures fairness in bus utilization.

[0071] In an example of an exemplary embodiment, the calculated average early and late data latencies on a 4-node system are 2.66 and 4 node hops respectively. This contrasts to the 3.33 and 7.33 node hops on topology A, and 4 and 6 node hops for both topologies B and C. Of course, it is contemplated that an exemplary embodiment may be used in systems with more or less than four nodes and that the aforementioned is provided to illustrate an example and is not intended to limit the exemplary embodiments discussed herein.

[0072] FIG. 4a illustrates logic for controlling the setting and resetting of an IM_—PEND latch (400). An IM_—PEND latch (400) and its controlling logic are present within every local and remote controller on each of the nodes and in accordance with an exemplary embodiment is used to generate an IM Reject response for conflicting requests at the node where the IM_—PEND latch (400) is set.

[0073] An example of the operation of the IM_—PEND latch (400) is described as follows. As seen from the output of logic gate (401), the IM_—PEND latch is reset if any of the IM_—PEND reset conditions (404) is true. If none of reset conditions (404) is true, then IM_—PEND latch 400 is set if the output of OR gate 402 is true. That is, if no reset conditions (404) are true, the IM_—PEND latch 400 will be set if either the IM_—PEND latch was set the previous cycle or if any of the IM_—PEND set conditions 403 is true. For remote fetch operations, the IM_—PEND set conditions (403) are a function of the local cache ownership state and the status observed on the incoming command/address busses. In general, the IM_—PEND latch is set for a remote fetch operation if:

- [0074] Cache or memory data will be sourced from this node
- [0075] Cache or memory data is in process of passing through or arriving at this node (as a result of being sourced from another node)
- [0076] The cache ownership states for a Read Only Invalidate operation are actively in the process of being updated.
- [0077] IM Hit final response is in process of passing through or arriving at this node (as a result of being sourced from another node)

[0078] The reset conditions (404) for the IM_—PEND latch are true if there is a local IM or MM Reject condition active as described in FIGS. 4a and 4b, or if the remote fetch or store controller operation is no longer valid (i.e. all processing for the remote fetch or store operation has been completed as signified by the departure of all messages relating to the operation).

[0079] For LRU Write-back operations, the IM_—PEND set conditions (403) are active if either there is incoming LRU store data from another node or if the node is the target memory node.

[0080] With any of the IM_—PEND set conditions (403) active, any subsequent conflicting requests (competing data requests) from other nodes will result in an IM Reject response being generated at the node where the IM_—PEND latch (400) is set. Accordingly, the IM_—PEND latch provides a means for restricting storage accesses for a given address to only one operation at a time.

[0081] FIG. 4b illustrates logic for controlling, setting and resetting of the MM_—PEND latch (405). An MM_—PEND latch (405) and its controlling logic are present within every local and remote controller on each of the nodes and in accordance with an exemplary embodiment the MM_—PEND latch is used to generate an MM Reject response for conflicting requests at the node where the MM_—PEND latch (405) is set.

[0082] An example of the operation of the MM_—PEND latch (405) is described as follows. As seen from the output of logic gate 407, the MM_—PEND latch is reset if any of the MM_—PEND reset conditions (404) is true. If none of reset conditions (404) is true, then MM_—PEND latch 405 is set if the output of OR gate 406 is true. That is, if no reset conditions (404) are true, the MM_—PEND latch 405 will be set if either the MM_—PEND latch was set the previous cycle or if the node is the target memory node and the cache ownership state for the address is such that the IM bit is zero. The reset conditions (404) for the MM_—PEND latch are the same as described above for the IM_—PEND latch. With the MM_—PEND latch (405) active, any subsequent conflicting requests from other nodes will result in an MM Reject response being generated at the node where the MM_—PEND latch (405) is set. Accordingly, in the absence of an active IM_—PEND latch, the MM_—PEND latch provides a means for restricting storage accesses for a given address to only one operation at a time.

[0083] Turning now to FIG. 5, an exemplary embodiment of the present invention contemplates three methods of address interlocking which serve to maintain coherency in situations involving competing access to the same address. The three types of interlocks described herein are:

- [0084] IM Pending Address Interlock
- [0085] MM Pending Address Interlock
- [0086] Message Ordering Address Interlock

[0087] FIG. 5a depicts the IM_—REJECT latch (500) for a single remote controller along with the supporting address interlock logic. Each remote controller in each node contains an IM_—REJECT latch for use in the method of providing an IM Pending Address Interlock. The purpose of the IM Pending Address interlock is to compare the address of the incoming ring operation against the addresses of all local and remote controllers. If the address equates to a local or remote controller with an active IM Pending bit, determined and provided by an IM_—PEND latch (400) on any one of the nodes, then the resulting address compare ultimately sets the IM_—REJECT latch (500) of the controller receiving the incoming ring operation.

[0088] The IM_—REJECT latch (500) drives an IM Reject response into the Response Ordering & Merging logic, which may lead to an IM Reject response being returned to the originating requester, thereby preventing said requester from altering the cache state of the desired address. With the exception of LRU Write-back operations, all ring operations must observe any IM Reject conditions that may be detected during processing of the operation. Since LRU Write-back operations can only store changed data to memory, this means that all LRU Write-back operations can only originate from a node with IM=1. Thus the IM node serves as the single point of coherency for LRU Write-back operations, and observance of any IM Reject conditions during the processing of LRU Write-back operations by a remote store controller is not required.

[0089] In an exemplary embodiment, the remote controller's IM_—REJECT latch (500) is a reset-dominant hold-type latch. The outputs of the address comparators (506) are combined through OR gate (507) with the output of the IM_—REJECT latch (500) to form a holding latch. The output of OR gate (507) is fed into AND gate (508) which only allows the set or hold condition to pass through if the current operation is in progress. Once the current operation completes, the IM_—REJECT latch (500) will be reset as signified by the departure of all messages relating to the operation.

[0090] In an exemplary embodiment, the same Address Compare logic (506) is used for both the local and remote controllers. The outputs of every other remote controllers' Address latches (501) and IM_—PEND latches (502) are fed into the Address Comparator (506). If any of the IM_—PEND latches is active, the corresponding address register is compared against the Ring Address Register (505) of the incoming ring operation for equality. Simultaneously, the outputs of all local controllers' Address latches (503) and IM_—PEND latches (504) are similarly fed into the Address Comparator (506) and checked against the incoming ring operation's Address Register (505). Any match encountered, winds up setting this remote controller's IM_—REJECT latch (500). Accordingly, the IM_—REJECT Latch provides a means for maintaining coherency in situations involving competing access to the same address by comparing the addresses of the incoming ring operation against those of all local and remote controllers and if necessary causes an IM Reject response to be sent to the requester which prevents the requester from altering the cache state of the desired address until the operation which set the IM_—PEND latch has completed.

[0091] FIG. 5b illustrates an MM Pending Address Interlock (509) which is almost identical to the IM Pending Address Interlock.

[0092] Each remote controller in each node contains an MM_—REJECT latch for use in the method of providing an MM Pending Address Interlock. The purpose of the MM Pending Address interlock is to compare the address of the incoming ring operation against the addresses of all local and remote controllers. If the address equates to a local or remote controller with an active MM Pending bit, determined and provided by an MM_—PEND latch (405) on the target memory node, then the resulting address compare ultimately sets the MM_—REJECT latch (509) of the controller receiving the incoming ring operation.

[0093] The MM_—REJECT latch (509) is also reset-dominant with the latch resetting when the operation completes. Once the operation initiates, then OR gate (507) drives either the comparator results or the feedback path of the MM_—REJECT latch (509) to set the latch. As with the IM_—REJECT latch (500), the OR gate (507) is fed by the output of the Address Comparators (506) which employs copies of common Exclusive-OR logic used in the IM Pending Address Interlock. As shown in FIG. 5b, the same remote (501) and local (503) address registers are compared against the Ring Address Register (505) of the incoming ring operation.

[0094] However, in this case the compares are gated with the remote controllers' (510) and local controllers' (511) MM_—PEND latches instead of the IM_—PEND latches. Thus, any other remote controller with an active MM_—PEND latch and a matching address will activate the MM_—REJECT latch of the controller receiving the incoming ring operation. Assuming no locally detected IM Reject exists, the MM_—REJECT latch (511) drives an MM Reject response into the Response Ordering & Merging logic, which may lead to an MM Reject response being returned to the originating requester, thereby preventing said requester from altering the cache state of the desired address. With the exception of LRU Write-back operations, all ring operations must observe any MM Reject conditions that may be detected during processing of the operation. Since LRU Write-back operations can only store changed data to memory, this means that all LRU Write-back operations can only originate from a node with IM=1. Thus the IM node serves as the single point of coherency for LRU Write-back operations, and observance of any MM Reject conditions during the processing of LRU Write-back operations by a remote store controller is not required.

[0095] Accordingly, the MM_—REJECT Latch provides a means for maintaining coherency in situations involving competing access to the same address by comparing the addresses of the incoming ring operation against those of all local and remote controllers and if necessary causes an MM Reject response to be sent to the requester which prevents the requester from altering the cache state of the desired address until the operation which set the MM_—PEND latch has completed.

[0096] An exemplary embodiment also employs a further means of maintaining system level coherency by introducing a third type of interlock specifically designed to ensure that a plurality of first messages targeting the same address leave a node in the same order in which they enter the node. This first-in first-out (FIFO) order is maintained regardless of the order in which the incoming operations are actually processed. FIG. 5c depicts the Message Ordering Address Interlock logic in which all the Remote Address Registers (501) are compared to the Ring Address Register (505) of the incoming operation. The comparison is done with the Address Compare logic (506) which employs copies of the same Exclusive-OR logic used in the previous two interlock mechanisms.

[0097] Also, as was the case for the previous two interlock mechanisms, LRU Write-back operations are not required to observe the Message Ordering Address Interlock due to the fact that the IM node already serves as the single point of coherency for all LRU Write-back operations.

[0098] Unlike the previous interlocks, this compare does not require any remote controller to have an IM or MM Pending status. Instead, it seeks to find a simple address match in an effort to construct a FIFO queue for incoming messages with common addresses. The output of the Address Comparator (506) feeds the FIFO Queue (512). This logic uses unique identification codes for each remote controller to construct a linked-list. The top of the list indicates the ID of the controller who received the first message with the common address. The second entry in the list indicates the ID of the second controller with a matching address, and so on.

[0099] The FIFO Queue (512) is used to drive the Outbound Response Logic (513) which receives requests from the remote controllers to outgate messages onto the ring topology. The Outbound Response Logic (513) uses the results of the FIFO Queue (512) to properly order the controllers' requests and ensure that the controller whose ID is at the top of the FIFO Queue outgates its message before another controller with a matching address. To facilitate performance, an exemplary embodiment permits remote controllers whose addresses do not match any other controllers to interject messages onto the ring in any order with respect to the FIFO Queue. Furthermore, an exemplary embodiment of the present invention also permits a multiplicity of addresses to be managed simultaneously thereby allowing several groups of remote controllers to process data with matching addresses. Since the FIFO Queue (512) tracks each remote controller's address individually, it is capable of constructing as many linked-lists as needed to allow any combination or grouping of controllers with matching addresses.

[0100] FIG. 6 consists of a list of the commands (600) that can be launched onto either ring. The Read Only Fetch, Exclusive Fetch, and Read Only Invalidate are fetch type commands, and the LRU Write-back command is a store type command. With the exception of the Read Only Invalidate command, all commands result in data transfer between source and destination nodes. The Read Only Invalidate command is performed for the purpose of obtaining exclusivity of an address at the requesting node when the initial cache ownership state in the requesting node is MC=1. In this case, data transfer between nodes is not performed since the requesting node already has a copy of the data.

[0101] FIG. 7 lists the priority (700) for arbitrating amongst the six possible ring request types. The priority list is as follows: 1) Data Flow Thru Ops; 2) Remote Data Requests; 3) Local Data Requests; 4) Local Non-Data Requests; 5) First Message Remote Requests; and 6) Second Message Remote Requests. The ring request priority scheme can be summarized as follows:

- [0102] Data requests are highest priority. This allows for the best utilization of the command/address bus since multiple non-data requests can be launched while the data bus is busy. This is because data requests require the use of the data bus for many more cycles than non-data requests use of the command/address bus.
- [0103] Local requests are higher priority than first or second message remote requests. The motivation for this is to prevent lock-outs. Local requests require use of both rings, while first and second message remote requests require use of only one ring. Also, remote requests are more likely to occur per unit time than local requests since there are 3 remote nodes for every local node. Thus, it is important to prevent situations whereby the more frequent and less restrictive first and second message remote requests could potentially lockout the less frequent and more restrictive local requests.
- [0104] First message remote requests are higher priority than second message remote requests. The motivation for this is so that the cache ownership results for any remote operation will be made visible to all other nodes as quickly as possible.

[0105] FIGS. 8a thru 8e collectively illustrate an example of contention between two concurrent fetch operations on the ring. It is, of course, understood that numerous operations of the exemplary embodiments are contemplated. Thus, the following is but an example of operations of exemplary embodiments and the present invention is not intended to be limited to the above example. It is assumed that both operations are targeting the same address. The initial cache ownership states in this example are as follows:

- [0106] N0 (800) is Invalid
- [0107] N1 (801) is Read Only, IM=0, MC=1
- [0108] N2 (802) is Invalid
- [0109] N3 (803) is Read Only, IM=1, MC=1

[0110] N3 (803) is the node which holds a cached copy of the data marked as IM=1, and therefore contains the cache token acting as the system level coherency point for which competing operations to the same address arbitrate for continuation of processing. N2 (802) is the target memory node which holds the memory data for the requested address, and therefore contains the memory token. In the absence of a cache token, the memory token serves as the system level coherency point for which competing operations to the same address arbitrate for continuation of processing. The arbitration result from any cache-based system level coherency point overrides the arbitration result from any memory-based system level coherency point.

[0111] FIG. 8a shows a Fetch Exclusive operation being launched from N0 (800). At the same time, a Read Only Invalidate operation is launched from N1 (801). For both operations, the ring launch for the Fetch Exclusive (804) and for the Read Only Invalidate (805) is performed simultaneously on both rings.

[0112] FIG. 8b assumes that the Fetch Exclusive operation arrived first on N3 (803) via the incoming ring 1 (counterclockwise) command/address bus. This results in the following actions on behalf of the Fetch Exclusive operation:

- [0113] Setting of IM Pending on N3 (803)
- [0114] Sourcing of Intermediate IM CO response (806) and fetch data on the ring 0 command/address bus back to N0.
- [0115] Generation of IM Hit response (807) on ring 1 command/address bus

[0116] Meanwhile, at target memory node N2 (802), the incoming Fetch Exclusive operation on the ring 0 command/address bus results in an outgoing MM Reject response on ring 0 due to the Read Only Invalidate operation arriving first on ring 1 and setting MM Pending on N2(802). An outgoing Miss response (809) is generated for the Read Only Invalidate operation at N2(802) as a result of the Invalid cache ownership state observed at this node. On node 3 (803), the incoming Read Only Invalidate operation on the ring 0 command/address bus results in an outgoing IM Reject response on ring 0 due to the Fetch Exclusive operation arriving first on ring 1 and setting IM Pending on N3 (803).

[0117] FIG. 8c shows the results of response accumulation at Node 0 (800) and Node 1 (801), and also shows the setting of IM Pending on N0(800) as a result of the incoming IM CO message (806) being received on this node. At node 1, incoming responses from the Fetch Exclusive operation (ring 0 MM Reject, ring 1 IM Hit) are processed and accumulated using the response coherency ordering scheme depicted in FIG. 3b. This results in an outgoing IM Hit response (812) being launched in both ring directions back towards originating node N0 (800). The cache ownership state at node 1 (801) is also updated to Invalid since the accumulated IM Hit response at this node necessitates that the Read Only state be removed since N0 (800) will ultimately obtain exclusive ownership of this address. At N0 (800), incoming responses from the Read Only Invalidate operation (ring 0 IM Reject, ring 1 Miss) are also processed and accumulated. This results in outgoing IM Reject response (811) being launched in both ring directions back towards the originating node N1 (801).

[0118] FIG. 8d shows the results of processing of second messages for both ring operations at intermediate nodes N2 (802) and N3(803).

[0119] For the Fetch Exclusive command, the incoming second message from the Fetch Exclusive operation (ring 1 IM Hit) is received on N2 (802) and forwarded (813) on same ring back to originating node N0 (800). On N3 (803), the incoming second message from the Fetch Exclusive operation (ring 0 IM Hit) is received and forwarded on same ring (813) back to originating node N0. The incoming IM Hit second message on N3 (803) necessitates that the cache ownership state be updated to Invalid since N0(800) will ultimately obtain exclusive ownership of this address. For the Read Only Invalidate command, the incoming second message (ring 0 IM Reject) is received on N2 (802) and forwarded (814) on same ring back to originating node N1 (801). Also, on N3 (803), incoming second message (ring 1 IM Reject) is received and forwarded on same ring (814) back to originating node N1 (801).

[0120] FIG. 8e shows the results of incoming second messages being received at the originating nodes. At N0 (800), the incoming IM Hit message for the Fetch Exclusive command is received on both rings. This results in the N0 cache ownership state being updated to IM, Exclusive to CP. At N1 (801), the incoming IM Reject message is received on both rings for the Read Only Invalidate command. The command is then re-launched on the ring as a Fetch Exclusive command due to the cache ownership state now being Invalid at N1 (801).

[0121] Exemplary embodiments disclosed herein are contemplated for use with topologies for shared memory computer systems, an example of one topology is disclosed in related United States Patent Application, entitled: TOPOLOGY FOR SHARED MEMORY COMPUTER SYSTEM, Ser. No. 10/436,378 filed contemporaneously with this application. The contents of which are incorporated herein by reference thereto.

[0122] While the invention has been described with reference to one or more exemplary embodiments, it will be understood by those skilled in the art that various changes may be made and equivalents may be substituted for elements thereof without departing from the scope of the invention. In addition, many modifications may be made to adapt a particular situation or material to the teachings of the invention without departing from the essential scope thereof. Therefore, it is intended that the invention not be limited to the particular embodiment disclosed as the best mode contemplated for carrying out this invention, but that the invention will include all embodiments falling within the scope of the appended claims. It should also be noted that the terms “first”, “second”, and “third” and the like may be used herein to modify elements performing similar and/or analogous functions. These modifiers do not imply a spatial, sequential, or hierarchical order to the modified elements unless specifically stated.

Claims

What is claimed is:

1. A shared memory symmetrical processing system having a bus coherency protocol for a non SCI (scalable coherency interface) comprising:

a first ring and a second ring for interconnecting a plurality of nodes, wherein said plurality of nodes comprises at least one of a processor, cache memory, a plurality of I/O adapters, main memory, and a system control element wherein nodal communications are routed; and

wherein said first and second rings simultaneously facilitate coherent bus transactions and data bus transactions wherein said coherent bus transactions include a first message comprising a snoop broadcast and early responses, and a second message comprising a final response; and

wherein said data bus transactions provide cache or memory data on one and only one of said first ring or second ring such that all data transactions always traverse the fastest path; and

wherein said cache data return is processed concurrently with early response and always before formulation of final response, and

wherein said memory data is processed upon final response and wherein said coherent bus transactions support a plurality of cache ownership states; and

wherein separate bus transactions are permitted to traverse both rings independently of each other such that a first bus transaction may circulate around said first ring; and

wherein a second unrelated bus transaction may circulate around said second ring thereby permitting a plurality of bus transactions to be active, including a plurality of coherency bus transactions, while system level coherency for all ring operations is concurrently managed, and said system control element comprises a plurality of controllers for employing said bus protocol; and

wherein said system level coherency is established through the use of bus transactions which comprise a first message part launched simultaneously down both rings and a second message part which is returned to the requesting node on both rings; and

wherein said first message contains snoop broadcast and partial coherency status formulated via the ordered merging of incoming ring responses with local node response; and

wherein said second message part contains a complete coherency status for all nodes thereby eliminating the need to initiate separate final response or acknowledgement transactions and wherein said controllers on each node are required to assert an early response as part of said bus coherency protocol.

2. The shared memory symmetrical processing system as in claim 1, wherein said system control element of each of said plurality of nodes comprises a pair of latches for holding ring responses on said first ring and said second ring, wherein one of said pair of latches is used to merge a local response with a response held by said one of said pair of latches to provide an outgoing first message response for being merged with a response held by the other one of said pair of latches to provide an outgoing second message final response.

3. The shared memory symmetrical processing system as in claim 2, wherein a response coherency ordering table is utilized when said partial and said final responses are generated, and said outgoing first message response and said outgoing second message final response are generated in accordance with an order provided by said response coherency ordering table.

4. The shared memory symmetrical processing system as in claim 1, wherein first messages and second messages are launched from a requesting node of said plurality of nodes, said first and second messages circulate around said first ring and said second ring, wherein said first and second messages are merged and ordered according to predetermined priority standards as they arrive at each of said plurality of nodes not comprising said requesting node to form a first and a second outgoing message response at each of said plurality of nodes not comprising said requesting node prior to returning an accumulated response to said requesting node, wherein said requesting node does not collect and return responses in order to provide said accumulated response to any one of said plurality of nodes not comprising said requesting node.

5. The shared memory symmetrical processing system as in claim 1, wherein said operational status and said coherency information are conveyed between said plurality of nodes via said ring topology, said coherency information comprises, IM Hit, IM Cast Out, IM Reject and MM Reject, Memory Data, Read-Only Hit, and Normal Completion.

6. The shared memory symmetrical processing system as in claim 1, wherein at least one said nodes:

locally generates responses within one of said plurality of nodes from bus snooping actions;

merges said locally generated responses with an incoming first message response received in conjunction with a snoop address of said bus snooping action; and

applies a response order priority to generate an outgoing first message response.

7. The shared memory symmetrical processing system as in claim 6, wherein at least one said nodes:

receives an incoming second message within one of said plurality of nodes from bus snooping actions, merges an incoming second message response with said outgoing first message response to provide a cumulatively merged response;

applies said response order priority to said cumulatively merged response to generate a final outgoing second message response.

8. The shared memory symmetrical processing system as in claim 1, wherein responses for bus operational messages unrelated to said first or second messages are permitted to be processed and forwarded on said plurality of nodes not comprising said requesting node during a period defined by the arrival of said first message on a node of said plurality of nodes not comprising said requesting node and the arrival of said second message on said node.

9. A method for maintaining cache coherency in a symmetrical multiprocessing environment, comprising:

providing a plurality of nodes each being able to communicate with each other via a ring based topology comprising one or more communication paths between each of said plurality of nodes, each of said plurality of nodes comprising a plurality of processors, cache memory, a plurality of I/O adapters and a main memory accessible from each of said plurality of nodes;

establishing a protocol for exchanging coherency information and operational status between each of said plurality of nodes;

managing one or more of said communication paths between each of said plurality of nodes;

circulating a plurality of bus operational messages around said ring based topology, said bus operational messages include information pertaining to but not limited to any one of the following; snoop commands, addresses, responses and data;

wherein information related to said bus operational messages is managed in a manner which controls latency of said bus operational messages and promotes availability of busses on said one or more communication paths;

wherein said ring-based topology comprises a pair of rings for providing said one or more communication paths between each of said plurality of nodes wherein one of said pair of rings transmits information in a direction opposite to the other one of said pair of rings, further comprising:

receiving a first message on a node of said plurality of nodes, said first message being received from one of said pair of rings;

receiving a second message on said node, said second message being received from the other one of said pair of rings;

merging said first message with a locally generated response related to said first message to form an outgoing first message response;

merging said outgoing first message response with said incoming second message;

ordering said outgoing first message response and said incoming second message response to form a final outgoing second message response;

wherein said final outgoing response is prevented from being forwarded on either of said pair of rings until said first message and an intermediate response, if any, is launched onto one of said pair of rings.

10. A method for maintaining cache coherency in a symmetrical multiprocessing environment, comprising:

establishing a protocol for exchanging coherency information and operational status between each of said plurality of nodes;

managing one or more of said communication paths between each of said plurality of nodes;

wherein outgoing ring requests are prioritized such that said outgoing ring requests that necessitate data movements between said plurality of nodes take precedence over said outgoing ring requests that do not necessitate data movement between said plurality of nodes and said outgoing ring requests that do not necessitate data movement are further prioritized wherein a first message request takes precedence over a second message request.

11. The method as in claim 10, wherein said protocol permits non-data requests to be launched on said ring based topology during cycles of a data transfer for a previously launched data operation.

12. A method for maintaining cache coherency in a symmetrical multiprocessing environment, comprising:

establishing a protocol for exchanging coherency information and operational status between each of said plurality of nodes;

managing one or more of said communication paths between each of said plurality of nodes

wherein an IM Cast Out data sourced from a remote cache of one of said plurality of nodes is returned on one of said pair of rings that transmits data in a direction opposite to the direction of an incoming first message related to said IM Cast Out data.

13. The method as in claim 12, wherein said IM Cast Out data is return on the shortest path to a requesting node of said plurality of nodes.

14. A method for maintaining cache coherency in a symmetrical multiprocessing environment, comprising:

establishing a protocol for exchanging coherency information and operational status between each of said plurality of nodes;

managing one or more of said communication paths between each of said plurality of nodes;

wherein data sourced from a remote main memory location on one of said plurality of nodes is returned on one of said pair of rings in the same direction as an outgoing second message related to a request for said remote main memory.

15. The method as in claim 14, wherein the ring upon which said data sourced from said remote main memory returns on the shortest path to a requesting node of said plurality of node.

16. The shared memory symmetrical processing system as in claim 1, wherein each of said plurality of nodes comprises a system controller having a toggle switch for determining which of said pair of rings data will be returned on when said data is requested by a first message and a second message each arriving simultaneously of one of said plurality of nodes via said pair of rings.

17. The shared memory symmetrical processing system as in claim 1, wherein first messages and second messages are launched from a requesting node of said plurality of nodes, said first and second messages circulate around said ring-based topology, wherein said first and second messages are merged and ordered according to predetermined priority standards as they arrive at each of said plurality of nodes not comprising said requesting node to form a first and a second outgoing message response at each of said plurality of nodes not comprising said requesting node prior to returning an accumulated response to said requesting node, wherein said requesting node does not collect and return responses in order to provide said accumulated response to any one of said plurality of nodes not comprising said requesting node.

18. The shared memory symmetrical processing system as in claim 1, wherein memory data is transferred around said ring-based topology in conjunction with a final response message and separate data transfer bus transactions are not required for transference of said memory data.

19. A method for maintaining cache coherency in a symmetrical multiprocessing environment, comprising:

establishing a protocol for exchanging coherency information and operational status between each of said plurality of nodes;

managing one or more of said communication paths between each of said plurality of nodes

wherein an IM cast out data is transferred around said ring-based topology in conjunction with an intermediate IM Cast Out response message and separate data transfer bus transactions are not required for transference of said IM cast out data.

20. The shared memory symmetrical processing system as in claim 1, wherein first messages convey both a snoop command and address information but second messages do not require forwarding of said snoop address, thereby limiting overall bus utilization.

21. The shared memory symmetrical processing system as in claim 1, wherein said first ring and said second ring each comprise a pair of buses wherein one said pair of buses is used for transference of requested data and the other one of said pair of buses is used for transference of messages comprising a combined snoop command/address and snoop responses which are ordered as the messages passes through each of the plurality of nodes.

22. The shared memory symmetrical processing system of claim 1 wherein the plurality of cache ownership states comprise:

a first Invalid State,

a second clean, shared Read Only State, existing in a plurality of nodes;

a third dirtied, shared RO State existing in only one node;

a fourth clean, exclusive State existing in only one node;

a fifth dirtied, exclusive State existing in only one node;

and wherein any data block in said computer system may reside in any of said cache ownership states.

Patent Citations (13)

Patent	Date	Inventor	Cited By
US5297269(A)	1994-03-01	Donaldson et al.	Applicant
US5673413(A)	1997-09-01	Deshpande et al.	Applicant
US5878268(A)	1999-03-01	Hagersten	Applicant
US5940856(A)	1999-08-01	Arimilli et al.	Applicant
US5940864(A)	1999-08-01	Arimilli et al.	Applicant
US5943684(A)	1999-08-01	Arimilli et al.	Applicant
US5943685(A)	1999-08-01	Arimilli et al.	Applicant
US6018791(A)	2000-01-01	Arimilli et al.	Applicant
US6115804(A)	2000-09-01	Carpenter et al.	Applicant
US6253292(B1)	2001-06-01	Jhang et al.	Examiner
US6611906(B1)	2003-08-01	McAllister et al.	Examiner
US2004/0008721(A1)	2004-01-01	Ying et al.	Examiner
US2004/0117569(A1)	2004-06-01	Kyung	Examiner

Abstract