中国科学院知识创新工程(KGCX2-YW-125)
- 作品数：4 被引量：16H指数：2
- 相关作者：武延军郑婷婷贺也平刘冬梅马恒太更多>>
- 相关机构：中国科学院软件研究所中国科学院研究生院北京大学更多>>
- 发文基金：中国科学院知识创新工程国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算环境下的虚拟机快速克隆技术被引量：13
- 2011年
- 虚拟机克隆技术是指在云计算环境下快速复制出多个虚拟机(VM)并将这些VM分发到多台物理主机上,克隆出来的VM共享相同的初始状态然后独立运行提供服务。虚拟机克隆使得云计算提供商能够快速有效地部署系统资源。给出了一种虚拟机快速克隆方法,利用写时拷贝技术来创建虚拟磁盘和内存状态的快照,然后用按需分配内存技术和多点传送技术来请求和传输这些状态信息。在C3云平台上的实验表明,此方法在不中断源虚拟机中运行服务的情况下,实现了云计算中的快速虚拟机克隆。
- 郑婷婷武延军贺也平
- 关键词：云计算虚拟机克隆
- 虚拟机确定性执行重放的模型分析和实现方法
- 2012年
- 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
- 于佳耕周鹏武延军赵琛
- 关键词：模型分析虚拟机XEN
- 基于锁信息的多线程软件原子性错误检测方法被引量：1
- 2014年
- 原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。
- 王云飞刘剑马越
- 关键词：动态优化
- 一种离线TTP公平非否认协议的安全性分析方法被引量：2
- 2011年
- 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.
- 刘冬梅卿斯汉马恒太李树仁
- 关键词：非否认性
