2017-05-30


前几天简要分析了linux remap机制,虽然还有些许瑕疵,但总算大致分析的比较清楚。今天分析下EPT下的逆向映射机制。EPT具体的工作流程可参考前面博文,本文对于EPT以及其工作流程不做过多介绍,重点介绍逆向映射机制。其实逆向映射机制在最主要的作用就是映射的逆向,说了等于白说,但也不无道理。linux下根据虚拟地址经过页表转换得到物理地址。怎么根据物理地址得到对应的虚拟地址呢?这里便用到了逆向映射。逆向映射有什么用呢?最重要的,在页面换出时,由于物理内存的管理由一套相对独立的机制在负责,根据物理页面的活跃程度,对物理页面进行换出,而此时就需要更新引用了此页面的页表了,否则造成不同步而出错。如果获取对应的物理页面对应的pte的地址呢?内核的做法是先通过逆向映射得到虚拟地址,根据虚拟地址遍历页表得到pte地址。

在KVM中,逆向映射机制的作用是类似的,但是完成的却不是从HPA到对应的EPT页表项的定位,而是从gfn到对应的页表项的定位。理论上讲根据gfn一步步遍历EPT也未尝不可,但是效率较低;况且在EPT所维护的页面不同于host的页表,理论上讲是虚拟机之间是禁止主动的共享内存的,为了提高效率,就有了当前的逆向映射机制。

我们都知道虚拟机的物理内存由多个slot构成,每个slot都是一个kvm_memory_slot结构,表示虚拟机物理内存的一段空间,为了说明问题,不妨先看下该结构:

  1. struct kvm_memory_slot {
  2. gfn_t base_gfn;
  3. unsigned long npages;
  4. /*一个slot有许多客户机虚拟页面组成,通过dirty_bitmap标记每一个页是否可用,一个页面对应一个位*/
  5. unsigned long *dirty_bitmap;
  6. struct kvm_arch_memory_slot arch;
  7. unsigned long userspace_addr;//对应的HVA 地址
  8. u32 flags;
  9. short id;
  10. };

slot本质是qemu进程用户空间的hva,紧急你是qemu进程的虚拟地址空间,并没有对应物理地址,各个字段的意义不言自明了。其中有一个kvm_arch_memory_slot结构,我们重点描述。

  1. struct kvm_arch_memory_slot {
  2. unsigned long *rmap[KVM_NR_PAGE_SIZES];
  3. struct kvm_lpage_info *lpage_info[KVM_NR_PAGE_SIZES - ];
  4. };

该结构的rmap字段是指针数组,每种页面大小对应一项,截止3.10.1版本,KVM的大页面仅仅支持2M而并没有考虑1G的页面,普通的页面就是4KB了。所以默认状态下,提到大页面就是指的2M的页面。结合上面的kvm_memory_slot结构可以发现,kvm_arch_memory_slot其实是kvm_memory_slot的一个内嵌结构,所以每个slot都关联一个kvm_arch_memory_slot,也就有一个rmap数组。其实在虚拟机中,qemu为虚拟机分配的页面主要是大页面,但是这里为了方面,按照4KB的普通页面做介绍。

初始化阶段

在qemu为虚拟机注册各个slot的时候,在KVM中会初始化逆向映射的相关内存区。__kvm_set_memory_region-->kvm_arch_create_memslot

在该函数中,用一个for循环为每种页面类型的rmap分配空间,具体分配代码如下

  1. lpages = gfn_to_index(slot->base_gfn + npages - ,
  2. slot->base_gfn, level) + ;
  3.  
  4. slot->arch.rmap[i] =
  5. kvm_kvzalloc(lpages * sizeof(*slot->arch.rmap[i]));
  6. if (!slot->arch.rmap[i])
  7. goto out_free;

gfn_to_index把一个gfn转化成该gfn在整个slot中的索引,而这里获取的其实就是整个slot包含的不同level的页面数。然后为slot->arch.rmap[i]分配内存,每个页面对应一个unsigned Long.

建立阶段

