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

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要做出调整。

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

 

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