STL記憶體分配

stl記憶體分配

由於小型的記憶體區塊會因此記憶體分配碎片，sgi stl設計中使用了雙層級配置器，第一級配置器直接使用malloc()和free()，申請記憶體大於128位元組時呼叫;第二級配置器採用記憶體池的方式來管理。

stl記憶體分配器在檔案中實現，__malloc_alloc_template和__default_alloc_template，分配器都需要實現兩個介面allocate和deallocate。本文主要討論第二級的分配器的實現。

__default_alloc_template：stl預設小記憶體分配器

分配器的實現

維護了16個free list，每個list上集合著大小分別為8，16，24，…128大小的記憶體塊。如果請求的記憶體塊大小大於128bytes，就轉呼叫第一級配置器。使用了鍊錶結構管理記憶體塊：

union obj

相當於每個塊前面4個位元組用來儲存節點頭結構，結構體中client_data返回的實際上可用的記憶體塊位址。free_list中找到合適的塊後，會將下乙個空閒塊的位址寫在原來這個free_list陣列元素的位置。一般而言記憶體塊是連續的。

記憶體申請流程：

大於128位元組，使用第一級配置器向系統申請，malloc不成功會呼叫set_new_handler來處理異常。

小於128位元組，使用第二級介面卡。如果有對應大小的free_list記憶體塊，正常返回；如果free_list沒有：

如果2.2失敗，會求助於第一級配置器，主要是想借助於第一級配置器裡的異常處理，例如out_of_memory中申請到一點記憶體。如果這一步也失敗，那麼就是徹底失敗了。

釋放器stl中呼叫deallocate後，對於小塊記憶體，會放入到free_list中而不是釋放回系統。