在嵌入式系統設計過程中，許多軟件工程師受困于動態內存管理。本文介紹一種將堆棧中的內存碎片降至最少的解決方案，其中講到了內存碎片和內存丟失的區別，以及一種在編程中有利于檢測并消除內存丟失的策略。

　　標準C庫函數malloc（）和free（）可在任意的時間段中，為應用分配任意大小的內存塊。隨著內存塊的使用和釋放，在整個內存區域中，分配給堆棧的存儲區將混雜著許多正在使用或已經釋放的存儲塊，而未被使用的任何小塊內存區將變得無法使用。例如，某個應用要求堆棧分配30字節，如果堆棧中只有20個長度為3字節的小存儲塊（總共為60字節），那么堆棧仍然無法為該應用分配內存，因為所需的30字節必須是連續的。

　　在執行時間較長的程序中，內存碎片可能導致系統的內存枯竭，盡管分配的內存總量并未超出總的可用內存總數。內存碎片的數量取決于堆棧的實現策略。大多數程序員均采用由編譯器提供的malloc（）和free（）函數創建的堆棧，因此內存碎片就不受程序員的控制。

　　內存丟失是應用程序的缺陷，更具體地，內存丟失是一塊已經分配但永遠不會被釋放的內存區。如果所有指向內存塊的指針超出界限或者指向其他的區域，那么應用程序將永遠不能釋放那塊內存區。對于將會在某時刻退出的桌面應用程序，較小的內存丟失還可以承受，因為退出進程將把占用的所有內存返還給操作系統。但對于長時間運行的嵌入式系統，則通常需要確保絕對沒有內存丟失。

　　避免內存丟失不是輕而易舉的，為了確保所有分配的內存都在隨后釋放，必須建立一套明確的規則，以確定哪個應用占用了內存。為跟蹤內存，可采用類、指針數組或鏈表。由于在動態內存分配中，程序員無法預先知道在給定時間內需要分配多少數據塊，因此通常需要采用鏈表結構。

　　在嵌入式系統設計過程中，要利用數組保存內存分配的每一個塊記錄，在內存塊釋放的同時，也將該記錄從數組中刪除。在主循環的每次迭代之后，分配的內存塊的總數目將打印出來。理想情況下，要按類型對這些內存塊排序，但指向malloc（）和free（）的調用則不包含任何類型信息。內存分配的大小是最好的標識，因此成為設計工程師需要記錄的信息。此外，還需要存儲分配的內存塊地址信息，這樣，當調用釋放函數時，就可以方便地定位或刪除塊記錄。