Skip to main content
Top
Published in: Photonic Network Communications 1/2020

Open Access 03-09-2019 | Original Paper

Rearrangeable \(2 \times 2\) elastic optical switch with two connection rates and spectrum conversion capability

Authors: Wojciech Kabaciński, Remigiusz Rajewski, Atyaf Al-Tameemi

Published in: Photonic Network Communications | Issue 1/2020

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this study, we consider simultaneous connection routing in the three-stage switching fabric of the wavelength-space-wavelength architecture for elastic optical switches, which serve connections that can occupy different spectrum widths. Recently, the upper bound of the rearrangeability conditions was derived and proved for a switching fabric serving a limited number of connection rates. A control algorithm based on matrix decomposition was also proposed. In addition, the necessary and sufficient conditions were derived and proved for a switching fabric with a size of \(2 \times 2\) serving only two connection rates, but only when the ratios between the connection rates and link capacity are integers. In this study, we extend these results to an arbitrary ratio between the connection rates and link capacity. The number of frequency slot units required in the interstage links is much lower than that in the strict-sense nonblocking switching fabrics. We also propose modifications to the control algorithm, which further reduces the number of frequency slot units required in many cases. Finally, we extend the results for \(2 \times 2\) switching fabrics to those with a size of \(r \times r\).
Notes

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

1 Introduction

In an elastic optical network, also known as flexible optical network, the spectrum is allocated to a lightpath according to the required spectrum and with certain granularity [13]. The smallest spectrum granularity is often called a Frequency Slot Unit (FSU). A spectrum assigned to one connection is called a frequency slot, and it may use m adjacent FSUs. A connection that uses m FSUs is called an m-slot connection. In the current standards, FSU has a width of 12.5 GHz [4] but other values may be standardized in the future. The spectrum assigned to a lightpath depends on several factors, such as the required transmission speed, distance that needs to be covered, path quality, wavelength spacing between channels, and/or the modulation scheme used [2, 3, 5, 6]. In the current optical networks that mostly serve static traffic, the connections are known in the network design stage and the network can use only space switches without wavelength conversion. However, connections may change in time when the traffic changes from static to dynamic. Dynamic traffic results in spectrum fragmentation and a greater blocking probability [5].
The connections served in elastic optical network must be also served by switching nodes. Several architectures have been proposed for these switching nodes in previous studies [710], which were surveyed briefly [11]. One of these switching fabric architectures is the wavelength–space–wavelength (W–S–W) switching fabric [12], which is referred to as WSW1 [10]. This architecture is also considered in the present study.
The strict-sense nonblocking (SSNB) conditions (necessary and sufficient) for WSW1 were provided and proved in a previous study [12]. In SSNB switching fabrics, we can establish a connection from an idle set of FSUs at any input fiber to an idle set of FSUs at a requested output fiber regardless of how the other connections are established. However, the problem is that these SSNB switching fabrics require a huge number of FSUs in the interstage links, especially when the maximum number of FSUs that may be used by one connection is high.
SSNB switching fabrics usually require a large number of switching elements (crosspoints, centers stage switches, etc.), but this number can be reduced by applying rearrangements [13, 14]. In rearrangeably nonblocking (RNB) switching fabrics, we can also connect any idle input and idle output pair, but it may be necessary to move the existing connections to alternate connecting paths. RNB switching fabrics are mostly used in packet switching, where the packets in synchronously operated (slotted) networks arrive at all inputs at the same time. A model describing these requests is called a simultaneous connection model and a set of requests is referred to as a set of compatible connections or simply a permutation [13, 14, 16]. The RNB conditions for space-division three-stage Clos switching fabrics [15] were derived in previous studies [13, 16]. The RNB conditions for time-division switching networks with single-rate connections were considered by [17]. In addition, the RNB conditions for switching networks with multirate connections were obtained by [18].
In the case of elastic optical switches for the W–S–W architecture, two differences in the switching fabrics were considered by [18]: (1) a W–S–W switching fabric with no conversion capability but all of the switches are able to switch in time and space; and (2) connections with no adjacency constraints. According to [10], in the case of the SSNB conditions, the lack of conversion capability in the center stage switches and an adjacency constraint increases the required number of center stage switches or the number of FSUs in the interstage links. To the best of our knowledge, the RNB conditions for W–S–W switching fabrics for elastic optical nodes have only been considered in our recent previous study.
In [19], we first considered the upper bound for the RNB conditions of WSW1 switching fabrics, as well as providing the necessary and sufficient conditions for switching fabrics with two input and output fibers, and serving two connection rates. Another limitation is that the ratio between the connection rates as well as between the connection rates and the fiber capacity should be an integer.
In the present study, we extend our previously reported results [19] in three ways. First, for the connections considered in this study, we assume that the ratio between the connection rates and fiber capacity is not a whole number. This extension may appear simply theoretical, but this assumption is quite practical when we consider that although the guard-band is not needed between FSUs belonging to the same connection, the FSUs that are used by two different connections must be separated by the guard-band of 1 FSU, i.e., 1-slot and 2-slot connections become 2-slot and 3-slot connections, when this guard-band is included in the connection size. Elastic optical networks with two connection rates may be an attractive option for data center networks (DCNs), where traditional optical networks and switches currently allow reductions in power consumption [23] and latency [24]. For instance, the application of elastic optical networks in DCNs was considered by [24]. Second, we propose two different merging algorithms for reducing the number of FSUs required in the interstage links. Third, we show how the solution proposed for \(2 \times 2\) switching fabrics can be used to control switching fabrics with a size of \(r \times r\).
The reminder of this paper is organized as follows. In Sect. 2, we present the switching fabric and describe the problem. We also show why traditional simultaneous connection routing algorithms designed for three-stage Clos type switching fabrics cannot be used directly and modifications are required. In Sect. 3, we describe the model used in this study. We propose the matrix model for state representation and illustrate the basic characteristics and properties of this model. In Sect. 4, we present two control algorithms, which are based on merging permutation matrices. The first algorithm proposed in our previous study [19] and the second algorithm uses a different approach for merging permutation matrices. In Sect. 5, we derive and prove the sufficient conditions for the rearrangeability of \(2 \times 2\) WSW1 switching fabrics for both control algorithms. We assume that this switching fabric serves two connection rates, but there are no restrictions on the ratios between the connection rates and fiber capacity. We also show how the results derived for the \(2 \times 2\) switching fabric can be extended to switching fabrics with a size of \(r \times r\). In Sect. 6, we compare the results obtained by using both algorithms in terms of the number of FSUs required in the interstage links. Finally, we give our conclusions.

2 Problem statement

