已有基于内存的虚拟机迁移技术要求迁移源机和目标机之间必须共享网络磁盘,迁移性能受网络条件的影响很大,且在不支持"共享网络磁盘"的环境中,无法实现虚拟机迁移。针对上述问题,考虑到虚拟机磁盘作为虚拟机运行所需的持久化状态的封装体,所展现出的如高可用性、高效能、安全稳定等良好特性,提出基于磁盘的虚拟机迁移。通过设计虚拟磁盘驱动系统DiskMig,在实现虚拟机磁盘迁移的同时保证了其在源端和目的端的一致性。设计了"Transfer on Demand with Forward-ahead"(TOD&FA)算法快速同步源端和目的端磁盘文件差异。DiskMig采用自行设计的高效存储结构bitmap,使记录、查询虚拟机磁盘迁移过程中的大量I/O操作时仅需时间复杂度Ο(1)。实验表明,DiskMig所采用的相关方法对虚拟机及其中应用程序运行性能的影响仅为5%左右,有效支持了虚拟机磁盘文件的迁移。
How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadlock and unspecified reception,and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design,which makes the composition process both complex and time-consuming. In this paper,we propose a novel approach,referred to as AutoSyn to compose web services,where the correctness is guaranteed in the synthesis process. For a given set of services,a composite service is automatically constructed based on L* algorithm,which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We show the soundness and completeness of our solution and give a set of optimization techniques for reducing the time consumption. We have implemented a prototype system of AutoSyn and evaluated the effectiveness and efficiency of AutoSyn through an experimental study.
HUAI JinPeng1,2,DENG Ting1,2,LI XianXian1,2,DU ZongXia1,2 & GUO HuiPeng1,2 1 National Laboratory of Software Development Environment,Beihang University,Beijing 100191,China
针对虚拟机(virtual machine,VM)在不同子网间进行在线迁移时,因网络接入点发生改变而无法继续通信的问题,设计和实现了基于代理移动IP(proxy mobile IP,PMIP)的网络连接重定向系统。当VM迁移到外部子网时,将其看做移动节点,不改变IP地址,通过外部网络和家乡网络之间的双向隧道传输所有来自和发往该VM的网络数据。此方案中跨子网的在线迁移行为对VM以及与VM通信的节点透明。实验证明了该系统可以保证VM较快的网络切换速度和较好的网络通信性能。
