Abstract
Fault diagnosis plays a crucial role in the fault tolerability assessment of an interconnection network, which is of great value in the design and maintenance of large-scale multiprocessor systems. A t/s-diagnostic strategy, as the generalization of the t/t-diagnostic strategy, refers to the self-diagnosis of a multiprocessor system in which all faulty vertices can be identified in a set of size at most s in the presence of at most t faulty vertices. In this work, we show that the balanced hypercube BHn (n ⩾ 4) is ((2n + 1) ⌈g/2⌉ − ⌈g/2⌉2)/((2n + 1) ⌈g/2⌉ − ⌈g/2⌉2 + (g − 2))-diagnosable under both the Preparata, Metze, and Chien (PMC) and MM* models for 4 ⩽ ⌈g/2⌉ ⩽ n. Moreover, we propose two effective t/s-diagnosis algorithms under the PMC and MM* models with time complexity O(NlogN) and O(N(logN)2) (N = 22n is the order of BHn), respectively. Finally, comparison results indicate that t/s-diagnosability strengthens the self-diagnosable capability of the system compared with traditional diagnosabilities.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Somani A K. System level diagnosis: A review. Technical Report, Dependable Computer Laboratory, Iowa State University, 1999. https://citeseerx.ist.psu.edu/document?-repid=rep1&type=pdf&doi=1c29b953e0ff545d54b7cf2945bf182bdca26423, Jul. 2024.
Preparata F P, Metze G, Chien R T. On the connection assignment problem of diagnosable systems. IEEE Trans. Electronic Computers, 1967, EC-16(6): 848–854. DOI: https://doi.org/10.1109/PGEC.1967.264748.
Maeng J, Malek M. A comparison connection assignment for self-diagnosis of multiprocessor systems. In Proc. the 11th International Symposium on Fault-Tolerant Computing, Jan. 1981, pp.173–175.
Chen C A, Chang G Y, Hsieh S Y. Conditional (t, k)-diagnosis in graphs by using the comparison diagnosis model. IEEE Trans. Computers, 2015, 64(6): 1622–1632. DOI: https://doi.org/10.1109/TC.2014.2345407.
Sengupta A, Dahbura A T. On self-diagnosable multiprocessor systems: Diagnosis by the comparison approach. IEEE Trans. Computers, 1992, 41(11): 1386–1396. DOI: https://doi.org/10.1109/12.177309.
Friedman A D. A new measure of digital system diagnosis. In Proc. the 5th International Symposium on Fault-Tolerant Computing, Jan. 1975, pp.167–170.
Somani A K, Peleg O. On diagnosability of large fault sets in regular topology-based computer systems. IEEE Trans. Computers, 1996, 45(8): 892–903. DOI: https://doi.org/10.1109/12.536232.
Fan J X, Lin X L. The t/k-diagnosability of the BC graphs. IEEE Trans. Computers, 2005, 54(2): 176–184. DOI: https://doi.org/10.1109/TC.2005.33.
Zhou S M, Lin L M, Xu L, Wang D J. The t/k-diagnosability of star graph networks. IEEE Trans. Computers, 2015, 64(2): 547–555. DOI: https://doi.org/10.1109/TC.2013.228.
Lin L M, Xu L, Zhou S M, Hsieh S Y. The t/k-diagnosability for regular networks. IEEE Trans. Computers, 2016, 65(10): 3157–3170. DOI: https://doi.org/10.1109/TC.2015.2512866.
Liang J R, Zhang Q. The t/s-diagnosability of hypercube networks under the PMC and comparison models. IEEE Access, 2017, 5:5340–5346. DOI: https://doi.org/10.1109/ACCESS.2017.2672602.
Liang J R, Zhang Q, Li H Y. Structural properties t/s diagnosis for star networks based on the PMC model. IEEE Access, 2017, 5:26175–26183. DOI: https://doi.org/10.1109/ACCESS.2017.2773144.
Lin Y H, Lin L M, Huang Y Z, Wang J R. The t/s-diagnosability and t/s-diagnosis algorithm of folded hypercube under the PMC/MM* model. Theoretical Computer Science, 2021, 887:85–98. DOI: https://doi.org/10.1016/j.tcs.2021.07.006.
Xie Y H, Liang J R, Yin W, Li C Z. The properties and t/s diagnosability of k-ary n-cube networks. The Journal of Supercomputing, 2022, 78(5): 7038–7057. DOI: https://doi.org/10.1007/s11227-021-04155-y.
Wu J, Huang K. The balanced hypercube: A cube-based system for fault-tolerant applications. IEEE Trans. Computers, 1997, 46(4): 484–490. DOI: https://doi.org/10.1109/12.588063.
Yang M C. Conditional diagnosability of balanced hypercubes under the PMC model. Information Sciences, 2013, 222:754–760. DOI: https://doi.org/10.1016/j.ins.2012.08.014.
Yang M C. Conditional diagnosability of balanced hypercubes under the MM* model. The Journal of Supercomputing, 2013, 65(3): 1264–1278. DOI: https://doi.org/10.1007/s11227-013-0882-2.
Wang X Y, Huang L J, Sun Q, Zhou N Q, Chen Y H, Lin W W, Li K Q. The g-extra diagnosability of the balanced hypercube under the PMC and MM* model. The Journal of Supercomputing, 2022, 78(5): 6995–7015. DOI: https://doi.org/10.1007/s11227-021-04126-3.
Lin L M, Huang Y Z, Xu L, Hsieh S Y. A pessimistic fault diagnosability of large-scale connected networks via extra connectivity. IEEE Trans. Parallel and Distributed Systems, 2022, 33(2): 415–428. DOI: https://doi.org/10.1109/TPDS.2021.3093243.
Gu M M, Hao R X, Yang D X. A short note on the 1, 2-good-neighbor diagnosability of balanced hypercubes. Journal of Interconnection Networks, 2016, 16(2): 1650001. DOI: https://doi.org/10.1142/S0219265916500018.
Bondy J A, Murty U S R. Graph Theory. Springer, 2008.
Yang M C, Yang M H. Reliability analysis of balanced hypercubes. In Proc. the 2012 Computing, Communications and Applications Conference, Jan. 2012, pp.376–379. DOI: https://doi.org/10.1109/ComComAp.2012.6154875.
Zhang N P, Zhu Q. Extra connectivity and extra edge-connectivity of balanced hypercube. In Proc. the 2020 International Conference on Computer Information and Big Data Applications, Apr. 2020, pp.289–294. DOI: https://doi.org/10.1109/CIBDA50819.2020.00072.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest The authors declare that they have no conflict of interest.
Additional information
This work was supported by the National Natural Science Foundation of China under Grant Nos. 61977016 and 61572010, the Natural Science Foundation of Fujian Province of China under Grant Nos. 2023J01539 and 2020J01164, the Fujian Alliance of Mathematics under Grant No. 2023SXLMMS04, and the China Scholarship Council under Grant No. 202108350054.
Xiao-Qing Liu received her B.S. degree in mathematics from Jinzhong University, Jinzhong, in 2020. She is a postgraduate candidate at the College of Mathematics and Statistics, Fujian Normal University, Fuzhou. Her research interests include interconnection networks, reliability analysis, and fault diagnosis of networks.
Shu-Ming Zhou received his Ph.D. degree in mathematics from Xiamen University, Xiamen, in June 2005. Now he is a professor and Ph.D. supervisor of Fujian Normal University, Fuzhou. His research interests include topics in algorithmic graph theory, combinational optimization, fault diagnosis, network science, social network, and big data processing.
Eddie Cheng received his Ph.D. degree in combinatorics and optimization from the University of Waterloo, Waterloo, in 1995. He is currently a distinguished professor of mathematics with the Department of Mathematics and Statistics, Oakland University
Hong Zhang received her B.S. and M.S. degrees in mathematics from Longdong University, Qingyang, in 2016, and Xinjiang University, Urumqi, in 2020, respectively. Now, she is a doctoral candidate at the College of Mathematics and Statistics, Fujian Normal University, Fuzhou. Her research interests include interconnection networks, reliability analysis of networks, and fault diagnosis.
Electronic supplementary material
Rights and permissions
About this article
Cite this article
Liu, XQ., Zhou, SM., Cheng, E. et al. The t/s-Diagnosability and Diagnostic Strategy of Balanced Hypercube Under Two Classic Diagnostic Models. J. Comput. Sci. Technol. 39, 1207–1222 (2024). https://doi.org/10.1007/s11390-024-2732-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11390-024-2732-5