动态内存分配--隐式空闲链表

Implicit List 隐式空闲链表
对于每个块都需要知道块大小和分配状态，这样可能需要两个words，但是由于块是对齐的，比如8字节对齐，则块大小的低三位恒为0，这样就可以使用低三位来存储分配状态。在实际设计中，往往使用最低位标记已分配/未分配状态。

1. 如何找到一个空闲块

1. 首次适配(First fit)

• 从头开始搜索空闲链表，选择第一个合适的空闲块
• 可以取总块数(包括已分配和空闲块)的线性时间
• 会在靠近链表起始处留下小空闲块的碎片(长期运行后)

2. 下次适配(Next fit)

• 和首次适配相似，只是从链表中的上一次查询结束的地方开始
• 比首次适配更快，避免重复扫描无用块(小的碎片)
• 一些研究表明，下次适配的内存利用率要比首次适配低得多

3. 最佳适配(Best fit)

• 查询链表，选择一个最好的空闲块(最小满足的)
• 保证碎片最小–提高内存利用率
• 通常运行速度会慢于首次适配

2. 分配空闲块

将空闲块进行分割。

具体的实现如下：

3. 释放一个块

最简单的实现：清除“已分配”标志

void free_block(ptr p){
	*p = *p & -2;
}

但是会造成多个连续的空闲块的情况，导致有足够的空间但是无法分配。

4. 合并

合并相邻的空闲块。

1. 合并下一个空闲块

修改前一个空闲块的大小即可。

void free_block(ptr p){
	*p = *p & -2;
	next = p + *p;
	if((*next & 1) == 0){
		*p = *p + *next;
	}
}

2. 双向合并

采用边界标记。在空闲块的“底部”标记大小/已分配，允许我们反查链表。

5. 关键的分配策略

放置策略

• 首次适配、下次适配、最佳适配
• 减少碎片，提高吞吐量

分割策略

• 何时开始分割空闲块
• 能容忍多少内部碎片

合并策略

• 立即合并：每次释放都合并
• 延迟合并：直到需要才合并以提高释放的性能(为malloc扫描空闲链表时可以合并；外部碎片到达阈值时可以合并)