In general, the WSW1 switching architecture has r input and output fibers as described in detail by [12]. In the present study, we mainly consider switching fabrics where \(r=2\), and we then show how the proposed algorithms can be used in case when \(r>2\). An example of this type of switching fabric is shown in Fig. 1, where it comprises two bandwidth-variable wavelength converting switches (BV-WSs) in the first and third stages, and one bandwidth-variable wavelength selective space switch (BV-SS) with a capacity of \(2 \times 2\) in the second stage. Each BV-WS in the first stage has one input fiber with n FSUs (\(n=5\) in the example) and one output fiber with k FSUs, whereas each BV-WS in the third stage has one input fiber with k FSUs and one output fiber with n FSUs. The internal architectures of the BV-WSs and BV-SS were described by [12]. The switching fabric serves m-slot connections, where m is limited to two values of \(m_1\) and \(m_2\), and \(m_2 > m_1\). We also assume that the BV-WSs have full range conversion capability, i.e., an m-slot connection that uses a set of m adjacent FSUs at the input fiber can be switched to a set of any other m adjacent FSUs at the output fiber. This conversion from any input to any output FSU is possible only if the converters are working in the full range; otherwise, an algorithm is needed to assign connections to converters depending on the required conversion range such that all of the connections can be switched correctly through the switching fabric. The number of these converters and their range should also be derived. Therefore, these FSUs must be routed by using m adjacent FSUs at the interstage links. Let us consider an m-slot connection from input \(I_i\), which occupies FSUs from x to \(x+m-1\), to output switch \(O_j\) with FSUs assigned from y to \(y+m-1\). This connection is denoted by \((I_{1}[x],~O_{2}[y],~m)\).
The problem of routing connections in the switching fabric considered can be viewed as similar to routing connections in the three-stage Clos network. The switching fabric presented in Fig. 1 has a set of 2-slot and 3-slot connections for simultaneous setup. The three-stage Clos switching fabric model is presented in Fig. 2. In this model, each input switch in WSW1 is represented by one space switch in the first stage. Each FSU in the input fiber corresponds to one input link in the respective space switch in Fig. 2, and each FSU in the output fiber corresponds to one output link in the respective space switch in Fig. 2. Each FSU in the interstage links corresponds to one space switch in the center stage in Fig. 2. These connections can be represented by the connection matrix \(\varvec{\mathrm {H}}= \begin{bmatrix}{\begin{matrix}3&{}2\\ 2&{}3\end{matrix}}\end{bmatrix}\), which can be decomposed using the Neiman algorithm [2022] into the following five permutation matrices: \(\varvec{\mathrm {P}_{1}}=\begin{bmatrix}{\begin{matrix}1&{}0\\ 0&{}1\end{matrix}}\end{bmatrix}\), \(\varvec{\mathrm {P}_{2}}=\begin{bmatrix}{\begin{matrix}1&{}0\\ 0&{}1\end{matrix}}\end{bmatrix}\), \(\varvec{\mathrm {P}_{3}}=\begin{bmatrix}{\begin{matrix}0&{}1\\ 1&{}0\end{matrix}}\end{bmatrix}\), \(\varvec{\mathrm {P}_{4}}=\begin{bmatrix}{\begin{matrix}1&{}0\\ 0&{}1\end{matrix}}\end{bmatrix}\), and \(\varvec{\mathrm {P}_{5}}=\begin{bmatrix}{\begin{matrix}0&{}1\\ 1&{}0\end{matrix}}\end{bmatrix}\). Each permutation matrix represents the connections routed through one switch in the middle stage. The FSUs belonging to connections represented by \(\varvec{\mathrm {P}_{1}}\) are set up through the first switch (or first FSUs in interstage links), for \(\varvec{\mathrm {P}_{2}}\) through the second switch, \(\varvec{\mathrm {P}_{3}}\) through the third switch, and similarly for \(\varvec{\mathrm {P}_{4}}\) and \(\varvec{\mathrm {P}_{5}}\). As a result, the first connection \((I_{1}[1],~O_{1}[3],~3)\) (marked in blue in Fig. 1) is set up through FSUs 1, 2, and 4 in the interstage link in Fig. 2, which is not correct because these FSUs are not adjacent, but this is required according to [4]. The same problem occurs with the connection \((I_{1}[4],~O_{2}[1],~2)\) (marked in orange in Figs. 1 and 2), which is set up through FSUs 3 and 5, and connection \((I_{2}[3],~O_{2}[3],~3)\) (marked in green in Figs. 1 and 2) with the assigned FSUs 1, 2, and 4. This example shows that the problem of routing simultaneous connections in WSW1 appears to be similar to routing in the three-stage Clos network, but there are important differences, as follows:
(i)
Instead of finding connections that can be set up through one center stage switch, we must find connections that can be set up using FSUs with the same sequence numbers in the interstage links.
 
(ii)
Connections can occupy FSUs with different sequence numbers, but the FSUs occupied by each connection must be adjacent.
 
The first problem is caused by the lack of conversion capabilities in the center-stage switch. Therefore, connection \((I_{1}[x_1],~O_{2}[y_1],~m)\) can be set up through m FSUs by starting from \(x_2\) in the link from \(I_1\) and by starting from \(y_2\) in the link to \(O_2\) only if \(x_2 = y_2\). The second problem is related to the standard [4] and the manner in which modulation formats occupy the bandwidth. For these reasons, the algorithms and solutions used for Clos networks cannot be used directly in the switching fabric considered. In the present study, we consider the simultaneous connection model. It is assumed that we have a set of compatible connection requests, i.e., connection requests occupy as many FSUs as possible in each input and output fibers. Thus, in such set, no more \(m_2\)-slot and \(m_1\)-slot connection requests can be added.
The set of compatible connections is denoted by \({\mathbb {C}}\) and an example of this type of set in a \(2 \times 2\) switching fabric with \(n = 10\) is shown in Fig. 3. Five connections of two types need to be set up comprising two 4-slot connections, and three 3-slot connections. Therefore, the problem is determining which FSUs in the interstage links should be used by these connections and how many FSUs are needed to set up all possible sets of compatible connections, i.e., when the switching fabric is RNB. For instance, connections \((I_{1}[1],~O_{2}[1],~3)\) and \((I_{2}[1],~O_{1}[1],~4)\) are directed from different input switches to different output switches, so they are not in conflict in the BV-SS and they can be set up using the same FSUs numbered from 1 to 4 in the interstage links (FSU number 4 will remain free in the first interstage link). When all of the connections are set up, the number of FSUs required in the interstage links is 11. However, this set of connections can be set up in a different way, as shown in Fig. 4. In this case, connections \((I_{1}[1],~O_{2}[1],~3)\) and \((I_{1}[4],~O_{2}[8],~3)\) are set up using FSUs with the same sequence numbers as connection \((I_{2}[1],~O_{1}[1],~4)\), and the number of FSUs required in the interstage links is 10. Both approaches are considered in Sects. 4 and  5, where the RNB conditions are derived for these algorithms.

3 Model description

In this study, we use the model proposed by [19], but we focus only on the \(2 \times 2\) switching fabric, where we do not impose any limits on the ratio between n, \(m_1\), and \(m_2\). Let \({\mathbb {C}}\) be set up in the WSW1 switching fabric, and it contains only connections with two rates: \(m_1\) and \(m_2\), where \(m_1 < m_2\). For instance, in the set of connection requests presented in Fig. 3, \(m_1=3\) and \(m_2=4\). We use two connection matrices denoted by \(\varvec{\mathrm {H}^{m_{1}}}\) and \(\varvec{\mathrm {H}^{m_{2}}}\) to represent the connection requests and each matrix represents the connection requests for one connection rate. The matrix \(\varvec{\mathrm {H}^{m_{x}}}\) represents \(m_x\)-slot connections, where \(x=1,2\), and it is defined as follows:
$$\begin{aligned} \varvec{\mathrm {H}^{m_{x}}}= \begin{bmatrix} h_{11}^{m_{x}}&h_{12}^{m_{x}}\\ h_{21}^{m_{x}}&h_{22}^{m_{x}}\\ \end{bmatrix}, \end{aligned}$$
(1)
where \(h_{ij}^{m_{x}}\) is equal to the number of \(m_x\)-slot connection requests from switch \(I_i\) to switch \(O_j\). For instance, the connection matrices for the set of connection requests in Fig. 3 are as follows:
$$\begin{aligned} \varvec{\mathrm {H}^{m_{1}}} = \begin{bmatrix}1&2\\0&0\end{bmatrix},~~\varvec{\mathrm {H}^{m_{2}}} = \begin{bmatrix}0&0\\1&1\end{bmatrix}. \end{aligned}$$
(2)
The set of matrices \(\varvec{\mathrm {H}^{m_{x}}}\) has the following properties:
  • for each row i,
    $$\begin{aligned} \sum _{j=1}^{2}\left\{ \sum _{x=1}^{2}\left( h_{ij}^{m_{x}} \cdot m_x\right) \right\} \leqslant n, \end{aligned}$$
    (3)
  • and for each column j,
    $$\begin{aligned} \sum _{i=1}^{2}\left\{ \sum _{x=1}^{2}\left( h_{ij}^{m_{x}} \cdot m_x\right) \right\} \leqslant n. \end{aligned}$$
    (4)
