Issue No. 09 - September (2010 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2009.174
Lev Levitin , Boston University, Boston
Mark Karpovsky , Boston University, Boston
Mehmet Mustafa , Boston University, Boston
The problem of preventing deadlocks and livelocks in computer communication networks, in particular, those with wormhole routing, is considered. The method to prevent deadlocks is to prohibit certain turns (i.e., the use of certain pairs of connected edges) in the routing process, in such a way that eliminates all cycles in the graph. We propose a new algorithm that constructs a minimal (irreducible) set of turns that breaks all cycles and preserves connectivity of the graph. The algorithm is tree-free and is considerably simpler than earlier cycle-breaking algorithms. We prove its properties and present lower and upper bounds for minimum cardinalities of cycle-breaking connectivity preserving sets for graphs of general topology as well as for planar graphs. In particular, the algorithm guarantees that not more than 1/3 of all turns in the network become prohibited. We also present experimental results on the fraction of prohibited turns, the distance dilation, as well as on the message delivery times and saturation loads for the proposed algorithm in comparison with known tree-based algorithms. The proposed algorithm outperforms substantially the tree-based algorithms in all characteristics considered.
Routing algorithms, deadlocks, livelocks, turn prohibition, wormhole routing.
Lev Levitin, Mark Karpovsky, Mehmet Mustafa, "Minimal Sets of Turns for Breaking Cycles in Graphs Modeling Networks", IEEE Transactions on Parallel & Distributed Systems, vol. 21, no. , pp. 1342-1353, September 2010, doi:10.1109/TPDS.2009.174