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

被引：27

作者：

Duato, J

Lysne, O

Pang, RM

Pinkston, TM

机构：

[1] Univ Politecn Valencia, DISCA, Valencia 46022, Spain

[2] Simula Res Lab, N-1325 Lysaker, Norway

[3] Princeton Univ, Dept Comp Sci, Princeton, NJ 08544 USA

[4] Univ So Calif, Dept Elect Engn, Comp Engn Div, Los Angeles, CA 90089 USA

来源：

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS | 2005年 / 16卷 / 05期

基金：

美国国家科学基金会;

关键词：

interconnection network; dynamic reconfiguration; deadlock-freedom theory; system reliability and availability;

D O I：

10.1109/TPDS.2005.58

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper develops theoretical support useful for determining deadlock properties of dynamic network reconfiguration techniques and also serves as a basis for the development of design methodologies useful for deriving deadlock- free reconfiguration techniques. It is applicable to interconnection networks typically used in multiprocessor servers, network- based computing clusters, and distributed storage systems, and also has potential application to system-on-chip networks. This theory builds on basic principles established by previous theories while pioneering new concepts fundamental to the case of dynamic network reconfiguration.

引用

页码：412 / 427

页数：16

共 17 条

[1] A protocol for deadlock-free dynamic reconfiguration in high-speed local area networks
Casado, R
Bermúdez, A
Duato, J
Quiles, FJ
Sánchez, JL
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, 12 (02) : 115 - 132
[2] A NECESSARY AND SUFFICIENT CONDITION FOR DEADLOCK-FREE ADAPTIVE ROUTING IN WORMHOLE NETWORKS
DUATO, J
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1995, 6 (10) : 1055 - 1067
[3] A NEW THEORY OF DEADLOCK-FREE ADAPTIVE ROUTING IN WORMHOLE NETWORKS
DUATO, J
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1993, 4 (12) : 1320 - 1331
[4] A necessary and sufficient condition for deadlock-free routing in cut-through and store-and-forward networks
Duato, J
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1996, 7 (08) : 841 - 854
[5] Duato J., 2001, IEEE T PARALLEL DIST, V12
[6] Duato J., 2003, INTERCONNECTION NETW
[7] Hoare C. A. R., 1983, Communications of the ACM, V26, P53, DOI 10.1145/357980.358001
[8] *INFINIBAND TRADE, 2000, INFINIBAND ARCH SPEC, V1
[9] GENERAL CORRECTNESS - A UNIFICATION OF PARTIAL AND TOTAL CORRECTNESS
JACOBS, D
GRIES, D
[J]. ACTA INFORMATICA, 1985, 22 (01) : 67 - 83
[10] Part II: A methodology for developing deadlock-free dynamic network reconfiguration processes
Lysne, O
Pinkston, TM
Duato, J
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2005, 16 (05) : 428 - 443

← 1 2 →