基于网格计算的分布式仿真关键问题研究

论文摘要

分布式仿真技术以其灵活、高效和经济的特点在短短的几十年时间内得到了迅猛的发展,并广泛应用于航空、军事、社会经济及游戏娱乐等诸多领域,成为人们进行系统分析、设计、测试、试验、预测及操作训练的有力工具。分布式仿真技术已经成为了继理论研究和实验研究之外,人们认识和改造客观世界的第三种重要手段。高层体系结构(High Level Architecture,HLA)着眼于解决分布式仿真的互操作和可重用问题,已成为构建分布式仿真系统的事实标准。基于HLA的分布式仿真技术在众多领域都得到了广泛的应用。但是,随着仿真应用领域的不断扩大,仿真系统的规模和复杂度也不断提高,对计算资源、存储资源、通信资源以及专用仿真软硬件的要求也越来越高。传统基于HLA的仿真应用正越来越多地受到计算资源利用率相对低下、缺乏动态负载平衡能力和有效的安全机制、海量数据难以存储和及时有效处理等诸多问题的困扰,这已成为制约HLA在大规模分布式仿真领域进一步发展的瓶颈。近年来,网格技术和Web服务技术的出现,为解决传统HLA仿真应用存在的问题提供了一个新的途径,基于网格技术的HLA仿真技术逐渐成为了仿真领域的研究热点。本文利用网格服务相关技术,提出了一个用于构建大规模、跨网络的分布式应用的框架GADS,并就基于网格服务的分布式仿真系统的若干关键问题进行了深入研究和探讨。论文的主要研究内容包括:针对基于HLA的分布式仿真技术存在的不足,分析了当前流行的解决方案及其优缺点,确定了基于网格计算和Web服务的分布式仿真的研究方向,并设计了基于网格计算的分布式仿真框架GADS。该框架中创新性地引入了仿真代理层的概念,通过代理层的引入,提高了仿真的灵活性和性能。在GADS仿真框架的基础上,提出了基于GADS的分布式仿真系统构建方法和构建流程;并分析了基于GADS框架的分布式仿真交互运行过程。研究了GADS框架下的仿真任务调度服务及负载平衡策略。定义了基于主机负载平衡度及网络通信代价的仿真任务调度算法评价标准,并以此为目标函数设计了基于无向完全图UCG的仿真任务调度算法。在此基础上,针对大多数分布式仿真呈现出通信交互密集的特征,进一步提出了基于UCG的通信优先两级调度算法,并分析了该算法的优点及应用场合。针对动态调度问题,定义了系统负载平衡度概念及计算方式,并提出了GADS框架下的负载平衡策略。借助于GADS框架中引入的仿真代理层,对现有邦员迁移算法进行优化,设计了一个免冻结的仿真邦员迁移协议GFMP。该协议采用两阶段迁移的方式,并且在迁移过程中只需修改仿真代理的代理对象,仿真源节点和目标节点可以在一定的程度上重叠运行,从而无需在迁移过程中冻结整个仿真的执行,有效提高了实施负载平衡的效率。HLA时间管理作为分布式仿真开发过程中的可选服务,提供了多种时间管理策略,但都还不够成熟,存在着诸多问题。本文对流行的保守时间推进机制进行了全面研究,分析了基于时间前瞻量和GALT的保守时间推进算法的代价及死锁问题;并在重点分析经典的Frederick算法的基础上,设计了一个基于GALT的保守时间推进改进算法,该改进算法可以避免Frederick算法中出现的死锁问题。针对乐观时间推进策略,提出了检查点设置周期算法,该算法综合考虑了回滚概率和可能回滚长度两个因素,通过合理的检查点设置,实现了对常规乐观时间推进算法的性能优化。创新性地将向量时间引入到乐观时间推进机制研究中,并定义了向量时间更新策略,进而提出回滚向量的概念并利用经典仿真推进案例分析了基于向量时间的回滚算法,在此基础上设计了基于向量时间的分布式仿真乐观推进算法。鉴于HLA规范在仿真安全管理方面的缺失,在GADS框架下设计了分布式仿真安全体系结构,并给出了GADS框架下的安全策略。针对在开放网络中进行安全分布式仿真问题,提出了一个零副作用的组密钥更新算法,算法避免了基于树结构的密钥更新算法的弊端,在成员加入或退出时,可以在不影响其余组员的情况下更新组密钥。该算法不仅可以应用于基于GADS框架的分布式仿真中,也可以应用于其他所有需要安全组播通信的场景。另外,设计了一个基于可信计算的可信传输协议,用于在开放的网络环境下进行可信的数据传输,该协议可应用于邦员跨安全域迁移的情况,也适用于其他需要进行可信传输的场景。在GADS仿真框架的基础上,设计实现了一个分布式测试仿真系统,该系统作为2008年度总装重点试验项目主要内容,目前已经投入试运行,系统各项指标均达到标准,运行状况良好。目前该项目正在申请全军科技进步一等奖。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 课题来源及研究背景
• 1.1.1 课题来源
• 1.1.2 相关背景
• 1.2 分布式仿真技术的发展
• 1.2.1 分布式仿真技术的发展历史
• 1.2.2 HLA 技术现状
• 1.3 基于网格服务的分布式仿真关键问题
• 1.3.1 大规模分布式仿真应用需求
• 1.3.2 HLA 分布式仿真技术存在问题
• 1.3.3 基于网格服务的分布式仿真技术现状
• 1.4 论文主要内容、组织结构及主要贡献
• 1.4.1 论文主要内容
• 1.4.2 论文组织结构
• 1.4.3 论文的主要贡献
• 第二章 基于网格服务的分布式仿真框架GADS
• 2.1 GADS框架体系结构
• 2.1.1 仿真网格资源层
• 2.1.2 HLA-RTI及通信层
• 2.1.3 仿真运行管理服务层
• 2.1.4 仿真代理层
• 2.1.5 仿真应用及门户层
• 2.1.6 仿真安全管理服务
• 2.2 基于GADS的分布式仿真系统构建
• 2.3 本章小结
• 第三章 GADS框架下的调度服务及负载平衡策略
• 3.1 仿真调度技术概述
• 3.2 分布式仿真任务调度技术现状
• 3.3 GADS框架下任务调度设计
• 3.3.1 仿真任务间通信模式
• 3.3.2 分布式仿真任务调度模型
• 3.3.3 分布式仿真任务调度算法评价标准
• 3.3.4 基于UCG 的仿真任务调度算法
• 3.3.5 基于UCG 的通信优先两级调度算法
• 3.3.6 对比实验及讨论
• 3.4 GADS框架下的负载平衡策略及邦员迁移协议
• 3.4.1 相关背景
• 3.4.2 GADS框架下的负载平衡方案
• 3.4.3 基于仿真代理的邦员迁移协议（GFMP）
• 3.4.4 实验及性能评价
• 3.5 本章小结
• 第四章 分布式仿真时间推进机制研究
• 4.1 HLA 时间管理服务概述
• 4.1.1 基本概念
• 4.1.2 HLA 时间管理的目标及原则
• 4.1.3 分布式仿真时间管理机制
• 4.2 同步时钟算法
• 4.3 保守时间推进机制及分析
• 4.3.1 时间前瞻量及GALT
• 4.3.2 基于前瞻量的保守时间推进策略
• 4.3.3 基于GALT 的保守时间推进策略分析
• 4.4 乐观时间推进机制分析
• 4.4.1 全局虚拟时间（Global Virtual Time）
• 4.4.2 HLA下的Time Warp乐观推进策略
• 4.4.3 乐观推进机制下的状态保存策略
• 4.5 基于向量时间的乐观时间同步算法研究
• 4.6 本章小结
• 第五章 GADS框架下的安全管理机制
• 5.1 概述
• 5.2 GADS框架下的安全体系结构
• 5.3 一个零副作用的组密钥更新机制
• 5.3.1 组密钥更新技术现状
• 5.3.2 基于可信平台的零副作用组密钥更新策略
• 5.4 GADS框架下的可信传输协议
• 5.4.1 问题的提出
• 5.4.2 基于可信计算的可信传输协议
• 5.4.3 安全性分析
• 5.5 本章小结
• 第六章 基于GADS的运载火箭分布式测试仿真系统
• 6.1 项目背景
• 6.2 系统研究内容
• 6.3 系统总体结构
• 6.4 系统实现关键技术
• 6.4.1 仿真联邦设计
• 6.4.2 数据交互接口设计
• 6.4.3 Matlab-RTI 中间件设计
• 6.5 分布式测试仿真系统功能
• 6.5.1 功能简介
• 6.5.2 系统组成结构
• 6.5.3 系统功能结构
• 6.6 本章小结
• 第七章 结束语
• 7.1 论文工作总结
• 7.2 未来工作展望
• 致谢
• 参考文献
• 攻博期间取得的研究成果