Formula (3) states that the sum of FSUs used by all connection requests from one input fiber is not greater than n. When \(\big \lfloor {n \over m_2}\big \rfloor\) and \(\big \lfloor {n \over m_1}\big \rfloor\) are not integers, the number of occupied FSUs may be less than n. Formula (4) provides the same condition for the output fibers, where it states that the number of FSUs used by the connection requests to one output fiber must also be no greater than n.
We also use the following terms and notation:
  • \(a_{i}^{m_{x}}\) denotes the number of \(m_x\)-slot connection requests at input i: \(a_{i}^{m_{x}} = \sum _{j=1}^{2} h_{ij}^{m_{x}}\);
  • \(b_{j}^{m_{x}}\) denotes the number of \(m_x\)-slot connection requests at output j: \(b_{j}^{m_{x}} = \sum _{i=1}^{2} h_{ij}^{m_{x}}\);
  • \(a_{\max }^{m_{x}}\) denotes the maximum number of \(m_x\)-slot connection requests at one input: \(a_{\max }^{m_{x}} = \mathop {\max }\nolimits _{1 \leqslant i \leqslant 2} \left\{ a_{i}^{m_{x}} \right\}\);
  • \(a_{\min }^{m_{x}}\) denotes the minimum number of \(m_x\)-slot connection requests at one input: \(a_{\min }^{m_{x}} = \mathop {\min }\limits _{1 \leqslant i \leqslant 2} \left\{ a_{i}^{m_{x}} \right\}\);
  • \(b_{\max }^{m_{x}}\) denotes the maximum number of \(m_x\)-slot connection requests at one output: \(b_{\max }^{m_{x}} = \mathop {\max }\limits _{1 \leqslant j \leqslant 2} \left\{ b_{j}^{m_{x}} \right\}\);
  • \(b_{\min }^{m_{x}}\) denotes the minimum number of \(m_x\)-slot connection requests at one output: \(b_{\min }^{m_{x}} = \mathop {\min }\limits _{1 \leqslant j \leqslant 2} \left\{ b_{j}^{m_{x}} \right\}\);
  • \(c_{\max }^{m_{x}} = \max \left\{ a_{\max }^{m_{x}};~b_{\max }^{m_{x}}\right\}\);
  • \(c_{\min }^{m_{x}} = \min \left\{ a_{\min }^{m_{x}};~b_{\min }^{m_{x}}\right\}\).

4 Control algorithm

The problem of assigning FSUs to a particular connection request can be solved using the matrix decomposition algorithm. It is known that the square matrix \(\varvec{\mathrm {H}}\) can be decomposed into n permutation matrices when the sum of the elements in each row and each column is equal to n [13, 16]. However, this is not true in our case, so the decomposition algorithm must be modified.
We have a set of compatible connection requests \({\mathbb {C}}\). For each connection rate, \(\varvec{\mathrm {H}^{m_{x}}}\) is calculated in the first step. In the next step, \(a_{i}^{m_{x}}\) and \(b_{j}^{m_{x}}\) are calculated for each row and column, respectively. If these values are equal, \(\varvec{\mathrm {H}^{m_{x}}}\) can be decomposed into permutation matrices. If these numbers are not equal, “dummy” connection requests are added such that these sums will be equal to \(c_{\max }^{m_{x}} = \max \{a_{}^{m_{x}};~b_{}^{m_{x}}\}\). In fact, “dummy” connection requests are not present in the set of connections, but instead, they employ resources that are not used by the other connection requests represented in \(\varvec{\mathrm {H}^{m_{x}}},\) and they are only added to ensure the appropriate operation of the decomposition algorithm, and they are not set up in the switching fabric at the end.
Matrix \(\varvec{\mathrm {H}^{m_{x}}}\) is then decomposed into \(c_{\max }^{m_{x}}\) permutation matrices \(\varvec{\mathrm {P}_{i}^{m_{x}}}\), \(1 \leqslant i \leqslant c_{\max }^{m_{x}}\), using any known algorithm [2022]. One matrix \(\varvec{\mathrm {P}_{i}^{m_{x}}}\) represents a set of connections that can be set up through the interstage links using \(m_x\) FSUs with the same sequence numbers. Each entry \(p_{ij}=1\) denotes one connection request \((I_{i}[x],~O_{j}[y],~m_x)\). Finally, some permutation matrices elements representing “dummy” connection requests must be removed. As the result, some rows and columns in the permutation matrices will only contain “0” elements, and these matrices are called partial permutation matrices. For instance, in the following partial permutation matrix:
$$\begin{aligned} \begin{bmatrix} 0&0&0&0 \\ 0&1&0&0 \\ 0&0&0&0 \\ 0&0&1&0 \\ \end{bmatrix} \end{aligned}$$
rows 1 and 3, and columns 1 and 4 do not contain any “1” elements. Therefore, inputs 1 and 3, and outputs 1 and 4 remain unassigned in this matrix. The decomposition algorithm is presented in Algorithm 1.
In our case, from \(c_{\max }^{m_{x}}\) matrices \(\varvec{\mathrm {P}_{i}^{m_{x}}}\), \(c_{\min }^{m_{x}}\) matrices are full permutation matrices (where every row and every column contains exactly one nonzero entry of “1”), whereas \(\left( c_{\max }^{m_{x}} - c_{\min }^{m_{x}}\right)\) matrices are partial permutation matrices.
The example in Fig. 5 illustrates how the algorithm works. We have \(n=12\) FSUs in each input/output link. The switching fabric serves eight connections with sizes of \(m_1=2\) and \(m_2=5\). In the second input, we have two free FSUs, but they cannot be used by an additional 2-slot connection because we only have one free FSU in each output link. In this example, matrices \(\varvec{\mathrm {H}^{m_{x}}}\) are:
$$\begin{aligned} \varvec{\mathrm {H}^{m_{1}}} = \begin{bmatrix}3&3\\0&0\end{bmatrix},~~\varvec{\mathrm {H}^{m_{2}}} = \begin{bmatrix}0&0\\1&1\end{bmatrix}. \end{aligned}$$
(5)
We have \(a_{1}^{m_{1}} = 6\), \(a_{2}^{m_{1}} =0\), and \(b_{1}^{m_{1}} = b_{2}^{m_{1}} = 3\). In order to decompose this matrix, we have added six “dummy” connection requests in positions \(h_{21}^{m_{1}}\) and \(h_{22}^{m_{1}}\) (three of these connection requests for each position, where the connections are marked by gray circles), so we obtain:
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ6_HTML.png
(6)
This matrix can be decomposed into six permutation matrices, which are partial permutation matrices after removing the “dummy” connection requests:
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ7_HTML.png
(7)
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ8_HTML.png
(8)
These connection requests in the interstage links are implemented through FSUs with the sequence numbers shown in Table 1. Partial permutation matrix \(\varvec{\mathrm {P}_{1}^{m_{1}}}\) represents 2-slot connection \((I_{1}[1], O_{1}[6], 2),\) and it is set up using FSUs 1 and 2 in the interstage links, and \(\varvec{\mathrm {P}_{2}^{m_{1}}}\) represents 2-slot connection \((I_{1}[3],O_{1}[8],2)\) and it uses FSUs 3 and 4, and so on.
Table 1
Assignment of FSUs for connection requests \({\mathbb {C}}\) in Fig. 5
Permutation matrix
Connection
Assigned FSUs
\(\varvec{\mathrm {P}_{1}^{m_{1}}}\)
\((I_{1}[1],~O_{1}[6],~2)\)
1–2
\(\varvec{\mathrm {P}_{2}^{m_{1}}}\)
\((I_{1}[3],~O_{1}[8],~2)\)
3–4
\(\varvec{\mathrm {P}_{3}^{m_{1}}}\)
\((I_{1}[5],~O_{1}[10],~2)\)
5–6
\(\varvec{\mathrm {P}_{4}^{m_{1}}}\)
\((I_{1}[7],~O_{2}[6],~2)\)
7–8
\(\varvec{\mathrm {P}_{5}^{m_{1}}}\)
\((I_{1}[9],~O_{2}[8],~2)\)
9–10
\(\varvec{\mathrm {P}_{6}^{m_{1}}}\)
\((I_{1}[11],~O_{2}[10],~2)\)
11–12
\(\varvec{\mathrm {P}_{1}^{m_{2}}}\)
\((I_{2}[1],~O_{1}[1],~5)\)
13–17
\(\varvec{\mathrm {P}_{2}^{m_{2}}}\)
\((I_{2}[6],~O_{2}[1],~5)\)
18–22
For \(\varvec{\mathrm {H}^{m_{2}}}\) we have: \(a_{1}^{m_{2}} = 0\), \(a_{2}^{m_{2}} = 2\), and \(b_{1}^{m_{2}} = b_{2}^{m_{2}} = 1\). In order to decompose this matrix, we have added two “dummy” connection requests in positions \(h_{11}^{m_{2}}\) and \(h_{12}^{m_{2}}\) (positions with added connection requests are marked by gray circles), so we obtain:
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ9_HTML.png
(9)
This matrix can be decomposed into two permutation matrices, which are partial permutation matrices after removing the “dummy” connection requests:
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ10_HTML.png
(10)
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ11_HTML.png
(11)
The connections corresponding to \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{2}^{m_{2}}}\), and the numbers of assigned FSUs are also given in Table 1.
In the example considered, the number of FSUs required in the interstage links is 22 (\(k = 22\)) because Algorithm 1 assumes that each set of \(m_x\)-slot connections is set up through FSUs with different sequence numbers in the interstage links. However, the number of FSUs required can be reduced when some of the FSUs assigned for connection requests with size \(m_2\) can also be used by connection requests with size \(m_1\), or vice versa. For instance, in the example of Fig. 5, connection \((I_{2}[1],O_{1}[1],5)\) represented by \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) can use the same FSUs in the interstage links as connections \((I_{1}[7],O_{2}[6],2)\) and \((I_{1}[9],O_{2}[8],2)\) represented by \(\varvec{\mathrm {P}_{4}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{5}^{m_{1}}}\), respectively, because the “1” elements in \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{4}^{m_{1}}}\) (and in \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{5}^{m_{1}}}\) as well) are in different rows and columns:
$$\begin{aligned} \varvec{\mathrm {P}_{1}^{m_{2}}} = \begin{bmatrix}0&0\\1&0\end{bmatrix},~~\varvec{\mathrm {P}_{4}^{m_{1}}} = \varvec{\mathrm {P}_{5}^{m_{1}}} = \begin{bmatrix}0&1\\0&0\end{bmatrix}. \end{aligned}$$
(12)
Thus, we can say that matrices \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{4}^{m_{1}}}\) (and \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{5}^{m_{1}}}\)) can be merged together. In general, matrices \(\varvec{\mathrm {P}_{i}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) can be merged together when the result matrix is also a permutation (or a partial permutation) matrix. Matrices can be merged in two different ways:
(i)
Case 1 One matrix \(\varvec{\mathrm {P}_{}^{m_{2}}}\) can be merged with \(\big \lfloor {m_2 \over m_1}\big \rfloor\) matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\),
 
