期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种嵌套的软件抗衰策略及其模型 被引量：2

Nested Software Rejuvenation Policy and Its Model
下载PDF
导出
摘要 该文针对软件在连续运行过程中普遍发生的老化现象,提出了一种嵌套的基于时间的软件抗衰策略,并采用Petri网来描述每次恢复的具体过程,采用有限状态自动机控制恢复次数,建立整个策略的实施过程模型。与传统的基于时间的软件抗衰策略不同,该策略在每次执行系统级恢复前首先执行N次的应用级恢复,从而减少了恢复时间,降低了抗衰成本和周期性应用级恢复策略预测失败的风险,提高了系统的可靠性。另外,该策略具有可扩展性,对于多种因素导致的性能衰退,可以执行多级嵌套的恢复。 Software, aging is a very common phenomenon for the large server system during a long time of running. The simple periodic software rejuvenation results in more spending. A new nested time-based software rejuvenation policy is put forward. In order to implement this policy efficiently, the software working process is modelled by Petri net and the rejuvenation times are controlled by finite-state automata. Comparing with the current rejuvenation policies, the nested time-based software rejuvenation policy executes firstly some times of application-level rejuvenation before one time system-level rejuvenation, which makes it possible to cost less time, to reduce the risk of failure and to enhance the software reliability and availability. In addition, this policy is also extensible. The multilevel nested rejuvenation can be carried into execution if the performance degradation is induced by several factors.
作者 游静 徐建 赵学龙 刘凤玉
机构地区 南京理工大学计算机科学与技术学院
出处 《南京理工大学学报》 EI CAS CSCD 北大核心 2006年第1期43-47,共5页 Journal of Nanjing University of Science and Technology
基金 国家自然科学基金(60273035)
关键词 软件抗衰 软件老化 PETRI网 自动机 software rejuvenation software aging Petri net automata
分类号 TP302.7 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献9

  • 1Huang Y,Kintala C,Kolettis N,et al.Software rejuvenation:Analysis,module and applications[A].Proceedings of the 25th Symposium on Fault Tolerant Computer System[C].Pasadena,CA:IEEE Computer Society,1995.381-390.
  • 2Castelli V,Harper R E,Heidelberger P,et al.Proactive management of software aging[J].IBM JRD,2001,45(2):311-332.
  • 3Liu Y,Ma Y,Han J J,et al.Modeling and analysis of software rejuvenation in cable modem termination system[A].Proceedings 13th International Symposium on Software Reliability Engineering 2002[C].Annapolis,MD:IEEE Computer Society,2002.159-170.
  • 4Pfening A,Garg S,Puliafito A,et al.Optimal software rejuvenation for tolerating soft failures[J].Performance Evaluation,1996,27/28(4):491-506.
  • 5Garg S,Puliafito A,Telek M,et al.Analysis of preventive maintenance in transactions based software systems[J].IEEE Transactions on Computers,1998,47(1):96-107.
  • 6Garg S,Puliafito A,Trivedi KS.Analysis of software rejuvenation using Markov regenerative stochastic Petri net[A].Proceedings of ISSRE 1995[C].Toulouse,France:IEEE Computer Society,1995.180-187.
  • 7Trivedi K S,Vaidyanathan K,Goseva-Popstojanova K.Modeling and analysis of software aging and rejuvenation[A].Proceedings of the IEEE Annual Simulation Symposium [C].Washington,DC:IEEE Computer Society,2000.
  • 8Dohi T,Goseva-Popstojanova K,Trivedi K S.Analysis of software cost models with rejuvenation[A].Proceedings of 5th IEEE International Symposium on High Assurance Systems Engineering[C].Albuquerque,New Mexico:IEEE Computer Society,2000.
  • 9Garg S,Puliafito A,Telek M,et al.On the analysis of software rejuvenation policies[A].Proceedings of the 12th Annual Conference on Computer Assurance[C].Gaithersburg,MD:IEEE Computer Society,1997.88-96.

同被引文献10

  • 1Hom J, Kremer U. Inter-program compilation for disk energy reduction [ A ]. Power-Aware Computer Systems, Third International Workshop PACS 2003 [ C ]. CA: San Diego, Springer-Verlag, 2003. 13-25.
  • 2Guo Y, Chheda S, Moritz A C. Runtime biased pointer reuse analysis and its application to energy efficiency[ A]. Power-Aware Computer Systems, Third International Workshop PACS2003 [ C ]. CA : San Diego, Springer-Verlag, 2003. 1 - 12.
  • 3Hu J, Yu X F, Zhang Y, et al. Checking componentbased embedded software designs for scenario-based timing specifications[A]. The proceedings of the 2005 IFIP International Conference on Embedded and Obiquitous computing [ C ]. Nagasaki, Japan: SpringerVerlag, 2005. 395-404.
  • 4Alfaro L, Henzinger T A. Interface automata[J]. ESEC/SIGSOFT FSE, 2001, 26(5) : 109 -120.
  • 5Hu J, Yu X F, Zhang Y, et al. Scenario based verification for component-based embedded software designs [ A ]. Proc of 34th International Conference on Parallel Processing Workshops [ C ]. Washington D C, USA : IEEE CS, 2005. 240 - 247.
  • 6Farkas I K, Flinn J, Back G, et al. Quantifying the energy consumption of a pocket computer and a java virtual machine [ A ]. Proceedings of International Conference on Measurements and Modeling of Computer Systems[C]. New York, USA: ACM, 2000. 252-263.
  • 7Tan T K, Raghunathan A, Jha N K. Energy macro modeling of embedded operating systems [ J ]. ACM Transactions on Embedded Computing Systems, 2005, 4(1): 231 -254.
  • 8Dohi T, Goseva-Popstojanova K, Trivedi K S. Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule [ A ]. Proc of Intl Symposium on Dependable Computing [ C]. Los Angeles, USA : IEEE Computer Society, 2000. 77 - 84.
  • 9Vaidyanathan K, Selvamuthu D, Trivedi K S. An analysis of inspection-based preventive maintenance in operational software systerms [ A ], Proc of Intl Symposium on Reliable Distributed Systems [ C ]. Osaka, Japan: IEEE Computer Society, 2002. 286 -295.
  • 10Garg S, Puliafito A, Telek M, et al. An analysis of preventive maintenance in transactions based software systems [ J]. IEEE Transactions on Computers, 1998, 47 (1): 96-107.

引证文献2

二级引证文献4

南京理工大学学报
2006年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部