1. 內存溢出

內存溢出 OOM （out of memory），是指程序在申請內存時，沒有足夠的內存空間供其使用，出現out of memory；比如申請了一個int,但給它存了long才能存下的數，那就是內存溢出。

2. 內存泄漏

內存泄露 memory leak，是指程序在申請內存后，無法釋放已申請的內存空間，一次內存泄露危害可以忽略，但內存泄露堆積后果很嚴重，無論多少內存,遲早會被占光。最終的結果就是導致OOM。

內存泄漏是指你向系統申請分配內存進行使用(new)，可是使用完了以后卻不歸還(delete)，結果你申請到的那塊內存你自己也不能再訪問（也許你把它的地址給弄丟了），而系統也不能再次將它分配給需要的程序。

3. 造成內存泄露常見的三種情況

1，指針重新賦值

2，錯誤的內存釋放

3，返回值的不正確處理

3.1 指針重新賦值

如下代碼：

其中，指針變量 p 和 np 分別被分配了 10 個字節的內存。

如果程序需要執行如下賦值語句：

這時候，指針變量 p 被 np 指針重新賦值，其結果是 p 以前所指向的內存位置變成了孤立的內存。它無法釋放，因為沒有指向該位置的引用，從而導致 10 字節的內存泄漏。

因此，在對指針賦值前，一定確保內存位置不會變為孤立的。

類似的情況，連續重復new的情況也是類似：

3.2 錯誤的內存釋放

假設有一個指針變量 p，它指向一個 10 字節的內存位置。該內存位置的第三個字節又指向某個動態分配的 10 字節的內存位置。

如果程序需要執行如下賦值語句時：

很顯然，如果通過調用 free 來釋放指針 p，則 np 指針也會因此而變得無效。np 以前所指向的內存位置也無法釋放，因為已經沒有指向該位置的指針。換句話說，np 所指向的內存位置變為孤立的，從而導致內存泄漏。

因此，每當釋放結構化的元素，而該元素又包含指向動態分配的內存位置的指針時，應首先遍歷子內存位置（如本示例中的 np），并從那里開始釋放，然后再遍歷回父節點，如下面的代碼所示：

3.3 返回值的不正確處理

有時候，某些函數會返回對動態分配的內存的引用，如下面的示例代碼所示：

函數 f1 中對 f 函數的調用并未處理該內存位置的返回地址，其結果將導致 f 函數所分配的 10 個字節的塊丟失，并導致內存泄漏。

4 在內存分配后忘記使用 free 進行釋放

4. 如何避免內存泄露？

• 確保沒有在訪問空指針。
• 每個內存分配函數都應該有一個 free 函數與之對應，alloca 函數除外。
• 每次分配內存之后都應該及時進行初始化，可以結合 memset 函數進行初始化，calloc 函數除外。
• 每當向指針寫入值時，都要確保對可用字節數和所寫入的字節數進行交叉核對。
• 在對指針賦值前，一定要確保沒有內存位置會變為孤立的。
• 每當釋放結構化的元素（而該元素又包含指向動態分配的內存位置的指針）時，都應先遍歷子內存位置并從那里開始釋放，然后再遍歷回父節點。
• 始終正確處理返回動態分配的內存引用的函數返回值。

5.定位內存泄漏（valgrind）（重點）

5.1、基本概念

Valgrind是一個GPL的軟件，用于Linux（For x86, amd64 and ppc32）程序的內存調試和代碼剖析。你可以在它的環境中運行你的程序來監視內存的使用情況，比如C 語言中的malloc和free或者 C++中的new和 delete。使用Valgrind的工具包，你可以自動的檢測許多內存管理和線程的bug，避免花費太多的時間在bug尋找上，使得你的程序更加穩固。

安裝Valgrind

應用環境：Linux

編程語言：C/C++

使用方法：編譯時加上-g選項，如 gcc -g filename.c -o filename,使用如下命令檢測內存使用情況：

如果您的程序是會正常退出的程序，那么當程序退出的時候valgrind自然會輸出內存泄漏的信息。如果您的程序是個守護進程，那么也不要緊，我們 只要在別的終端下殺死memcheck進程（因為valgrind默認使用memcheck工具，就是默認參數--tools=memcheck）

參數選擇

設計思路：根據軟件的內存操作維護一個有效地址空間表和無效地址空間表（進程的地址空間）

5.2、多個工具

1、Memcheck

最常用的工具，用來檢測程序中出現的內存問題，所有對內存的讀寫都會被檢測到，一切對malloc()/free()/new/delete的調用都會被捕獲。所以，Memcheck 工具主要檢查下面的程序錯誤

能夠檢測：

