Title
Deadlock prevention by acyclic orientations
Abstract
Deadlock prevention for routing messages has a central role in communication networks, since it directly influences the correctness of parallel and distributed systems. In this paper, we extend some of the computational results presented in Second Colloquium on Structural Information and Communication Complexity (SIROCCO), Carleton University Press, 1995, pp. 1-12 on acyclic orientations for the determination of optimal deadlock-free routing schemes. In this context, minimizing the number of buffers needed to prevent deadlocks for a set of communication requests is related to finding an acyclic orientation of the network which minimizes the maximum number of changes of orientations on the dipaths realizing the communication requests. The corresponding value is called the rank of the set of dipaths.We first show that the problem of minimizing the rank is NP-hard if all shortest paths between the couples of nodes wishing to communicate have to be represented and even not approximable if only one shortest path between each couple has to be represented. This last result holds even if we allow an error which is any sublinear function in the number of couples to be connected.We then improve some of the known lower and upper bounds on the rank of all possible shortest dipaths between any couple of vertices for particular topologies, such as grids and hypercubes, and we find tight results for tori.
Year
DOI
Venue
2003
10.1016/S0166-218X(02)00232-9
Discrete Applied Mathematics
Keywords
Field
DocType
routing and communication in interconnection networks,shortest path,parallel algorithms,carleton university press,structural information,communication complexity,possible shortest dipaths,deadlock prevention,acyclic orientation,computational and structural complexity,second colloquium,communication request,maximum number,communication network,parallel algorithm
Discrete mathematics,Combinatorics,Shortest path problem,Deadlock,Directed graph,Directed acyclic graph,Communication complexity,Network topology,Deadlock prevention algorithms,Mathematics,Acyclic orientation
Journal
Volume
Issue
ISSN
129
1
Discrete Applied Mathematics
Citations 
PageRank 
References 
1
0.39
12
Authors
4
Name
Order
Citations
PageRank
Jean-claude Bermond159583.74
Miriam di Ianni214417.27
Michele Flammini368170.12
Stéphane Pérennès4443.42