基于模型检验的分级调度系统参数生成方法

针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系统可调度性的前提下,采用分布式遗传算法搜索具有最优处理器利用率的参数。其中,系统的可调度性约束表述为符号模型检验中的安全性属性和统计模型检验中的假设检验2种形式。相比广泛应用的响应时间分析模型,该方法的形式化模型具有更强的表达能力,能更精确地描述复杂系统特征。而且统计模型检验的引入缓解了传统模型检验的“状态空间爆炸”问题。参数生成实验表明该方法能够定位参数空间中的全局最优解。

自动精简配置技术中空间回收方法的研究

自动精简配置(Thin-Provisioning)技术通过按需分配存储资源,可有效提高存储利用率。然而,在应用释放申请的空间后,存储系统难以及时回收这些被释放的空间。为此,提出一种存储区域网络(SAN)环境下针对自动精简配置的空间回收方法:存储系统识别文件系统格式并监视其元数据IO;当检测到文件系统空间释放行为时,计算对应可回收的区域;在通过数据一致性分析之后,对其进行回收。针对NTFS文件系统的原型实验证明,该方法确实能够进行有效的空间回收,且对主机应用影响较小。

Hyper_v虚拟机集群管理系统的设计与实现

随着Hyper_v虚拟机的应用普及,虚拟机资源的远程管理成为困扰企业的一个问题,主要包括:启动、停止、重启、快照、暂停、继续、保存、恢复、运行状态监测、机器信息采集等功能。本文针对上述问题展开研究,设计面向Web应用服务平台的Hyper_v虚拟机集群管理系统,介绍虚拟机集群资源管理的相关工作和阐述系统架构、功能模块特点、部署方式和优点。