第 17 章 空闲空间管理

以本章需要解决的问题是:

要满足变长的分配请求,应该如何管理空闲空间?什么策略可以让碎片最小化?不同方法的时间和空间开销如何?

17.1 假设

在堆上管理空闲空间的数据结构通常称为空闲列表(free list)。该结构包含了管理内存区域中所有空闲块的引用。

17.2 底层机制

1. 分割与合并
2. 追踪已分配空间的大小
3. 嵌入空闲列表
4. 让堆增长

17.3 基本策略

1. 最优匹配：首先遍历整个空闲列表,找到和请求大小一样或更大的空闲块,然后返回这组候选者中最小的一块。
2. 最差匹配：,它尝试找最大的空闲块,分割并满足用户需求后,将剩余的块(很大)加入空闲列表
3. 首次匹配：找到第一个足够大的块,将请求的空间返回给用户
4. 下次匹配：多维护一个指针,指向上一次查找结束的位置

17.4 其他方式

分离空闲列表：如果某个应用程序经常申请一种(或几种)大小的内存空间,那就用一个独立的列表,只管理这样大小的对象。其他大小的请求都一给更通用的内存分配程序

伙伴系统：在这种系统中,空闲空间首先从概念上被看成大小为 2N 的大空间。当有一个内存分配请求时,空闲空间被递归地一分为二,直到刚好可以满足请求的大小(再一分为二就无法满足)。这时,请求的块被返回给用户。