建立阶段自然是在填充EPT的时候了,在KVM中维护EPT的核心函数是tdp_page_fault函数。该函数的处理在之前的文章中也有介绍,在函数尾部会调用rmap_add函数建立逆向映射

  1. static int rmap_add(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
  2. {
  3. struct kvm_mmu_page *sp;
  4. unsigned long *rmapp;
  5.  
  6. sp = page_header(__pa(spte));
  7. kvm_mmu_page_set_gfn(sp, spte - sp->spt, gfn);
  8. rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
  9. return pte_list_add(vcpu, spte, rmapp);
  10. }

page_header是一个内联函数,主要目的在于获取kvm_mmu_page,一个该结构描述一个层级的页表,地址保存在page结构的private字段,然后调用kvm_mmu_page_set_gfn,对kvm_mmu_page进行设置。这不是重点,接着就获取了gfn对应的rmap的地址,重点看下

  1. static unsigned long *gfn_to_rmap(struct kvm *kvm, gfn_t gfn, int level)
  2. {
  3. struct kvm_memory_slot *slot;
  4.  
  5. slot = gfn_to_memslot(kvm, gfn);
  6. return __gfn_to_rmap(gfn, level, slot);
  7. }

首先转化成到对应的slot,然后调用了__gfn_to_rmap

  1. static unsigned long *__gfn_to_rmap(gfn_t gfn, int level,
  2. struct kvm_memory_slot *slot)
  3. {
  4. unsigned long idx;
  5. /*gfn在slot中的index*/
  6. idx = gfn_to_index(gfn, slot->base_gfn, level);
  7. /*rmap是一个指针数组,每个项记录对应层级的gfn对应的逆向映射,index就是下标*/
  8. return &slot->arch.rmap[level - PT_PAGE_TABLE_LEVEL][idx];
  9. }

额。。。到这里就很明确了,我们再次看到了gfn_to_index函数,这里就根据指定的gfn转化成索引,同时也是在rmap数组的下标,然后就返回对应的表项的地址,没啥好说的吧……现在地址已经获取到了,还等什么呢?设置吧,调用pte_list_add函数,该函数也值得一说

  1. static int pte_list_add(struct kvm_vcpu *vcpu, u64 *spte,
  2. unsigned long *pte_list)
  3. {
  4. struct pte_list_desc *desc;
  5. int i, count = ;
  6. /*如果*pte_list为空,直接设置逆向映射即可 */
  7. if (!*pte_list) {
  8. rmap_printk("pte_list_add: %p %llx 0->1\n", spte, *spte);
  9. *pte_list = (unsigned long)spte;
  10. } else if (!(*pte_list & )) {
  11. rmap_printk("pte_list_add: %p %llx 1->many\n", spte, *spte);
  12. desc = mmu_alloc_pte_list_desc(vcpu);
  13. desc->sptes[] = (u64 *)*pte_list;
  14. desc->sptes[] = spte;
  15. *pte_list = (unsigned long)desc | ;
  16. ++count;
  17. } else {
  18. rmap_printk("pte_list_add: %p %llx many->many\n", spte, *spte);
  19. desc = (struct pte_list_desc *)(*pte_list & ~1ul);
  20. while (desc->sptes[PTE_LIST_EXT-] && desc->more) {
  21. desc = desc->more;
  22. count += PTE_LIST_EXT;
  23. }
  24. /*如果已经满了,就再次扩展more*/
  25. if (desc->sptes[PTE_LIST_EXT-]) {
  26. desc->more = mmu_alloc_pte_list_desc(vcpu);
  27. desc = desc->more;
  28. }
  29. /*找到首个为空的项,进行填充*/
  30. for (i = ; desc->sptes[i]; ++i)
  31. ++count;
  32. desc->sptes[i] = spte;
  33. }
  34. return count;
  35. }

先走下函数流程,我们已经传递进来gfn对应的rmap的地址,就是pte_list,接下来主要分为三部分;if……else if ……else

首先,如果*ptelist为空,则直接*pte_list = (unsigned long)spte;直接把rmap地址的内容设置成表项地址,到这里为止,so easy……但是这并不能解决所有问题,说到这里看下函数前面的注释吧

  1. /*
  2. * Pte mapping structures:
  3. *
  4. * If pte_list bit zero is zero, then pte_list point to the spte.
  5. *
  6. * If pte_list bit zero is one, (then pte_list & ~1) points to a struct
  7. * pte_list_desc containing more mappings.
  8. *
  9. * Returns the number of pte entries before the spte was added or zero if
  10. * the spte was not added.
  11. *
  12. */

根据注释判断,pte_list即我们之前的到的rmap最低一位表明这直接指向一个spte还是pte_list_desc,后者用作扩展remap.那么到了else if这里,如果*pte_list不为空且也并没有指向一个pte_list_desc,那么就坏了,根据gfn定位到了 这个remap项,但是人家已经在用了,怎么办?解决方案就是通过pte_list_desc扩展下,但是最后要表明这是一个pte_list_desc,所以要吧最后一位置1,然后设置进*pte_list。还是介绍下该结构

  1. struct pte_list_desc {
  2. u64 *sptes[PTE_LIST_EXT];
  3. struct pte_list_desc *more;
  4. };

结构比较简单,自身携带一个PTE_LIST_EXT大小的指针数组,PTE_LIST_EXT为3,也就是扩展一下可以增加2个表项,数量不多,所以如果还不够,就通过下面的more扩展。more又指向一个pte_list_desc。好了,接下看我们的else

如果前两种情况都不对,这就是remap项不为空,且已经指向一个pte_list_desc,同样的道理我们需要获取该结构,找到一个能用的地方啊。如何找?

如果desc->sptes已经满了,且more不为空,则递归的遍历more,while循环出来,就有两种情况

1、sptes有剩余

2、more为空

此时进行判断,如果sptes没满,直接找到一个空闲的项,进行填充;否则,申请一个pte_list_desc,通过more进行扩展,然后在寻找一个空闲的。

PS:上面是函数的大致流程,可是为何需要扩展呢?之前有提到,初始化的时候为每个页面都分配了remap空间,如果qemu进程为虚拟机分配的都是4KB的页面,那么每个页面均会对应一个位置,这样仅仅if哪里就可以了,不需要扩展。但是qemu为虚拟机分配的一般是比较大的页面,就是2M的,但是虚拟机自己分配的很可能是4KB的,这样,初始化的时候为2M的页为单位分配rmap空间,就不能保证所有的小页面都对应一个唯一的remap地址,这样就用到了扩展。

以马内利

参考:kvm 3.10.1源码

KVm中EPT逆向映射机制分析的更多相关文章

  1. linux 逆向映射机制浅析

    2017-05-20 聚会回来一如既往的看了会羽毛球比赛,然后想到前几天和朋友讨论的逆向映射的问题,还是简要总结下,免得以后再忘记了!可是当我添加时间……这就有点尴尬了……520还在写技术博客…… 闲 ...

  2. WebGPU 中的缓冲映射机制

    1. 什么是缓冲映射 就不给定义了,直接简单的说,映射(Mapping)后的某块显存,就能被 CPU 访问. 三大图形 API(D3D12.Vulkan.Metal)的 Buffer(指显存)映射后, ...

  3. Hibernate的映射机制是怎样?

    Hibernate的映射机制对象关系映射(Object Relation Mapping(ORM))是一种为了解决面向对象与面向关系数据库互不匹配现象的技术,简而言之ORM是通过使用描述对象之间映射的 ...

  4. KVM的ept机制

    转载:http://ytliu.info/blog/2014/11/24/shi-shang-zui-xiang-xi-de-kvm-mmu-pagejie-gou-he-yong-fa-jie-xi ...

  5. IOS Table中Cell的重用reuse机制分析

    IOS Table中Cell的重用reuse机制分析 技术交流新QQ群:414971585 创建UITableViewController子类的实例后,IDE生成的代码中有如下段落: - (UITab ...

  6. Android 中View的绘制机制源代码分析 三

    到眼下为止,measure过程已经解说完了,今天開始我们就来学习layout过程.只是在学习layout过程之前.大家有没有发现我换了编辑器,哈哈.最终下定决心从Html编辑器切换为markdown编 ...

  7. 条目六《当心C++编译器中最烦人的分析机制》

    当心C++编译器中最烦人的分析机制 C++是较为底层的面相对象语言,在底层的语法规则分析中,有很多隐藏的分析机制. C++中的普遍规律相符,即尽可能地解释为函数声明. 把形式参数的声明用括号括起来是非 ...

  8. Android 中View的绘制机制源代码分析 一

    尊重原创: http://blog.csdn.net/yuanzeyao/article/details/46765113 差点儿相同半年没有写博客了,一是由于工作比較忙,二是认为没有什么内容值得写, ...

  9. Android 中View的绘制机制源代码分析 二

    尊重原创:http://blog.csdn.net/yuanzeyao/article/details/46842891 本篇文章接着上篇文章的内容来继续讨论View的绘制机制,上篇文章中我们主要解说 ...

随机推荐

  1. ajax——实现三级联动下拉列表

    数据库: <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3 ...

  2. git提交空文件夹目录结构

    find . -name ".git" | xargs rm -Rf 在git 目录下执行find . -type d -empty -exec touch {}/.gitigno ...

  3. I2C和SPI

    I2C(Inter-Integrated Circuit)总线 两线式串行总线,用于连接微控制器及其外围设备.是微电子通信控制领域广泛采用的一种总线标准.它是同步通信的一种特殊形式,具有接口线少,控制 ...

  4. 数据库 proc编程五

    #define _CRT_SECURE_NO_WARNINGS #include <stdio.h> #include <stdlib.h> #include <stri ...

  5. bootstrap基础学习七篇

    bootstrap图片 Bootstrap 提供了三个可对图片应用简单样式的 class: .img-rounded:添加 border-radius:6px 来获得图片圆角. .img-circle ...

  6. Mac终端运行java程序

    1.编辑源文件HelloWorld.java 2.编译源文件 javac HelloWorld.java 生成HelloWorld.class文件 3.执行java字节码 注意,一定要到源目录下,并且 ...

  7. sublime window 配置记录 (转)

    大家好,今天给大家分享一款编辑器:sublime text2    我用过很多编辑器,EditPlus.EmEditor.Notepad++.Notepad2.UltraEdit.Editra.Vim ...

  8. instance method '*****' not found (return type defaults to 'id')

    博文转载至 http://blog.csdn.net/cerastes/article/details/38025801 return type defaultsnot foundiOSwarning ...

  9. mybatis 控制台打印出来的sql 执行结果为空 但是将sql放到mysql执行有数据

    mybatis中的sql如下 select airln_Cd airlnCd,city_coordinate_j cityCoordinateJ,city_coordinate_w cityCoord ...

  10. weX5如何绑定KO对象

    define(function(require){ var $ = require("jquery"); var justep = require("$UI/system ...