keilc動態(tài)內(nèi)存管理機制分析及改進

1、12（6068a）《KeilC動態(tài)內(nèi)存管理機制分析及改進※》P74全文如下：KeilC動態(tài)內(nèi)存管理機制分析及改進丁明亮丁明亮熊真春熊真春[摘要摘要]通過對C51中init_mempoolmallocfree三個函數(shù)源代碼的分析，深入分析C51的動態(tài)內(nèi)存管理機制，同時也給出一些使init_mempool函數(shù)更完善和除去free函數(shù)中的一個錯誤的建議。[關(guān)鍵詞關(guān)鍵詞]C51動態(tài)內(nèi)存管理動態(tài)內(nèi)存管理分析分析Abstract:basedonth

2、eanalysistosourcesoffunctioninit_mempoolmallocfreethisarticleprobesthedynamicmemymanagementofC51Librarygivesoutsomeadvicestobetterfunctioninit_mempooltoclearabugoffunctionfree.Keywds:C51dynamicmemymanagement37.5A庫中init_m

3、em.c的源代碼如下所示。#defineHLEN(sizeof(__memt__))#defineMIN_POOL_SIZE(HLEN10)intinit_mempool(void_MALLOC_MEM_poolunsignedintsize)if(sizenext=NULL(AVAIL.next)len=sizeHLENreturn(1)成功堆NULLsizeHLEN…AVAILpoolsize圖1：init_mempool執(zhí)行后的執(zhí)

4、行后的AVAIL鏈表及堆空間鏈表及堆空間在成功執(zhí)行init_mempool函數(shù)后，將得到如圖1所示的一個數(shù)據(jù)結(jié)構(gòu)。另外，鏈?zhǔn)捉Y(jié)點AVAIL的len域記錄了整個堆的字節(jié)數(shù)。鏈?zhǔn)譇VAIL結(jié)點的next域指向的是首塊空閑塊，當(dāng)經(jīng)過多次的malloc函數(shù)而堆中沒有空閑內(nèi)存塊時，AVAIL結(jié)點的next域?qū)镹ULL值。很明顯，從上面的if(pool==NULL)pool=1size這部分源代碼來看，如果應(yīng)用程序中pool參數(shù)為空指針（pool

5、為0）時，此時顯然不能直接將AVAIL的next域的值賦為空指針的（即賦為0），于是便將pool的值改為1，再將size的值減1，這樣，init_mempool函數(shù)會在XDATA區(qū)中，從地址1開始，取size1個字節(jié)來作為堆來使用，如果源程序有定義在XDATA區(qū)的變量，則這些變量所占的存儲單元也可能會被當(dāng)成堆空間的一部分，這無疑是有潛在風(fēng)險的。部分程序員在調(diào)用init_mempool函數(shù)時習(xí)慣將pool參數(shù)設(shè)為一個形如0xAAAA數(shù)字表

6、示的絕對地址，如果不加特別防范，也是不妥的，因為KeilC可能會在你以如此方式指定的堆空間中分配臨時變量。好的習(xí)慣是定義一個字節(jié)數(shù)組作為堆空間，再將數(shù)組名作為pool參數(shù)調(diào)用init_mempool函數(shù)。在KeilC的聯(lián)機文檔中，指明了init_mempool在應(yīng)用程序中只能被調(diào)用一次，那么，如果多次調(diào)用該函數(shù)又會有什么后果呢？從該函數(shù)的源代碼來分析，多次調(diào)用init_mempool函數(shù)會導(dǎo)致重新初始化首結(jié)點AVAIL的next域和le