(ii)
Case 2\(\big \lceil {m_2 \over m_1}\big \rceil\) matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) can be merged with one matrix \(\varvec{\mathrm {P}_{}^{m_{2}}}\).
 
The algorithm is presented as Algorithm 2 with two options for \(t_1 = \big \lfloor {\frac{m_{2}}{m_{1}}}\big \rfloor\) and \(t_2 = \big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil\). The first option is denoted as MA1. It starts by checking the partial permutation matrix \(\varvec{\mathrm {P}_{i}^{m_{2}}}\) to determine which position element “1” is present. When this element is in row v and column w (\(h_{vw}^{m_{2}}=1\)), the algorithm looks for \(\varvec{\mathrm {P}_{i}^{m_{1}}}\) with \(a_{v}^{m_{1}}=0\) and \(b_{w}^{m_{1}}=0\). Up to \(\big \lfloor {m_2 \over m_1}\big \rfloor \varvec{\mathrm {P}_{i}^{m_{1}}},\) matrices can be merged with one \(\varvec{\mathrm {P}_{i}^{m_{2}}}\) matrix. This operation is repeated for each partial permutation matrix \(\varvec{\mathrm {P}_{i}^{m_{2}}}\).
The second option (Case 2) is denoted as MA2 and we merge \(\big \lceil {m_2 \over m_1}\big \rceil\) matrices \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) with one matrix \(\varvec{\mathrm {P}_{i}^{m_{2}}}\). The algorithm starts by finding element “1” in partial permutation matrix \(\varvec{\mathrm {P}_{i}^{m_{2}}}\). When \(h_{vw}^{m_{2}}=1\), MA2 searches for \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) where \(a_{v}^{m_{1}}=0\) and \(b_{w}^{m_{1}}=0\). If this matrix is present, \(\varvec{\mathrm {P}_{i}^{m_{2}}}\) and \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) can be merged together. Then, we check whether the next \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) can be merged with \(\varvec{\mathrm {P}_{i}^{m_{2}}}\). The merging process is finished when we have found \(\big \lceil {m_2 \over m_1}\big \rceil\) matrices \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) or there are no more \(\varvec{\mathrm {P}_{i}^{m_{2}}}\) or \(\varvec{\mathrm {P}_{j}^{m_{1}}}\) matrices.
Let us again consider the example shown in Fig. 5. When MA1 is used, partial permutation matrix \(\varvec{\mathrm {P}_{1}^{m_{2}}}\) can be merged with matrices \(\varvec{\mathrm {P}_{4}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{5}^{m_{1}}}\), and the connection requests corresponding to these matrices use FSUs from 1 to 5. The next partial permutation matrix \(\varvec{\mathrm {P}_{2}^{m_{2}}}\) can be merged with matrices \(\varvec{\mathrm {P}_{1}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{2}^{m_{1}}}\), and the connection requests corresponding to these matrices use FSUs from 6 to 10. Matrices \(\varvec{\mathrm {P}_{3}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{6}^{m_{1}}}\) are not merged and their connection requests use FSUs from 11 to 14. Figure 6 shows the state of the switching fabric, and Table 2 shows the merged permutation matrices and FSUs assigned to connection requests \({\mathbb {C}}\).
Table 2
Assignment of FSUs for connection requests \({\mathbb {C}}\) according to MA1
Permutation matrix
Merged permutation matrix
Connection
Merged connection
Assigned FSUs
\(\varvec{\mathrm {P}_{1}^{m_{2}}}\)
\((I_{2}[1],~O_{1}[1],~5)\)
1–5
\(\varvec{\mathrm {P}_{4}^{m_{1}}}\)
\((I_{1}[7],~O_{2}[6],~2)\)
1–2
\(\varvec{\mathrm {P}_{5}^{m_{1}}}\)
\((I_{1}[9],~O_{2}[8],~2)\)
3–4
\(\varvec{\mathrm {P}_{2}^{m_{2}}}\)
\((I_{2}[6],~O_{2}[1],~5)\)
6–10
\(\varvec{\mathrm {P}_{1}^{m_{1}}}\)
\((I_{1}[1],~O_{1}[6],~2)\)
6–7
\(\varvec{\mathrm {P}_{2}^{m_{1}}}\)
\((I_{1}[3],~O_{1}[8],~2)\)
8–9
\(\varvec{\mathrm {P}_{3}^{m_{1}}}\)
\((I_{1}[5],~O_{1}[10],~2)\)
11–12
\(\varvec{\mathrm {P}_{6}^{m_{1}}}\)
\((I_{1}[11],~O_{2}[10],~2)\)
13–14
When MA2 is used, the results obtained by the merging operations are shown in Table 3 and Fig. 7. In this case, \(\big \lceil {m_2 \over m_1}\big \rceil =3\) and matrices \(\varvec{\mathrm {P}_{4}^{m_{1}}}\), \(\varvec{\mathrm {P}_{5}^{m_{1}}}\), and \(\varvec{\mathrm {P}_{6}^{m_{1}}}\) can be merged with matrix \(\varvec{\mathrm {P}_{1}^{m_{2}}}\), where the respective connection requests use FSUs from 1 to 6. In the same manner, matrices \(\varvec{\mathrm {P}_{1}^{m_{1}}}\), \(\varvec{\mathrm {P}_{2}^{m_{1}}}\), and \(\varvec{\mathrm {P}_{3}^{m_{1}}}\) can be merged with matrix \(\varvec{\mathrm {P}_{2}^{m_{2}}}\), and their connection requests use FSUs from 7 to 12.
Table 3
Assignment of FSUs for connection requests \({\mathbb {C}}\) according to MA2
Permutation matrix
Merged permutation matrix
Connection
Merged connection
Assigned FSUs
\(\varvec{\mathrm {P}_{4}^{m_{1}}}\)
\((I_{1}[7],~O_{2}[6],~2)\)
1–2
\(\varvec{\mathrm {P}_{5}^{m_{1}}}\)
\((I_{1}[9],~O_{2}[8],~2)\)
3–4
\(\varvec{\mathrm {P}_{6}^{m_{1}}}\)
\((I_{1}[11],~O_{2}[10],~2)\)
5–6
\(\varvec{\mathrm {P}_{1}^{m_{2}}}\)
\((I_{2}[1],~O_{1}[1],~5)\)
1–5
\(\varvec{\mathrm {P}_{1}^{m_{1}}}\)
\((I_{1}[1],~O_{1}[6],~2)\)
7–8
\(\varvec{\mathrm {P}_{2}^{m_{1}}}\)
\((I_{1}[3],~O_{1}[8],~2)\)
9–10
\(\varvec{\mathrm {P}_{3}^{m_{1}}}\)
\((I_{1}[5],~O_{1}[10],~2)\)
11–12
\(\varvec{\mathrm {P}_{2}^{m_{2}}}\)
\((I_{2}[6],~O_{2}[1],~5)\)
7–11
Therefore, the number of FSUs required is reduced from 22 to 14 when using MA1, whereas MA2 reduces this number to 12. The numbers of FSUs required with both merging algorithms are considered in the two theorems presented in the next section.

