Nucleus操作系統(tǒng)內(nèi)存池模塊移植的研究與應(yīng)用
1 靜態(tài)方式分配內(nèi)存池
靜態(tài)內(nèi)存池管理方式中內(nèi)存池分為池(pool)和塊(partition)。之所以稱之為靜態(tài)管理方式,是因?yàn)樵谑褂眠^程中塊的大小是固定的(即在創(chuàng)建過程中塊大小是確定的)。靜態(tài)內(nèi)存池的整體結(jié)構(gòu)如圖1所示,池和塊都有自己的頭,池是由雙向循環(huán)鏈表鏈接而成,塊是由單向鏈表鏈接而成,每一塊的頭中還包含了自己屬于哪一個(gè)池的屬性。可用塊的信息以單向鏈表的形式存儲(chǔ)于池頭中,并且可用塊與已經(jīng)分配的塊的個(gè)數(shù)都在池頭中有記錄。
1.1 靜態(tài)內(nèi)存池的創(chuàng)建
池頭中的主要參數(shù)包括內(nèi)存池控制塊指針、內(nèi)存池名(只取8個(gè)字符)、起始地址、內(nèi)存池總大?。ㄗ止?jié)為單位)、內(nèi)存池分塊大?。ㄗ止?jié)為單位)、掛起方式(先進(jìn)先出或按優(yōu)先級(jí))等,圖2是仿真器上運(yùn)行過程中靜態(tài)內(nèi)存池結(jié)構(gòu)體截圖。
對(duì)圖2中兩個(gè)結(jié)構(gòu)體鏈表參數(shù)說明如下:(1)pm_created:當(dāng)前已經(jīng)創(chuàng)建的內(nèi)存池,采用雙向循環(huán)鏈表連接,插入方式是在最后一個(gè)節(jié)點(diǎn)和首節(jié)點(diǎn)間填充;(2)pm_available_list:存儲(chǔ)當(dāng)前還可用partition的鏈表,結(jié)構(gòu)與塊的頭部結(jié)構(gòu)header_ptr相同(PM_OVERHEAD=8 B小塊的頭header_ptr:?jiǎn)蜗蜴湵恚瑑?nèi)部有指向下一小塊的指針和所屬大塊的控制塊地址)。
在Nucleus內(nèi)核中,內(nèi)存池的創(chuàng)建主要由函數(shù)PMC_Create_Partition_Pool負(fù)責(zé),創(chuàng)建流程如下:調(diào)用過程中首先進(jìn)行參數(shù)合法性檢測(cè);然后在池頭(控制塊)中寫入各個(gè)參數(shù),創(chuàng)建鏈表;之后是一個(gè)重要的循環(huán)體,負(fù)責(zé)初始化partition鏈表,分配所有的partition,每個(gè)partition的大小在分配時(shí)需要在函數(shù)傳入?yún)?shù)值的基礎(chǔ)上加8 B,用來存儲(chǔ)header_ptr;最后在內(nèi)存池線程保護(hù)后將新的內(nèi)存池插入內(nèi)存池鏈表并計(jì)數(shù)。
1.2 靜態(tài)內(nèi)存池的分配
在TD-LTE無線綜合測(cè)試儀中分配前由協(xié)議棧提供所需要分配的大小,這里主要是放置協(xié)議內(nèi)部配置信息與層間交互原語。由于這些信息的大小固定,只是有幾種不同大小的固定模式,所以很適合采用靜態(tài)分配的方式來分配內(nèi)存,只需要根據(jù)數(shù)據(jù)大小選擇密度合適的內(nèi)存池即可。移植過程中使用了不同大小的partition構(gòu)建不同密度的內(nèi)存池,因此,可根據(jù)申請(qǐng)partition的大小來判定用那種密度的內(nèi)存池,以減少內(nèi)部碎片的大小。這種方法可以有效避免空間浪費(fèi)[3],同時(shí)又可提高分配效率。
在Nucleus內(nèi)核中靜態(tài)內(nèi)存池的分配主要由函數(shù)PMC_Allocate_Partition負(fù)責(zé),其主要參數(shù)為內(nèi)存池指針(指向調(diào)用的內(nèi)存指針,不能為NULL,設(shè)置為可用內(nèi)存地址即可)、分配大小和掛起標(biāo)志位。函數(shù)中主要判斷內(nèi)存池指針是否合法、內(nèi)存池與partition是否匹配、指向調(diào)用的內(nèi)存指針是否合法、任務(wù)掛起標(biāo)志位是否有效。其分配流程如圖3所示。過程如下:調(diào)用內(nèi)核函數(shù)TCT_System_Protect(TCT_Protect)保護(hù)內(nèi)存池同步互斥通道。判斷是否還有可用partition,若有,則將可用數(shù)量減1、分配數(shù)量加1并更新pm_available_list以及將指向調(diào)用內(nèi)存指針賦值為當(dāng)前分配的partition地址(partition地址要+8 B刪去頭);若沒有,則將任務(wù)掛起直至有可用Partition才恢復(fù)。最后解保護(hù)并返回。
1.3 靜態(tài)內(nèi)存池的釋放
系統(tǒng)采用PMC_Deallocate_Partition函數(shù)來完成釋放。流程如下:調(diào)用內(nèi)核函數(shù)保護(hù)內(nèi)存池同步互斥通道。判斷是否有等待任務(wù),若有,則分配給這個(gè)任務(wù)當(dāng)前partition,再判斷當(dāng)前任務(wù)是否允許被搶占,允許就調(diào)用TCT_Control_To_System搶占當(dāng)前任務(wù)、激活等待內(nèi)存的任務(wù);若沒有,則等待任務(wù),將當(dāng)前partition重新接入到可用partition列表的頭部。最后調(diào)用TCT_Unprotect解保護(hù)。
2 動(dòng)態(tài)方式分配內(nèi)存池
動(dòng)態(tài)內(nèi)存池也分為池和塊兩個(gè)部分,動(dòng)態(tài)池直接由雙向循環(huán)鏈表實(shí)現(xiàn)連接。內(nèi)部塊是動(dòng)態(tài)分配的,由最小可分配空間來限制塊的最小值。與靜態(tài)分配不同,動(dòng)態(tài)分配塊也由雙向循環(huán)鏈表來鏈接。創(chuàng)建時(shí)的初始結(jié)構(gòu)為兩個(gè)塊,在申請(qǐng)時(shí)動(dòng)態(tài)分割。圖4是仿真器上運(yùn)行過程中動(dòng)態(tài)內(nèi)存池與塊的結(jié)構(gòu)體截圖。
池控制塊結(jié)構(gòu)中dm_memory_list與塊頭結(jié)構(gòu)體相同,池通過dm_memory_list來完成塊搜索;塊頭結(jié)構(gòu)中dm_memory_pool與大塊頭結(jié)構(gòu)相同,通過它來比配大塊。
2.1 動(dòng)態(tài)內(nèi)存池的創(chuàng)建
初始化完成時(shí)的內(nèi)存結(jié)構(gòu):初始化創(chuàng)建完成時(shí)內(nèi)存池中有2個(gè)塊,1個(gè)大小為總大小減去32 B,包含自己的頭DM_OVERHEAD=16 B,設(shè)置為可以狀態(tài)free=‘0x01’;1個(gè)大小為16 B,只有自己的頭,沒有空間,設(shè)置為不可以狀態(tài)free=‘0x00’。因此,此時(shí)的可用空間為除去池的控制塊外的總大小減去32 B。初始化結(jié)構(gòu)如圖5所示(沒有將池控制塊表示出來)。
創(chuàng)建時(shí),首先為控制塊指針賦值,內(nèi)存池大小與最小分區(qū)大小進(jìn)行字對(duì)齊校正;判斷控制塊指針、起始地址、最小分配空間、掛起標(biāo)志是否合法。創(chuàng)建過程如下:初始化控制塊中的各個(gè)參數(shù),并按圖5初始化小塊、創(chuàng)建小塊雙向循環(huán)鏈表,與靜態(tài)分配相同需要先進(jìn)行線程保護(hù)再加入到池動(dòng)態(tài)內(nèi)存池鏈表。
2.2 動(dòng)態(tài)內(nèi)存池的申請(qǐng)
動(dòng)態(tài)申請(qǐng)主要用于操作系統(tǒng)內(nèi)模塊(如任務(wù)、隊(duì)列等)的堆棧分配與模塊占用空間的分配。由于在TD-LTE無線綜合測(cè)試儀中這些分配的空間大小浮動(dòng)不定,因此需要使用動(dòng)態(tài)分配內(nèi)存。Nucleus中動(dòng)態(tài)分配采用首次匹配原則,每一次申請(qǐng)內(nèi)存時(shí)動(dòng)態(tài)分配申請(qǐng)大小加16 B(這個(gè)16 B的頭對(duì)應(yīng)剩下的可用空間)的內(nèi)存池空間,并把分配過的部分設(shè)置為不可用狀態(tài)free=‘0x00’。
負(fù)責(zé)實(shí)現(xiàn)的函數(shù)是DMC_Allocate_Memory。首先進(jìn)行各種參數(shù)的合法性檢測(cè),然后將分配空間size小于最小分配空間的分配空間大小賦值為最小空間,對(duì)size進(jìn)行字對(duì)齊處理,調(diào)用線程保護(hù)后采用首先匹配法來找適用空間,即:在循環(huán)體中先判斷free標(biāo)志,是空閑塊(free=‘0x01’),則算出減去本次分配的頭后所剩的空間,當(dāng)此空間大于本次請(qǐng)求size時(shí)進(jìn)行分配,小于時(shí)則移動(dòng)到下一個(gè)塊;若不是空閑塊,則直接把剩余空間設(shè)置為0進(jìn)行后面小于size時(shí)移動(dòng)到下一個(gè)塊的判斷。注意:這里用到了控制塊中的dm_search_ptr屬性(結(jié)構(gòu)與小塊的頭相同),該屬性用于記錄開始匹配的起始位置,作為判斷循環(huán)體結(jié)束的條件之一,如果循環(huán)到此處,就表示沒有找到可分配空間。圖6是動(dòng)態(tài)分配的流程圖。
循環(huán)結(jié)束后判斷是否找到可用于分配的塊,若找到則進(jìn)行是否需要分割該可用塊的判斷。條件是這個(gè)可用塊的大小大于或等于本次所需空間size+頭大小+最小分配空間的值,若滿足此條件則分割出一個(gè)新塊并對(duì)其加頭初始化,再計(jì)算出剩余可用空間;不滿足此條件則直接計(jì)算剩余可用空間。分配的空間標(biāo)志為非空閑后,把所分配空間的地址賦給指向調(diào)用的內(nèi)存指針(注意去頭)。為提高效率,還需要進(jìn)行一個(gè)簡(jiǎn)單處理,即判斷如果在搜索塊時(shí)一次性匹配成功,則將dm_search_ptr移向下一個(gè)塊。
如果沒有找到可用塊則將任務(wù)掛起等待,沒有采用掛起模式則直接返回NULL給指向調(diào)用的內(nèi)存指針,最后調(diào)用TCT_Unprotect解保護(hù)。圖7是分配第一塊內(nèi)存后動(dòng)態(tài)內(nèi)存池的結(jié)構(gòu)。
2.3 動(dòng)態(tài)內(nèi)存池的釋放
釋放過
評(píng)論