看過STL空間配置器的源碼，總結(jié)一下：
(1)STL空間配置器：主要分三個文件實現(xiàn)，stl_construct.h 這里定義了全局函數(shù)construct()和destroy(),負責對象的構(gòu)造和析構(gòu)。stl_alloc.h文件中定義了一，二兩級配置器，彼此合作，配置器名為alloc. stl_uninitialized.h 這里定義了一些全局函數(shù)，用來填充(fill)或復制(copy)大塊內(nèi)存數(shù)據(jù)，他們也都隸屬于STL標準規(guī)劃。
在stl_alloc.h中定義了兩級配置器，主要思想是申請大塊內(nèi)存池，小塊內(nèi)存直接從內(nèi)存池中申請，當不夠用時再申請新的內(nèi)存池，還有就是大塊內(nèi)存直接申請。當申請空間大于128字節(jié)時調(diào)用第一級配置器，第一級配置器沒有用operator::new和operator::delete來申請空間，而是直接調(diào)用malloc/free和realloc，并且實現(xiàn)了類似c++中new-handler的機制。所謂c++ new handler機制是，你可以要求系統(tǒng)在內(nèi)存配置需求無法被滿足時，調(diào)用一個指定的函數(shù)。換句話說，一旦::operator::new無法完成任務，在丟出std::bad_alloc異常狀態(tài)之前，會先調(diào)用由客端指定的處理例程，該處理例程通常稱為new-handler.new-handler解決內(nèi)存做法有特定的模式。SGI第一級配置器的allocate()和realloc都是在調(diào)用malloc和realloc不成功后，改調(diào)用oom_malloc()和oom_realloc().后兩者都有內(nèi)循環(huán)，不斷調(diào)用"內(nèi)存不足處理例程",期望在某次調(diào)用之后，獲得足夠的內(nèi)存而圓滿完成任務。但如果“內(nèi)存不足處理例程“并未被客端設定，oom_malloc()和oom_realloc便調(diào)用_THROW_BAD_ALLOC, 丟出bad_alloc異常信息，或利用exit(1)硬生生中止程序。
在stl_alloc.h中定義的第二級配置器中，如果區(qū)塊夠大，超過128字節(jié)時，就移交第一級配置器處理，當區(qū)塊小于128字節(jié)時，則以內(nèi)存池管理，此法又稱為次層配置，每次配置一大塊內(nèi)存，并維護對應的自由鏈表(free-list).下次若再有相同大小的內(nèi)存需求，就直接從free-list中拔出。如果客端釋還小額區(qū)塊，就由配置器回收到free-lists中，配置器除了負責配置，也負責回收。為了管理方便，SGI第二級配置器會主動將任何小額區(qū)塊的內(nèi)存需求量上調(diào)至8的倍數(shù)。并維護16個free-lists,各自管理大小分別為8，16，24，32，40，48，56，64，72，80，88，96，104， 112，120，128 字節(jié)的小額區(qū)塊。當申請小于等于128字節(jié)時就會檢查對應的free list，如果free-list中有可用的區(qū)塊，就直接拿來，如果沒有，就準備為對應的free-list 重新填充空間。新的空間將取自內(nèi)存池，缺省取得20個新節(jié)點，如果內(nèi)存池不足（還足以一個以上的節(jié)點），就返回的相應的節(jié)點數(shù).如果當內(nèi)存池中連一個節(jié)點大小都不夠時，就申請新的內(nèi)存池,大小為2*total_bytes+ROUND_UP(heap_size>>4), totoal_bytes 為申請的空間大小，ROUND_UP調(diào)整為8的倍數(shù)，heap_size為當前總申請內(nèi)存池的大小。如果申請該內(nèi)存池成功就把原來內(nèi)存池中剩下的空間分配給適當?shù)膄ree-list.萬一山窮水盡，整個system heap空間都不夠了（以至無法為內(nèi)存池注入源頭活水），malloc()行動失敗，就會四處尋找有無"尚有未用區(qū)塊，且區(qū)塊足夠大 "之free lists.找到了就挖一塊交出，找不到就調(diào)用第一級配置器。第一級配置器其實也是使用malloc來配置內(nèi)存。但它有out-of-memory處理機制（類似new-handler機制），或許有機會釋放其他的內(nèi)存拿來此處使用。如果可以就成功，否則發(fā)出bad_alloc異常。
參考：STL源碼分析