qemu的外部快照实现原理

一 基础概念

1 外部快照

当一个快照被创建时，创建时当前的状态保存在当前使用的磁盘文件中，即成为一个backing file。此时一个新的overlay被创建出来保存往后的数据。
2 backing file和overlay

对基础镜像做外部快照，生成的快照文件被称为overlay，基础镜像成为backing file。backing file是只读的。示例链路如下:

base-img <-- overlay-1 <-- overlay-2 <-- overlay-3

仅支持base-img为raw file，其他节点为qcow2 file的链路，或者所有节点为qcow2 file的链路。
3 更多名词解释

• cluster: qcow2镜像存储数据的最小单位，默认64K。
• L2 entry: 描述cluster offset及其相关标志位的入口，长度为64位。
• cluster offset: normal cluster位于镜像中的起始地址，长度为64位。
• cluster type: cluster类型，根据存储内容分为normal，compressed，unallocated，zeroplain， zeroalloc。

二 COW

COW是外部快照的读写流程中最重要的部分。
1 什么是COW

COW(Copy-On-Write)，也被称之为「即写即拷」快照技术或「写时复制」快照技术，这种方式通常也被称为"元数据(源数据指针表)"拷贝。顾名思义，如果有人试图改写源数据块上的原始数据，首先将原始数据拷贝到新数据块中，然后再进行改写。
2 为何需要COW

当写请求发生在backing file上，要先分配new cluster。如果只是把要写的数据写到new cluster上，那数据是不完整的，因为每次写入的数据并非刚刚是cluster的整数倍，可能是几个或几个sector，所以需要我们把剩下的部分从old cluster上复制到new cluster，最后把这个cluster标记为allocated cluster。

当我们下次读该cluster，在overlay上就可以读到，且数据是完整的，不是残缺不全的。
3 如何COW

qcow2的COW并非先复制再写入，而是先写入再复制。步骤如下:

• 分配new cluster。
• 标记写时复制的范围cow_start和cow_end，保存在结构体QCowL2Meta。
• 写入要写的数据到new cluster。
• 把剩下的部分从old cluster复制到new cluster。
• 用新的cluster offset更新l2 table，加上QCOW_OFLAG_COPIED标记。

三 cluster类型

1 cluster类型

typedef enum QCow2ClusterType {
    QCOW2_CLUSTER_UNALLOCATED, //未分配
    QCOW2_CLUSTER_ZERO_PLAIN,
    QCOW2_CLUSTER_ZERO_ALLOC,
    QCOW2_CLUSTER_NORMAL, //normal
    QCOW2_CLUSTER_COMPRESSED, //压缩
} QCow2ClusterType;

当QCOW2_CLUSTER_NORMAL类型，且标记QCOW_OFLAG_COPIED，才无需分配cluster。其他情况均需要分配cluster。
2 如何获取cluster类型
qcow2_get_cluster_type获取cluster类型。

四 分配cluster

谁来决定分配cluster呢，是由l2 entry决定的，这里要搞清楚它的含义。
1 l2 entry各位含义，以standard clusters为例。

2 根据l2 entry决定是否分配cluster

• l2 entry满足以下条件，为normal cluster，不分配新cluster。
  

• l2 entry的每一位都为0，为unallocated cluster，需分配新cluster。
  

• 满足63bit=0，且l2 entry & L2E_OFFSET_MASK != 0。该cluster被内部快照过，需分配cluster.
  

五 读写流程

1 读流程

发生在qcow2_co_preadv中，分为两种情况：

• 要读的数据在overlay上。

• 要读的数据在backing file上。

  qcow2_co_preadv
  ret = qcow2_get_cluster_offset //计算cluster offset，并返回cluster type。
  switch (ret)
  case QCOW2_CLUSTER_UNALLOCATED:
  if (bs->backing) //读取backing file上的数据。
  bdrv_co_preadv
  case QCOW2_CLUSTER_NORMAL:
  bdrv_co_preadv //读取overlay上的数据。

2 写流程

发生在qcow2_co_pwritev中，流程如下：

• 如果不需要分配new cluster，将数据写入overlay。

• 如果需要分配new cluster，但是没有backing file，或者backing file上找不到cluster offset，将数据写入new cluster。

• 如果需要分配new cluster，且在backing file能找到cluster offset，执行COW。

  qcow2_co_pwritev
  qcow2_alloc_cluster_offset //获取cluster offset，如果获取失败，分配new cluster。
  handle_alloc_space //new cluster填充零。
  bdrv_co_pwritev //将数据写入cluster。
  qcow2_handle_l2meta //当需要COW时，该函数执行COW。