Part I: A theory for deadlock-free dynamic network reconfiguration

IEEE Transactions on Parallel and Distributed Systems

Volumn 16, Issue 5, 2005, Pages 412-427

  Duato, José ^a   Lysne, Olav ^b   Pang, Ruoming ^c   Pinkston, Timothy M ^d  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b SIMULA RESEARCH LABORATORY   (Norway)

^c Princeton University   (United States)

^d University of Southern California ^*  (United States)

Author keywords

Deadlock freedom theory; Dynamic reconfiguration; Interconnection network; System reliability and availability

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; SERVERS; THEOREM PROVING;

DEADLOCK FREEDOM THEORY; DYNAMIC RECONFIGURATION;

INTERCONNECTION NETWORKS;

EID: 20344367291     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/TPDS.2005.58     Document Type: Article

References (17)

1. J. Duato, S. Yalamanchili, and L. Ni, Interconnection Networks: An Engineering Approach. Morgan Kauffman, 2003.
2. F.J. Quiles, J.L. Sanchez, R. Casado, A. Bermudez, and J. Duato, "A Protocol for Deadlock-Free Dynamic Reconfiguration in High-Speed Local Area Networks," IEEE Trans. Parallel and Distributed Systems, special issue on dependable network computing, vol. 12, no. 2, pp. 115-132, Feb. 2001.
3. N. Natchev, D. Avresky, and V. Shurbanov, "Dynamic Reconfiguration in High-Speed Computer Clusters," Proc. Int'l Conf. Cluster Computing, pp. 380-387, Oct. 2001.
4. T.M. Pinkston, R. Pang, and J. Duato, "Deadlock-Free Dynamic Reconfiguration Schemes for Increased Network Dependability," IEEE Trans. Parallel and Distributed Systems, vol. 14, no. 8, pp. 780-794, Aug. 2003.
5. O. Lysne and J. Duato, "Fast Dynamic Reconfiguration in Irregular Networks," Proc. Int'l Conf. Parallel Processing, pp. 449-458, Aug. 2000.
6. InfiniBand™ Architecture Specification Volume 1. InfiniBand Trade Assoc., Oct. 2000.
7. J. Duato, "A New Theory of Deadlock-Free Adaptive Routing in Wormhole Networks," IEEE Trans. Parallel and Distributed Systems, vol. 4, no. 12, pp. 1320-1331, Dec. 1993.
8. J. Duato and T.M. Pinkston, "A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources," IEEE Trans. Parallel and Distributed Systems, vol. 12, no. 12, Dec. 2001.
9. J. Duato, "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks," IEEE Trans. Parallel and Distributed Systems, vol. 6, no. 10, pp. 1055-1067, Oct. 1995.
10. J. Duato, "A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks," IEEE Trans. Parallel and Distributed Systems, vol. 7, no. 8, pp. 841-854, Aug. 1996.
11. Y. Tamir and G. Frazier, "Dynamically-Allocated Multi-Queue Buffers for VLSI Communication Switches," IEEE Trans. Computers, vol. 41, no. 6, pp. 725-734, June 1992.
12. S. Warnakulasuriya and T.M. Pinkston, "A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks," IEEE Trans. Parallel and Distributed Systems, vol. 11, no. 2, pp. 212-229, Mar. 2000.
13. O. Lysne, T.M. Pinkston, and J. Duato, "Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes," IEEE Trans. Parallel and Distributed Processing, vol. 16, no. 5, pp. 428-443, 2005.
14. M.D. Schroeder et al., "Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links," IEEE J. Selected Areas in Comm., vol. 9, no. 8, pp. 1318-1335, Oct. 1991.
15. A.M. Turing, "On Computable Numbers, with an Application to the Entscheidungsproblem," Proc. London Math. Soc., vol. 2, no. 42, pp. 230-265, 1936.
16. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming (Reprint of Paper from 1969)," Comm. of the ACM, vol. 26, no. 1, pp. 53-56, Jan. 1983.
17. D. Jacobs and D. Gries, "General Correctness: A Unification of Partial and Total Correctness," Acta Informatica, vol. 22, no. 1, pp. 67-83, Apr. 1985.