具有容错结构的高可用计算机双系统研究
国防科技大学计算机学院,长沙 410073
下一篇 上一篇
摘要
为了确保高的可用性,在重大工程实践中往往采用具有容错结构的计算机双系统。双系统处理得到两个结果的异同性,历来是研究双系统容错的技术重点和难点。文章在双系统可用性分析、结果判错与选择、以及双工切换技术方面都有突破性的进展,并在重点工程中得以实现,取得显著效果。
参考文献
[ 1 ] 金士尧,王志英,胡华平. 强实时高可靠性的系统研究[J],计算机工程与科学,1997,(AL):1~6
[ 2 ] Laprie J C, Dependable computing: concept limits challenges [A], In: Speial Issues FICS - 5 [C],Pasadena,CA,1995.42~54
[ 3 ] Wealks S R, Reiability modeting of Hardware/soft IEEE Trans, on Retiabiliy,1995,44(3):413一418
[ 4 ] 胡华平,金士尧,王维. 分布式实时系统的高可靠性研究与实现]计算机研究与发展,1998,35(9):841一845
[ 5 ] Heimann D L, Dependabilty modaling for computer system [A], In: Proceedings of Annual Reliabilty and Maintainabilty Symposiam [C],USA,1991. 120一128
[ 6 ] 曹晋华,程侃、可靠性数学引论[M]-北京:科学出版社,1992.219一256
[ 7 ] 胡华平,金士尧,王维、分布式实时系统可靠性模型[J].计算机学报,1997.29(增刊):71~76
[ 8 ] 胡华平,肖晓强,金士尧,考虑切换的强实时双机系统的可靠性研究与实现[J],计算机学报,1999,22(10):1080一1084