如上图所示,首先先来了解下linux内存管理的架构,用于了解伙伴算法所在的位置。
伙伴算法在内存管理中用来消除外部碎片,用Wolfgang Mauerer(《深入linux内核架构》的作者)的话说“伙伴系统基于一种相对简单然而令人吃惊的强大算法,已经伴随我们几乎40年。它结合了优秀内存分配器的两个关键特征:速度和效率。”
这张图能较直观的反映伙伴系统在内存管理中所处的位置。可以看出伙伴系统是处于不同域内进行管理的角色。
先来介绍几个有关伙伴系统的一些数据结构
首先是zone数据结构,但是在zone中主要关心的是下面的这个结构体数组:
struct free_area定义如下:329 struct zone {
..........383 struct free_area free_area[MAX_ORDER];
..........
}
其中free_list用来连接不用的页描述符,nr_free指定了当前区中空闲页的数目,free_list用于连接空闲页的链表。而在free_area数组中MAX_ORDER定义为11,其数组下标对应为该内存块的阶。可能叙述有点不清楚,还是用图来表述吧:83 struct free_area { 84 struct list_head free_list[MIGRATE_TYPES]; 85 unsigned long nr_free; 86 };
这张图来自《深入linux内核架构》可以清楚的看出在free_area数组中0阶对应的双向循环链表中的页都为单页,在2阶中对应的页都是四个页连在一起的页块。
下面详细叙述伙伴系统的工作原理:
比如说我们要申请一个b阶大小的页块,那么系统会直接在b阶块中查找看这个链表是否为空,如果不为空则说明恰好有这么大的页可以用于分配。如果该链表为空,则会在b+1阶中寻找,如过b+1阶链表不为空,则将b+1中页块一分为二,一半用于分配,另一半加入b阶链表中。如果b+1阶链表也为空那么就继续向上寻找,如果都没找到空闲地址,就只能返回NULL。
上面的过程是分配空间的过程,在释放页的时候正好是分配的一个逆过程,内核会试图将两个b阶的页块合并程一个2b阶的大页块,如果可以合并就将这两个页块称为伙伴,满足伙伴的的要求如下:
1)两个块具有相同的大小,记作b。
2)它们的物理地址是连续的。
3)
第一块的第一个页的物理地址是2*b*PAGE_SIZE的倍数即第0块和第1块是伙伴,第2块和第3块是伙伴,但是第1块和第2块不是伙伴。这样规定的目的是确保一对伙伴中的两个块可以合并成更高级的大块。
这就是伙伴的工作原理以及在内存管理中的相关数据结构.