這篇論文可區分為兩個部分。第一部分主要是討論特定多級互連網路（multistage interconnection network）的繞通性（routability）以及條件式非阻通性（conditional nonblocking property）。和目前存在於文獻中的架構相比，負載平衡交換機已經被證實為是一種更具有可行性的高速交換機架構。而在這篇論文中，我們提出了兩種多級互連網路，分別是漩渦網路（twister network）及退化性榕樹網路（degenerated banyan network），並探討如何利用這兩種多級互連網路（及其各自的條件式非阻通性）來達成目的：只用一組固定的硬體架構，便能實現任意輸入輸出埠數目的負載平衡交換機。其中，在光佇列（optical queueing）理論方面的進展，啟發了我們對於漩渦網路的設計；另一方面，退化性榕樹網路則是傳統榕樹網路的一種變形，可透過以特定方式保留傳統榕樹網路的一半輸入輸出埠所獲得。對這兩種多級互連網路，我們提出了一種對兩者通用的線卡更新規則。此規則能夠保證在新增或移除線卡時都不必更動（與此變動無關的）其他既有線卡，同時保證封包在這兩種架構中進行交換時，不僅具有自我繞送（self-routing）的特性，而且所有的繞送路徑都不會在交換網路中共用任何連結。

接著，我們討論了將 fat-tree 網路拓樸用以實現負載平衡交換機時會遭遇到的問題：所需的連結頻寬會由底部向上層成指數成長，同時導致位於上層的交換節點必須以具備大量輸入輸出埠的非阻通性交換機加以實現。在論文中，我們證明了位元倒置（bit-reverse）排列及其所有的循環位移（circular shift）排列不僅可作為負載平衡交換機的一組交換配對（connection pattern），同時由於這些排列均滿足均勻映射性（uniform mapping property），當我們採用 fat-tree 拓樸作為實現負載平衡交換機的硬體架構時，便能夠保證實現其中任一排列所需連結頻寬都只需要理論上的最低下限即可。此外，我們找到了一組特定的類榕樹網路（banyan-type network）可以進一步降低利用 fat-tree 拓樸來實現負載平衡交換機時的硬體複雜度，並同時保留了封包在類榕樹網路中交換時所應具備的自我繞送特性。

論文的第二部分，我們討論的是網路的穩定性。藉由網路微積分（network calculus）以及大偏離法則（large deviation principle）的幫助，我們首先提出針對有線網路環境的動態頁框演算法（dynamic frame sizing algorithm）並證明該演算法具有下列特性：所有網路內部節點暫存器的尺寸大小均只需要兩個封包便足夠，同時保證達到百分之百的網路效能（100% throughput），而這樣的保證並不需要任何預先關於外界輸入的資訊。另外，在動態頁框演算法中，整個網路的中央仲裁者（central arbitrator）只在每個頁框的開頭收集並傳送資訊給所有連結。而當所有連結接收到中央仲裁者所廣播的訊息之後，在每個時槽（time slot），所有的內部連結都可以自行決定在該時槽內所要傳送的封包。

接下來，我們將原本針對有線網路所發展出來的動態頁框演算法推廣至無線網路環境。在無線網路中，不同連結傳輸時可能會對彼此造成干擾，以致於同一時間只有某些特定的連結集合能夠同時傳輸信號，而在論文中我們將這樣的集合以向量的形式表示，稱為配置向量（configuration vector）。在這樣的限制下，我們發展出針對無線網路的動態頁框演算法。每個頁框的開始，中央仲裁者會藉由解決一個最佳化問題而找到該頁框應有的尺寸大小。而在該頁框的大小決定之後，封包排程則是透過階層式平穩排程（hierarchical smooth schedule）所達成：上層是對配置向量的排程，下層則是每條連結各自對流經該連結的群播資料流（multicast traffic flow）做排程。最後，我們同樣證明了，針對無線網路環境的動態頁框演算法仍然能夠保證網路內部各節點暫存均有個有限的上限值，同時在伯努利（Bernoulli）輸入的假設之下，能夠確保網路效能達到百分之百。

