第２９卷第２期 ２０１２年２月 计算机应用与软件 Ｃｏｍｐｕｔｅｒ Ａｐｐｌｉｃａｔｉｏｎｓ ａｎｄ Ｓｏｆｔｗａｒｅ Ｖｏ１．２９ ＮＯ．２ Ｆｅｂ．２０ｌ２
一种面向方面的软件容错能力增强工具
黄焱艺 于 阳 彭 鑫赵文耘 （复旦大学计算机科学技术学院上海２００４３３） 摘 要 容错是保障软件可靠性的重要手段。该目标是利用对软件系统静态分析的信息，生成具有客错能力的方面文件来增强 软件系统的容错能力。首先利用抽象语法树的分析工具，来获得一些有用信息，比如异常类型和抛出异常的方法。然后通过模板生 成工具生成相应的恢复代码，利用面向方面机制，将代码动态编织入系统中。最后做一个案例证明方法在实现容错增强方面的可 行性。 关键词 软件容错 中图分类号ＴＰ３１７ 面向方面 工具 文献标识码Ａ
ＡＮ ＡＳＰＥＣＴ．ｏＲＩＥＮＴＥＤ ＳｏＦＴＷＡＲＥ ＦＡＵＬＴ ＴｏＬＥＲＡＮＣＥ ＥＮＨＡＮＣＥＭＥＮＴ ＴＯｏＬ
Ｈｕａｎｇ Ｙａｎｙｉ Ｙｕ Ｙａｎｇ Ｐｅｎｇ Ｘｉｎ Ｚｈａｏ Ｗｅｎｙｕｎ （Ｓｃｈｏｏｌ ｏｆＣｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，Ｆｕｄａｎ Ｕｎ＃ｅ￣ｉｔｙ，Ｓｈａｎｇｈａｉ ２００４３３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ Ｆａｕｌｔ ｔｏｌｅｒａｎｃｅ ｉｓ ａｎ ｉｍｐｏｒｔａｎｔ ｍｅａｎｓ ｔｏ ａｓｓｕｒｅ ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ．Ｔｈｅ ｇｏａｌ ｏｆ ｔｈｉｓ ｐａｐｅｒ ｉｓ ｔｏ ｕｓｅ ｔｈｅ ｉｎｆｏｍｍｔｉｏｎ ｏｆ ｓｔａｔｉｃ ａｎａｌｙｓｉｓ ｏｎ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍ ｔｏ ｆｏｒｍ ｔｈｅ ａｓｐｅｃｔ ｆｉｌｅ ｗｉｔｈ ｆａｕｌｔ ｔｏｌｅｒａｎｃｅ ｃａｐａｂｉｌｉｔｙ ｆｏｒ ｅｎｈａｎｃｉｎｇ ｔｈｅ ｆａｕｌｔ ｔｏｌｅｒａｎｃｅ ｃａｐａｂｉｌｉｔｙ ｏｆ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍ． Ｗｅ ｆｉｒｓｔ ｕｓｅ ｔｈｅ ａｎａｌｙｓｉｓ ｔｏｏｌ ｏｆ ａｂｓｔｒａｃｔ ｓｙｎｔａｘ ｔｒｅｅ ｔｏ ｇｅｔ ｓｏｍｅ ｕｓｅｆｕｌ ｉｎｆｏｒｍａｔｉｏｎ，ｓｕｃｈ ａｓ ｔｈｅ ｔｙｐｅ ｏｆ ｅｘｃｅｐｔｉｏｎ ａｎｄ ｔｈｅ ｍｅｔｈｏｄ ｏｆ ｅｘｃｅｐｔｉｏｎ ｔｈｒｏｗｉｎｇ．Ｔｈｅｎ ｗｅ ｕｓｅ ｔｅｍｐｌａｔｅ ｇｅｎｅｒａｔｉｏｎ ｔｏｏｌ ｔｏ ｇｅｎｅｒａｔｅ ｃｏｒｒｅｓｐｏｎｄｉｎｇ ｒｅｃｏｖｅｒｙ ｃｏｄｅ，ａｎｄ ｕｓｅ ａｓｐｅｃｔ—ｏｒｉｅｎｔｅｄ ｍｅｃｈａｎｉｓｍ ｔｏ ｗｅａｖｅ ｔｈｅ ｃｏｄｅ ｉｎｔｏ ｔｈｅ ｓｙｓｔｅｍ ｄｙｎａｍｉｃａｌｌｙ．Ｆｉｎａｌｌｙ，ｗｅ ｍａｋｅ ａ ｃａｓｅ ｔｏ ｐｒｏｖｅ ｔｈｅ ｆｅａｓｉｂｉｌｉｔｙ ｏｆ ｔｈｅ ｍｅｔｈｏｄ ｉｎ ｒｅａｌｉｓｉｎｇ ｆａｕｌｔ ｔｏｌｅｒａｎｃｅ ｅｎｈａｎｃｅｍｅｎｔ． Ｋｅｙｗｏｒｄｓ Ｆａｕｌｔ．・ｔｏｌｅｒａｎｃｅ ｏｆ ｓｏｆｔｗａｒｅ Ａｓｐｅｃｔ・－ｏｒｉｅｎｔｅｄ Ｔｏｏｌ
０ 引 言 软件系统正越来越多的应用到生活的方方面面，但是开发 一个没有缺陷的软件系统通常是非常困难的，因此软件有时会 失效，失效的后果可能只是造成一些不方便（比如电视机遥控 器不能用），也可能是灾难性的（比如商业飞机上的软件故 障）…。为了使软件系统在出现失效时能够继续运行，提出了 容错技术，容错是保障软件可靠性的重要方式。文献［２］讲述 了一些当前的容错技术，包括恢复块，Ｎ版本编程等。异常处理 是构建高可靠性容错系统的一个重要方面。异常处理最早是由 Ｊｏｈｎ Ｇｏｏｄｅｎｏｕｇｈ在１９７５年在文献［３］中提出来的。现在异常 通常都被定义为在程序执行过程中影响程序正确行为的特殊事 件。程序语言的设计者经常忽略异常机制，这就让开发异常处 理代码的开发者觉得开发一个好的异常处理代码是困难的，容 易出错的，而且效率不高。并且，对异常处理不完美的程序来 说，当程序出现异常，系统就会停止运行，极大影响了程序可靠 性和用户体验，所以异常处理在高可靠系统的实现中有着重要 的作用。 本文给出一个工具，该工具通过对抽象语法树静态分析的 信息来定位异常和判定异常信息，由此选择异常恢复策略，结合 ＡＯＰ技术，工具实现自动生成异常捕获代码，生成ＡｓｐｅｅｔＪ程序 模板，并且通过分析代码定义了常见异常的通用处理模式，同时 支持用户自定义异常处理方式。 １背景介绍
Ｊａｖａ的异常处理机制包含三部分：Ｔｈｒｏｗｓ说明可能抛出的 异常，调用该方法必须处理这些事件；将可能抛出异常的代码放 在ｔｒｙ块中，处理放在ｃａｔｃｈ块中，ｆｉｎａｌｌｙ用于恢复系统状态； Ｔｈｒｏｗ后面跟异常对象类型，说明抛出的异常。对于Ｊａｖａ异常 可分为检查异常和未检查异常。本文主要处理检查异常。文献 ［４］中研究表明，程序员并不常书写代码处理异常，更多时候是 采取忽略或者简单返回一个缺省值并终止程序的方式来处理， 而不是真正的去规划恢复策略，书写恢复代码。而很多时候对 异常恢复策略的规划是有意义的。由于异常处理可能引发的控 制流复杂性和异常本身的复杂性，比如即使是同一个异常，处理 策略也经常是各不相同的，这就给异常处理策略的规划增加了 难度。 由于异常分布的散乱性，直接在系统中书写异常代码会和 已有代码交缠在一起，因而在异常处理中引入面向方面的思想 是有意义的。面向方面的编程是面向对象编程的有效补充，提 供了新的语言特性来增强模块化和分离关注点，可以以非侵入 方式改变程序的执行方式，极大地降低了异常处理代码和原代
收稿１３期：２０１１—０５一Ｏ７。国家自然科学基金（９０８１８００９）。黄焱
艺，硕士，主研领域：软件容错自适当。 １０ 计算机应用与软件 ２０１２血
码的耦合性 Ｊ。但是面向方面能否增加系统的模块化仍然是 一个值得探讨的问题。文献［６］中指出，如果异常处理代码很 大程度上是上下文相关的，那么使用面向方面技术带来的好处 就有限，但是如果能事先规划好，面向方面会是一个很好的补 充。所以本文通过工具提供了自动的代码生成，同时也提供了 一定的灵活性，与上下文相关的内容，我们允许开发者自己定 义。通过自定义的代码生成工具生成方面文件，对已有的程序 进行打补丁式的补充，增强了程序的异常处理和容错能力。 ２工具介绍 为了实现容错处理，就必须能先对异常定位并分析异常，并 给出相应的恢复策略，我们开发了一个工具。这个工具结合抽 象语法树静态分析的信息生成恢复策略，然后自动生成Ａｓｐｅｃ￣ 文件，实现异常的修复，达到容错效果。 ２．１工具框架介绍 工具的运行过程主要包含两个部分。第一部分，利用抽象 语法树来获取异常所在的方法位置信息、方法参数和方法返回 类型等信息。第二部分，是一个自动生成方面文件的工具。工 具从抽象语法树分析工具分析的结果出发，对异常和异常所在 的方法进行分析，利用ｓｔｒｉｎｇ ｔｅｍｐｌａｔｅ工具，把抽象语法树中的 分析得到的信息设置到要生成的方面文件中，对每个异常生成 一个默认的方面文件。方面文件动态切入源代码中实现了默认 的异常恢复策略，由于默认异常恢复策略不能保证对所有的异 常处理都有正确的效果，所以工具也允许用户自定制异常恢复 策略，更加灵活和个性化。 ２．２抽象语法树分析工具 抽象语法树ＳＡＴ（Ａｂｓｔｒａｃｔ Ｓｙｎｔａｘ Ｔｒｅｅ）是源代码经过词法 分析和语法分析得到的产物，作为程序的一种中间表示形式，能 够包含编译单元的完整表示，可以比较直观地展示整个程序的 语法结构，语法树的建立是在词法分析、语法分析、语义分析的 过程中逐渐产生的。其中词法分析对源程序进行分析，并形成 符号表，作为下一步语法分析做准备，接着语法分析初步形成具 有相应语法结构的中间节点的抽象语法树。最后语义分析，把 名字和操作符进一步处理，产生具有表示类型信息的对象和符 号表的标准的抽象语法树。这时语法树就是完整的抽象语法树 了，它包含了程序结构的基本信息。如图１所示。
图１ ｉｎｔ ｐ＝０；ｗｈｉｌｅ（ｋ＞０）ｌｌ抽象语法树结构 抽象语法树在程序分析和程序开发等诸多领域有广泛的应 用，比如经常用来做代码克隆检测、程序数据流，控制流的分 析等。 为了定位异常产生的位置和异常所在方法和其他方法的调 用关系，这里使用抽象语法树的分析工具来得到程序结构的基 本信息。该工具是一个Ｅｃｌｉｐｓｅ插件，用来做静态代码结构分 析，使用工具可以得到代码中异常的种类，异常所在的类，异常 所在的方法和异常是被ｃａｔｃｈ还是被ｔｈｒｏｗ，工具如图２所示。 ： …毒 印 ＿一＿ ＿一…”＿ 竺 曼 。 冉 舷 ｉ ｉ 舯酗 ｒ■■＿ －＿＿’ 图２抽象语法树代码分析工具 通过该工具可以分析出每个类的方法、参数，抛出的异常以 及每个类之间方法的调用关系，这些信息对于后面生成方面文 件是必不可少的。抽象语法树工具是对源码的静态分析，但是 由于运行时的上下文信息是比较难以获取的，所以我们这里只 对代码做静态分析。根据静态分析得到的信息生成异常处理代 码，正如文献［７］提出的指导原则之一，异常处理必须提供上下 文信息，这里开发者可以利用工具进行进一步的自定制来获取 上下文信息，实现相应的恢复。 ２．３设置工具描述 我们开发了一个设置工具，工具中定义了处理异常的面向 方面文件模板，根据模板，利用模板生成工具Ｓｔｒｉｎｇ Ｔｅｍｐｌａｔｅ生 成用于对当前系统做异常处理的方面文件。图３是工具的一个 使用界面。
图３设置工具 首先，选择一个已经用抽象语法树分析过的项目，比如图３ 的ｊｆｏｒｕｍ；然后，由于异常经常是分散在程序中的不同位置，因 此对于抽象语法树分析的结果，我们按照异常的类型来进行分 类，因为同一类型的异常处理方法总是相对于不同类型异常的 处理方法要相似的多；当在ＥｘｃｅｐｔｉｏｎＳｅｔｔｉｎｇ框中选中特定异常 类型后，抛出这个异常的所有方法，都在第三个框中列出来。包 括类名、方法名、方法参数类型和返回类型。这些信息是生成面 向方面文件的必要信息。 ２．４策略的描述 文献［８］提出了一个面向方面的框架来支持Ｗｅｂ服务的监 控和恢复，主要是致力于Ｗｅｂ服务的运行时监控，以及根据监 控信息来合成Ｗｅｂ服务。在恢复的时候，提到三个通用的恢复 策略分别是重试、忽略、可选，但是对于通用策略的代码自动生 成仍然没有做，我们文章试图在通用策略的自动代码生成上做 些尝试。通用恢复策略如图４所示。一般来说，如果重试不成 功，可以忽略（ｓｋｉｐ）当前异常，或者选用其他可选的方式再重新 尝试，也就是上文所说的可选（ａｌｔｅｒｎａｔｉｖｅ）。 对于异常类型和策略的对应关系是一种多对多的关系，同 样是使用的ｒｅｔｒｙ策略，但是处理的可能是两种不同的异常。比 如ＩＯＥｘｃｅｐｔｉｏｎ的产生可能是由于远程资源访问不到，而ＳＱＬＥｘ． ｃｅｐｔｉｏｎ可能是数据库的访问出现问题，截然不同的两种异常，
第２期 黄焱艺等：一种面向方面的软件容错能力增强工具
却可以使用同一种ｒｅｔｒｙ策略。反过来，当前数据库出现错误， ｒｅｔｒｙ通常只能修复那些瞬时性错误，对于非瞬时性的错误更有 效的方法是采取ａｌｔｅｒｎａｔｉｖｅ策略自己定制。异常和策略之间的 对应关系是复杂的多对多关系，对这种关系中知识的提取是将 来的一个研究方向。
图４异常和策略映射关系 重试、忽略、可选是通用的异常处理策略，所以我们针对这 三种方法分别设计了一个ＡｓｐｅｃｔＪ模板，如图５所示。 ｐ曲１ｉｃ ａｆｔｌｐｅ￣： Ｒｅｔｒ ｕ ０ ｍ＃ｌ ０曲ｃ１￡－Ｔｖ÷＃＃； ＃ｐ■ｍ■口ｌｍｌ㈣； 蛐＃【ｃＩｌ。 ‘鼬ｔｈ ｆ ｃ ¨ 啊－砒咖 ＃∞ｔＳ姗－曲。ｄ酗耻｛ｌ￥弛咖址 ｖ ●￥＇ 强ｌ１ｌ ￥柚ｔ＃ｉｃＭ ｃ１ｅ・ｒ霉’Ｋ＆ｗｉ￣Ｊ＇ｔｌｎｌ￥ｃ１…“Ｈ・－●｝【‘－ｒ口－ｌ￥０Ｂｌ 瑚Ｉ●￥¨ ｈ ｍｅｒ｛￡Ｉｃ雌ｔ她｝‘‘ｔ Ｉ●ｌｔ｝‘‘ｔｂｉ ｃ ‘ｍ眦ａ ｆ一【 ‘ ｉｎ＾ ＃Ｐ－ Ａ●ｓｅｔｚｃｔ＿嘻＃； ， ｂｅｆｏｆ ｛靶ｌａｊ Ｈ ￥ｔ，Ｅｔｃ ｔｉ曲ｅ＇ ｛ 玎 。＃Ｉ ｃｂ ∞ｈ ｛＃口ｎ１ｍⅢ｛Ｉ＾ ’ｃ●ｃｃｈ｛ ｃｔｐｔｉ∞ｅｌ｝｛ ／／ｔｏ∞＾眦０—口…●‘ｔｄ ｃｔｔ ｂ ｂｉａｅ ｔ１．ｐ ＾ ３呲 －∞｛’； 图５ ｒｅｔｒｙ模板 图５中用￥号括起来的是模板生成工具的语法符号，表示 用该模板生成代码的时候这些内容将被具体的内容替代。该模 板是为了生成方面文件的，所以要遵循面向方面编程的语法，下 面我们逐个介绍模板中的元素： Ｓｐａｃｋａｇｅ￥：该异常类所在的包名。 ＳＲｅｔｒｙＡｓｐｅｃｔＮａｍｅ￥：该方面的方面名。 ＳｄｅｃｌｅａｒＶａｒ￥：用于只带一个参数的方法的参数声明。 ＳｐａｒｍＤｅｃｌｅａｒＩｔｅｍｓ￥：用于多个参数的参数声明。 ￥ｃｌａｓｓＮａｍｅＷｉｔｈｏｕｔＤｏｔ￥￥ｍｅｔｈｏｄＮａｍｅ￥：为了区别每一个 ｐｏｉｎｔｃｕｔ的名字，用类名和方法名的连接来唯一标识。 ＳｐａｒｍｓＷｉｔｈＶａｒｓ￥：用来描述带有变量的参数。 ￥ｍｅｔＷｉｔｈＤｅｃｌｅａｒ￥：指明调用的方法。 ￥ｏｎｌｙＰａｒｍｓ￥：指明传递的参数。 ￥ＰａｒｍｓＳｅｔｈｅｍｓ￥：迭代的参数赋值。 该模板包括两个部分，第一部分是获取异常对象当前的方 法，并取得当前的参数，实现方式是通过第一个ｐｏｉｎｔｃｕｔ，在方法 调用前，将方法参数捕获并将其值传人ＡｓｐｅｃｔＪ中定义的相应变 量中，这就方便了获取一些运行时的对象信息，开发人员可以在 这里获取自己想要的上下文信息；第二部分，根据当前的对象ｔ 和传递过来的参数列表，对该方法重新执行。如图５所示 ｔ．ＳｍｅｔｈｏｄＮａｍｅ￥（￥ｏｎｌｙＰａｒｍｓ￥）就是指对当前对象ｔ，执行方法 ＳｍｅｔｈｏｄＮａｍｅ￥，具体方法信息可以从抽象语法树分析出的程 序结构得知当前对象中抛出异常的方法名字。这里ｒｅｔｒｙ模板 的ａｄｖｉｓｅ是重新执行方法。 如图６所示，Ｓｋｉｐ模板中的ａｄｖｉｃｅ可以设置为简单抛出一 个运行时异常，相应的，在面向方面中提供了一种弱化异常的方 法，来把方面中抛出的异常继续以运行时异常抛出到原来程序 中，继续运行。Ｓｋｉｐ可以有三种方式，比如，记录日志并抛出异 常；把返回值设置为默认值；抛出一个运行时异常。由于不同点 在于程序具体的执行和返回状态，文献［７］中指出，开发人员经 常都会倾向于认为，如果当前异常不会影响继续运行，那很多时 候我忽视它是不会产生什么问题的。 ０●ａｈ∽ｌ— ■■ｅＩ●０ｔ｛ ∞＾ 呻ｉⅡｔ白 ｈ ●，＾ 嘲－曲０ｍ“瞳‘‘‘ Ｉ—Ｍ‘ｈｖ－ 时’ｊ４－１ｌ ｅ ｌ＿ｔｔ瓢ｔｈＤｅ口王¨ ０ ‘‘姓口ｎＡｌ＃咀聃ｍＩ曲 Ｉｌ‘‘＾ｔ Ｉ＃∞ｌｙｈ一 ； ｐ。工ｎｔｃ吐坤 札 ｉｐ ＿＃ｈ０ ‘ ＿＃ｆ￥０１¨棚－＃≈・ｈ锄 枷●，；ｂ●ｈｄ ＃ｌ￡ 唧ｔ＾驯 ‘‘＾ ●‘ｅＪ‘‘ｔＨ●ｃ＂ ｛ ｂｅ±ｏＨ‘ｌｃｉ●＿ｊ ＿＿ｅＩ ｔｔ＃，０ｔ辨ｉ…，： 抽 Ｓｔ ｆ ｃｒｙ ｔ Ｓ ……ｐｒｉｎｔＩ Ｉ ＿ —一－－ ｔｉｐ 口Ｉ……ＩＩ 口ⅫＥＩ口”ｔ＾＊ｌＩｊ ＇饥ｔ曲ｃ￡＾ｏｔｐ≈＾∞ｔｉ’ｌ ｔｌ・ｐｎ＿ｔ３ ｃ ｎ艚Ｉｌ ｝ 图６ ｓｋｉｐ模板 ａｌｔｅｒｎａｔｉｖｅ的模板和ｒｅｔｒｙ差别在于ａｄｖｉｃｅ的设置，ｒｅｔｒｙ模板的 ａｄｖｉｃｅ中代码实现方法重新执行，而ａｌｔｅｍａｔｉｖｅ模板的ａｄｖｉｃｅ中代 码实现备选方案。实现ａｌｔｅｒｎａｔｉｖｅ策略需要用户（即程序的设计人 员）提供备用数据库或者资源文件等的连接信息。当用户选择ａｌ— ｔｅｍａｔｉｖｅ的恢复策略时，用户可以手动书写恢复策略代码。
３案例分析
一个开源的论坛系统ＪＦｏｒｕｍ被选作为实验对象，来验证工 具和方法的可行性。首先，将ＪＦｏｒｕｍ源代码通过抽象语法树分 析，然后通过工具生成实现了容错策略的方面文件。其次，启动 系统，让系统在正常运行环境中运行。同时一个不带有异常恢 复代码的源程序也在相同环境下运行。在系统抛出异常时，我 们对比两个版本的运行时程序的不同反应，来验证我们方法的 可用性。 在没有做任何恢复处理系统中如果抛出了ＳＱＬＥｘｃｅｐｔｉｏｎ和 ＮｕＵＰｏｉｎｔｅｒＥｘｃｅｐｔｉｏｎ，用户会在在浏览器中看到如图７的画面。 用户可能认为该网站出现了严重的错误，已经不可用了。
Ｉｔ ｏｘ，ｑｔ螂曝饿ｅ ・＃＿ ｌ确－ｃｏｔ－ｅ．ｓ ・岫蛹 ・ｐｐｔｒ・－ ｌｏ ｔｔｔ鑫蹲喇 霸岫 矗ｔ ｏｚ冒．ａ Ｍ４摊。瑚ｔ－ ｉｍ．ｏ‘’地．孰ａ￣Ｖａｌｖｅ．ｔｎ１啮糖ｌ｜薯皇翻嘲 ｔｔ口ｗ．雌ｔ ｅ．毗＾重ｌ船－。∞ ｔ．ａｔ－｜ 喇ｃ懈玮尉ｎＶ ｌ －轴柙 檀轴誓目‘ ■ｃ ｏ营口－吲 罔妇－口酩＾ｌｌｎｔ。∞ ｅ・ｓ≮戳硝■ ｄ曩 ●ｔ辅ｔ１ ，ｌ曩 哪ｌ叠ｉ 叫 嘲盘 ＿ｔ口 卜ａｌｐａｅｄｔｅ．￣￣ａｌｉｎａ．，－ｌ珊－－霉蚋嘴 删＾ｌ ｔ主ｌＩ帕ｔ●ｌ葺 嘲羞翻啦钳 图７异常未处理状态 然而，通过工具处理的程序在运行时，如果遇到了相同的问 题，由于加入了ｒｅｔｒｙ恢复策略后，如图８所示。 ｌｉ５：口７；，，．３｛７瑚日 ；口 ３§ ０ ；ｍ ｓ Ｏ，：３９．Ｓ３２ 掰１日 Ｓ：Ｏ ：ｊ●。３§４ 糟Ｆｂ ５： ｝，－ ５ｌ 目ｌ曩鼻 ‘－－－＿—’ ｔＨｉ±ｌ ｓ｛０７：Ｓｔ．Ｓ鞑 １１１１１１１ ＿＿＿＿－＿一ｚｔｔ￡ Ｉ｝ ： ５ｉ０７：，，．５Ｂ２弼嘲 ’—－＿－－－。 ｊ！’１ ｉ５：０７：｛９。５９２ Ｗ瑚 ｊ‘－＿＿＿＿— ｅｔ玎！｝｝】 ｛ｉ５；０７Ｉｏｇ．５９２ ｌ黼 ＿＿＿＿＿—ｚｔｔ ｙｊ｝｝】 １５：∞，：，’．６５２ Ｆ ５：０７：ｊ§。，９８ 瑚Ｆｂ ５：口７：，，，０相埘鼬 ｌ砖 ｅ７：４０。●‘８ 州 ｌｎｌ帅五“ｐｒ ｌ弧ｔ姑ｉ 口Ｅ ｆ ｔ ‘０““日ｒ ｝Ｗ．“出ｉ狮＃ ｌ １帕岫ｉｔｏｒ ● ｃｈｔｎ Ｅ ｔ ｚｄ蛳ｉｔ０ｒ ｌ ＾ｔｄｎ加￡ 拍Ｃ口ｎｎｔａｔｉ∞ ｌ Ｅ￡ 口ｒ ●－ｔｉａｇ ｔｈ．ｄ●‘ ｂ－■ｔ ｃ—ｅｃ 口艄栩ｊ ｔ＃§ｑ ’ 。一 ｌⅫ 州 ■ｍ口日 ｌ Ｅｍ ％ｔ ｉ埘ｔｈｔ吐．ｔ●ｂｌ■ｅ ｃ眦｜ｃ Ｈ∞０Ｎｌ＃ｔ靠ｉ锄 ｝￡… ｇ饨ｅ ｄ－ｔ●“…雌ｆ惜ｃ ｌＤＢｃ０咖ｔ０ｔｉ口ｎ ｌ ｚ—ｎｒ｜． ｉ州ｔｈ●ｄ＾ｔｌｈ，●…ｃ ｌ 鼢∞ａ● ：ｊ镏 ｌ ｔｍ 帆－ｔｉ加ｔｈ●ｄ●ｔ■ｂ－●ｔ ｃａ４苴｜ｃ ｌＩ岫 ｌ Ｉ啪ｅｌｌｅｎ，ｓ ｕ－“口 口 ｌｃ钾垴口・ ｝∞ ｔｗｉ＿ｔ ｌ Ｉ４ ｃｉＩｌ１ｚｉｎｇ ｃ ０－，．１呻 ●ｔ眦ｌ ‘渤！舢 ４ｅ ｊ ｃ１ｉ４ ●ｔ ｔ蚺一《＾ｑ ｔ 罅＃ 图８ ｒｅｔｒｙ恢复策略执行后状态 如果ｒｅｔｒｙ策略没有效果，系统就会采用ｓｋｉ
ｐ策略，通过把