论文部分内容阅读
近年来,随着Internet的广泛应用和移动计算技术的蓬勃发展,在学术界和工业界都掀起了研究移动Agent的热潮。它与传统分布式计算(包括消息传递、远程过程调用和移动对象)相比,具有很多优点。但由于移动Agent本身可以代表用户的利益自主的在异构网络上移动并执行任务,这就给移动Agent的正确顺利执行带来了一系列的问题。如在执行过程中移动Agent可能会由于各种原因而遭受到阻塞。目前,针对这一问题已提出了一些有效的解决方案,如目前普遍采用的复制方法就能成功的克服阻塞。但随之另一个问题又产生了——由于在异步的分布式的网络环境中很难找到一种可靠的故障检测机制以及陷入故障的移动Agent在经过一段时间后又随时可能恢复正常,所以这都可能会导致对移动Agent只执行一次属性的破坏。 在本文中,作者首先给出了国内外关于移动Agent容错执行的研究现状,以及相关的理论支持。接着从保证移动Agent执行“非阻塞”和“只一次”的角度提出了自己用于解决移动Agent容错性问题的MAFT模型。在这一模型中,我们设计了一个依赖于Agent的容错模块FTM以便在不对现有移动Agent平台进行修改的情况下实现容错。其中,我们首先将移动Agent的容错执行问题转换为一系列的协议协商问题;然后在Consensus算法的基础之上通过改进给出了DIV Consensus算法用以实现移动Agent之间的协商策略从而最终保证移动Agent执行的只一次属性;同时我们还提出了一种用于实现移动Agent在不同阶段之间高效可靠传输的通道模式。另外在移动Agent执行的每一阶段我们还设立了一个Agent及其复制体的状态管理器(CM)以记录当前Agent及其复制体的位置、状态和容错信息。通过CM、FTM模块与用户Agent间的交互,我们在满足移动Agent非阻塞执行的同时又保证了其只执行一次的原则从而最终保证移动Agent的正确顺利执行。最后作者对所做的研究工作在实验室里进行了模拟实验和分析移动Agent的容错方法研究—中文摘要并对所做工作进行了总结与展望。