移动计算环境下卷回恢复技术地研究.pdf

Classified Index: TP393.17 U.D.C.: 681.3.06 Dissertation for the Doctoral Degree in Engineering RESEARCH ON KEY TECHNIQUES OF ROLLBACK RECOVERY IN MOBILE COMPUTING ENVIRONMENT Candidate: Zhang Zhan Supervisor: Prof. Yang Xiaozong Academic Degree Applied for: Doctor of Engineering Speciality: Computer Architecture Affiliation: School of Computer Science Technology Date of Defence: June, 2008 Degree-Conferring-Institution: Harbin Institute of Technology 摘 要 摘 要 随着无线网络和移动计算设备的快速发展和日益普及，移动计算这一计算 范型得到了高度重视和广泛研究，被认为是信息技术领域的主要发展方向之一。 在移动环境中，不可靠的移动节点和脆弱的网络连接，迫切需要为移动计算系 统提供容错机制。检查点与卷回恢复(Checkpoint and Rollback-Recovery)技术是 一类重要的软件容错技术，具有实现和使用简单，对资源要求低等特点，适合 在移动计算环境中应用。 移动计算环境中，低通信带宽、存储空间限制、节点的移动性、频繁的断 开连接和能量限制等特点决定了为固定网络分布式系统开发的卷回恢复技术不 能直接地应用到移动计算系统中。在保证系统一致性的前提下，减少检查点和 消息日志的存储开销、减少卷回恢复机制引入的通信开销、提高移动节点的自 治性(autonomy)、减少由于进程间依赖关系造成的节点间耦合、实现卷回恢复机 制对移动节点的透明，是移动环境下卷回恢复技术研究的核心问题。本文围绕 以上内容展开研究。 进程检查点是卷回恢复机制研究的基础，降低检查点开销是进程检查点的 重要研究方向。尤其在移动计算系统中，其资源受限的特点决定了设计的卷回 恢复算法必须具有低开销的特点。利用内核级检查点的优势，结合移动计算机 系统应用环境的特点，提出了两种自适应检查点间隔控制策略：基于故障预测 的步进式检查点策略和基于内存数据量预测的内存门限方法，两者结合可以很 好的动态控制检查点设置间隔，有效减少检查点的存储开销和计算损失。 在移动计算环境的实际应用中，很多网络结构是松耦合的，移动节点自治 性很强，希望的容错机制是一种透明的服务，同时需要异步的卷回恢复。提出 一种基于先行图的移动计算环境因果日志及卷回恢复算法 MC_CML ，通过在 MSS 上记录的先行图来记录 MH 间的依赖关系，同时采用基于发送方的暂存消 息日志和非协同检查点记录节点状态。支持站只需为每个节点保存一个最近的 检查点，避免了日志信息的同步稳定存储，减少了无错运行时的开销。某节点 失效后，只有该节点本身需要卷回到最近的检查点，而其他进程无需卷回，从 而实现了移动节点透明的完全异步的卷回恢复。 MC_CML 的应用范围有一定的局限性，在大规模移动网络中采用因果日志 将带来很大的存储和通信开销，考虑将本应该在 MH 一级进行的检查点存储、 －I － 哈尔滨工业大学工学博士学位论文 消息日志和依赖跟踪等工作全部转移到 MSS 上进行存储和处理而在 MSS 之间 维护跨区消息的依赖信息，形成小区内、小区外两层因果依赖关系的跟踪。提 出一种移动计算环境分层因果日志协议 MC_HCML ，采用分层的因果日志记录 消息间的因果依赖关系，结合协同检查点算法，实现 MSS-MH 两层的因果日志 协议。基于 SPIN