分布式系统4级嵌套的软件抗衰策略及模型分析

作     者：王湛 郭成昊 刘凤玉 张宏 WANG Zhan;GUO Cheng-hao;LIU Feng-yu;ZHANG Hong

作者机构：南京理工大学计算机科学与技术学院江苏南京210094 

出 版 物：《兵工学报》 (Acta Armamentarii)

年 卷 期：2008年第29卷第4期

页      面：464-468页

核心收录：

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60273035) 

主　　题：计算机软件 软件抗衰 抗衰粒度 重启群 重启链 

摘      要：将软件抗衰重启合理地应用于分布式系统,实现细粒度软件抗衰,可以提高抗衰适用性,降低抗衰开销,提高软件可靠性。确定系统重启层级别,查询各层模块的直接耦合模块,进而构建出各重启层的重启链是实施细粒度软件抗衰策略的关键。针对分布式系统各级模块间控制、调用及数据访问的关系,可以制定出系统重启层标准,给出判定各级直接耦合模块和模块重启群的方法,同时定义重启优先级,进而得出各级重启链的构建规则,由此制定重启实施策略。同时综合随机Petri网及确定的有限自动机两种形式化描述方法,构建易于理解分析的4级嵌套抗衰重启模型,为实现分布式系统细粒度软件抗衰提供支持。