kernel-learn:源码解析

奇怪的轩轩2024-11-01 20:43

cpp 复制代码

void kfree(const void *x)
{
	struct page *page;
	void *object = (void *)x;

	trace_kfree(_RET_IP_, x);

	if (unlikely(ZERO_OR_NULL_PTR(x)))
		return;

	page = virt_to_head_page(x);
	if (unlikely(!PageSlab(page))) {
		unsigned int order = compound_order(page);

		BUG_ON(!PageCompound(page));
		kfree_hook(object);
		mod_lruvec_page_state(page, NR_SLAB_UNRECLAIMABLE_B,
				      -(PAGE_SIZE << order));
		__free_pages(page, order);
		return;
	}
	slab_free(page->slab_cache, page, object, NULL, 1, _RET_IP_);
}
EXPORT_SYMBOL(kfree);

kfree源码，virt_to_head_page 是一个将虚拟地址转换为 struct page 结构的函数。会根据给定的x查找出相应的page结构体。

PageSlab(page) 是 Linux 内核中的一个宏，用于判断给定的 struct page 是否属于 slab 分配器（slab allocator）管理的内存。

unlikely是编译预测分支优化，不用管。

所以说，当我们释放一个object的时候，kernel判断它属于的page是否属于slab分配器管理。

从kernel pwn的角度，我们不能释放一个无效地址，至少对于slab管理器而言，但是我们可以释放slab管理器管理的页的任意地址(或许有对齐，但笔者还没看到）。