Issue No. 03 - March (2000 vol. 11)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.841739
<p><b>Abstract</b>—This paper presents a theoretical model of resource allocations and dependencies in wormhole and virtual cut-through interconnection networks. This model allows various types of message blocking to be described precisely, including deadlock. The model distinguishes between messages involved in deadlock and those simply dependent upon deadlock, thus establishing a framework for evaluating the accuracy and correctness of deadlock detection mechanisms. The paper also identifies the necessary and sufficient conditions for the occurrence and resolution of deadlock in interconnection networks, thus providing efficiency and correctness criteria for deadlock resolution mechanisms. Theorems derived from the model are related to various routing algorithms which are based on deadlock recovery.</p>
Deadlock detection/resolution, interconnection network, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching.
Sugath Warnakulasuriya, Timothy Mark Pinkston, "A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks", IEEE Transactions on Parallel & Distributed Systems, vol. 11, no. , pp. 212-229, March 2000, doi:10.1109/71.841739