slab源码分析--销毁函数.doc

slab源码分析--销毁函数 释放对象 注意释放对象仅仅是回收回slab，并不会将内存还给伙伴系统。 回收对象时有以下原则： 本地高速缓存的空间还可以容纳空闲对象，则直接将对象放回本地高速缓存。 本地高速缓存的空间已满，则按batchcount的值将对象从本地高速缓存转移到本地共享缓存shared中，如果没有设置本地共享缓存，那么就转移到slab三链中。转移时基于先进先出原则的，也就是转移entry数组最前面的batchcount个空闲对象，因为这些对象在数组中存在的时间相对较长，为“冷数据”，不大可能仍然驻留在CPU高速缓存中。 释放对象比如调用： //底层调用__cache_free()函数 __cache_free(cachep, objp); 那么释放对象就正式开始了，首先是__cache_free()函数，在该函数中首先确定ac有没有超过上限，如果没有超过上限，那就把该对象放入ac即可。否则，就按照batchcount转移出ac一大批对象，为这一个对象腾地方（一大批为一个，这样效率高一些，免得以后再转移）。 /* * Release an obj back to its cache. If the obj has a constructed state, it must * be in this state _before_ it is released. Called with disabled ints. */ //回收函数 static inline void __cache_free(struct kmem_cache *cachep, void *objp) { //获得本CPU的本地缓存 struct array_cache *ac = cpu_cache_get(cachep); check_irq_off(); objp = cache_free_debugcheck(cachep, objp, __builtin_return_address(0)); //NUMA相关，目前版本是空函数 if (cache_free_alien(cachep, objp)) return; //下面开始选择释放位置进行释放 //本地缓存中的空闲对象小于上限时，只需将对象释放回entry数组中 if (likely(ac-avail ac-limit)) { STATS_INC_FREEHIT(cachep); ac-entry[ac-avail++] = objp; return; } else { //这是本地缓存空闲对象大于上限的情况，先调整本地缓存 STATS_INC_FREEMISS(cachep); cache_flusharray(cachep, ac); //不过之后还是要把该对象释放给本地缓存 ac-entry[ac-avail++] = objp; } } 再看cache_flusharray()函数： static void cache_flusharray(struct kmem_cache *cachep, struct array_cache *ac) { int batchcount; struct kmem_list3 *l3; int node = numa_node_id(); //本地缓存能一次转出多少个对象，这个是之前规定的 batchcount = ac-batchcount; #if DEBUG BUG_ON(!batchcount || batchcount ac-avail); #endif check_irq_off(); //获得此缓存器的三链 l3 = cachep-nodelists[node]; spin_lock(l3-list_lock); //看是否存在本地共享缓存 if (l3-shared) { struct array_cache *shared_array = l3-shared; //本地 共享 缓存还可承载的最大数目 int max = shared_array-limit - shared_array-avail; if (max) { //最大只能为max if (batc