5 Rearrangeable conditions

Next, we need to determine how many FSUs are needed in the interstage links to implement all possible sets of compatible connections using the decomposition algorithm together with one of the proposed merging algorithms.
Theorem 1
The\(2 \times 2\)WSW1 switching fabric is RNB form-slotconnections, where\(m\in \{m_1;~m_2\}\)under MA1 if:
$$\begin{aligned} k_{\mathrm{MA1}}^{2} \geqslant \left\lfloor {\frac{n}{m_2}}\right\rfloor \cdot m_2 + \left( \left\lfloor {\frac{n}{m_1}}\right\rfloor - \left\lfloor {\frac{n}{m_2}}\right\rfloor \cdot \left\lfloor {\frac{m_2}{m_1}}\right\rfloor \right) \cdot m_1. \end{aligned}$$
(13)
Proof
Let \({\mathbb {C}}\) denote a set of compatible connection requests. We have two connection rates, \(m_1\) and \(m_2\), and all of the connection requests in \({\mathbb {C}}\) are represented by matrices \(\varvec{\mathrm {H}^{m_{1}}}\) and \(\varvec{\mathrm {H}^{m_{2}}}\). These matrices can be decomposed into \(c_{\max }^{m_{1}}\) and \(c_{\max }^{m_{2}}\) permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{}^{m_{2}}}\), respectively. Each \(\varvec{\mathrm {P}_{}^{m_{x}}}\) matrix represents a set of \(m_x\)-slot connection requests that can be set up using FSUs with the same sequence numbers in the interstage links. From these \(\varvec{\mathrm {P}_{}^{m_{x}}}\), only \(c_{\min }^{m_{1}}\) and \(c_{\min }^{m_{2}}\) matrices are full permutation matrices. \(\left( c_{\max }^{m_{1}}-c_{\min }^{m_{1}}\right)\) for \(\varvec{\mathrm {P}_{}^{m_{1}}}\) and \(\left( c_{\max }^{m_{2}}-c_{\min }^{m_{2}}\right)\) for \(\varvec{\mathrm {P}_{}^{m_{2}}}\) are partial permutation matrices, i.e., at most \(\left( c_{\max }^{m_{2}}-c_{\min }^{m_{2}}\right)\) matrices \(\varvec{\mathrm {P}_{}^{m_{2}}}\) can be merged with at most \(\left( c_{\max }^{m_{1}}-c_{\min }^{m_{1}}\right)\) matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\).
The number of FSUs required in interstage links k for \({\mathbb {C}}\) is given by the following formula:
$$\begin{aligned} k_{\mathrm{MA1}}^{2} \geqslant&\, c_{\min }^{m_{1}} \cdot m_1 + c_{\min }^{m_{2}}\cdot m_2 + \left( c_{\max }^{m_{2}} - c_{\min }^{m_{2}}\right) \cdot m_2 \nonumber \\&+ \left( \left( c_{\max }^{m_{1}} - c_{\min }^{m_{1}}\right) - \left( c_{\max }^{m_{2}} - c_{\min }^{m_{2}}\right) \cdot \left\lfloor {\frac{m_{2}}{m_{1}}}\right\rfloor \right) \cdot m_1. \end{aligned}$$
(14)
\(c_{\min }^{m_{1}} \cdot m_1\) is the number of FSUs used by the connection requests represented in full permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\). We have \(c_{\min }^{m_{1}}\) such matrices and each uses \(m_1\) FSUs. Similarly, there are \(c_{\min }^{m_{2}}\)\(\varvec{\mathrm {P}_{}^{m_{2}}}\) full permutation matrices and each occupies \(m_2\) FSUs. Each partial permutation matrix \(\varvec{\mathrm {P}_{}^{m_{2}}}\) needs \(m_2\) FSUs, and there are \(\left( c_{\max }^{m_{2}} - c_{\min }^{m_{2}}\right)\) of these matrices. Finally, from \(\left( c_{\max }^{m_{1}} -\right.\)\(\left. c_{\min }^{m_{1}}\right)\) partial permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\), \(\big \lfloor {\frac{m_{2}}{m_{1}}}\big \rfloor\) of these matrices can be merged with each partial permutation matrix \(\varvec{\mathrm {P}_{}^{m_{2}}}\) and each from the remaining \(\varvec{\mathrm {P}_{}^{m_{1}}}\) uses \(m_1\) FSUs.
Formula (14) can be simplified to:
$$\begin{aligned} k_{\mathrm{MA1}}^{2} \geqslant&c_{\max }^{m_{2}} \cdot m_2\nonumber \\&+ \,\left( c_{\max }^{m_{1}} - \left( c_{\max }^{m_{2}} - c_{\min }^{m_{2}}\right) \cdot \left\lfloor {\frac{m_{2}}{m_{1}}}\right\rfloor \right) \cdot m_1. \end{aligned}$$
(15)
Formula (15) must be maximized over all possible sets \({\mathbb {C}}\). \(c_{\max }^{m_{x}}\) represents the maximum number of \(m_x\)-slot connection requests in one of the inputs or outputs, so the number of these requests will never be greater than \(\big \lfloor {{\frac{n}{m_{x}}}}\big \rfloor\). It should be noted that when \(c_{\max }^{m_{x}}\) is maximized, \(c_{\min }^{m_{x}}\) is minimized, i.e., when \(c_{\max }^{m_{2}}=\big \lfloor {{\frac{n}{m_{2}}}}\big \rfloor\), which is the maximum number of \(m_2\)-slot connections in one link, the number of \(m_1\)-slot connections in this link is minimized. When we enter \(c_{\max }^{m_{1}}=\big \lfloor {{\frac{n}{m_{1}}}}\big \rfloor\), \(c_{\max }^{m_{2}}=\big \lfloor {{\frac{n}{m_{2}}}}\big \rfloor\), and \(c_{\min }^{m_{2}}=0\) into formula (15), we obtain the following.
$$\begin{aligned} k_{\mathrm{MA1}}^{2} \geqslant \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2 + \left( \left\lfloor {{\frac{n}{m_{1}}}}\right\rfloor - \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot \left\lfloor {\frac{m_{2}}{m_{1}}}\right\rfloor \right) \cdot m_1 \end{aligned}$$
(16)
\(\square\)
Theorem 2
The\(2 \times 2\)WSW1 switching fabric is RNB form-slotconnections, where\(m\in \{m_1;~m_2\}\)under MA2 if:
$$\begin{aligned} k_{\mathrm{MA2}}^{2} \geqslant\,&\left\lfloor { \frac{n-\left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2}{m_{1}} }\right\rfloor \cdot m_1 + \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2 \nonumber \\&+ \,\left( \left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil \cdot m_1 - m_2 \right) \left\lfloor { \frac{\left\lfloor {{\frac{n}{m_{1}}}}\right\rfloor - \left\lfloor {\frac{n - \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2}{m_1}}\right\rfloor }{\left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil } }\right\rfloor . \end{aligned}$$
(17)
Proof
Similarly as in Theorem 1, matrices \(\varvec{\mathrm {H}^{m_{1}}}\) and \(\varvec{\mathrm {H}^{m_{2}}}\) representing \({\mathbb {C}}\) can be decomposed into \(c_{\max }^{m_{1}}\) and \(c_{\max }^{m_{2}}\) permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{}^{m_{2}}}\), respectively. We have \(c_{\min }^{m_{1}}\) and \(c_{\min }^{m_{2}}\) full permutation matrices where each uses \(m_1\) and \(m_2\) FSUs, respectively. The remaining of matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) and \(\varvec{\mathrm {P}_{}^{m_{2}}}\) are partial permutation matrices. In MA2, we merge \(\big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil\) partial permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) with one partial permutation matrix \(\varvec{\mathrm {P}_{}^{m_{2}}}\). We have \(\left( c_{\max }^{m_{2}}-c_{\min }^{m_{2}}\right)\) partial permutation matrices \(\varvec{\mathrm {P}_{}^{m_{2}}}\), and when \(\big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil\)\(\varvec{\mathrm {P}_{}^{m_{1}}}\) matrices are merged with one \(\varvec{\mathrm {P}_{}^{m_{2}}}\), we have \(\big (\big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil \cdot m_1 - m_2\big )\) free FSUs between two successive \(m_2\)-slot connections. We have \(\left( c_{\max }^{m_{1}}-c_{\min }^{m_{1}}\right)\) partial permutation matrices \(\varvec{\mathrm {P}_{}^{m_{1}}}\) so we can merge them with up to \(\left\lfloor {\frac{c_{\max }^{m_{1}}-c_{\min }^{m_{1}}}{\big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil }}\right\rfloor\)\(\varvec{\mathrm {P}_{}^{m_{2}}}\) permutation matrices. In this case, the number of FSUs required in interstage links k is given by the following formula:
$$\begin{aligned} k_{\mathrm{MA2}}^{2} \geqslant\,&c_{\min }^{m_{1}} \cdot m_1 + c_{\min }^{m_{2}} \cdot m_2 + \left( c_{\max }^{m_{2}}-c_{\min }^{m_{2}}\right) \cdot m_2 \nonumber \\&+ \,\left( \left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil \cdot m_1 - m_2\right) \cdot \left\lfloor {\frac{c_{\max }^{m_{1}}-c_{\min }^{m_{1}}}{\left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil }}\right\rfloor . \end{aligned}$$
(18)
Inequality (18) can be simplified to:
$$\begin{aligned} k_{\mathrm{MA2}}^{2} \geqslant\,&c_{\min }^{m_{1}} \cdot m_1 + c_{\max }^{m_{2}} \cdot m_2 \nonumber \\&+\, \left( \left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil \cdot m_1 - m_2\right) \cdot \left\lfloor {\frac{c_{\max }^{m_{1}}-c_{\min }^{m_{1}}}{\left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil }}\right\rfloor . \end{aligned}$$
(19)
Inequality (19) must be maximized through all possible sets \({\mathbb {C}}\) and it reaches the maximum when \(c_{\max }^{m_{2}}\) is maximized, \(c_{\max }^{m_{1}}\) is maximized, and \(c_{\min }^{m_{1}}\) is also maximized (since \(m_1 \geqslant\, \big \lceil {\frac{m_{2}}{m_{1}}}\big \rceil \cdot m_1 - m_2\)). The respective maximum values are:
  • \(c_{\max }^{m_{2}} = \big \lfloor {{\frac{n}{m_{2}}}}\big \rfloor\), i.e., all connections in one link are \(m_2\)-slot connections;
  • \(c_{\max }^{m_{1}} = \big \lfloor {{\frac{n}{m_{1}}}}\big \rfloor\), i.e., all connections in one link are \(m_1\)-slot connections;
  • \(c_{\min }^{m_{1}} = \left\lfloor {\frac{n-\lfloor {{\frac{n}{m_{2}}}}\rfloor \cdot m_2}{m_1}}\right\rfloor\), i.e., the number of \(m_1\)-slot connections that can be implemented in the link already serving \(\big \lfloor {{\frac{n}{m_{2}}}}\big \rfloor\)\(m_2\)-slot connections.
