WO2008057821A2 - System and method for preventing deadlock in richly-connected multi-processor computer system - Google Patents

System and method for preventing deadlock in richly-connected multi-processor computer system Download PDF

Info

Publication number
WO2008057821A2
WO2008057821A2 PCT/US2007/082830 US2007082830W WO2008057821A2 WO 2008057821 A2 WO2008057821 A2 WO 2008057821A2 US 2007082830 W US2007082830 W US 2007082830W WO 2008057821 A2 WO2008057821 A2 WO 2008057821A2
Authority
WO
WIPO (PCT)
Prior art keywords
communication
processing node
virtual channel
node
link
Prior art date
Application number
PCT/US2007/082830
Other languages
French (fr)
Other versions
WO2008057821A3 (en
Inventor
Judson S. Leonard
Matthew H. Reilly
Nitin Godiwala
Original Assignee
Sicortex, Inc.
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from US11/594,420 external-priority patent/US7773617B2/en
Priority claimed from US11/594,426 external-priority patent/US7773618B2/en
Application filed by Sicortex, Inc. filed Critical Sicortex, Inc.
Publication of WO2008057821A2 publication Critical patent/WO2008057821A2/en
Publication of WO2008057821A3 publication Critical patent/WO2008057821A3/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F13/00Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
    • G06F13/14Handling requests for interconnection or transfer
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00Digital computers in general; Data processing equipment in general
    • G06F15/16Combinations of two or more digital computers each having at least an arithmetic unit, a program unit and a register, e.g. for a simultaneous processing of several programs
    • G06F15/163Interprocessor communication
    • G06F15/173Interprocessor communication using an interconnection network, e.g. matrix, shuffle, pyramid, star, snowflake
    • G06F15/17356Indirect interconnection networks
    • G06F15/17368Indirect interconnection networks non hierarchical topologies
    • G06F15/17381Two dimensional, e.g. mesh, torus

Definitions

  • This invention relates to deadlock prevention in richly-connected multiprocessor computer systems and more specifically to virtual channel techniques to prevent deadlock in large multi-node computing systems interconnected by complicated topologies, including but not limited to Kautz and de Bruijn topologies.
  • the computing system typically includes many nodes, and each node may contain several processors.
  • Various forms of interconnect topologies have been proposed to connect the nodes, including Hypercube topologies, butterfly and omega networks, tori of various dimensions, fat trees, and random networks.
  • Deadlock is the condition or situation in which actions are mutually blocked from progress because they are waiting for some form of resource. That is, some form of cycle of resource dependency exists that cannot be satisfied.
  • Figure 1 depicts a simple communications system to illustrate the deadlock problem.
  • the system has three nodes, 102, 104, and 106, each with a communication buffer, 108, 110, and 1 12 respectively.
  • the buffers are resources the nodes need to send, or receive, data to, or from, a connected node (as suggested with links 114, 116, and 118).
  • buffer 110 For node 102 to send its data forward from buffer 108 to buffer 1 10 in node 104, buffer 110 must be empty, free, or available. In this example, however, there is a cycle of resource dependency.
  • each node needs the adjacent node's buffer to be empty so that it can transmit data to an empty buffer (and not overwrite data in the buffer prematurely). Since a cycle exists from node 102, 104, and 106 and back to 102, the potential exists that no node will be able to send traffic forward, and each node will be waiting for the adjacent node's buffer to empty.
  • Figure 1 thus shows a system susceptible to deadlock.
  • Many communication architectures and protocols, including TCP/IP and the global telephone network address the deadlock issue by discarding traffic whenever a potential deadlock situation arises. This approach, however, imposes a substantial cost in any higher-level protocol which aims to be reliable, because it must recognize and recover from the loss of message traffic.
  • the invention provides systems and methods for preventing deadlock in richly- connected multiprocessor computer system using dynamic assignment of virtual channels.
  • the invention also provides systems and methods for arbitrating for virtual channels to prevent livelock in richly-connected multiprocessor computer system.
  • deadlock is prevented in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node.
  • Each link in the interconnection topology is associated with a set of virtual channels.
  • Each virtual channel has corresponding communication buffers to store communication data and each virtual channel has an associated virtual channel identifier.
  • Each communication between a source processing node and a target processing node is assigned an initial virtual channel to convey the communication from the source processing node.
  • a different virtual channel is assigned to convey the communication toward the target processing node, in accordance with pre-defined rules to avoid a cycle of dependency of communication buffer resources.
  • each processing node is assigned a processing node identifier, and the rules to avoid a cycle of dependency consider the processing node identifiers of the intermediate processing node in relation to the immediately prior processing node and the immediately subsequent processing node in the route of the communication through the topology.
  • the processing node identifiers are numbers and wherein the rules determine if the intermediate processing node has a greater identifier than the identifiers of both the immediately prior processing node and the immediately subsequent processing node and if so the rules decrement the virtual channel assignment for the communication.
  • livelock is prevented in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node, and in which each processing node has a plurality of input links and a plurality of egress links.
  • a set of virtual channels is associated with each link in the
  • Each virtual channel has an associated virtual channel identifier. For each communication between a source processing node and a target processing node, a virtual channel is assigned to convey the communication.
  • communication data from the plurality of input links is buffered in cross point buffers, each communication at least specifying a virtual channel identifier.
  • a subset of the cross point buffers bids for, and arbitrates, use of the same one egress link.
  • a communication is selected based on predetermined arbitration rules.
  • the virtual channel of the selected communication is identified. It is determined whether any of the other communications bidding for use of the egress link are associated with the identified virtual channel and if so whether any communication has been waiting longer than the selected communication. If so, allowing that communication to use the egress link before the selected communication does.
  • a history structure is used to record which crosspoint buffer has used the egress link and the virtual channel identifier for the communication when the egress link was used, and wherein the method consults the history structure to determine whether a communication has been waiting longer to use the egress link.
  • Figure 1 is a diagram depicting a three-node communications system to illustrate the deadlock problem
  • Figures 2A-2B are exemplary, simple Kautz topologies
  • Figure 3 is a block diagram of node switching logic according to certain embodiments of the invention
  • Figure 4 is a flow chart depicting dynamic virtual channel assignment according to certain embodiments of the invention
  • Figure 5 depicts the arbitration scheme for an egress link according to certain embodiments of the invention
  • Figure 6 is an architectural diagram depicting arbitration logic to avoid livelock of packet transmission according to certain embodiments of the invention.
  • Preferred embodiments of the invention use a virtual channel technique to prevent deadlock in richly-connected multiprocessor computer systems.
  • virtual channels By using virtual channels, there is no need to detect deadlock and discard traffic.
  • inventive technique uses virtual channel assignments more efficiently than conventional virtual channel approaches.
  • arbitration logic is provided which avoids livelock of packet transmission on virtual channels and does not require timer circuitry.
  • a pool of buffers is provided and buffers are dynamically allocated to virtual channels; thus a virtual channel may utilize more than one buffer at a node to improve data latency.
  • Kautz interconnection topologies are unidirectional, directed graphs (digraphs).
  • Kautz digraphs are characterized by a degree k and a diameter n.
  • the degree of the digraph is the maximum number of arcs (or links or edges) input to or output from any node.
  • the diameter is the maximum number of arcs that must be traversed from any node to any other node in the topology.
  • the order O of a graph is the number of nodes it contains.
  • the order of a Kautz digraph is (k + I)F "1 .
  • the diameter of a Kautz digraph increases logarithmically with the order of the graph.
  • Figure 2A depicts a very simple Kautz topology for descriptive convenience.
  • the system is order 12 and diameter 2.
  • Figure 2B shows a system that is degree three, diameter three, order 36.
  • degree three, diameter three, order 36 One quickly sees that the complexity of the system grows quickly. It would be counter-productive to depict and describe preferred systems such as those having hundreds of nodes or more.
  • the digraph can be constructed by running a link from any node x to any other node y that satisfies the following equation:
  • any (x,y) pair satisfying (1) specifies a direct egress link from node x.
  • node 1 has egress links to the set of nodes 30, 31 and 32. Iterating through this procedure for all nodes in the system will yield the interconnections, links, arcs or edges needed to satisfy the Kautz topology. (As stated above, communication between two arbitrarily selected nodes may require multiple hops through the topology but the number of hops is bounded by the diameter of the topology.)
  • Each node on the system may communicate with any other node on the system by appropriately routing messages onto the communication fabric via an egress link.
  • any data message on the fabric includes routing information in the header of the message (among other information).
  • the routing information specifies the entire route of the message.
  • the routing information is a bit string of 2-bit routing codes, each routing code specifying whether a message should be received locally (i.e., this is the target node of the message) or identifying one of three egress links.
  • each node has tables programmed with the routing information. For a given node x to communicate with another node z, node x accesses the table and receives a bit string for the routing information. As will be explained below, this
  • USl DOCS 6373065 v2 bit string is used to control various switches along the message's route to node z, in effect specifying which link to utilize at each node during the route.
  • Another node j may have a different bit string when it needs to communicate with node z, because it will employ a different route to node z and the message may utilize different links at the various nodes in its route to node z.
  • the routing information is not literally an "address" (i.e., it doesn't uniquely identify node z) but instead is a set of codes to control switches for the message's route.
  • the routes are determined a priori based on the interconnectivity of the Kautz topology as expressed in equation 1. That is, the Kautz topology is defined, and the various egress links for each node are assigned a code (i.e., each link being one of three egress links). Thus, the exact routes for a message from node x to node y are known in advance, and the egress link selections may be determined in advance as well. These link selections are programmed as the routing information. This routing is described in more detail in the related and incorporated patent applications. [0026] In certain preferred embodiments, embodiments of the invention may be practiced in a degree three, diameter six Kautz topology of order 972.
  • the 972 nodes are tiled on modules each having 27 nodes.
  • Each node may be a multiprocessor node, e.g., six computer processors per node.
  • node to node transfers may be multi-lane mesochronous data transfers using 8B/10B codes.
  • FIG. 3 is a block diagram of the switching logic 300 used in processor nodes of certain embodiments of the invention that use a degree three topology.
  • the switching logic receives data from (and provides some control information to) parent nodes via links 302.
  • the logic provides data to (and receives some control information from) children nodes via links 304.
  • Item 302 identifies a set of lanes to receive data from parent nodes in the interconnection topology. They connect the input data to corresponding appropriate input blocks IB0-IB2.
  • Item 304 identifies a set of lanes 304 to provide data to children nodes in the topology. They connect to the appropriate corresponding output blocks OB0-OB2.
  • the links include data lanes or circuits (shown in heavy line) and a reverse control channel (shown in lighter line shading).
  • the switching logic includes various crosspoint buffers, e.g., XB 00, for each cross point connection.
  • XB 00 For each cross point connection.
  • the input blocks IBx distribute incoming data from the input links 302 to one of four cross point buffers XBxx based on the routing field in the packet's header. It also performs various other functions such as checking CRC on the packet, determining if a packet has been poisoned (to support cut-through functionality), supporting flow control with packet sequence numbers, and the like. It is also responsible for passing control packets to parent nodes via the control circuits of input links 302. In certain embodiments, the IB also modifies the routing information in the packet header by shifting the contents two bits and shifting in the two-bit code corresponding to the link on which the packet was received.
  • the output blocks OBxs are responsible for performing arbitration among the four cross point buffers XBxx attached to a given OB. They also maintain a replay buffer used in flow control and compute CRC on data outbound on egress links 304.
  • the DMA blocks are responsible for performing remote DMA actions to the node DMAIx or output from the node DMAOx.
  • a packet As a packet is created it is also assigned a virtual channel number, and this number is encoded in the packet header along with other information such as the routing information discussed above.
  • the initial value for a virtual channel number is determined by software at the time the routing tables are constructed and the virtual channel is encoded in the routing tables.
  • the virtual channel number may be changed dynamically as the message moves along its route. It can be shown that this dynamic assignment of virtual channels still prevents cycles of resource dependency, and it can also be shown that this technique requires fewer buffer resources than the conventional static and constant assignment of virtual channel numbering.
  • the virtual channel number is decremented if the current node number is greater than both the node number of the parent node (i.e., node from which the message came on immediately prior hop) and the node number of the child node (i.e., node to which the message is going to on the next hop).
  • the basic requirement in assigning the initial virtual channel is simply that its assignment value must be large enough so that it does not become negative as the packet makes its way to the final destination.
  • the modification of virtual channel numbers while the message is en route may be implemented as follows.
  • the nodes in the topology are each assigned a corresponding node number identification. For example, in a Kautz topology of order 972, the nodes may be assigned numbers from 0 to 971.
  • the interconnectivity is known and satisfies equation (1) above.
  • the nodes' connections are assigned to the various egress and ingress links of each node.
  • the node to link mapping may be determined a priori. From this, it may be determined for each node whether a given input link/ output link pair satisfies the rule for changing the virtual channel number.
  • Each input block IB is constructed to have a programmable register to indicate whether the input link/output link pairing should cause a change in virtual channel number.
  • the register may have a bit for each egress link (and by design the register is associated with a particular input link to which the IB is connected). Each bit may then indicate whether the IB should change the virtual channel number for packets destined for the corresponding egress link. Any packet received on that input link has its routing information in its header analyzed to see which egress link should be used. The bit register is then considered, and depending on the bit setting, the virtual channel number may be changed, e.g., decremented.
  • the packet is then stored in the relevant corresponding cross point buffer XBxx, or it may immediately forwarded on an egress link if the egress link is available and arbitration rules allow such immediate bypass.
  • a packet arrives on a link and is assigned virtual channel 3, it will be stored in a local buffer (in the corresponding XB for the input link/output link pair) for virtual channel 3.
  • each cross point buffer XBxx has 16 buffers. Some portion of these are dedicated for specific virtual channel assignment (e.g., as defined in a programmable register). The remainder may then be used in a common pool of buffers that can be dynamically allocated for any virtual channel. For a diameter six Kautz topology, only three virtual channels are needed.
  • the remaining buffers are assigned to a pool of buffers that may be dynamically allocated to any virtual channel.
  • 13 buffers can be used for the pool. That is, a virtual channel need not be fixed to one and only one buffer and instead can be associated with a set of buffers, the actual size of which set will be dynamic, based on traffic flow. For example, if one virtual channel is particularly busy, it may use several buffers at a given cross point.
  • the XBxx includes logic to associate a virtual channel number with each buffer (including those in the pool) and to record the order of arrival for data in the buffers.
  • the data can be forwarded or consumed in the same order as it arrived (on a per channel basis).
  • more buffers may be associated with the pool, which in turn should improve data flow and reduce latency.
  • the amount of buffers dedicated to virtual channels i.e., the fixed assignments
  • this facilitates the use of the module design in various system designs. For example, by reprogramming the amount of buffers to directly map to virtual channels, the module design may be used in systems of different diameter (larger diameter systems need more virtual channel assignments to avoid deadlock as discussed above).
  • Figure 4 is a flow diagram depicting steps for virtual channel assignment according to certain embodiments of the invention.
  • step 402 The logic starts in step 402 and progress to step 404 in which node numbers are assigned.
  • this is as simple as assigning nodes unique integers to identify the nodes, e.g. 0 to 971.
  • the unique identifier can be a number (not necessarily decimal), a string of characters, or other code. Any type of unique identifier can be used as long as they are ordered by some known set of ordering rules.
  • USI DOCS 6373065v2 Ordered means that they can be compared to one another, and it is possible to determine if any unique identifier is less than, greater than, or equal to another unique identifier.
  • a particular node creates a packet and populates the packet header with appropriate routing information, including for example an initial assignment of virtual channel. This initial assignment may be pulled from a table look-up in conjunction with retrieving other routing information.
  • the packet is eventually sent and eventually received by a child node in step 408.
  • the current node compares its node number to the node number of the parent node (the node which sent the packet) and the next node, i.e., child node (assuming this is not the final node in the route). As explained above, in certain embodiments this comparison is done by use of programmable registers that have pre-recorded the comparison results based on input link/output link mappings. In other embodiments, the node numbers may be directly available and in such case the node numbers may be consulted and compared directly. [0045] In step 412, the results of the comparison are considered in conjunction with the dynamic assignment rules.
  • the current node is compared to the parent and child nodes of the packet route to see if the current node number is greater than both the parent and the child.
  • step 414 the virtual channel number is changed.
  • the virtual channel number is decremented, if the current node is greater than both the parent and child node numbers.
  • the virtual channels may be considered as ordered identifiers in a set of identifiers (e.g., integers). Each virtual channel has an adjacent channel identifier in the ordered set of channel identifiers, and step 414 changes the virtual channel identifier accordingly. So if the identifiers were simply integers, next would mean the next highest integer.
  • step 416 the packet is either stored or forwarded accordingly using the virtual channel numbers assigned to the packet (and possibly changed).
  • USl DOCS 6373065v2 XBlO, and XB20 are all associated with output block OBO and output link 0. (Another cross point buffer XB30 is depicted but this is associated with a DMA engine not an input link from another node.) Each XBxy may have data that is in contention for use of egress link y. In addition, within each given XB, there are multiple buffers (e.g., 16), and thus there may be more than one buffer within an XB that may wish to contend for use of an egress link (perhaps on the same virtual channel or perhaps on a different virtual channel).
  • arbitration is performed within an XBxy to select a buffer from within that XB to bid for contention to egress link y.
  • Arbitration is also performed at the OBy to select from among the various XBxys having data bidding for contention on link y-
  • the cross point buffer XB does not identify a buffer entry as available for transmission on the egress link (i.e., bid for contention), until the XB can determine that there is sufficient space for the packet in the downstream node.
  • a debit/credit mechanism is arranged in which the receiving node (i.e., the IB of the downstream node) tells the sending node (i.e., the OB of the sending node) how much space is available in the receiver's buffers for each virtual channel and port.
  • This buffer status in certain embodiments is conveyed from the downstream node to the upstream node using the control channel, e.g., one 16 bit buffer mask per XB connected to the relevant internode link.
  • the control channel e.g., one 16 bit buffer mask per XB connected to the relevant internode link.
  • the XB To determine whether a buffer entry should bid for contention for an egress link, the XBxxs query the buffer busy masks to determine if space is available in downstream nodes. If space is available, the XB identifies the relevant packet as one that can bid for contention for use of the egress link. For example, if the packet in the above example is traveling on virtual channel 3, XB02 will query a relevant buffer busy mask to determine if the corresponding slot for virtual channel 3 is empty on the downstream node D, or if there
  • USlDOCS 6373065v2 are any free buffers in the pool. If the corresponding slot for virtual channel 3 is empty (or there is space in the pool), the packet will be identified as available to contend for the egress link. (Moreover, in certain embodiments, the packet may be modified to specify the particular slot it should go into, when it is received in node D; i.e., buffer entry slot is recorded in the packet header separately from the virtual channel identifier in the packet header.) As will be explained in more detail below, the XB has a conservative (worst case) estimate of whether the relevant buffers are busy.
  • Each XB (by definition associated with an input link/output link pair) keeps track of the order in which a packet arrived in the XB, and the virtual channel to which that packet is assigned. If multiple buffers within an XBxx may contend for use of the egress link (e.g., because relevant downstream buffers are free) the XB selects the oldest such packet within the XB to contend for use of the link.
  • the output block OB tracks buffer busy status. It does this both for the local buffers and for the downstream buffers for the node to which it connects via its associated egress link.
  • the OB marks the corresponding buffers downstream as being busy. Buffers are marked as free when a control packet from a downstream node indicates that the buffer has been forwarded or consumed (this control packet need not be a packet-by-packet acknowledgement).
  • the control packet also contains "busy masks" for each of the downstream XBs.
  • a downstream IB may send four 16 bit masks to indicate whether buffers are free or busy in each XB the IB is connected to, including the XB for DMA processing, and the OB of the upstream node will maintain such status information so the upstream node's XBxxs know when they should bid for contention.
  • the OB maintains busy masks for the local XBs to which it is connected, and also busy masks for the downstream XBs connected to the egress link. Performing a logical OR on the busy masks provides a conservative (worst case) picture of whether buffers are busy.
  • Figure 5 is a conceptual diagram illustrating how an OB may select which buffer should gain access to an egress port
  • figure 6 is a block diagram of exemplary logic for such. Both should be referred to conjointly in connection with the following description.
  • the logic seeks the XBxy that has been waiting the longest for an egress link y. However, before granting access to that XBxy, it also seeks to see if any XBxy has a buffer bidding for contention for that link and for the virtual channel that has been waiting longer. In this fashion, livelock of virtual channel traffic is avoided (i.e., absent such, one might be
  • the output block may have as many as four XBxxs bid for contention of the output link, in the above-described embodiments.
  • the XBxxs are depicted as ports 612 —618, and packets 0-15 in each port refer to the buffers in an XB.
  • the output block considers the XBxxs that are contending for use of the egress link 620 and selects 622 the least recently chosen XB, which is then requesting use of the egress link. Aging vectors and other techniques may be utilized for such. This is shown at 502 and 504 in figure 5.
  • downstream egress link i.e., next port or "NP" in figure 5
  • virtual channel number i.e., VC
  • all XBxxs that have buffers that were bidding for contention i.e., the oldest for that XBxx that were ready to be transmitted to an available downstream buffer
  • the virtual channel and NP are used to consult (e.g., index) into a history structure 634, which records the last XBxx to have won use of the egress link for that particular downstream egress link (NP) and virtual channel (VC) pair. This is shown in 510.
  • the OB logic then starts with the next XBxx identification (i.e., from the one identified in the history structure) and cycles through in round robin fashion 636 to see if an XB is bidding for use of the egress link with the same NP and VC. If so, that XB will be granted access. This will continue in round robin fashion, to identify XBs with the same NP and VC. This is shown in 512.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Multi Processors (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)

Abstract

Systems and methods for preventing deadlock in richly-connected multiprocessor computer system using dynamic assignment of virtual channels. Deadlock is prevented in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology. Each link in the interconnection topology is associated with a set of virtual channels. Each virtual channel has corresponding communication buffers to store communication data and each virtual channel has an associated virtual channel identifier. Each communication between a source processing node and a target processing node is assigned an initial virtual channel to convey the communication from the source processing node. At an intermediate processing node, a different virtual channel is assigned to convey the communication toward the target processing node, in accordance with pre-defined rules to avoid a cycle of dependency of communication buffer resources.

Description

System and Method for Preventing Deadlock in Richly-Connected Multi-processor Computer System Using Dynamic Assignment of Virtual Channels
Cross-reference to related applications
[0001] This application is related to the following U.S. patent applications, the contents of which are incorporated herein in their entirety by reference:
U.S. Pat. Appl. No. 11/335,421, filed January 19, 2006, entitled SYSTEMAND METHOD OFMULTI-CORE CACHE COHERENCY;
U.S. Pat. Appl. No. 11/594,421, filed on November 8, 2006, entitled LARGE SCALE MULTI-PROCESSOR SYSTEM WITHA LINK-LEVEL INTERCONNECT PROVIDING IN-ORDER PACKET DELIVERY;
U.S. Pat. Appl. No. 11/594,442, filed on November 8, 2006, entitled
MESOCHRONOUS CLOCK SYSTEMAND METHOD TO MINIMIZE LATENCYAND BUFFER REQUIREMENTS FOR DATA TRANSFER INA LARGEMULTI-PROCESSOR COMPUTING SYSTEM;
U.S. Pat. Appl. No. 11/594,427, filed on November 8, 2006, entitled REMOTE DMA SYSTEMSAND METHODS FOR SUPPORTING SYNCHRONIZATION OF DISTRIBUTED PROCESSES IN A MULTIPROCESSOR SYSTEM USING COLLECTIVE OPERATIONS;
U.S. Pat. Appl. No. 11/594,441, filed on November 8, 2006, entitled LARGE SCALE COMPUTING SYSTEM WITH MULTI-LANE MESOCHRONOUS DATA TRANSFERSAMONG COMPUTER NODES;
U.S. Pat. Appl. No. 11/594,405, filed on November 8, 2006, entitled SYSTEMAND METHOD FOR COMMUNICATING ONA RICHLY CONNECTED MULTIPROCESSOR COMPUTER SYSTEM USING A POOL OF BUFFERS FOR DYNAMICASSOCIATION WITHA VIRTUAL CHANNEL;
U.S. Pat. Appl. No. 11/594,443, filed on November 8, 2006, entitled RDMA SYSTEMS AND METHODS FOR SENDING COMMANDS FROM A SOURCE NODE TO A TARGET NODE FOR LOCAL EXECUTION OF COMMANDSAT THE TARGETNODE;
U.S. Pat. Appl. No. 11/594,447, filed on November 8, 2006, entitled SYSTEMSAND METHODS FOR REMOTE DIRECT MEMORY ACCESS TO PROCESSOR CACHESFOR RDMA READSAND WRITES; and
- 1 -
USlDOCS 6373065v2 U.S. Pat. Appl. No. 11/594,446, filed on November 8, 2006, entitled SYSTEMAND METHOD FOR REMOTE DIRECT MEMORY ACCESS WITHOUT PAGE LOCKING BY THE OPERATING SYSTEM.
U.S. Pat. Appl. No. 11/594,423, filed on November 8, 2006, entitled COMPUTER SYSTEMAND METHOD USING A KAUTZ-LIKE DIGRAPH TO INTERCONNECT COMPUTER NODES AND HA VING CONTROL BA CK CHANNEL BETWEENNODES;
U S. Pat. Appl. No. 11/594,416, filed on November 8, 2006, entitled COMPUTER SYSTEMAND METHOD USING EFFICIENT MODULE AND BACKPLANE TILING TO INTERCONNECT COMPUTER NODES VIA A KA UTZ-LIKE DIGRAPH
Background
Field of the Invention
[0002] This invention relates to deadlock prevention in richly-connected multiprocessor computer systems and more specifically to virtual channel techniques to prevent deadlock in large multi-node computing systems interconnected by complicated topologies, including but not limited to Kautz and de Bruijn topologies.
Description of the Related Art
[0003] Massively parallel computing systems have been proposed for scientific computing and other compute-intensive applications. The computing system typically includes many nodes, and each node may contain several processors. Various forms of interconnect topologies have been proposed to connect the nodes, including Hypercube topologies, butterfly and omega networks, tori of various dimensions, fat trees, and random networks.
[0004] One of the problems encountered in building computer systems with complex, richly-connected communication networks is deadlock. Deadlock is the condition or situation in which actions are mutually blocked from progress because they are waiting for some form of resource. That is, some form of cycle of resource dependency exists that cannot be satisfied.
- 2 -
USlDOCS 6373065v2 [0005] Figure 1 depicts a simple communications system to illustrate the deadlock problem. In Figure 1, the system has three nodes, 102, 104, and 106, each with a communication buffer, 108, 110, and 1 12 respectively. The buffers are resources the nodes need to send, or receive, data to, or from, a connected node (as suggested with links 114, 116, and 118). For node 102 to send its data forward from buffer 108 to buffer 1 10 in node 104, buffer 110 must be empty, free, or available. In this example, however, there is a cycle of resource dependency. That is, each node needs the adjacent node's buffer to be empty so that it can transmit data to an empty buffer (and not overwrite data in the buffer prematurely). Since a cycle exists from node 102, 104, and 106 and back to 102, the potential exists that no node will be able to send traffic forward, and each node will be waiting for the adjacent node's buffer to empty. Figure 1 thus shows a system susceptible to deadlock. [0006] Many communication architectures and protocols, including TCP/IP and the global telephone network, address the deadlock issue by discarding traffic whenever a potential deadlock situation arises. This approach, however, imposes a substantial cost in any higher-level protocol which aims to be reliable, because it must recognize and recover from the loss of message traffic. It is therefore very desirable to provide guarantees against deadlock, as opposed to detection of such and then discarding of traffic. [0007] Another well-known strategy for deadlock prevention is the use of "virtual channels," as described by Dally and Seitz. W. J. Dally and CL. Seitz. Deadlock-free message routing in multiprocessor interconnection networks. IEEE Transactions on Computers, C-36(5): 547-553, 1987. This approach assigns a separate set of buffers for traffic on each virtual channel, and structures the flow of data through those virtual channels such that there is no cycle of dependency among the channels. By preventing cycles, this strategy ensures that all traffic is able to leave the network, and therefore that deadlock does not occur. Virtual channel assignment is constant. A communication travels on its route using the same virtual channel assignment throughout. Typically buffer resources are mapped and fixed to virtual channel assignments.
[0008] Another potential problem in richly-connected networks is the issue of livelock or starvation. In this situation, an action is starved (as opposed to blocked) from getting access to necessary resources. Typically, timers are used to age the action. If the action gets old enough, then its priority may be elevated to increase the probability that it will win arbitration when contending for a required resource (such as access to a buffer or output link).
- 3 -
USl DOCS 6373065v2 Summary
[0009] The invention provides systems and methods for preventing deadlock in richly- connected multiprocessor computer system using dynamic assignment of virtual channels. The invention also provides systems and methods for arbitrating for virtual channels to prevent livelock in richly-connected multiprocessor computer system. [0010] Under one aspect of the invention, deadlock is prevented in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node. Each link in the interconnection topology is associated with a set of virtual channels. Each virtual channel has corresponding communication buffers to store communication data and each virtual channel has an associated virtual channel identifier. Each communication between a source processing node and a target processing node is assigned an initial virtual channel to convey the communication from the source processing node. At an intermediate processing node, a different virtual channel is assigned to convey the communication toward the target processing node, in accordance with pre-defined rules to avoid a cycle of dependency of communication buffer resources. [0011] Under another aspect of the invention, each processing node is assigned a processing node identifier, and the rules to avoid a cycle of dependency consider the processing node identifiers of the intermediate processing node in relation to the immediately prior processing node and the immediately subsequent processing node in the route of the communication through the topology.
[0012] Under another aspect of the invention, the processing node identifiers are numbers and wherein the rules determine if the intermediate processing node has a greater identifier than the identifiers of both the immediately prior processing node and the immediately subsequent processing node and if so the rules decrement the virtual channel assignment for the communication.
[0013] Under another aspect of the invention, livelock is prevented in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node, and in which each processing node has a plurality of input links and a plurality of egress links. A set of virtual channels is associated with each link in the
- 4 _
USiDOCS 6373065v2 interconnection topology. Each virtual channel has an associated virtual channel identifier. For each communication between a source processing node and a target processing node, a virtual channel is assigned to convey the communication. At a processing node in the route of the communication, communication data from the plurality of input links is buffered in cross point buffers, each communication at least specifying a virtual channel identifier. A subset of the cross point buffers bids for, and arbitrates, use of the same one egress link. A communication is selected based on predetermined arbitration rules. The virtual channel of the selected communication is identified. It is determined whether any of the other communications bidding for use of the egress link are associated with the identified virtual channel and if so whether any communication has been waiting longer than the selected communication. If so, allowing that communication to use the egress link before the selected communication does.
[0014] Under another aspect of the invention, a history structure is used to record which crosspoint buffer has used the egress link and the virtual channel identifier for the communication when the egress link was used, and wherein the method consults the history structure to determine whether a communication has been waiting longer to use the egress link.
Brief Description Of The Figures
[0015] In the Drawing,
Figure 1 is a diagram depicting a three-node communications system to illustrate the deadlock problem;
Figures 2A-2B are exemplary, simple Kautz topologies; Figure 3 is a block diagram of node switching logic according to certain embodiments of the invention; Figure 4 is a flow chart depicting dynamic virtual channel assignment according to certain embodiments of the invention; Figure 5 depicts the arbitration scheme for an egress link according to certain embodiments of the invention; and Figure 6 is an architectural diagram depicting arbitration logic to avoid livelock of packet transmission according to certain embodiments of the invention.
- 5 -
USlDOCS 6373065v2 Detailed Description
[0016] Preferred embodiments of the invention use a virtual channel technique to prevent deadlock in richly-connected multiprocessor computer systems. By using virtual channels, there is no need to detect deadlock and discard traffic. Moreover, the inventive technique uses virtual channel assignments more efficiently than conventional virtual channel approaches. In addition, arbitration logic is provided which avoids livelock of packet transmission on virtual channels and does not require timer circuitry. Moreover, a pool of buffers is provided and buffers are dynamically allocated to virtual channels; thus a virtual channel may utilize more than one buffer at a node to improve data latency. [0017] To discuss preferred embodiments of the invention, first an exemplary richly- connected computer topology is described. Then the virtual channel technique is discussed in the context of the exemplary topology. It will be appreciated that the virtual channel technique may be employed in topologies other than the exemplary one.
Exemplary embodiment of a Richly-connected computer topology
[0018] Certain embodiments of the invention are utilized on a large scale multiprocessor computer system in which computer processing nodes are interconnected in a Kautz interconnection topology. Kautz interconnection topologies are unidirectional, directed graphs (digraphs). Kautz digraphs are characterized by a degree k and a diameter n. The degree of the digraph is the maximum number of arcs (or links or edges) input to or output from any node. The diameter is the maximum number of arcs that must be traversed from any node to any other node in the topology.
[0019] The order O of a graph is the number of nodes it contains. The order of a Kautz digraph is (k + I)F"1. The diameter of a Kautz digraph increases logarithmically with the order of the graph.
[0020] Figure 2A depicts a very simple Kautz topology for descriptive convenience. The system is order 12 and diameter 2. By inspection, one can verify that any node can communicate with any other node in a maximum of 2 hops. Figure 2B shows a system that is degree three, diameter three, order 36. One quickly sees that the complexity of the system grows quickly. It would be counter-productive to depict and describe preferred systems such as those having hundreds of nodes or more.
[0021] The table below shows how the order O of a system changes as the diameter n grows for a system of fixed degree k.
- 6 -
USl DOCS 6373065v2
Figure imgf000008_0001
[0022] If the nodes are numbered from zero to O- 1, the digraph can be constructed by running a link from any node x to any other node y that satisfies the following equation:
y = (-x*λ:-j) mod O, where 1 < j < k (1)
Thus, any (x,y) pair satisfying (1) specifies a direct egress link from node x. For example, with reference to figure 2B, node 1 has egress links to the set of nodes 30, 31 and 32. Iterating through this procedure for all nodes in the system will yield the interconnections, links, arcs or edges needed to satisfy the Kautz topology. (As stated above, communication between two arbitrarily selected nodes may require multiple hops through the topology but the number of hops is bounded by the diameter of the topology.)
[0023] Each node on the system may communicate with any other node on the system by appropriately routing messages onto the communication fabric via an egress link. Under certain embodiments, any data message on the fabric includes routing information in the header of the message (among other information). The routing information specifies the entire route of the message. In certain degree three embodiments, the routing information is a bit string of 2-bit routing codes, each routing code specifying whether a message should be received locally (i.e., this is the target node of the message) or identifying one of three egress links. Naturally other topologies may be implemented with different routing codes and with different structures and methods under the principles of the invention. [0024] Under certain embodiments, each node has tables programmed with the routing information. For a given node x to communicate with another node z, node x accesses the table and receives a bit string for the routing information. As will be explained below, this
- 7 -
USl DOCS 6373065 v2 bit string is used to control various switches along the message's route to node z, in effect specifying which link to utilize at each node during the route. Another node j may have a different bit string when it needs to communicate with node z, because it will employ a different route to node z and the message may utilize different links at the various nodes in its route to node z. Thus, under certain embodiments, the routing information is not literally an "address" (i.e., it doesn't uniquely identify node z) but instead is a set of codes to control switches for the message's route.
[0025] Under certain embodiments, the routes are determined a priori based on the interconnectivity of the Kautz topology as expressed in equation 1. That is, the Kautz topology is defined, and the various egress links for each node are assigned a code (i.e., each link being one of three egress links). Thus, the exact routes for a message from node x to node y are known in advance, and the egress link selections may be determined in advance as well. These link selections are programmed as the routing information. This routing is described in more detail in the related and incorporated patent applications. [0026] In certain preferred embodiments, embodiments of the invention may be practiced in a degree three, diameter six Kautz topology of order 972. The 972 nodes are tiled on modules each having 27 nodes. Each node may be a multiprocessor node, e.g., six computer processors per node. Moreover, node to node transfers may be multi-lane mesochronous data transfers using 8B/10B codes.
Exemplary Node Switching Logic
[0027] Figure 3 is a block diagram of the switching logic 300 used in processor nodes of certain embodiments of the invention that use a degree three topology. The switching logic receives data from (and provides some control information to) parent nodes via links 302. The logic provides data to (and receives some control information from) children nodes via links 304.
[0028] Item 302 identifies a set of lanes to receive data from parent nodes in the interconnection topology. They connect the input data to corresponding appropriate input blocks IB0-IB2. Item 304 identifies a set of lanes 304 to provide data to children nodes in the topology. They connect to the appropriate corresponding output blocks OB0-OB2. The links include data lanes or circuits (shown in heavy line) and a reverse control channel (shown in lighter line shading).
USlDOCS 6373065 v2 [0029] The switching logic includes various crosspoint buffers, e.g., XB 00, for each cross point connection. Thus, if data from input link 0 (from the set 302) is addressed to egress on a link 2 (from the set 304), then the data will be stored in cross point buffer XB 02, if the data needs to be stored in this node. (In some situations the data can cut through and avoid local buffering.)
[0030] The input blocks IBx distribute incoming data from the input links 302 to one of four cross point buffers XBxx based on the routing field in the packet's header. It also performs various other functions such as checking CRC on the packet, determining if a packet has been poisoned (to support cut-through functionality), supporting flow control with packet sequence numbers, and the like. It is also responsible for passing control packets to parent nodes via the control circuits of input links 302. In certain embodiments, the IB also modifies the routing information in the packet header by shifting the contents two bits and shifting in the two-bit code corresponding to the link on which the packet was received. (In this fashion, the LSBs - or MSBs depending on the embodiment - may be used to identify the egress link a packet should use as it is received at the next node.) [0031] The output blocks OBxs , among other things, are responsible for performing arbitration among the four cross point buffers XBxx attached to a given OB. They also maintain a replay buffer used in flow control and compute CRC on data outbound on egress links 304.
[0032] The DMA blocks are responsible for performing remote DMA actions to the node DMAIx or output from the node DMAOx.
Virtual Channel Assignment
[0033] Under certain embodiments, as a packet is created it is also assigned a virtual channel number, and this number is encoded in the packet header along with other information such as the routing information discussed above. The initial value for a virtual channel number is determined by software at the time the routing tables are constructed and the virtual channel is encoded in the routing tables.
[0034] Unlike conventional approaches, under preferred embodiments the virtual channel number may be changed dynamically as the message moves along its route. It can be shown that this dynamic assignment of virtual channels still prevents cycles of resource dependency, and it can also be shown that this technique requires fewer buffer resources than the conventional static and constant assignment of virtual channel numbering.
- 9 _
USlDOCS 6373065v2 [0035] For example, under certain embodiments, when a message arrives at a node, the virtual channel number is decremented if the current node number is greater than both the node number of the parent node (i.e., node from which the message came on immediately prior hop) and the node number of the child node (i.e., node to which the message is going to on the next hop). The basic requirement in assigning the initial virtual channel is simply that its assignment value must be large enough so that it does not become negative as the packet makes its way to the final destination. That could be accomplished by starting every packet with a virtual channel equal to the maximum number of decrements it might have to encounter, but there are other ways to program as well, e.g., starting with the highest virtual channel. Alternatively, rules could be changed and still keep the principle of dynamic assignment, e.g., the channel number can be incremented, or the comparison can be "less than" rather than "greater than".
[0036] Under certain embodiments, the modification of virtual channel numbers while the message is en route may be implemented as follows. The nodes in the topology are each assigned a corresponding node number identification. For example, in a Kautz topology of order 972, the nodes may be assigned numbers from 0 to 971. The interconnectivity is known and satisfies equation (1) above. The nodes' connections are assigned to the various egress and ingress links of each node. Thus the node to link mapping may be determined a priori. From this, it may be determined for each node whether a given input link/ output link pair satisfies the rule for changing the virtual channel number. [0037] Each input block IB, in these embodiments, is constructed to have a programmable register to indicate whether the input link/output link pairing should cause a change in virtual channel number. For example, the register may have a bit for each egress link (and by design the register is associated with a particular input link to which the IB is connected). Each bit may then indicate whether the IB should change the virtual channel number for packets destined for the corresponding egress link. Any packet received on that input link has its routing information in its header analyzed to see which egress link should be used. The bit register is then considered, and depending on the bit setting, the virtual channel number may be changed, e.g., decremented. The packet is then stored in the relevant corresponding cross point buffer XBxx, or it may immediately forwarded on an egress link if the egress link is available and arbitration rules allow such immediate bypass. Thus, if a packet arrives on a link and is assigned virtual channel 3, it will be stored in a local buffer (in the corresponding XB for the input link/output link pair) for virtual channel 3. However,
- 10 -
USlDOCS 6373065v2 depending on the node numbers for the current, parent and child nodes, the virtual channel may be changed to 2, e.g., the packet header may be modified to indicate virtual channel 2. That packet (though stored in a buffer slot for virtual channel 3) will arbitrate for downstream buffer resources corresponding to the new, dynamically-assigned virtual channel 2. [0038] Under certain embodiments, each cross point buffer XBxx has 16 buffers. Some portion of these are dedicated for specific virtual channel assignment (e.g., as defined in a programmable register). The remainder may then be used in a common pool of buffers that can be dynamically allocated for any virtual channel. For a diameter six Kautz topology, only three virtual channels are needed. Thus three of the buffers are dedicated to the three virtual channels, and the remaining buffers are assigned to a pool of buffers that may be dynamically allocated to any virtual channel. Thus, in embodiments using 16 buffers per cross point XBxx, 13 buffers can be used for the pool. That is, a virtual channel need not be fixed to one and only one buffer and instead can be associated with a set of buffers, the actual size of which set will be dynamic, based on traffic flow. For example, if one virtual channel is particularly busy, it may use several buffers at a given cross point. The XBxx includes logic to associate a virtual channel number with each buffer (including those in the pool) and to record the order of arrival for data in the buffers. In this way, the data can be forwarded or consumed in the same order as it arrived (on a per channel basis). By efficiently assigning virtual channels (i.e., using less channels to avoid deadlock), more buffers may be associated with the pool, which in turn should improve data flow and reduce latency. [0039] In certain embodiments, the amount of buffers dedicated to virtual channels (i.e., the fixed assignments) is programmable. Among other things, this facilitates the use of the module design in various system designs. For example, by reprogramming the amount of buffers to directly map to virtual channels, the module design may be used in systems of different diameter (larger diameter systems need more virtual channel assignments to avoid deadlock as discussed above).
[0040] Figure 4 is a flow diagram depicting steps for virtual channel assignment according to certain embodiments of the invention.
[0041] The logic starts in step 402 and progress to step 404 in which node numbers are assigned. As described above, in some embodiments, this is as simple as assigning nodes unique integers to identify the nodes, e.g. 0 to 971. However, the unique identifier can be a number (not necessarily decimal), a string of characters, or other code. Any type of unique identifier can be used as long as they are ordered by some known set of ordering rules.
- 11 -
USI DOCS 6373065v2 Ordered means that they can be compared to one another, and it is possible to determine if any unique identifier is less than, greater than, or equal to another unique identifier. [0042] In step 406 a particular node creates a packet and populates the packet header with appropriate routing information, including for example an initial assignment of virtual channel. This initial assignment may be pulled from a table look-up in conjunction with retrieving other routing information.
[0043] The packet is eventually sent and eventually received by a child node in step 408. [0044] The current node compares its node number to the node number of the parent node (the node which sent the packet) and the next node, i.e., child node (assuming this is not the final node in the route). As explained above, in certain embodiments this comparison is done by use of programmable registers that have pre-recorded the comparison results based on input link/output link mappings. In other embodiments, the node numbers may be directly available and in such case the node numbers may be consulted and compared directly. [0045] In step 412, the results of the comparison are considered in conjunction with the dynamic assignment rules. For example in some embodiments, the current node is compared to the parent and child nodes of the packet route to see if the current node number is greater than both the parent and the child. Other combinations of rules and comparisons exist, which can be shown to avoid cycles of resource dependency.
[0046] If the comparison indicates that the virtual channel identifiers should be changed while the packet is en route, the flow proceeds to step 414. In step 414, the virtual channel number is changed. For example, in the above embodiments, the virtual channel number is decremented, if the current node is greater than both the parent and child node numbers. Generally speaking, however, the virtual channels may be considered as ordered identifiers in a set of identifiers (e.g., integers). Each virtual channel has an adjacent channel identifier in the ordered set of channel identifiers, and step 414 changes the virtual channel identifier accordingly. So if the identifiers were simply integers, next would mean the next highest integer.
[0047] In step 416, the packet is either stored or forwarded accordingly using the virtual channel numbers assigned to the packet (and possibly changed).
Arbitration
[0048] Multiple buffers may contend for an egress link. In the embodiment of figure 3, there are three cross point buffers associated with each egress link. For example, XB00,
- 12 -
USl DOCS 6373065v2 XBlO, and XB20 are all associated with output block OBO and output link 0. (Another cross point buffer XB30 is depicted but this is associated with a DMA engine not an input link from another node.) Each XBxy may have data that is in contention for use of egress link y. In addition, within each given XB, there are multiple buffers (e.g., 16), and thus there may be more than one buffer within an XB that may wish to contend for use of an egress link (perhaps on the same virtual channel or perhaps on a different virtual channel). [0049] In certain embodiments, arbitration is performed within an XBxy to select a buffer from within that XB to bid for contention to egress link y. Arbitration is also performed at the OBy to select from among the various XBxys having data bidding for contention on link y-
[0050] Under certain embodiments, the cross point buffer XB does not identify a buffer entry as available for transmission on the egress link (i.e., bid for contention), until the XB can determine that there is sufficient space for the packet in the downstream node. In short, a debit/credit mechanism is arranged in which the receiving node (i.e., the IB of the downstream node) tells the sending node (i.e., the OB of the sending node) how much space is available in the receiver's buffers for each virtual channel and port. (This buffer status in certain embodiments is conveyed from the downstream node to the upstream node using the control channel, e.g., one 16 bit buffer mask per XB connected to the relevant internode link.) For example, if a packet route requires that the packet arrive at an input link 0 on a node K and leave on egress link 2, and the route also requires that the packet arrive at downstream node D and leave node D on egress link 1, the packet will be stored in XB02 of node K. XB02 will keep that data in a buffer, until XB02 can determine that there is appropriate buffer space available in downstream node D's cross point buffer XB?1. (The '?' is used to signify that the topology does not require downstream node D to connect egress link 2 of the upstream node as an input link 2. So if the downstream node D connected its input link 1 to the upstream node's egress link 2, then the upstream node would determine whether downstream node D's XBl 1 had buffer space.)
[0051] To determine whether a buffer entry should bid for contention for an egress link, the XBxxs query the buffer busy masks to determine if space is available in downstream nodes. If space is available, the XB identifies the relevant packet as one that can bid for contention for use of the egress link. For example, if the packet in the above example is traveling on virtual channel 3, XB02 will query a relevant buffer busy mask to determine if the corresponding slot for virtual channel 3 is empty on the downstream node D, or if there
- 13 -
USlDOCS 6373065v2 are any free buffers in the pool. If the corresponding slot for virtual channel 3 is empty (or there is space in the pool), the packet will be identified as available to contend for the egress link. (Moreover, in certain embodiments, the packet may be modified to specify the particular slot it should go into, when it is received in node D; i.e., buffer entry slot is recorded in the packet header separately from the virtual channel identifier in the packet header.) As will be explained in more detail below, the XB has a conservative (worst case) estimate of whether the relevant buffers are busy.
[0052] Each XB (by definition associated with an input link/output link pair) keeps track of the order in which a packet arrived in the XB, and the virtual channel to which that packet is assigned. If multiple buffers within an XBxx may contend for use of the egress link (e.g., because relevant downstream buffers are free) the XB selects the oldest such packet within the XB to contend for use of the link.
[0053] In certain embodiments, the output block OB tracks buffer busy status. It does this both for the local buffers and for the downstream buffers for the node to which it connects via its associated egress link. When a packet is sent, the OB marks the corresponding buffers downstream as being busy. Buffers are marked as free when a control packet from a downstream node indicates that the buffer has been forwarded or consumed (this control packet need not be a packet-by-packet acknowledgement). The control packet also contains "busy masks" for each of the downstream XBs. Thus, for example, a downstream IB may send four 16 bit masks to indicate whether buffers are free or busy in each XB the IB is connected to, including the XB for DMA processing, and the OB of the upstream node will maintain such status information so the upstream node's XBxxs know when they should bid for contention. Thus the OB maintains busy masks for the local XBs to which it is connected, and also busy masks for the downstream XBs connected to the egress link. Performing a logical OR on the busy masks provides a conservative (worst case) picture of whether buffers are busy.
[0054] Figure 5 is a conceptual diagram illustrating how an OB may select which buffer should gain access to an egress port, and figure 6 is a block diagram of exemplary logic for such. Both should be referred to conjointly in connection with the following description. In short, the logic seeks the XBxy that has been waiting the longest for an egress link y. However, before granting access to that XBxy, it also seeks to see if any XBxy has a buffer bidding for contention for that link and for the virtual channel that has been waiting longer. In this fashion, livelock of virtual channel traffic is avoided (i.e., absent such, one might be
- 14 -
USlDOCS 6373065 v2 fair to XBxys but be unfair - and even starve - traffic for particular virtual channels on a link).
[0055] The output block may have as many as four XBxxs bid for contention of the output link, in the above-described embodiments. In figure 6, the XBxxs are depicted as ports 612 —618, and packets 0-15 in each port refer to the buffers in an XB. In certain embodiments, the output block considers the XBxxs that are contending for use of the egress link 620 and selects 622 the least recently chosen XB, which is then requesting use of the egress link. Aging vectors and other techniques may be utilized for such. This is shown at 502 and 504 in figure 5.
[0056] The downstream egress link (i.e., next port or "NP" in figure 5) and virtual channel number (i.e., VC) are then identified; see 506 and 624. Then all XBxxs that have buffers that were bidding for contention (i.e., the oldest for that XBxx that were ready to be transmitted to an available downstream buffer) that are also addressing the same downstream egress link (or next port) and the same virtual channel are identified. This is shown in 508 and 626-632.
[0057] The virtual channel and NP are used to consult (e.g., index) into a history structure 634, which records the last XBxx to have won use of the egress link for that particular downstream egress link (NP) and virtual channel (VC) pair. This is shown in 510. [0058] The OB logic then starts with the next XBxx identification (i.e., from the one identified in the history structure) and cycles through in round robin fashion 636 to see if an XB is bidding for use of the egress link with the same NP and VC. If so, that XB will be granted access. This will continue in round robin fashion, to identify XBs with the same NP and VC. This is shown in 512. Thus in the example of figure 5, even though XB 12 was selected because it was the XB that had least recently used the OB, it is not the first to use the egress link in this arbitration event. Instead, XB32 precedes XB 12 in this arbitration event. This was done to combat livelock of the link/VC pair. XB32 may have used the OB more recently than XB 12 but it was not for the particular link (NP) and VC of this event. Indeed the history structure revealed in this instance that XB 12 in fact was the last XB to send data to this NP/VC pair and the arbitration result in effect avoided XB 12 from starving out XB32 for this NP/VC pair. Moreover, timers were avoided. As a result, traffic on all virtual channels is treated fairly, a result that is difficult to achieve even with complex timers.
- 15 -
USl DOCS 6373065 v2 [0059] Many of the teachings here may be extended to other topologies including de Bruijn topologies. Likewise, though the description was in relation to large-scale computing system, the principles may apply to communication fabrics.
[0060] While the invention has been described in connection with certain preferred embodiments, it will be understood that it is not intended to limit the invention to those particular embodiments. On the contrary, it is intended to cover all alternatives, modifications and equivalents as may be included in the appended claims. Some specific figures and source code languages are mentioned, but it is to be understood that such figures and languages are, however, given as examples only and are not intended to limit the scope of this invention in any manner.
What is claimed is:
- 16 -
USlDOCS 6373065v2

Claims

1. A method for preventing deadlock in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node, the method comprising: for each link in the interconnection topology associating a set of virtual channels, each virtual channel having corresponding communication buffers to store communication data and each virtual channel having an associated virtual channel identifier; for each communication between a source processing node and a target processing node, assigning an initial virtual channel to convey the communication from the source processing node; at an intermediate processing node, assigning a different virtual channel to convey the communication toward the target processing node, wherein the assignment of the different virtual channel is in accordance with pre-defined rules to avoid a cycle of dependency of communication buffer resources; and receiving the communication at the target processing node.
2. The method of claim 1 wherein each processing node is assigned a processing node identifier, and wherein the rules to avoid a cycle of dependency consider the processing node identifiers of the intermediate processing node in relation to the immediately prior processing node and the immediately subsequent processing node in the route of the communication through the topology.
3. The method of claim 2 wherein the processing node identifiers are numbers and wherein the rules determine if the intermediate processing node has a greater identifier than the identifiers of both the immediately prior processing node and the immediately subsequent processing node and if so the rules decrement the virtual channel assignment for the communication.
4. The method of claim 1 wherein a communication from a source processing node to a target processing node passes through a plurality of intermediate processing nodes and
- 17 -
USlDOCS 6373065 v2 wherein the virtual channel assignment is changed a plurality of times in the route of the communication through the topology.
5. The method of claim 1 wherein the defined interconnection topology is a Kautz topology of plural degree and plural diameter.
6. The method of claim 5 wherein the initial channel identifier is a function of the diameter of the topology.
7. The method of claim 3 wherein the topology and processing node identifiers are known in advance and wherein each processing node includes a programmable register to indicate whether a virtual channel identifier should be changed on a given route, said programmable registers being programmed in accordance with the known topology and processing node identifiers and in accordance with the pre-defined rules.
8. A large scale multiprocessor computer system, comprising: a large plurality of processing nodes; a defined interconnection topology having links interconnecting the processing nodes; wherein each processing node includes link logic to transmit data on, and receive data from, links connected to the processing node, communication buffers to store communication data from the links; and virtual channel assignment logic to associate a virtual channel identifier with a communication buffer, wherein the virtual channel assignment logic includes logic to assign an initial virtual channel for a communication if the node is the source of the communication, and wherein the virtual channel assignment logic includes logic to dynamically and conditionally assign a different virtual channel to a communication in which the processing node is an intermediate node in the communication, wherein the logic to dynamically assign a different virtual channel uses pre-defined rules to determine if a different virtual channel should be assigned, and wherein the predefined rules avoid a cycle of dependency of communication buffer resources.
- 18 -
USlDOCS 6373065v2
9. The system of claim 8 wherein each processing node is assigned a processing node identifier, and wherein the predefined rules to avoid a cycle of dependency consider the processing node identifiers of an intermediate processing node in relation to the immediately prior processing node and the immediately subsequent processing node in the route of the communication through the topology.
10. The system of claim 1 wherein the defined interconnection topology is a Kautz topology of plural degree and plural diameter.
11. A method of preventing livelock in a multiprocessor computer system having a large plurality of processing nodes interconnected by a defined interconnection topology, in which a communication from a source processing node to a target processing node may pass through one or more intermediate nodes en route to the target processing node, and in which each processing node has a plurality of input links and a plurality of egress links, the method comprising: for each link in the interconnection topology associating a set of virtual channels, each virtual channel having an associated virtual channel identifier; for each communication between a source processing node and a target processing node, assigning a virtual channel to convey the communication; at a processing node in the route of the communication, buffering communication data from the plurality of input links in cross point buffers, each communication at least specifying a virtual channel identifier; a subset of the cross point buffers bidding for use of the same one egress link; arbitrating among the subset of cross point buffers and selecting a communication based on predetermined arbitration rules; identifying the virtual channel of the selected communication; determining whether any of the other communications bidding for use of the egress link are associated with the identified virtual channel and if so whether any communication has been waiting longer than the selected communication;
- 19 -
USI DOCS 6373065v2 allowing a communication bidding for use of the egress link and associated with the identified virtual channel and that has been waiting longer than the selected communication to use the egress link before the selected communication.
12. The method of claim 11 further including the act of recording in a history structure which crosspoint buffer has used the egress link and the virtual channel identifier for the communication when the egress link was used, and wherein the method consults the history structure to determine whether a communication has been waiting longer to use the egress link.
13. The method of claim 11 wherein each cross point buffer includes a set of buffers for holding communications and wherein the cross point buffer selects a buffer to bid for use based on a least recently used rule.
14. A large scale multiprocessor computer system, comprising: a large plurality of processing nodes; a defined interconnection topology having links interconnecting the processing nodes; wherein each processing node includes link logic to transmit data on, and receive data from, links connected to the processing node, crosspoint buffers to store communication data from the links; virtual channel assignment logic to associate a virtual channel identifier with a communication buffer in the crosspoint buffers, and egress link arbitration logic to receive bids for use of an egress link from the crosspoint buffers, and to select a communication from one of the bidding crosspoint buffers based on predetermined arbitration rules, said egress link arbitration logic further including logic to grant access to the egress link to a communication bidding for use of the egress link that has been waiting longer than the selected communication and that is associated with the virtual channel of the selected communication if such a communication is bidding, or to the selected communication if such a communication is not bidding.
- 20 -
USl DOCS 6373065v2
15. The system of claim 14 further including a history structure to record which crosspoint buffer has used the egress link and the virtual channel identifier for the communication when access to the egress link was granted, and wherein the egress link arbitration logic consults the history structure to determine whether a communication has been waiting longer to use the egress link.
- 21 -
USl DOCS 6373065v2
PCT/US2007/082830 2006-11-08 2007-10-29 System and method for preventing deadlock in richly-connected multi-processor computer system WO2008057821A2 (en)

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
US11/594,420 2006-11-08
US11/594,420 US7773617B2 (en) 2006-11-08 2006-11-08 System and method for arbitration for virtual channels to prevent livelock in a richly-connected multi-processor computer system
US11/594,426 2006-11-08
US11/594,426 US7773618B2 (en) 2006-11-08 2006-11-08 System and method for preventing deadlock in richly-connected multi-processor computer system using dynamic assignment of virtual channels

Publications (2)

Publication Number Publication Date
WO2008057821A2 true WO2008057821A2 (en) 2008-05-15
WO2008057821A3 WO2008057821A3 (en) 2009-04-02

Family

ID=39365207

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2007/082830 WO2008057821A2 (en) 2006-11-08 2007-10-29 System and method for preventing deadlock in richly-connected multi-processor computer system

Country Status (1)

Country Link
WO (1) WO2008057821A2 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116627873A (en) * 2023-04-26 2023-08-22 上海天数智芯半导体有限公司 Annular bus structure, deadlock prevention method, AI chip and electronic equipment

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6094686A (en) * 1997-10-24 2000-07-25 Compaq Computer Corporation Multi-processor system for transferring data without incurring deadlock using hierarchical virtual channels
US6674720B1 (en) * 1999-09-29 2004-01-06 Silicon Graphics, Inc. Age-based network arbitration system and method
US7047322B1 (en) * 2003-09-30 2006-05-16 Unisys Corporation System and method for performing conflict resolution and flow control in a multiprocessor system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6094686A (en) * 1997-10-24 2000-07-25 Compaq Computer Corporation Multi-processor system for transferring data without incurring deadlock using hierarchical virtual channels
US6674720B1 (en) * 1999-09-29 2004-01-06 Silicon Graphics, Inc. Age-based network arbitration system and method
US7047322B1 (en) * 2003-09-30 2006-05-16 Unisys Corporation System and method for performing conflict resolution and flow control in a multiprocessor system

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
GANESAN ET AL.: 'Wormhole Routing in deBruijn Networks and Hyper-deBruijn Networks' PROCEEDINGS OF 2003 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, [Online] 25 May 2003, Retrieved from the Internet: <URL:http://ieeexplore.ieee.org/ie1518570/27130/01205158.pdf> [retrieved on 2008-02-23] *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116627873A (en) * 2023-04-26 2023-08-22 上海天数智芯半导体有限公司 Annular bus structure, deadlock prevention method, AI chip and electronic equipment
CN116627873B (en) * 2023-04-26 2024-03-15 上海天数智芯半导体有限公司 Annular bus structure, deadlock prevention method, AI chip and electronic equipment

Also Published As

Publication number Publication date
WO2008057821A3 (en) 2009-04-02

Similar Documents

Publication Publication Date Title
US7773616B2 (en) System and method for communicating on a richly connected multi-processor computer system using a pool of buffers for dynamic association with a virtual channel
US7773618B2 (en) System and method for preventing deadlock in richly-connected multi-processor computer system using dynamic assignment of virtual channels
US10853282B2 (en) Arbitrating portions of transactions over virtual channels associated with an interconnect
KR102459838B1 (en) A matrix of on-chip routers interconnecting a plurality of processing engines and a method of routing using thereof
US7643477B2 (en) Buffering data packets according to multiple flow control schemes
US20040078482A1 (en) Optimized scalable network switch
KR20010023195A (en) Router with virtual channel allocation
JP3492852B2 (en) Waiting time reduction and route arbitration method for network message routing device
JP4255833B2 (en) Tagging and arbitration mechanisms at the input / output nodes of computer systems
US6721816B1 (en) Selecting independently of tag values a given command belonging to a second virtual channel and having a flag set among commands belonging to a posted virtual and the second virtual channels
US6681274B2 (en) Virtual channel buffer bypass for an I/O node of a computer system
US7773617B2 (en) System and method for arbitration for virtual channels to prevent livelock in a richly-connected multi-processor computer system
JP4391819B2 (en) I / O node of computer system
WO2008057821A2 (en) System and method for preventing deadlock in richly-connected multi-processor computer system
Ahmad Investigating the effect of virtual channel on the performance of network-on-chip
Ravindran et al. Issues in the Design of Direct Multiprocessor Networks
JP2000090060A (en) Credit-based message protocol for overrun protection by multiprocessor computer system

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 07863613

Country of ref document: EP

Kind code of ref document: A2

NENP Non-entry into the national phase in:

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 07863613

Country of ref document: EP

Kind code of ref document: A2