VMCkpt基于虚拟机的检查点技术研究.pptVIP

LOGO LOGO VMCkpt:基于虚拟机的检查点技术研究 提纲 课题背景及意义 1 国内外研究现状 2 核心问题及策略 3 4 课题规划 检查点概述 定义：Checkpoint is a designated place in a program at which normal processing is interrupted specifically to preserve the status information necessary to allow resumption of processing at a later time (Zomaya 1996). 检查点用途 容错及灾备（FT HA），广泛应用于DBMS，并行高性能计算（longtime）等 进程或系统的休眠、迁移，系统快速启动。 程序调试 课题背景 项目：973子课题四 ，“虚拟计算系统普适化运行环境研究” 支撑系统：多平台共享的虚拟用户环境(VUE) 系统现状：已经实现了用户多状态可回滚的桌面虚拟环境 　　　 　　　　　　 Xen server Xen server …… APP Server VCM Thin Client PDA Data Server Intranet Domain 0 Domain U Xen Virtualized PC 课题背景（续） 全系统检查点数据组织结构 课题意义（续） 　　　　　 亟待解决问题 课题意义（续） 如何提高系统的可用性和运行效率？ 设计和优化基于虚拟机的全系统检查点：可压缩存储、对用户透明、可增量存储、可聚合、可协作。 抛开系统，实现高效的VM检查点本身意义重大。 对任何应用完全透明。 可迁移性好。 　　　　　　　　　　　　　　　　　　　 提纲 课题意义 1 国内外研究现状 2 核心问题及策略 3 4 课题规划 4 检查点分类（续） 检查点分类（实现方式） 用户层：API函数库或user-mode signal handler 进程类: Libckpt， Thckpt， Esky， Condor 并行程序类： PM2， Score， CLIP，CoCheck 系统层：system call， Kernel mode signal handler, Kernel thread Zap, VMADump， EPCKPT ，BLCR等 VMM层：Hyper call Xen，VMware，Hyper-V 文件系统级：商业DBMS，Windows系统还原， Symantec 的 VxFS， 清华的CprFS 进程级检查点研究现状 Libckpt: Transparent Checkpointing Under UNIX（USENIX’95） The Design and Implementation of Zap: A System for Migrating Computing Environments (OSDI’02) PM2: A High Performance Communication Middleware for Heterogeneous Network Environments (Supercomputing’00) CLIP – A Checkpointing Tool for Message-Passing Parallel Programs (Supercomputing’97) DejaVu: Transparent User-Level Checkpointing, Migration, and Recovery for Distributed Systems (IPDPS07) Application-level checkpointing for shared memory program (ASPLOS’04) Implementation and Evaluation of a Scalable Application-level Checkpoint-Recovery Scheme for MPI Programs (SC’04) Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems (USENIX’07) 检查点特性比较（续） 类型 典型代表 实现难易 实现粒度 完全性 透明性(编程/用户） 可增量 迁移性 灵活性 效率 用户层 Libckpt 易 进程或线程 差 很差/ 较好 Y 差 差 较低 系统层 ZAP, BLCR 复杂 进程或进程组 差 较差/ 较好 N 较好 好 高 V