By entering these values in formula (19), we obtain the following.
$$\begin{aligned} k_{\mathrm{MA2}}^{2} \geqslant\,&\left\lfloor { \frac{n-\left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2}{m_{1}} }\right\rfloor \cdot m_1 + \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2 \nonumber \\&+ \left( \left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil \cdot m_1 - m_2 \right) \left\lfloor { \frac{\left\lfloor {{\frac{n}{m_{1}}}}\right\rfloor - \left\lfloor {\frac{n - \left\lfloor {{\frac{n}{m_{2}}}}\right\rfloor \cdot m_2}{m_1}}\right\rfloor }{\left\lceil {\frac{m_{2}}{m_{1}}}\right\rceil } }\right\rfloor \end{aligned}$$
(20)
\(\square\)
It should be noted that when \(\frac{m_{2}}{m_{1}}\), \({\frac{n}{m_{1}}}\), and \({\frac{n}{m_{2}}}\) are integers, the conditions given in Theorems 1 and 2 reduce to the result proved in our previous study [19], i.e., \(k_{\mathrm{MA1}} = k_{\mathrm{MA2}} = k \geqslant n.\)
The proposed algorithms and derived conditions can be extended to the \(r \times r\) switching fabrics. In the following, we show how this can be conducted in the case when \(r=4\). The connection matrix:
https://static-content.springer.com/image/art%3A10.1007%2Fs11107-019-00858-8/MediaObjects/11107_2019_858_Equ21_HTML.png
(21)
can be divided into four submatrices in the following manner:
$$\begin{aligned} \begin{array}{llll} \varvec{\mathrm {H}_{11}^{m_{x}}} = &{} \begin{bmatrix}{\begin{matrix}h_{11}^{m_{x}}&{}h_{12}^{m_{x}}\\ h_{21}^{m_{x}}&{}h_{22}^{m_{x}}\end{matrix}}\end{bmatrix}, &{} \varvec{\mathrm {H}_{12}^{m_{x}}} = &{} \begin{bmatrix}{\begin{matrix}h_{13}^{m_{x}}&{}h_{14}^{m_{x}}\\ h_{23}^{m_{x}}&{}h_{24}^{m_{x}}\end{matrix}}\end{bmatrix},\\ \\ \varvec{\mathrm {H}_{21}^{m_{x}}} = &{} \begin{bmatrix}{\begin{matrix}h_{31}^{m_{x}}&{}h_{32}^{m_{x}}\\ h_{41}^{m_{x}}&{}h_{42}^{m_{x}}\end{matrix}}\end{bmatrix}, &{} \varvec{\mathrm {H}_{22}^{m_{x}}} = &{} \begin{bmatrix}{\begin{matrix}h_{33}^{m_{x}}&{}h_{34}^{m_{x}}\\ h_{43}^{m_{x}}&{}h_{44}^{m_{x}}\end{matrix}}\end{bmatrix}. \end{array} \end{aligned}$$
(22)
The connections represented by matrices \(\varvec{\mathrm {H}_{11}^{m_{x}}}\) and \(\varvec{\mathrm {H}_{22}^{m_{x}}}\) (marked in gray in (21)) are not in conflict in the interstage links, so they can use FSUs with the same sequence numbers, and this also applies to the connections in \(\varvec{\mathrm {H}_{12}^{m_{x}}}\) and \(\varvec{\mathrm {H}_{22}^{m_{x}}}\). The number of FSUs required is then two times the value given by Eqs. (13) or (17), depending on the algorithm employed. This approach can also be used in the case when \(r=3\), by simply assuming that input 4 and output 4 are added, and in addition to the original requests, we have also requests between them. Therefore, we can simply conclude that the number of FSUs required when using MA1 is: \(k^r_{\mathrm{MA1}}= {\left\lceil {r/2}\right\rceil } \cdot k^2_{\mathrm{MA1}}\) and when using MA2, we obtain: \(k^r_{\mathrm{MA2}}= {\left\lceil {r/2}\right\rceil } \cdot k^2_{\mathrm{MA2}}\), where \(k^2_{\mathrm{MA1}}\) is given by (13) and \(k^2_{\mathrm{MA2}}\) is given by (17).

