Networks derived from hypercubes form the architectural basis of most parallel computers, including machines such as the BBN Butterfly, the Connection Machine, the IBM RP3 and GF11, the Intel iPSC, and the NCUBE. The butterfly, in particular, is quite popular, and has been demonstrated to perform reasonably well in practice. An example of an 8-input butterfly is illustrated in Figure 1. The nodes in this graph represent switches, and the edges represent wires. Each node in the network has a distinct label , where r is the row, and l is the level. In a butterfly with N inputs, the row is a -bit binary number and the level is an integer between 0 and . The nodes on level 0 and are called the inputs and outputs, respectively. For , a node labeled is connected to nodes and , where denotes r with bit l complemented (bit 0 is the most significant, bit the least).
The primary duty of the network in a parallel machine is to route messages between its processors and/or memory modules. In a butterfly, messages are typically sent from the switches on level 0, called the inputs, to those on level , called the outputs. In a one-to-one routing problem, each input is the origin of at most one message, and each output is the destination of a most one message. One-to-one routing is also called permutation routing. All of the algorithms discussed in this paper route messages in a store-and-forward fashion. A store-and-forward algorithm treats messages as indivisible objects. At each step, a message can either remain at a switch or move in its entirety from one switch to another across an edge, provided that no other messages use the same edge at that step. Store-and-forward routing is also called packet switching, and messages are often referred to as packets. A related paper [2] extends the results of this paper for a different method of routing called circuit switching.
One of the nice features of the butterfly is that there is a simple algorithm for finding a path of length from any input to any output. Upon reaching switch , , a packet with destination compares r with R. If they are equal, the packet takes the edge to . If not, it takes the edge to . One problem with the butterfly is that this path is unique. As a consequence, if some switch or edge along the unique path from input i to output j (say) becomes congested or fails, then communication between input i and output j will be disrupted.
Figure 1: An 8-input butterfly network.