Linux Slub分配器五釋放物件

釋放物件和分配物件是一組對稱的操作，同樣分為兩個路徑:

1.如果待釋放的物件所屬的slab位於本地cpu快取中，也就是slab處於凍結狀態，則可直接釋放

2.反之，待釋放的物件所屬的slab位於slab鍊錶中，也就是slab處於解凍狀態，則要通過慢速路徑進行釋放。

函式kmem_cache_free()用來將乙個物件釋放至對應的快取中

void kmem_cache_free(struct kmem_cache *s, void *x)

釋放物件前必須先得到物件所屬slab的第乙個頁，這樣便於後面判斷slab是否處於本地cpu快取中。

static __always_inline void slab_free(struct kmem_cache *s,
struct page *page, void *x, unsigned long addr)
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)
/*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)) 
out_unlock:
slab_unlock(page);
return;
slab_empty:
if (prior) 
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()中完成的。

Linux Slub分配器五釋放物件

Linux SLUB 分配器詳解

Linux Slub分配器一概述

訊號分配器

Linux Slub分配器 五 釋放物件

Linux SLUB 分配器詳解

Linux Slub分配器 一 概述

訊號分配器

相關推薦

Linux Slub分配器五釋放物件

Linux Slub分配器一概述