• perf 对两个map是否重叠的判断,以及函数map_groups__fixup_overlappings代码逻辑


    该标题可以抽象出来的问题是:两个前开后闭的区间 rangeA 和 rangeB,如何判断这两个区间是否重叠。这个问题在内核中非常重要,虚拟地址空间的划分需要它,perf中map_group的构建也需要它,下面直接给出该问题的解决思路:

    找出不重叠的情况,其他的情况都是重叠的,perf中mmap__overlay函数是这样解决的:

    int map__overlap(struct map *l, struct map *r)
    {
        if (l->start > r->start) { //首先对调,让l指向偏左,即起始地址较小的map【用一个数轴比划下】
            struct map *t = l;
            l = r;
            r = t;
        }  
        if (l->end > r->start) //那么只要左边map的结束地址超过了右边map的起始地址,就肯定重叠
            return 1;

        return 0;
    }

    现在第一个问题解决了,下面解决第二个问题:map_groups__fixup_overlappings函数解析:

    函数原型:int map_groups__fixup_overlappings(struct map_groups *mg, struct map *map, FILE *fp)
    参  数     :mg,存放已经注册好的map,使用二叉树存储;

                     map,待插入的map,根据该map来调整mg中已经注册的map;

                     fp,错误输出地。

    函数名描述了这个函数的功能:根据重叠信息,对map_groups中已有的map进行修正。修正的原则是后来居上。什么意思?也就是说当map与mg中的某个map_registered的内存域发生了冲突,此时map的优先级更高一些,mg_registered要做出调整。

    两个区域重叠无非是下面几种情况,对每种情况分别说明是如何调整的:

  • 相关阅读:
    常用资源
    printf打印颜色
    Vue开发中踩坑-Day3
    Vue开发踩坑-Day2
    Vue开发中的踩坑-day1
    Python中virtualenv的使用
    第十一章:Python高级编程-协程和异步IO
    第十章:Python高级编程-多线程、多进程和线程池编程
    第九章:Python高级编程-Python socket编程
    自定义Element父子不关联的穿梭树
  • 原文地址:https://www.cnblogs.com/honpey/p/4587510.html
Copyright © 2020-2023  润新知