6 Comparisons

In Theorems 1 and 2, we proved two upper bounds for the RNB conditions under two merging algorithms in \(2 \times 2\) WSW1 switching fabrics that serve connections with two rates. Next, we need to determine which algorithm performs better, i.e., the algorithm that needs fewer FSUs in the interstage links. Let us consider the switching fabric with \(n = 160\) and 320 (these are practical values for the number of FSUs in the C-band of the optical fiber spectrum). For each case, we considered three values of \(m_1\) (2, 3, and 4) and set the range for \(m_2\) from \(m_1 + 1\) to 20.
The number of FSUs required for MA1 and MA2 are plotted in Fig. 8 (for \(n=160\)) and Fig. 9 (for \(n=320\)). These plots indicate that no general relationship shows when MA1 is better than MA2, or vice versa. For instance, for \(n=160\) and \(m_1 = 2\), MA2 requires no more FSUs than MA1 (\(k_{\mathrm{MA2}} \leqslant k_{\mathrm{MA1}}\)) in the considered range of \(m_2\). For \(m_1 \geqslant 3\), the relationship changes as follows. For \(m_1 = 3\) and \(m_2 = 4\) we have \(k_{\mathrm{MA1}} = 199 < k_{\mathrm{MA2}} = 212\), but when \(m_2 = 5\) the relationship changes to \(k_{\mathrm{MA1}} = 223 > k_{\mathrm{MA2}} = 186\). When \(m_2 = 6\), we have \(k_{\mathrm{MA1}} = k_{\mathrm{MA2}} = 159\). When \(m_2\) is increased further, the number of required FSUs required is sometimes better with MA1 and sometimes with MA2, and these numbers are also equal in some cases.
A similar relationship can be observed for \(n = 320\) (Fig. 9). For \(m_1 = 2\), MA2 is always no worse than MA1 for the considered range of \(m_2\). When \(m_1 > 2\), for each combination of connection sizes \(m_1\) and \(m_2\), we must check the algorithm that requires fewer FSUs in the interstage links. It should be noted that parameters, such as n, \(m_1\), and \(m_2\) are usually known at the design stage for the switching fabric and the optical network because they define the connection requests that can be served in the network.
The results obtained in this study cannot be compared in a fair manner with the SSNB conditions proposed previously [12] because they were derived for all connection rates from 1 to \(m_{\max }\), and thus they are not valid for two arbitrary connection rates. Similarly, the RNB conditions proposed by [19] are only valid when \(\frac{m_{2}}{m_{1}}\), \({\frac{n}{m_{1}}}\), and \({\frac{n}{m_{2}}}\) are integers. At present, we are not aware of any other RNB conditions published in other studies.

7 Conclusions

In this study, we proposed two versions of merging algorithms that can be used for simultaneous connections routing in \(2 \times 2\) WSW1 switching fabrics that serve connections with two rates: \(m_1\) and \(m_2\). We did not impose any restrictions on the relationship between \(m_1\), \(m_2\), and n unlike our previous study [19]. When \(\frac{m_{2}}{m_{1}}\), \({\frac{n}{m_{1}}}\), and \({\frac{n}{m_{2}}}\) are integers, the proposed RNB conditions reduce to the known results proved in the previous study by [19]. Depending on \(m_1\) and \(m_2\), different merging algorithms (MA1 or MA2) may yield better results and less FSUs might be required in the interstage links.
For example, the switching fabric considered in this study can be used in DCNs that employ 2-slot and 3-slot connections are employed, where the former can provide connections with speed of 100 Gb/s whereas the latter can provide a transmission speed of 400 Gb/s [25]. When 10 FSUs can be used by one Top-of-Rack (ToR) router (i.e., two times 2-slot and two times 3-slot connections can be set up), the DCN can serve a data center comprising up to 64 racks when 320 FSUs are used in the C-band of the optical spectrum. In the case when five FSUs are assigned to one ToR router, the number of connected racks can be increased to 128.
The proposed results give the upper bound for the RNB conditions which are close to the lower bound results for n provided by [19]. The proposed algorithms can be extended for use in switching fabrics with higher connection rates. However, the number of ways in which the partial permutations can be merged increases rapidly and it is difficult to derive mathematical formules for the required number of FSUs. We will address this problem in future research, as well as testing other approaches for representing the set of connection requests and algorithms for routing them. In this study, we demonstrated how this model can be used for \(r \times r\) switching fabrics with two connection rates. It should be noted that this is still the upper bound and the sufficient and necessary conditions still remain open problems.

Acknowledgements

The work of Wojciech Kabaciński and Remigiusz Rajewski were supported by the National Science Centre, Poland (NCN) under Grant UMO-2016/21/B/ST7/ 02257 (ERP: 08/ 84/PNCN/2257), and Atyaf Al-Tameemi was supported by funding by the Ministry of Science and Higher Education, Poland.

Compliance with ethical standards

Conflict of interest

