keilc動(dòng)態(tài)內(nèi)存管理機(jī)制分析及改進(jìn)

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

2、eanalysistosourcesoffunctioninit_mempoolmallocfreethisarticleprobesthedynamicmemymanagementofC51Librarygivesoutsomeadvicestobetterfunctioninit_mempooltoclearabugoffunctionfree.Keywds:C51dynamicmemymanagement37.5A庫(kù)中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所示的一個(gè)數(shù)據(jù)結(jié)構(gòu)。另外，鏈?zhǔn)捉Y(jié)點(diǎn)AVAIL的len域記錄了整個(gè)堆的字節(jié)數(shù)。鏈?zhǔn)譇VAIL結(jié)點(diǎn)的next域指向的是首塊空閑塊，當(dāng)經(jīng)過(guò)多次的malloc函數(shù)而堆中沒(méi)有空閑內(nèi)存塊時(shí)，AVAIL結(jié)點(diǎn)的next域?qū)镹ULL值。很明顯，從上面的if(pool==NULL)pool=1size這部分源代碼來(lái)看，如果應(yīng)用程序中pool參數(shù)為空指針（pool

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

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