This thesis consists of two parts. The first part is devoted to the routability andconditional nonblocking properties of families of multistage interconnection networks(MINs). Moreover, as the load-balanced switches are much more scalable than other existing switching architecture in the literature, we show how these conditional nonblocking properties can be used to help implement load-balanced switches. First, to construct a universal load-balanced switch for an arbitrary number of linecards, we propose two special families of MINs, twister networks and degenerated banyan networks: the first one is inspired by the recent development of optical queueing theory, and the second one can be obtained by using only halves of input and output ports of classical banyan networks. Then, we depict a placement rule for adding a new linecard to both of these families of MINs so that all the existing linecards need not be changed, while the packets can still be self-routed and the routing paths are guaranteed to be link-disjoint.

We also consider the problem of implementation of load-balanced switches with fattree networks, where the link capacity has to be increased exponentially from the bottom of the tree to the root, and each node at higher level has to be thus constructed as a nonblocking switch with a large number of input/output lines. We show that the bitreverse
permutation and all its variants obtained by circular shifts, which all satisfy the uniform mapping property, can be used as a set of connection patterns of a load-balanced switch while the capacity of each link in the fat-tree is specified by the lower bound. Moreover, we found that a banyan-type network can be used to further reduce the implementation complexity of a fat-tree when used as a load-balanced switch, where the self-routing property is preserved.

In the second part of this thesis, we consider the stability of wired networks. By using the network calculus and the large deviation principle, we propose the Dynamic Frame Sizing (DFS) algorithm that not only needs only a buffer of size two at each internal node but also guarantees 100% throughput even if we have no prior information about arrival processes. Moreover, by using the DFS algorithm, each internal link makes its own decision independently at each time slot, whereas the central arbitrator only collects and broadcasts information once a frame.

We then extend our result for wired networks to wireless networks. In wireless networks, the transmission of each link might interfere with each other and thus only a certain set of links can transmit at the same time. The DFS algorithm for wireless networks also does not have a fixed frame size. An optimization problem needs to be solved at the beginning of each frame to determine the frame size. Once the frame size is determined, a hierarchical smooth schedule is devised to determine both the schedule for configuration vectors and the schedule for multicast traffic flows in each link. Under the assumption of Bernoulli arrival processes with admissible rates, we show that the number of packets of each multicast traffic flow inside the wireless network is bounded above by a constant
and thus one only requires to implement a finite internal buffer in each link in such a wireless network.