The authors declare that they have no conflict of interest.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://​creativecommons.​org/​licenses/​by/​4.​0/​), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Literature
1.
go back to reference López, V., Velasco, L.: Elastic Optical Networks. Architectures, Technologies, and Control. Springer, Basel (2016) López, V., Velasco, L.: Elastic Optical Networks. Architectures, Technologies, and Control. Springer, Basel (2016)
2.
go back to reference Jinno, M., Takara, H., Kozicki, B., Tsukishima, Y., Sone, Y., Matsuoka, S.: Spectrum-efficient and scalable elastic optical path network: architecture, benefits, and enabling technologies. IEEE Commun. Mag. 47(November), 66–73 (2009)CrossRef Jinno, M., Takara, H., Kozicki, B., Tsukishima, Y., Sone, Y., Matsuoka, S.: Spectrum-efficient and scalable elastic optical path network: architecture, benefits, and enabling technologies. IEEE Commun. Mag. 47(November), 66–73 (2009)CrossRef
3.
go back to reference Gerstel, O., Jinno, M., Lord, A., Yoo, S.J.B.: Elastic optical networking: a new dawn for the optical layer? IEEE Commun. Mag. 50(February), S12–S20 (2012)CrossRef Gerstel, O., Jinno, M., Lord, A., Yoo, S.J.B.: Elastic optical networking: a new dawn for the optical layer? IEEE Commun. Mag. 50(February), S12–S20 (2012)CrossRef
4.
go back to reference ITU-T Recommendation G.694.1. Spectral grids for WDM applications: DWDM frequency grid. In: International Telecommunication Union–Telecommunication Standardization Sector (ITU-T) (2012) ITU-T Recommendation G.694.1. Spectral grids for WDM applications: DWDM frequency grid. In: International Telecommunication Union–Telecommunication Standardization Sector (ITU-T) (2012)
5.
go back to reference Tomkos, I., Azodolmolky, S., Sole-Pareta, J., Careglio, D., Palkopoulou, E.: A tutorial on the flexible optical networking paradigm: state of the art, trends, and research challenges. Proc. IEEE 102(9), 1317–1337 (2014)CrossRef Tomkos, I., Azodolmolky, S., Sole-Pareta, J., Careglio, D., Palkopoulou, E.: A tutorial on the flexible optical networking paradigm: state of the art, trends, and research challenges. Proc. IEEE 102(9), 1317–1337 (2014)CrossRef
6.
go back to reference Proietti, R., Liu, L., Scott, R.P., Guan, B., Qin, C., Su, T., Giannone, F., Yoo, S.J.B.: 3D elastic optical networking in the temporal, spectral, and spatial domains. IEEE Commun. Mag. 53(2), 79–87 (2015)CrossRef Proietti, R., Liu, L., Scott, R.P., Guan, B., Qin, C., Su, T., Giannone, F., Yoo, S.J.B.: 3D elastic optical networking in the temporal, spectral, and spatial domains. IEEE Commun. Mag. 53(2), 79–87 (2015)CrossRef
7.
go back to reference Zhang, P., Li, J., Guo, B., He, Y., Chen, Z., Wu, H.: Comparison of node architectures for elastic optical networks with waveband conversion. China Commun. 8, 77–87 (2013) Zhang, P., Li, J., Guo, B., He, Y., Chen, Z., Wu, H.: Comparison of node architectures for elastic optical networks with waveband conversion. China Commun. 8, 77–87 (2013)
8.
go back to reference Chen, Y., Li, J., Zhu, P., Niu, L., Xu, Y., Xie, X., He, Y., Chen, Z.: Demonstration of petabit scalable optical switching with subband-accessibility for elastic optical networks. In: Opto Electronics and Communication Conference and Australian Conference on Optical Fibre Technology, OECC/ACOFT 2014, no. July, Melbourne, Australia, pp. 350–351 (2014) Chen, Y., Li, J., Zhu, P., Niu, L., Xu, Y., Xie, X., He, Y., Chen, Z.: Demonstration of petabit scalable optical switching with subband-accessibility for elastic optical networks. In: Opto Electronics and Communication Conference and Australian Conference on Optical Fibre Technology, OECC/ACOFT 2014, no. July, Melbourne, Australia, pp. 350–351 (2014)
9.
go back to reference Danilewicz, G., Kabaciński, W., Rajewski, R.: Strict-sense nonblocking space-wavelength-space switching fabrics for elastic optical network nodes. J. Opt. Commun. Netw. 8(10), 745–756 (2016)CrossRef Danilewicz, G., Kabaciński, W., Rajewski, R.: Strict-sense nonblocking space-wavelength-space switching fabrics for elastic optical network nodes. J. Opt. Commun. Netw. 8(10), 745–756 (2016)CrossRef
10.
go back to reference Kabaciński, W., Michalski, M., Rajewski, R.: Strict-sense nonblocking W–S–W node architectures for elastic optical networks. J. Lightw. Technol. 34(13), 3155–3162 (2016)CrossRef Kabaciński, W., Michalski, M., Rajewski, R.: Strict-sense nonblocking W–S–W node architectures for elastic optical networks. J. Lightw. Technol. 34(13), 3155–3162 (2016)CrossRef
11.
go back to reference Chatterjee, B.C., Sarma, N., Oki, E.: Routing and spectrum allocation in elastic optical networks: a tutorial. IEEE Commun. Surv. Tut. 17(3), 1776–1800 (2015)CrossRef Chatterjee, B.C., Sarma, N., Oki, E.: Routing and spectrum allocation in elastic optical networks: a tutorial. IEEE Commun. Surv. Tut. 17(3), 1776–1800 (2015)CrossRef
12.
go back to reference Kabaciński, W., Michalski, M., Abdulsahib, M.: The strict-sense nonblocking elastic optical switch. In: IEEE 15th Interconnection Conference on High Performance Switching and Routing (HSPR). Budapest, Hungary (July 2015) Kabaciński, W., Michalski, M., Abdulsahib, M.: The strict-sense nonblocking elastic optical switch. In: IEEE 15th Interconnection Conference on High Performance Switching and Routing (HSPR). Budapest, Hungary (July 2015)
13.
go back to reference Beneš, V.E.: Mathematical Theory of Connecting Networks and Telephone Traffic. Academic Press, Cambridge (1965)MATH Beneš, V.E.: Mathematical Theory of Connecting Networks and Telephone Traffic. Academic Press, Cambridge (1965)MATH
14.
go back to reference Kabaciński, W.: Nonblocking Electronic and Photonic Switching Fabrics. Springer, Berlin (2005) Kabaciński, W.: Nonblocking Electronic and Photonic Switching Fabrics. Springer, Berlin (2005)
15.
go back to reference Clos, C.: A study of non-blocking switching networks. Bell Syst. Tech. J. 32(2), 406–424 (1953)CrossRef Clos, C.: A study of non-blocking switching networks. Bell Syst. Tech. J. 32(2), 406–424 (1953)CrossRef
16.
go back to reference Hwang, F.: The Mathematical Theory of Nonblocking Switching Networks, vol. 15, 2nd edn. World Scientific Publishing Co., Inc., Hackensack (2004)CrossRef Hwang, F.: The Mathematical Theory of Nonblocking Switching Networks, vol. 15, 2nd edn. World Scientific Publishing Co., Inc., Hackensack (2004)CrossRef
17.
go back to reference Jajszczyk, A.: Rearrangeable switching networks composed of digital symmetrical matrices. In: Proceedings on IEEE Mediteranean Electrotechnical Conference, Athens, Greece, p. paper A4.11 (1983) Jajszczyk, A.: Rearrangeable switching networks composed of digital symmetrical matrices. In: Proceedings on IEEE Mediteranean Electrotechnical Conference, Athens, Greece, p. paper A4.11 (1983)
19.
go back to reference Kabaciński, W., Rajewski, R., Al-Tameemi, A.: Simultaneous connections routing in W–S–W elastic optical switches with limited number of connection rates. In: 21th International Conference on Optical Networks Design and Modeling, Budapest: IFIP, pp. 1–6. (2017) Kabaciński, W., Rajewski, R., Al-Tameemi, A.: Simultaneous connections routing in W–S–W elastic optical switches with limited number of connection rates. In: 21th International Conference on Optical Networks Design and Modeling, Budapest: IFIP, pp. 1–6. (2017)
20.
go back to reference Tsao-Wu, N.T.: On Neiman’s algorithm for the control of rearrangeable switching networks. IEEE Trans. Commun. COM–22(6), 737–742 (1974)CrossRef Tsao-Wu, N.T.: On Neiman’s algorithm for the control of rearrangeable switching networks. IEEE Trans. Commun. COM–22(6), 737–742 (1974)CrossRef
21.
go back to reference Jajszczyk, A.: A simple algorithm for the control of rearrangeable switching networks. IEEE Trans. Commun. COM–33(2), 169–171 (1985)MathSciNetCrossRef Jajszczyk, A.: A simple algorithm for the control of rearrangeable switching networks. IEEE Trans. Commun. COM–33(2), 169–171 (1985)MathSciNetCrossRef
22.
go back to reference Cardot, C.: Comments on “A simple algorithm for the control of rearrangeable switching networks”. IEEE Trans. Commun. COM–34(4), 395–395 (1986)CrossRef Cardot, C.: Comments on “A simple algorithm for the control of rearrangeable switching networks”. IEEE Trans. Commun. COM–34(4), 395–395 (1986)CrossRef
23.
go back to reference Barroso, L., Hölzle, U.: The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines. Morgan & Claypool, San Rafael (2009) Barroso, L., Hölzle, U.: The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines. Morgan & Claypool, San Rafael (2009)
24.
go back to reference Yoo, S., Yin, Y., Proietti, R.: Elastic optical networking and low-latency high-radix optical switches for future cloud computing. In: Proceedings on IEEE International Conference on Networking and Communications, pp. 1097–1101 (2013) Yoo, S., Yin, Y., Proietti, R.: Elastic optical networking and low-latency high-radix optical switches for future cloud computing. In: Proceedings on IEEE International Conference on Networking and Communications, pp. 1097–1101 (2013)
25.
go back to reference Zhou, X., Liu, H., Urata, R.: Datacenter optics: requirements, technologies, and trends. Chin. Opt. Lett. 15(5), 120008-1–120008-4 (2017) Zhou, X., Liu, H., Urata, R.: Datacenter optics: requirements, technologies, and trends. Chin. Opt. Lett. 15(5), 120008-1–120008-4 (2017)
Metadata
Title
Rearrangeable elastic optical switch with two connection rates and spectrum conversion capability
Authors
Wojciech Kabaciński
Remigiusz Rajewski
Atyaf Al-Tameemi
Publication date
03-09-2019
Publisher
Springer US
Published in
Photonic Network Communications / Issue 1/2020
Print ISSN: 1387-974X
Electronic ISSN: 1572-8188
DOI
https://doi.org/10.1007/s11107-019-00858-8

Other articles of this Issue 1/2020

Photonic Network Communications 1/2020 Go to the issue