從Python的源碼來解析Python下的freeblock
1 引言
在python內(nèi)存管理中,有一個block的概念。它比較類似于SGI次級空間配置器。
首先申請一塊大的空間(4KB),然后把它切割成一小份(8, 16 一直到512)。
當有內(nèi)存申請的請求時候,簡單的流程是:根據(jù)大小找到對應(yīng)的block,然后在freeblock 上給它一份。
2 問題
整個過程是一種比較自然的slab分配方式。但當我讀到這段代碼時,卻感到疑惑:
static void* _PyObject_Malloc(void* ctx, size_t nbytes) { ... pool->freeblock = (block*)pool + pool->nextoffset; pool->nextoffset += INDEX2SIZE(size); *(block **)(pool->freeblock) = NULL; // [1] ... }
freeblock指向空閑的鏈表,為它賦值很好理解。但是為什么要加上代碼1處那一句!
對C比較熟悉的童鞋很容易能看出它的作用,它在為*freeblock賦值為NULL。
但是為什么要這么做?
直到看到內(nèi)存回收的代碼:
static void _PyObject_Free(void* ctx, void*p) { ... *(block**)p = lastfree = pool->freeblock; pool->freeblock = (block*)p; ... }
回想一下SGI次級空間配置,它需要一個鏈表,指向block中可用的小塊。因為這些快,是離散的,只有用指針才能索引它。
在SGI次級空間配置中,是用一個union,達到了節(jié)省空間的目的:有數(shù)據(jù)時,它存儲著真正的數(shù)據(jù);沒有數(shù)據(jù)時,它就變成指向下一塊可用內(nèi)存的指針:
union __Obj { union __Obj* free_list_link; char client_data[]; };
這樣一想,問題就變得很明顯了。freeblock指向一個鏈表,鏈表的next域就由它自己來索引。
在_PyObject_Free中,內(nèi)存p是要被回收的,它應(yīng)該插在freeblock的鏈表頭,freeblock被更新指向它。同時,p指向原來freeblock指向的內(nèi)容,這是一個很簡單的鏈表插入操作。
這樣在遍歷的時候,我們就可以用freeblock = * freeblock的方式來工作了。
如下圖所示:
相關(guān)文章
解決pyecharts運行后產(chǎn)生的html文件用瀏覽器打開空白
這篇文章主要介紹了解決pyecharts運行后產(chǎn)生的html文件用瀏覽器打開空白,文中通過示例代碼介紹的非常詳細,對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-03-03計算pytorch標準化(Normalize)所需要數(shù)據(jù)集的均值和方差實例
今天小編就為大家分享一篇計算pytorch標準化(Normalize)所需要數(shù)據(jù)集的均值和方差實例,具有很好的參考價值,希望對大家有所幫助。一起跟隨小編過來看看吧2020-01-01Python實現(xiàn)給文件添加內(nèi)容及得到文件信息的方法
這篇文章主要介紹了Python實現(xiàn)給文件添加內(nèi)容及得到文件信息的方法,可實現(xiàn)從文件開頭添加內(nèi)容的功能,需要的朋友可以參考下2015-05-05基于python的opencv圖像處理實現(xiàn)對斑馬線的檢測示例
這篇文章主要介紹了基于python的opencv圖像處理實現(xiàn)對斑馬線的檢測示例,文中通過示例代碼介紹的非常詳細,對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-11-11