• 使用未初始化的內存 (Use of uninitialised memory)
• 使用已經釋放了的內存 (Reading/writing memory after it has been free’d)
• 使用超過 malloc分配的內存空間(Reading/writing off the end of malloc’d blocks)
• 對堆棧的非法訪問 (Reading/writing inappropriate areas on the stack)
• 申請的空間是否有釋放 (Memory leaks – where pointers to malloc’d blocks are lost forever)
• malloc/free/new/delete申請和釋放內存的匹配(Mismatched use of malloc/new/new [] vs free/delete/delete [])
• src和dst的重疊(Overlapping src and dst pointers in memcpy() and related functions)
• 重復free

Callgrind

和gprof類似的分析工具，但它對程序的運行觀察更是入微，能給我們提供更多的信息。和gprof不同，它不需要在編譯源代碼時附加特殊選項，但加上調試選項是推薦的。Callgrind收集程序運行時的一些數據，建立函數調用關系圖，還可以有選擇地進行cache模擬。在運行結束時，它會把分析數據寫入一個文件。callgrind_annotate可以把這個文件的內容轉化成可讀的形式。

Cachegrind

Cache分析器，它模擬CPU中的一級緩存I1，Dl和二級緩存，能夠精確地指出程序中cache的丟失和命中。如果需要，它還能夠為我們提供cache丟失次數，內存引用次數，以及每行代碼，每個函數，每個模塊，整個程序產生的指令數。這對優化程序有很大的幫助。

Helgrind

它主要用來檢查多線程程序中出現的競爭問題。Helgrind尋找內存中被多個線程訪問，而又沒有一貫加鎖的區域，這些區域往往是線程之間失去同步的地方，而且會導致難以發掘的錯誤。Helgrind實現了名為“Eraser”的競爭檢測算法，并做了進一步改進，減少了報告錯誤的次數。不過，Helgrind仍然處于實驗階段。

Massif

堆棧分析器，它能測量程序在堆棧中使用了多少內存，告訴我們堆塊，堆管理塊和棧的大小。Massif能幫助我們減少內存的使用，在帶有虛擬內存的現代系統中，它還能夠加速我們程序的運行，減少程序停留在交換區中的幾率。

5.3、使用原理

Memcheck 能夠檢測出內存問題，關鍵在于其建立了兩個全局表。

1、Valid-Value 表：

對于進程的整個地址空間中的每一個字節(byte)，都有與之對應的 8 個 bits；對于 CPU 的每個寄存器，也有一個與之對應的 bit 向量。這些 bits 負責記錄該字節或者寄存器值是否具有有效的、已初始化的值。

2、Valid-Address 表

對于進程整個地址空間中的每一個字節(byte)，還有與之對應的 1 個 bit，負責記錄該地址是否能夠被讀寫。

檢測原理：

• 當要讀寫內存中某個字節時，首先檢查這個字節對應的 A bit。如果該A bit顯示該位置是無效位置，memcheck 則報告讀寫錯誤。
• 內核（core）類似于一個虛擬的 CPU 環境，這樣當內存中的某個字節被加載到真實的 CPU 中時，該字節對應的 V bit也被加載到虛擬的 CPU 環境中。一旦寄存器中的值，被用來產生內存地址，或者該值能夠影響程序輸出，則 memcheck 會檢查對應的V bits，如果該值尚未初始化，則會報告使用未初始化內存錯誤。

5.4、具體使用

1. 使用未初始化的內存（使用野指針）

這里我們定義了一個指針p，但并未給他開辟空間，即他是一個野指針，但我們卻使用它了

Valgrind檢測出我們程序使用了未初始化的變量，但并未檢測出內存泄漏。

2.在內存被釋放后進行讀/寫（使用野指針）

p所指向的內存被釋放了，p變成了野指針，但是我們卻繼續使用這片內存。

Valgrind檢測出我們使用了已經free掉的內存，并給出這片內存是哪里分配哪里釋放的。

3.從已分配內存塊的尾部進行讀/寫（動態內存越界）

我們動態地分配了一段數組，但我們在訪問個數組時發生了越界讀寫，程序crash掉。

Valgrind檢測出越界的位置。

注意：Valgrind不檢查靜態分配數組的使用情況！所以對靜態分配的數組，Valgrind表示無能為力！比如下面的例子，程序crash掉，我們卻不知道為什么。

4.內存泄漏

內存泄漏的原因在于沒有成對地使用malloc/free和new/delete，比如下面的例子。

Valgrind會給出程序中malloc和free的出現次數以判斷是否發生內存泄漏，比如對上面的程序運行memcheck，Valgrind的記錄顯示上面的程序用了1次malloc，卻調用了0次free，明顯發生了內存泄漏！

上面提示了我們可以使用–leak-check=full進一步獲取內存泄漏的信息，比如malloc和free的具體行號。

5. 不匹配地使用malloc/new/new[] 和 free/delete/delete[]

正常使用new/delete和malloc/free是這樣子的：

而不匹配地使用malloc/new/new[] 和 free/delete/delete[]則會被提示mismacth：

6.兩次釋放內存

double free的情況同樣是根據malloc/free的匹配對數來體現的，比如free多了一次，Valgrind也會提示。