基于嵌入式系統(tǒng)設(shè)計(jì)中查找內(nèi)存丟失的策略方案

分配位置

有時(shí)，位置信息比類型信息更為有效。幸而我們能夠靈活地使用宏定義，從而無(wú)須更換標(biāo)記即可選擇這些信息。

　　==========================

　　#define mMalloc(size_t size)

　　mMallocLineNo(size, __LINE__,

　　__FILE__)

　　=========================

mMallocLineNo()函數(shù)是程序清單1中函數(shù)mMalloc()的變異?，F(xiàn)在我們期望像程序清單3那樣存儲(chǔ)行號(hào)和文件名信息，為保持額外信息，結(jié)構(gòu)BlockEntry將具有如下形式：

　　=========================

　　typedef struct

　　{

　　void * addr;

　　size_t size;

　　int line;

　　char * file;

　　} BlockEntry;

　　==========================

通過(guò)為每個(gè)內(nèi)存塊存儲(chǔ)行號(hào)和文件名，就能精確地定位任何分配的內(nèi)存塊?？梢詾樗刑囟ㄩL(zhǎng)度的表項(xiàng)設(shè)計(jì)一個(gè)輸出行號(hào)和文件名為mDisplayLocatiON()的函數(shù)，這樣就能輕易地識(shí)別出長(zhǎng)度可疑的內(nèi)存塊的來(lái)源。

再次回到表1，可能我們會(huì)擔(dān)心長(zhǎng)度為44的內(nèi)存塊。為了更多地了解這些內(nèi)存的來(lái)源，可以在函數(shù)main()的末尾添加如下代碼：

　　========================

　　mDisplayLocation(44);

　　=======================

　　這能將行44輸出50遍。

　　=======================

　　line = 162, file = listing2.c

　　=======================

這清晰地表明內(nèi)存塊在函數(shù)growForever()中分配。

可變的長(zhǎng)度

某些內(nèi)存分配的長(zhǎng)度可以發(fā)生急劇變化，例如：

　　==========================

　　char *p = malloc(strlen(nAME)+1);

　　==========================

是分配一塊足以存儲(chǔ)字符串名和字符串截止符的內(nèi)存的通用方法。在嵌入式系統(tǒng)中，不會(huì)經(jīng)常對(duì)字符串和文件進(jìn)行操作；數(shù)據(jù)結(jié)構(gòu)的分配則不是這樣，例如：

　　==========================

　　Motor *m = malloc(sizeof(Motor));

　　==========================

如果假定Motor為存儲(chǔ)結(jié)構(gòu)，那么上述分配將總是得到相同長(zhǎng)度的內(nèi)存塊，在上面描述的函數(shù)中，將在輸出中更簡(jiǎn)便地識(shí)別出這些內(nèi)存塊。

在分配可變長(zhǎng)度內(nèi)存塊時(shí)，可以行號(hào)和文件名的組合為核心計(jì)算內(nèi)存分配的計(jì)數(shù)。示例中，我們存儲(chǔ)了行號(hào)和文件名，但打印的總數(shù)則取決于長(zhǎng)度。通過(guò)行號(hào)和文件名的聚合分配將有助于在相同的位置將所有的分配組合起來(lái)，而不管分配的長(zhǎng)度如何。某些情況下，即便可變的長(zhǎng)度不成問(wèn)題，這樣的分析仍然能帶給我們更多的啟發(fā)。

內(nèi)存表

任何含有內(nèi)存丟失的代碼都將導(dǎo)致這里給出的內(nèi)存表不斷增大，而且并非所有的丟失都能像growForever()示例那樣清晰無(wú)誤地進(jìn)行識(shí)別。即便采用其它技術(shù)進(jìn)行丟失檢測(cè)和消除，這些輸出表仍將有助于確定丟失是否已被消除。

這里給出的循環(huán)并不處理可變的輸入數(shù)據(jù)。在實(shí)際項(xiàng)目中，通常插入一些調(diào)用(如仿真鍵盤敲擊序列的調(diào)用)以模擬輸入。在實(shí)際系統(tǒng)中，還必須創(chuàng)建一些適當(dāng)?shù)妮斎?。除非自己希望改變代碼，否則完全無(wú)須訪問(wèn)導(dǎo)致內(nèi)存丟失的代碼段。因此，這里的示例或許向大家提供了一個(gè)良好的開端，但任何內(nèi)存丟失仍然需要進(jìn)行一些檢測(cè)。