伙伴系统算法

讲了这么多了，很多人肯定会一头雾水，前边提到的都是些数据结构或者是些概念性的东西，真正对动态页面的管理机制在哪里？换句话说，如何将每个节点，每个区中的页框分配给进程？要理清这个思路，我们首先必须学习一种算法 —— 伙伴系统算法。

 

内核要分配一组连续的页框，必须建立一种健壮、高效的分配策略。为此，必须解决著名的外部碎片（external fragmentation）问题。频繁地请求和释放不同大小的一组连续页框，必然导致在已分配页框的块内分散了许多小块的空闲页框。由此带来的问题是，即使有足够的空闲页框可以满足请求，但要分配一个大块的连续页框就可能无法满足。

 

Linux 采用伙伴系统（buddy system）算法来解决外碎片问题。把所有的空闲页框分组为11个块链表，每个块链表分别包含大小为1, 2, 4, 8, 16, 32, 64, 128, 256，512和1024 个连续的页框。对1024 个页框的最大请求对应着4MB 大小的连续RAM块。每个块的第一个页框的物理地址是该块大小的整数倍。例如，大小为16 个页框的块，其起始地址是16 × 2¹²（2¹² ＝ 4096，这是一个常规页的大小）的倍数。

 

我们通过一个简单的例子来说明该算法的工作原理。

 

假设要请求一个256 个页框的块（即1MB）。算法先在256 个页框的链表中检查是否有一个空闲块。如果没有这样的块，算法会查找下一个更大的页块，也就是，在512 个页框的链表中找一个空闲块。如果存在这样的块，内核就把256 的页框分成两等份，一半用作满足请求，另一半插入到256 个页框的链表中。如果在512 个页框的块链表中也没找到空闲块，就继续找更大的块 —— 1024个页框的块。如果这样的块存在，内核把1024个页框块的256 个页框用作请求，然后从剩余的768 个页框中拿512个插入到512个页框的链表中，再把最后的256个插入到256个页框的链表中。如果1024个页框的链表还是空的，算法就放弃并发出错信号。

 

以上过程的逆过程就是页框块的释放过程，也是该算法名字的由来。内核试图把大小为b的一对空闲伙伴块合并为一个大小为2b的单独块。满足以下条件的两个块称为伙伴：
• 两个块具有相同的大小，记作b。
• 它们的物理地址是连续的。
• 第一块的第一个页框的物理地址是2×b×2¹²的倍数。

 

该算法是迭代的，如果它成功合并所释放的块，它会试图合并2b 的块，以再次试图形成更大的块。

 

看晕了吧？如果实在理解不了就自己拿笔画一画，这个算法的原理还是比较简单的，下面我们来看看Linux具体是怎么实现的：

 

1 数据结构

 

Linux 2.6 为每个管理区使用不同的伙伴系统。因此，在80x86 结构中，有三种伙伴系统：第一种处理适合ISA DMA 的页框，第二种处理“常规”页框，第三种处理