Extending Fault Blocks to Avoid Livelock for a Logic-Based Distributed Fault-Tolerant Routing Algorithm of Networks-on-Chip

Article Preview

Abstract:

For logic-based distributed fault-tolerant routings, livelock is a troublesome challenge. In this paper, we prove the sufficient conditions which make the fault-tolerant routing PR-WF [1] to be livelock-free. Due to the diversity of fault blocks, it is almost impossible to verify the sufficient condition of livelock-free by a formal method. In this paper, both visual analysis and enumerative simulation methods are taken to prove livelock theorems. In order to avoid livelock, an algorithm is presented to extend fault blocks. Experimental results show that, it has to disable no more than 1.8% no-faulty links to avoid livelock if the true faulty link rate is 10%.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

536-539

Citation:

Online since:

February 2012

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2012 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Yancang Chen, Lunguo Xie, Jinwen Li, Zhonghai Lu, A deadlock-free fault-tolerant routing algorithm based on pseudo-receiving mechanism for Networks-on-Chip of CMP, Proceeding of the International Conference of Multimedia Technology, (2011).

DOI: 10.1109/icmt.2011.6001912

Google Scholar

[2] D. Fick, A. DeOrio, G. Chen, V. Bertacco, D. Sylvester, and D. Blaauw, A highly resilient routing algorithm for fault-tolerant NoCs, Proceedings of the Conference on Design, Automation and Test in Europe, p.21–26. (2009).

DOI: 10.1109/date.2009.5090627

Google Scholar

[3] C. J. Glass, and L. M. Ni, Fault-tolerant wormhole routing in meshes without virtual channels, IEEE Transaction parallel distributed system, p.620–636, (1996).

DOI: 10.1109/tpds.1996.4772741

Google Scholar

[4] Y. Chen, L. Xie, J. Li, Z. Shi, M. Zhang, X. Chen, Z. Lu, A trace-driven hardware-level simulator for the design and verification of network-on-chips, Proceedings of international conference on Computers, Communications, Control and Automation, (2011).

Google Scholar