水平有限,描述不当之处还请之处,转载请注明出处http://blog.csdn.net/vanbreaker/article/details/7701910
释放对象和分配对象是一组对称的操作,同样分为两个路径:
1.如果待释放的对象所属的slab位于本地CPU缓存中,也就是slab处于冻结状态,则可直接释放
2.反之,待释放的对象所属的slab位于slab链表中,也就是slab处于解冻状态,则要通过慢速路径进行释放。
函数kmem_cache_free()用来将一个对象释放至对应的缓存中
void kmem_cache_free(struct kmem_cache *s, void *x)
{
struct page *page;
/*找到对象x所属slab的首页*/
page = virt_to_head_page(x);
/*释放对象x*/
slab_free(s, page, x, _RET_IP_);
trace_kmem_cache_free(_RET_IP_, x);
}
释放对象前必须先得到对象所属slab的第一个页,这样便于后面判断slab是否处于本地CPU缓存中。
static __always_inline void slab_free(struct kmem_cache *s,
struct page *page, void *x, unsigned long addr)
{
void **object = (void *)x;
struct kmem_cache_cpu *c;
unsigned long flags;
kmemleak_free_recursive(x, s->flags);
local_irq_save(flags);
c = get_cpu_slab(s, smp_processor_id());//获取本地CPU的slab信息结构
/*相关检查*/
kmemcheck_slab_free(s, object, c->objsize);
debug_check_no_locks_freed(object, c->objsize);
if (!(s->flags & SLAB_DEBUG_OBJECTS))
debug_check_no_obj_freed(object, c->objsize);
/*这里必须确定待释放对象所属的slab的确还处于本地CPU中,因为在常规分配失败时
本地CPU中的slab可能会被解冻,也就是转移到slab链表中,而解冻时可能还有
对象未回收*/
if (likely(page == c->page && c->node >= 0)) {
/*释放的操作和分配的操作是对称的*/
object[c->offset] = c->freelist; //设定空闲指针
c->freelist = object; //重置freelist
stat(c, FREE_FASTPATH);
} else
__slab_free(s, page, x, addr, c->offset);//慢速释放路径
local_irq_restore(flags);
}
判断slab是否位于本地CPU缓存中的方式很简单,就是看本地CPU缓存中的page指针和之前获取的page指针是否相等,相等的话就表明两者指向同一个page,也就是说是同一个slab. 判断node>=0是为了辨明该非调试状态,因为node==-1是用来调试的。常规释放路径和分配是对称的操作,如果看懂了分配,那么这个自然也就明白了,不赘述了。下面来看慢速释放路径
static void __slab_free(struct kmem_cache *s, struct page *page,
void *x, unsigned long addr, unsigned int offset)
{
void *prior;
void **object = (void *)x;
struct kmem_cache_cpu *c;
c = get_cpu_slab(s, raw_smp_processor_id());
stat(c, FREE_SLOWPATH);
slab_lock(page);
if (unlikely(SLABDEBUG && PageSlubDebug(page)))
goto debug;
checks_ok:
/*将对象释放回原属的slab*/
prior = object[offset] = page->freelist;
page->freelist = object;
page->inuse--;
if (unlikely(PageSlubFrozen(page))) {
stat(c, FREE_FROZEN);
goto out_unlock;
}
/*inuse为0表示该slab的所有对象都处于空闲状态*/
if (unlikely(!page->inuse))
goto slab_empty;
/*
* Objects left in the slab. If it was not on the partial list before
* then add it.
*/
/*prior为空表明之前page->freelist为NULL,也就是说slab没有处于partial slab链表中,
将该slab添加到partial slab链表的尾部*/
if (unlikely(!prior)) {
add_partial(get_node(s, page_to_nid(page)), page, 1);
stat(c, FREE_ADD_PARTIAL);
}
out_unlock:
slab_unlock(page);
return;
slab_empty:
if (prior) {//prior不为空表明slab处于partial slab链表中
/*
* Slab still on the partial list.
*/
remove_partial(s, page);//将slab从partial slab链表中删除
stat(c, FREE_REMOVE_PARTIAL);
}
slab_unlock(page);
stat(c, FREE_SLAB);
discard_slab(s, page);//销毁slab
return;
debug:
if (!free_debug_processing(s, page, x, addr))
goto out_unlock;
goto checks_ok;
}
首先获取本地CPU缓存结构,保存在c中,然后将对象释放回slab,注意这里用的是page->freelist而不是c->freelist
如果page->inuse为0,表示slab所有对象都是空闲的,slub没有free list链表,因此选择直接销毁该slab,将内存返回给伙伴系统。如果prior为空,那也就表示slab处于full slab链表而不是partial slab链表,由于现在获得了一个空闲对象,因此将slab添加到partial slab中,至于从full slab中删除slab的操作,是在free_debug_processing()中完成的。