@article{10943, author = {Olav Lysne and Timothy Pinkston and Jose Duato}, title = {A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes}, abstract = {Dynamic network reconfiguration is defined as the process of changing from one routing function to another while the network remains up and running. The main challenge is in avoiding deadlock anomalies while keeping restrictions on packet injection and forwarding minimal. Current approaches either require virtual channels in the network or they work only for a limited set of routing algorithms and/or fault patterns. In this paper, we present a methodology for devising deadlock free and dynamic transitions between old and new routing functions that is consistent with recently proposed theory. The methodology is independent of topology, can be applied to any deadlock-free routing function, and puts no restrictions on the routing function changes that can be supported. Furthermore, it does not require any virtual channels to guarantee deadlock freedom. This research is motivated by current trends toward using increasingly larger Internet and transaction processing servers based on clusters of PCs that have very high availability and dependability requirements, as well as other local, system, and storage area network-based computing systems.}, year = {2005}, journal = {IEEE Transactions on Parallel and Distributed Systems}, volume = {16}, number = {5}, pages = {428-443}, month = {May}, publisher = {IEEE}, isbn = {1045-9219}, doi = {10.1109/TPDS.2005.59}, }