|
引 言 在嵌入式領(lǐng)域中，嵌入式實(shí)時(shí)操作系統(tǒng)(RTOS)正得到越來(lái)越廣泛的應(yīng)用。采用嵌入式實(shí)時(shí)操作系統(tǒng)可以更合理、更有效地利用CPU的資源，簡(jiǎn)化應(yīng)用軟件的設(shè)計(jì)，縮短系統(tǒng)開(kāi)發(fā)時(shí)間，更好地保證系統(tǒng)的實(shí)時(shí)性和可靠性。內(nèi)存資源作為嵌入式系統(tǒng)中極為重要的資源之一，其管理機(jī)制歷來(lái)是嵌入式系統(tǒng)設(shè)計(jì)的重點(diǎn)和難點(diǎn)。內(nèi)存管理機(jī)制的優(yōu)劣程度極大地影響著嵌入式系統(tǒng)的整體性能，因此在嵌入式RTOS的內(nèi)存管理機(jī)制中必須滿足以下3個(gè)要求： ①實(shí)時(shí)性。在嵌入式RTOS中不僅要求調(diào)度機(jī)制的實(shí)時(shí)性，資源的分配和回收的實(shí)時(shí)性也十分重要。 ②可靠性。嵌入式系統(tǒng)的應(yīng)用領(lǐng)域決定了嵌入式RTOS必須具有高可靠性，而內(nèi)存管理的可靠程度直接影響RTOS的可靠性，因此內(nèi)存管理的可靠性也必不可少。 ③高效性。由于嵌入式系統(tǒng)資源的稀缺性，因而高效的資源管理機(jī)制也同等重要。 1 動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制 1．1 動(dòng)態(tài)分區(qū)內(nèi)存管理概述 在許多小型嵌入式系統(tǒng)中并未實(shí)現(xiàn)虛擬內(nèi)存機(jī)制，動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制仍然是首選。分區(qū)存儲(chǔ)管理是滿足多道程序設(shè)計(jì)的最簡(jiǎn)單的存儲(chǔ)管理方法，它允許多個(gè)用戶程序同時(shí)存在系統(tǒng)內(nèi)存中，即共享內(nèi)存空間。早期的分區(qū)存儲(chǔ)管理采用固定分區(qū)的方法，把內(nèi)存空間分成若干個(gè)大小不等的區(qū)域，稱為分區(qū)。每個(gè)用戶程序 (作業(yè)、進(jìn)程)調(diào)入內(nèi)存后，占用其中1個(gè)分區(qū)，程序運(yùn)行完成后釋放該分區(qū)。這種存儲(chǔ)管理方法的主要問(wèn)題是內(nèi)存使用效率極低，很快就被淘汰了。取而代之的是動(dòng)態(tài)分區(qū)存儲(chǔ)管理技術(shù)。圖1顯示的是動(dòng)態(tài)內(nèi)存管理的數(shù)據(jù)結(jié)構(gòu)。 
1．2 動(dòng)態(tài)分區(qū)內(nèi)存分收算法及其性能分析 在動(dòng)態(tài)內(nèi)存分配機(jī)制中一般采用兩種設(shè)計(jì)方案：最佳適應(yīng)算法和首次適應(yīng)算法。最佳適應(yīng)算法要求所有的空閑內(nèi)存塊按照內(nèi)存塊的大小，由小到大鏈接在一起。首次適應(yīng)算法中所有的空閑內(nèi)存塊都是按地址由小到大鏈接的。圖2顯示了這2種算法的流程(假設(shè)系統(tǒng)申請(qǐng)的內(nèi)存塊大小為n)。
最佳適應(yīng)算法和首次適應(yīng)算法在分配內(nèi)存的流程上是一致的，然而由于空閑內(nèi)存塊的組織形式不同，其分配的性能也不盡相同。最佳適應(yīng)算法由于每次分配都是首先分配與所要求的內(nèi)存塊大小最接近的空閑內(nèi)存塊，因而其內(nèi)存利用率相對(duì)較高。然而由于在內(nèi)存回收過(guò)程中需要合并那些地址相鄰的空閑塊，最佳適應(yīng)算法往往需要遍歷整個(gè)空閑區(qū)鏈表以尋找符合條件的內(nèi)存塊。而首次適應(yīng)算法由于是按照地址的順序相連，因而在內(nèi)存回收方面有著最佳適應(yīng)算法無(wú)法比擬的性能。 圖3顯示了在幾種不同情況下，動(dòng)態(tài)分區(qū)內(nèi)存回收機(jī)制所采取的策略。
在A中，釋放區(qū)回收后合并成新內(nèi)存塊f，其首地址為f1內(nèi)存塊的首地址，大小為f1和R內(nèi)存塊的大小之和。在B中，釋放區(qū)回收后合并成新內(nèi)存塊f，其首地址為R內(nèi)存塊的首地址，大小為f1和R內(nèi)存塊的大小之和。在C中，釋放區(qū)回收后合并成新內(nèi)存塊f，其首地址為f1內(nèi)存塊的首地址，大小為f1和R以及f2內(nèi)存塊的大小之和。在D中，釋放區(qū)回收后不進(jìn)行合并，直接插入空閑區(qū)鏈表并返回。 動(dòng)態(tài)分區(qū)內(nèi)存的分配機(jī)制有效地避免了內(nèi)存內(nèi)部碎片的存在，同時(shí)在內(nèi)存回收策略中使用合并算法也極大地減少了內(nèi)存外部碎片存在的可能性。然而，當(dāng)系統(tǒng)需要分配大量的小塊內(nèi)存時(shí)，動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制的性能卻并不令人滿意。其不足之處主要存在以下2個(gè)方面： ①當(dāng)系統(tǒng)分配大量的小塊內(nèi)存后，其空閑區(qū)表或空閑區(qū)隊(duì)列將會(huì)變得異常龐大。無(wú)論是首次適配算法還是最佳適應(yīng)算法都需要遍歷空閑區(qū)搜索合適的內(nèi)存塊，因此過(guò)于龐大的空閑區(qū)結(jié)構(gòu)使搜索算法變得低效。 ②系統(tǒng)在某些特定的時(shí)刻往往會(huì)對(duì)大量的小塊內(nèi)存進(jìn)行頻繁分配和回收。頻繁地對(duì)小塊內(nèi)存進(jìn)行分割分配和合并回收，其實(shí)時(shí)性表現(xiàn)得并不令人滿意。 基于以上2點(diǎn)，如何在動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制的基礎(chǔ)上優(yōu)化小塊內(nèi)存的管理機(jī)制，成為提高動(dòng)態(tài)分區(qū)內(nèi)存管理性能的關(guān)鍵因素之一。 2 小塊內(nèi)存動(dòng)態(tài)緩存分配機(jī)制 大部分實(shí)時(shí)操作系統(tǒng)內(nèi)存分配機(jī)制并未對(duì)大塊內(nèi)存和小塊內(nèi)存的分配做出不同的算法設(shè)計(jì)，然而在實(shí)際分配過(guò)程中，很難用一種分配算法兼顧大小內(nèi)存的高效分配。針對(duì)動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制中對(duì)小塊內(nèi)存分配的局限性，提出了小塊內(nèi)存動(dòng)態(tài)緩存機(jī)制。該機(jī)制在繼承了動(dòng)態(tài)分區(qū)管理機(jī)制優(yōu)良性能的同時(shí)，優(yōu)化了小塊內(nèi)存的管理，對(duì)內(nèi)存管理的實(shí)時(shí)性和高效性都有一定提高。系統(tǒng)中同時(shí)存在2種內(nèi)存數(shù)據(jù)結(jié)構(gòu)，分別為小塊內(nèi)存和大塊內(nèi)存設(shè)計(jì)。大塊內(nèi)存依舊采取動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制，而小塊內(nèi)存采取動(dòng)態(tài)緩存分配。小塊內(nèi)存數(shù)據(jù)結(jié)構(gòu)如圖4所示。
假設(shè)小塊內(nèi)存最小為1字節(jié)，并以2的指數(shù)遞增，最大為512字節(jié)。這也就意味著當(dāng)系統(tǒng)需要分配或釋放小于或等于512字節(jié)的內(nèi)存時(shí)，會(huì)執(zhí)行小塊內(nèi)存操作。圖5和圖6分別是小塊內(nèi)存的分配和回收流程(圖中j代表需操作的小塊內(nèi)存對(duì)應(yīng)的緩存號(hào)，若申請(qǐng)120字節(jié)則j對(duì)應(yīng)為8；min代表小塊內(nèi)存最大的緩存號(hào)，如圖中min＝9)。
圖7是對(duì)小塊內(nèi)存操作算法的簡(jiǎn)單模擬。小塊內(nèi)存緩存區(qū)從上到下依次緩存512～64字節(jié)的內(nèi)存塊。有4個(gè)操作過(guò)程：分配64字節(jié)→分配128字節(jié)→回收64字節(jié)→回收128字節(jié)。 ①分配64字節(jié)。初始狀態(tài)小塊內(nèi)存緩存區(qū)為空，此時(shí)將會(huì)執(zhí)行大塊內(nèi)存分配操作并將1 KB內(nèi)存分割緩存到小塊內(nèi)存緩存區(qū)。在分配64字節(jié)內(nèi)存時(shí)，系統(tǒng)自動(dòng)探測(cè)到了128字節(jié)、256字節(jié)和512字節(jié)處的緩存區(qū)已經(jīng)處于饑餓狀態(tài)，因此也將會(huì)分配其緩存區(qū)1塊內(nèi)存。 ②分配128字節(jié)。由于系統(tǒng)存在該大小的緩存，因此直接獲取并返回。 ③回收64字節(jié)。由于釋放后，系統(tǒng)中64字節(jié)大小的內(nèi)存塊可以合并，因此合并后鏈入上一級(jí)緩存區(qū)。 ④回收128字節(jié)。內(nèi)存塊再次進(jìn)行合并操作，最終調(diào)用大塊內(nèi)存釋放操作，從而回到原始態(tài)。
圖7所示的內(nèi)存操作只是一個(gè)非常簡(jiǎn)單的模擬，實(shí)際系統(tǒng)內(nèi)存的分配和回收是非常復(fù)雜和不確定的，而小塊內(nèi)存動(dòng)態(tài)緩存分配機(jī)制的性能在這種情況下表現(xiàn)得尤為突出。總體而言其具有以下幾點(diǎn)優(yōu)勢(shì)： ①快速性。因?yàn)槭褂昧司彺鏅C(jī)制，所以在大部分情況下，小塊內(nèi)存釋放后依舊在緩存區(qū)中，當(dāng)系統(tǒng)再次分配該大小的內(nèi)存塊時(shí)就極為快速。 ②自適應(yīng)性。在分配小塊內(nèi)存的過(guò)程中，算法能檢測(cè)出處于饑餓狀態(tài)的內(nèi)存塊大小，并依次為它們所在的緩存區(qū)分配1塊相應(yīng)大小的內(nèi)存塊。 ③動(dòng)態(tài)性。在小塊內(nèi)存的回收過(guò)程中，該算法將對(duì)內(nèi)存塊進(jìn)行合并重組。假若某時(shí)刻先前從大塊內(nèi)存中分配的1 KB內(nèi)存塊全部被小內(nèi)存塊釋放，其經(jīng)過(guò)重組后必定能重新添加到大內(nèi)存塊存儲(chǔ)區(qū)。 3 優(yōu)化后的系統(tǒng)內(nèi)存管理機(jī)制 圖8和圖9分別是優(yōu)化后系統(tǒng)分配和回收內(nèi)存的算法，圖中的max代表的是小塊內(nèi)存的最大值。當(dāng)不能得到所需的小塊內(nèi)存，或者釋放小塊內(nèi)存最終合并成大塊內(nèi)存時(shí)，分別調(diào)用大塊內(nèi)存分配和釋放操作，從而保證小塊內(nèi)存和大塊內(nèi)存操作能很好地協(xié)作，增強(qiáng)了系統(tǒng)的穩(wěn)定性。
結(jié) 語(yǔ) 盡管在引入小塊內(nèi)存動(dòng)態(tài)緩存分配機(jī)制后，系統(tǒng)在分配小塊內(nèi)存時(shí)會(huì)存在一定的內(nèi)存內(nèi)部碎片，但由于小塊內(nèi)存本身很小以及大塊內(nèi)存的動(dòng)態(tài)分區(qū)管理機(jī)制，很好地降低了系統(tǒng)中由于存在內(nèi)存碎片而帶來(lái)的風(fēng)險(xiǎn)。在實(shí)際模擬測(cè)驗(yàn)1中，經(jīng)優(yōu)化過(guò)的動(dòng)態(tài)分區(qū)內(nèi)存管理機(jī)制能在一定程度上提高系統(tǒng)的實(shí)時(shí)性及可靠性，在嵌入式RTOS的設(shè)計(jì)中具有實(shí)際的意義。 參考文獻(xiàn) 1. 劉濱,王琦,等.嵌入式操作系統(tǒng)FreeRTOS的原理與實(shí)現(xiàn)[J].單片機(jī)與嵌入式系統(tǒng)應(yīng)用,2005(7). 2. 張堯,史美林,等.計(jì)算機(jī)操作系統(tǒng)教程[M].3版.北京:清華大學(xué)出版社,2006:117-118. 3. Gorman Mel.Understanding the Linux Virtual Memory Manager[M].白洛,等譯.北京:北京航空航天大學(xué)出版社,2006:94-95. 作 者：復(fù)旦大學(xué) 葉新棟 唐志強(qiáng) 涂時(shí)亮 來(lái)源：《單片機(jī)與嵌入式系統(tǒng)應(yīng)用》2009年第9期 |
