|CS-534: Packet Switch Architecture
|Department of Computer Science
© copyright: University of Crete, Greece
|[Lectures: 1. TST Ckt Sw, 5. Fabric Topologies]||[print version, in PDF]|
slide 23 (also shown below on the right),
we saw the 3-stage Clos network
(and, before that, its specialization, the Benes network).
There is an analogy --or even equivalence-- between these two systems in circuit switching (the analogy carries over to packet switching, with TST becoming an input-queued or CIOQ crossbar, and Clos becoming a "Parallel Packet Switch" (PPS)). The analogy goes as follows. Each of the Clos middle-stage switches implements one time slot of the TST crossbar inside a frame; there are N2 middle-stage switches in the Clos network, and there must be N2 time slots in each frame of the crossbar in the TST switch. The role of each input TSI in the TST is to "switch" in time any connection, from the arbitrary time slot that it arrives at, to an arbitrary time slot when the crossbar is available to serve it; correspondingly, the role of each first-stage switch in the Clos is to switch "in space" any connection, from the arbitrary input port that it enters on, to an arbitrary middle-stage switch that is available to serve it. The general Clos fabric has N1 first-stage switches, each of them of size INxN2; and there are N2 middle-stage switches, each of them of size N1xN3. The corresponding TST system has N1 input TSI's --one for each of the N1 input ports of the crossbar; each input TSI receives a frame consisting of IN time slots, and arbitrarily rearranges its contents placing them into a frame consisting of N2 time slots; the crossbar is of size N1xN3 and is shared among the N2 time slots in its frame (reconfigured N2 times per frame). Output TSI's in TST play a role corresponding to the third-stage switches in Clos, in a way analogous to input TSI's and first-stage switches.
In this exercise set we will study the way in which the input TSI's in a TST circuit switch should rearrange the incoming connections. To make it easier to think about the problem, we will formulate it using colors, as in the next figure. Colors, in our case, will correspond to outgoing links; in the figure there are n=4 outgoing links, so there are n=4 colors. For simplicity we will assume that the number of incoming links is also n, equal to the number of outgoing links, and that all liks have the same speed, hence the same number of slots in their frames --call this number m.
Let us call "crossbar schedule" the colored rectangular array shown in the figure; in this array, the horizontal direction corresponds to time (slots in a frame), the vertical direction corresponds to crossbar inputs, and the color corresponds to crossbar outputs, as discussed above. Our topic is the construction of this schedule; once the "schedule" is set, we know how to configure the crosspoint of the space switch during each time slot of the frame. The schedule corresponds to the frames produced by the input TSI's. Once the schedule is constructed, setting the TSI's so as to generate it is straightforward, so we will not discuss that here. Also, assigning specific connections (circuits) to specific entries in the schedule can be done in any random way, as long as an entry of the correct color (output) is used in the correct row (input) of the table. Thus, for our purposes here, all entries of the same color in the same row of the schedule are completely equivalent to each other and interchangeable. We can now formulate the inputs to our problem, and the constraints that the solution sought must satisfy.
For a given switch size n and frame size m, the input to our problem is the n x n array of numbers shown in the left of the figure. Each entry in this array specifies the number of connections (circuits) on a given incoming link to be switched onto a given outgoing link. Obviously, the sum of the numbers in each row (the total number of circuits on an incoming link) cannot exceed m (the frame size); similarly, the sum of the numbers in each column (the total number of circuits on an outgoing link) cannot exceed m. In one sense, the problem of schedule construction is hardest when the schedule is full, as in the figure, i.e. when all these horizontal and vertical sums are equal to m (in another sense, constructing a full schedule has some advantages --see exercise 9.3 below). The problem to be solved is the construction of a schedule for the given numbers of connections. A schedule is an n x m array of colors, as shown above, that satisfies the following constraints:
(a) To see this, construct the following small scenario. Consider a 3x3 switch (n=3) with a frame size of m=2. First, set-up a red connection on input a, then add a green connection on input b, and then another green connection on input c. Now, try various scenaria of adding more red or blue connections, in ways such that the new connections require or do not require rearrangement of the first three entries in the schedule.
(b) Can you modify your placement of the first three entries in the schedule of question (a) so that no new addition after that will require rearrangement?
(c) Make some scenaria similar to question (a) for a 3x3 switch (n=3) with a frame size of m=4.
This exercise 9.1 guides us to consider that algorithms for schedule construction should probably fall in one of two categories: either (i) the algorithm considers the connections in a random order, but then it must be prepared to rearrange schedule entries made earlier; or (ii) the algorithm must start with "global" knowledge of all connections to be made, and must then consider them in some particular "clever" order.
Next, we want to think whether a schedule always exists and work towards an algorithm for constructing a schedule for any given set of numbers of connections (that do not exceed line capacities), under the assumptions in this exercise set (equal number of crossbar inputs and outputs, equal frame size on inputs and outputs). This is a hard and beautiful problem, and it is worth thinking about it for a while.
After one column of the schedule is built, constructing the rest of the schedule is equivalent to constructing a schedule for a switch with frame size m-1 and for a connection-number array that results from the original array after subtracting 1 from each entry that corresponds to each of the colors and inputs that were included in the first column that was built. This is shown pictorially in the figure here, and it is equivalent to decomposing the original connection-number array into a sum of m "permutation" arrays (arrays like the one in the middle of this figure).
(a) Try to see whether this iterative algorithm will result in the construction of a valid schedule. A crucial point in to see whether it is always possible to find a full permutation of all colors in each and every step where a new column is built (without backtracking to rearrange previously made columns). Does it help to observe that the sums of the entries in the connection-number array, per row and per column, are all equal to m-i after the i-th step of the algorithm? Write your thoughts down, without spending an excessive amount of time to fully solve the problem.
(b) Think about, and discuss, various methods for constructing the permutations of colors that define the columns of the schedule during each step of the algorithm. Does it make a difference if you try to "consume" first the larger entries of the connection-number array, with the hope of ending up with few zero entries, or, conversely, if you try to consume first the smaller entries (the 1's), with the hope of ending up with many zero entries? Of course, a row or a column with a single non-zero entry immediately provides you with a uniquely-defined entry for the schedule, but does it also constrain you by making it harder to come up with the rest of the entries? Write your thoughts down, without spending an excessive amount of time to fully solve the problem.
Make some proposal(s) on how to adapt the algorithm of exercise 9.2 to non-fully utilized switches. Does the new algorithm look easier or harder? Apply your new algorithm to the scenaria of exercise 9.1(a). Where exactly in the algorithm is the point where a decision is made based on an "assumption" about future connections, such that, if the "assumption" turns out to be false, the schedule will have to be rearranged when the actual new connections arrive? Write your thoughts down, without spending an excessive amount of time to fully solve the problem.
|Up to the Home Page of CS-534
University of Crete, Greece.
Last updated: 2 May 2013, by M. Katevenis.