[1] M. Al-Fares, A. Loukissas, and A. Vahdat. A scalable, commodity data center network architecture. In ACM SIGCOMM 2008, Seattle, USA, August 2008.
[2] B. W. Arden and H. Lee. Analysis of chordal ring network. IEEE Transactions onComputers, C-30:291–295, 1981.
[3] A. S. Asratian, T. M. J. Denley, and R. Haggkvist. Bipartite Graphs and TheirApplications. Cambridge University Press, 1998.
[4] V. E. Benes. Mathematical Theory of Connecting Networks and Telephone Traffic. New York: Academic Press, 1965.
[5] C. S. Chang. Performance Guarantees in Communication Networks. London: Springer-Verlag, 2000.
[6] C. S. Chang, W. J. Chen, and H. Y. Huang. Birkhoff-von Neumann input buffered crossbar switches. In IEEE INFOCOM 2000, Tel Aviv, Israel, March 2000.
[7] C. S. Chang, J. Cheng, and D. S. Lee. SDL constructions of FIFO, LIFO and absolute contractors. In IEEE INFOCOM 2009, Rio de Janeiro, Brazil, April 2009.
[8] C. S. Chang, Y. H. Hsu, J. Chang, and D. S. Lee. Dynamic frame sizing algorithms for CICQ switches with logarithm delay. In IEEE INFOCOM 2009, Rio de Janeiro,
Brazil, April 2009.
[9] C. S. Chang, D. S. Lee, and Y. S. Jou. Load balanced Birkhoff-von Neumann switches, part I: one-stage buffering. Computer Communications, 25:611–622, 2002.
[10] C.-S. Chang, D.-S. Lee, Y.-J. Shih, and C.-L. Yu. Mailbox switch: a scalable twostage switch architecture for conflict resolution of ordered packets. IEEE Transactions
on Communications, 56:136–149, 2008.
[11] H. J. Chao, C. H. Lam, and E. Oki. Broadband Packet Switching Technologies: A Practical Guide to ATM Switches and IP Routers. John Wiley & Sons, Inc., 2001.
[12] H. J. Chao, J. Song, N. S. Artan, G. Hu, and S. Jiang. Byte-focal: a practical loadbalanced switch. In IEEE High Performance Switching and Routing 2005, Hong Kong, China, May 2005.
[13] P. Chaporkar and S. Sarkar. Stable scheduling policies for maximizing throughput in generalized constrained queueing networks. In IEEE INFOCOM 2006, Barcelona,
Spain, April 2006.
[14] C.-C. Chou, C.-S. Chang, D.-S. Lee, and J. Cheng. A necessary and sufficient condition for the construction of 2-to-1 optical fifo multiplexers by a single crossbar
switch and fiber delay lines. IEEE Transactions on Information Theory, 52:4519–4531, 2006.
[15] Inc. Cisco Systems. Entering the zettabyte era. White Paper, available on http://www.cisco.com/en/US/solutions/collateral/ns341/ns525/ns537/
ns705/ns827/VNI_Hyperconnectivity_WP.pdf, 2011.
[16] C. Clos. A study of nonblocking switching networks. BSTJ, 32:406–424, 1953.
[17] Y. Deng and T. T. Lee. Crosstalk-free conjugate networks for optical multicast switching. Journal of Lightwave Technology, 24:3635–3645, 2006.
[18] M. D. Dikaiakos, G. Pallis, D. Katsaros, P. Mehra, and A. Vakali. Cloud computing: Distributed internet computing for IT and scientific research. IEEE Internet Computing, 13:10–13, 2009.
[19] P. Giaccone, E. Leonardi, and D. Shah. Throughput region of finite-buffered networks. IEEE Transaction on Parallel and Distributed Systems, 18:251–263, 2007.
[20] C. Godsil and G. Royle. Algebraic Graph Theory. Springer-Verlag New York, Inc., 2001.
[21] A. Greenberg, J. Hamilton, D. A. Maltz, and P. Patel. The cost of a cloud: Research problems in data center networks. ACM SIGCOMM Computer Communication Review, 39:68–73, 2009.
[22] C. Hawkins, B. A. Small, D. S. Wills, and K. Bergman. The data vortex, an all optical path multicomputer interconnection network. IEEE Transactions on Parallel and Distributed Systems, 18:409–420, 2007.
[23] S.-M. He, S.-T. Sun, H.-T. Guan, Q. Zheng, Y.-J. Zhao, and W.Gao. On guaranteed smooth switching for buffered crossbar switches. IEEE Transaction on Networking,
16:718–731, 2008.
[24] H. Hossain, Md. M. Akbar, and Md. M. Islam. Extended-butterfly fat tree interconnection (EFTI) architecture for network on chip. In IEEE Pacific Rim Conference on Communications, Computers and signal Processing, Victoria, Canada, August 2005.
[25] J. J. Jaramillo, F. Milan, and R. Srikant. Padded frames: A novel algorithms for stable scheduling in load-balanced switches. IEEE/ACM Transactions on Networking,
16:1212–1225, 2008.
[26] I. Keslassy, S. T. Chung, and N. McKeown. A load-balanced switch with an arbitrary number of linecards. In IEEE INFOCOM 2004, Hong Kong, China, March 2004.
[27] I. Keslassy, S. T. Chung, K. Yu, D. Miller, M. Horowitz, O. Sloggard, and N. McKeown. Scaling internet routers using optics. In ACM SIGCOMM 2003, Karlsruhe,
Germany, September 2003.
[28] L. B. Le, E. Modiano, and N. B. Shroff. Optimal control of wireless networks with finite buffers. In IEEE INFOCOM 2010, San Diego, USA, March 2010.
[29] C. E. Leiserson. Fat-Trees: Universal networks for hardware-efficient supercomputing. IEEE Transaction on Computers, 34:892–901, 1985.
[30] S.-Y. R. Li. Algebraic Switching Theory and Broadband Applications. Academic Press, 2001.
[31] S.-Y. R. Li and X. J. Tan. Preservation of conditionally nonblocking switches under two-stage interconnection. IEEE Transactions on Communications, 55:973–980, 2007.
[32] C. M. Lien and C. S. Chang. Generalized dynamic frame sizing algorithm for finite internal-buffered networks. IEEE Communication Letters, 13:714–716, 2009.
[33] C. M. Lien, C. S. Chang, J. Cheng, D. S. Lee, and J. T. Liao. Twister networks and their applications to load-balanced switches. In IEEE IEEE INFOCOM 2010, San Diego, USA, March 2010.
[34] C. M. Lien, C. S. Chang, J. Cheng, D. S. Lee, and J. T. Liao. Using banyan networks for load-balanced switches with incremental update. In IEEE ICC 2010, Cape Town,
South Africa, May 2010.
[35] G. Maier and A. Pattavina. Design of photonic rearrangeable networks with zero first-order switching-element-crosstalk. IEEE Transactions on Communications,
49:1268–1279, 2001.
[36] M. A. Marsan, A. Bianco, P. Giaccone, E. Leonardi, and F. Neri. Multicast traffic in input-queued switches: Optimal scheduling and maximum throughput. IEEE Transaction on Networking, 11:465–477, 2003.
[37] H. Matsutani, M. Koibuchi, Y. Yamada, D. F. Hsu, and H. Amano. Fat H-Tree: A cost-efficient tree-based on-chip network. IEEE Transaction on Parallel and Distributed Systems, 20:1126–1141, 2009.
[38] N. McKeown, V. Anantharam, and J. Walrand. Achieving 100% throughput in an input-queued switch. In IEEE INFOCOM 1996, San Francisco, USA, March 1996.
[39] K. Padmanabhan and A. Netravali. Dilated networks for photonic switching. IEEE Transaction on Communications, 35:1357–1365, 1987.
[40] A. K. Parekh and R. G. Gallager. A generalized processor sharing approach to flow control in integrated service networks: the multiple node case. IEEE/ACM Transactions on Networking, 2:137–150, 1994.
[41] Sheldon M. Ross. Stochastic Processes. John Wiley & Sons, Inc., 1996.
[42] H. Sariowan, R.L. Cruz, and G.C. Polyzos. Scheduling for quality of service guarantees via service curves. In Proceedings of the International Conference on Computer
Communications and Networks, Washington, DC, USA, September 1995.
[43] M. Schwartz. Broadband Integrated Networks. Prentice Hall, 1996.
[44] G. Sharma, R. R. Mazumdar, and N. B. Shroff. On the complexity of scheduling in wireless networks. In MobiCom 2006, Los Angeles, USA, September 2006.
[45] L. Tassiulas and A. Ephremides. Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks. IEEE Transaction on Automatic Control, 37:1936–1948, 1992.
[46] M. M. Vaez and C.-T. Lea. Strictly nonblocking directional-coupler-based switching networks under crosstalk constraint. IEEE Transaction on Communications, 48:316–323, 2000.
[47] C. L. Wu and S. Y. Feng. The reverse-exchange interconnection network. IEEE Transaction on Computers, 29:801–811, 1980.
[48] Q. Yang and K. Bergman. Performances of the data vortex switch architecture under nonuniform and bursty traffic. J. Lightwave Technology, 20:1242–1247, 2002.