vld(Visual Leak Detector) 處理機制與使用詳解
阿新 • • 發佈：2019-02-12
靈活自由是C/C++語言的一大特色，而這也為C/C++程式設計師出了一個難題。當程式越來越複雜時，記憶體的管理也會變得越加複雜，稍有不慎就會出現記憶體問題。記憶體洩漏是最常見的記憶體問題之一。記憶體洩漏如果不是很嚴重，在短時間內對程式不會有太大的影響，這也使得記憶體洩漏問題有很強的隱蔽性，不容易被發現。然而不管記憶體洩漏多麼輕微，當程式長時間執行時，其破壞力是驚人的，從效能下降到記憶體耗盡，甚至會影響到其他程式的正常執行。另外記憶體問題的一個共同特點是，記憶體問題本身並不會有很明顯的現象，當有異常現象出現時已時過境遷，其現場已非出現問題時的現場了，這給除錯記憶體問題帶來了很大的難度。
Visual Leak Detector是一款用於Visual C++的免費的記憶體洩露檢測工具。可以在
1、 可以得到記憶體洩漏點的呼叫堆疊，如果可以的話，還可以得到其所在檔案及行號；
2、 可以得到洩露記憶體的完整資料；
3、 可以設定記憶體洩露報告的級別；
4、 它是一個已經打包的lib，使用時無須編譯它的原始碼。而對於使用者自己的程式碼，也只需要做很小的改動；
5、 他的原始碼使用GNU許可釋出，並有詳盡的文件及註釋。對於想深入瞭解堆記憶體管理的讀者，是一個不錯的選擇。
可見，從使用角度來講，Visual Leak Detector簡單易用，對於使用者自己的程式碼，唯一的修改是#include Visual Leak Detector的標頭檔案後正常執行自己的程式，就可以發現記憶體問題。從研究的角度來講，如果深入Visual Leak Detector原始碼，可以學習到堆記憶體分配與釋放的原理、記憶體洩漏檢測的原理及記憶體操作的常用技巧等。
本文首先將介紹Visual Leak Detector的使用方法與步驟，然後再和讀者一起初步的研究Visual Leak Detector的原始碼，去了解Visual Leak Detector的工作原理。
使用Visual Leak Detector(1.0)
下面讓我們來介紹如何使用這個小巧的工具。
首先從網站上下載zip包，解壓之後得到vld.h, vldapi.h, vld.lib, vldmt.lib, vldmtdll.lib, dbghelp.dll等檔案。將.h檔案拷貝到Visual C++的預設include目錄下，將.lib檔案拷貝到Visual C++的預設lib目錄下，便安裝完成了。因為版本問題，如果使用windows 2000或者以前的版本，需要將dbghelp.dll拷貝到你的程式的執行目錄下，或其他可以引用到的目錄。
接下來需要將其加入到自己的程式碼中。方法很簡單，只要在包含入口函式的.cpp檔案中包含vld.h就可以。如果這個cpp檔案包含了stdafx.h，則將包含vld.h的語句放在stdafx.h的包含語句之後，否則放在最前面。如下是一個示例程式：
#include <vld.h>
void main()
{
…
}
接下來讓我們來演示如何使用Visual Leak Detector檢測記憶體洩漏。下面是一個簡單的程式，用new分配了一個int大小的堆記憶體，並沒有釋放。其申請的記憶體地址用printf輸出到螢幕上。
#include <vld.h>
#include <stdlib.h>
#include <stdio.h>
void f()
{
int *p = new int(0x12345678);
printf("p=%08x, ", p);
}
void main()
{
f();
}
編譯執行後，在標準輸出視窗得到：
p=003a89c0
在Visual C++的Output視窗得到：
WARNING: Visual Leak Detector detected memory leaks!
---------- Block 57 at 0x003A89C0: 4 bytes ---------- --57號塊0x003A89C0地址洩漏了4個位元組
Call Stack: --下面是呼叫堆疊
d:\test\testvldconsole\testvldconsole\main.cpp (7): f --表示在main.cpp第7行的f()函式
d:\test\testvldconsole\testvldconsole\main.cpp (14): main –雙擊以引導至對應程式碼處
f:\rtm\vctools\crt_bld\self_x86\crt\src\crtexe.c (586): __tmainCRTStartup
f:\rtm\vctools\crt_bld\self_x86\crt\src\crtexe.c (403): mainCRTStartup
0x7C816D4F (File and line number not available): RegisterWaitForInputIdle
Data: --這是洩漏記憶體的內容，0x12345678
78 56 34 12 xV4..... ........
Visual Leak Detector detected 1 memory leak.
第二行表示57號塊有4位元組的記憶體洩漏，地址為0x003A89C0，根據程式控制臺的輸出，可以知道，該地址為指標p。程式的第7行，f()函式裡，在該地址處分配了4位元組的堆記憶體空間，並賦值為0x12345678，這樣在報告中，我們看到了這4位元組同樣的內容。
可以看出，對於每一個記憶體洩漏，這個報告列出了它的洩漏點、長度、分配該記憶體時的呼叫堆疊、和洩露記憶體的內容（分別以16進位制和文字格式列出）。雙擊該堆疊報告的某一行，會自動在程式碼編輯器中跳到其所指檔案的對應行。這些資訊對於我們查詢記憶體洩露將有很大的幫助。
這是一個很方便易用的工具，安裝後每次使用時，僅僅需要將它標頭檔案包含進來重新build就可以。而且，該工具僅在build Debug版的時候會連線到你的程式中，如果build Release版，該工具不會對你的程式產生任何效能等方面影響。所以儘可以將其標頭檔案一直包含在你的原始碼中。
Visual Leak Detector工作原理
下面讓我們來看一下該工具的工作原理。
在這之前，我們先來看一下Visual C++內建的記憶體洩漏檢測工具是如何工作的。Visual C++內建的工具CRT Debug Heap工作原來很簡單。在使用Debug版的malloc分配記憶體時，malloc會在記憶體塊的頭中記錄分配該記憶體的檔名及行號。當程式退出時CRT會在main()函式返回之後做一些清理工作，這個時候來檢查除錯堆記憶體，如果仍然有記憶體沒有被釋放，則一定是存在記憶體洩漏。從這些沒有被釋放的記憶體塊的頭中，就可以獲得檔名及行號。
這種靜態的方法可以檢測出記憶體洩漏及其洩漏點的檔名和行號，但是並不知道洩漏究竟是如何發生的，並不知道該記憶體分配語句是如何被執行到的。要想了解這些，就必須要對程式的記憶體分配過程進行動態跟蹤。Visual Leak Detector就是這樣做的。它在每次記憶體分配時將其上下文記錄下來，當程式退出時，對於檢測到的記憶體洩漏，查詢其記錄下來的上下文資訊，並將其轉換成報告輸出。
初始化
Visual Leak Detector要記錄每一次的記憶體分配，而它是如何監視記憶體分配的呢？Windows提供了分配鉤子(allocation hooks)來監視除錯堆記憶體的分配。它是一個使用者定義的回撥函式，在每次從除錯堆分配記憶體之前被呼叫。在初始化時，Visual Leak Detector使用_CrtSetAllocHook註冊這個鉤子函式，這樣就可以監視從此之後所有的堆記憶體分配了。
如何保證在Visual Leak Detector初始化之前沒有堆記憶體分配呢？全域性變數是在程式啟動時就初始化的，如果將Visual Leak Detector作為一個全域性變數，就可以隨程式一起啟動。但是C/C++並沒有約定全域性變數之間的初始化順序，如果其它全域性變數的建構函式中有堆記憶體分配，則可能無法檢測到。Visual Leak Detector使用了C/C++提供的#pragma init_seg來在某種程度上減少其它全域性變數在其之前初始化的概率。根據#pragma init_seg的定義，全域性變數的初始化分三個階段：首先是compiler段，一般c語言的執行時庫在這個時候初始化；然後是lib段，一般用於第三方的類庫的初始化等；最後是user段，大部分的初始化都在這個階段進行。Visual Leak Detector將其初始化設定在compiler段，從而使得它在絕大多數全域性變數和幾乎所有的使用者定義的全域性變數之前初始化。
記錄記憶體分配
一個分配鉤子函式需要具有如下的形式：
int YourAllocHook( int allocType, void *userData, size_t size, int blockType, long requestNumber, const unsigned char *filename, int lineNumber);
就像前面說的，它在Visual Leak Detector初始化時被註冊，每次從除錯堆分配記憶體之前被呼叫。這個函式需要處理的事情是記錄下此時的呼叫堆疊和此次堆記憶體分配的唯一標識——requestNumber。
得到當前的堆疊的二進位制表示並不是一件很複雜的事情，但是因為不同體系結構、不同編譯器、不同的函式呼叫約定所產生的堆疊內容略有不同，要解釋堆疊並得到整個函式呼叫過程略顯複雜。不過windows提供一個StackWalk64函式，可以獲得堆疊的內容。StackWalk64的宣告如下：
BOOL StackWalk64(
DWORD MachineType,
HANDLE hProcess,
HANDLE hThread,
LPSTACKFRAME64 StackFrame,
PVOID ContextRecord,
PREAD_PROCESS_MEMORY_ROUTINE64 ReadMemoryRoutine,
PFUNCTION_TABLE_ACCESS_ROUTINE64 FunctionTableAccessRoutine,
PGET_MODULE_BASE_ROUTINE64 GetModuleBaseRoutine,
PTRANSLATE_ADDRESS_ROUTINE64 TranslateAddress
);
STACKFRAME64結構表示了堆疊中的一個frame。給出初始的STACKFRAME64，反覆呼叫該函式，便可以得到記憶體分配點的呼叫堆疊了。
// Walk the stack.
while (count < _VLD_maxtraceframes) {
count++;
if (!pStackWalk64(architecture, m_process, m_thread, &frame, &context,
NULL, pSymFunctionTableAccess64, pSymGetModuleBase64, NULL)) {
// Couldn't trace back through any more frames.
break;
}
if (frame.AddrFrame.Offset == 0) {
// End of stack.
break;
}
// Push this frame's program counter onto the provided CallStack.
callstack->push_back((DWORD_PTR)frame.AddrPC.Offset);
}
那麼，如何得到初始的STACKFRAME64結構呢？在STACKFRAME64結構中，其他的資訊都比較容易獲得，而當前的程式計數器(EIP)在x86體系結構中無法通過軟體的方法直接讀取。Visual Leak Detector使用了一種方法來獲得當前的程式計數器。首先，它呼叫一個函式，則這個函式的返回地址就是當前的程式計數器，而函式的返回地址可以很容易的從堆疊中拿到。下面是Visual Leak Detector獲得當前程式計數器的程式：
#if defined(_M_IX86) || defined(_M_X64)
#pragma auto_inline(off)
DWORD_PTR VisualLeakDetector::getprogramcounterx86x64 ()
{
DWORD_PTR programcounter;
__asm mov AXREG, [BPREG + SIZEOFPTR] // Get the return address out of the current stack frame
__asm mov [programcounter], AXREG // Put the return address into the variable we'll return
return programcounter;
}
#pragma auto_inline(on)
#endif // defined(_M_IX86) || defined(_M_X64)
得到了呼叫堆疊，自然要記錄下來。Visual Leak Detector使用一個類似map的資料結構來記錄該資訊。這樣可以方便的從requestNumber查詢到其呼叫堆疊。分配鉤子函式的allocType引數表示此次堆記憶體分配的型別，包括_HOOK_ALLOC, _HOOK_REALLOC, 和 _HOOK_FREE，下面程式碼是Visual Leak Detector對各種情況的處理。
switch (type) {
case _HOOK_ALLOC:
visualleakdetector.hookmalloc(request);
break;
case _HOOK_FREE:
visualleakdetector.hookfree(pdata);
break;
case _HOOK_REALLOC:
visualleakdetector.hookrealloc(pdata, request);
break;
default:
visualleakdetector.report("WARNING: Visual Leak Detector: in allochook(): Unhandled allocation type (%d).\n", type);
break;
}
這裡，hookmalloc()函式得到當前堆疊，並將當前堆疊與requestNumber加入到類似map的資料結構中。hookfree()函式從類似map的資料結構中刪除該資訊。hookrealloc()函式依次呼叫了hookfree()和hookmalloc()。
檢測記憶體洩露
前面提到了Visual C++內建的記憶體洩漏檢測工具的工作原理。與該原理相同，因為全域性變數以構造的相反順序析構，在Visual Leak Detector析構時，幾乎所有的其他變數都已經析構，此時如果仍然有未釋放之堆記憶體，則必為記憶體洩漏。
分配的堆記憶體是通過一個連結串列來組織的，檢查記憶體洩漏則是檢查此連結串列。但是windows沒有提供方法來訪問這個連結串列。Visual Leak Detector使用了一個小技巧來得到它。首先在堆上申請一塊臨時記憶體，則該記憶體的地址可以轉換成指向一個_CrtMemBlockHeader結構，在此結構中就可以獲得這個連結串列。程式碼如下：
char *pheap = new char;
_CrtMemBlockHeader *pheader = pHdr(pheap)->pBlockHeaderNext;
delete pheap;
其中pheader則為連結串列首指標。
報告生成
前面講了Visual Leak Detector如何檢測、記錄記憶體洩漏及其其呼叫堆疊。但是如果要這個資訊對程式設計師有用的話，必須轉換成可讀的形式。Visual Leak Detector使用SymGetLineFromAddr64()及SymFromAddr()生成可讀的報告。
// Iterate through each frame in the call stack.
for (frame = 0; frame < callstack->size(); frame++) {
// Try to get the source file and line number associated with
// this program counter address.
if (pSymGetLineFromAddr64(m_process,
(*callstack)[frame], &displacement, &sourceinfo)) {
...
}
// Try to get the name of the function containing this program
// counter address.
if (pSymFromAddr(m_process, (*callstack)[frame],
&displacement64, pfunctioninfo)) {
functionname = pfunctioninfo->Name;
}
else {
functionname = "(Function name unavailable)";
}
...
}
概括講來，Visual Leak Detector的工作分為3步，首先在初始化註冊一個鉤子函式；然後在記憶體分配時該鉤子函式被呼叫以記錄下當時的現場；最後檢查堆記憶體分配連結串列以確定是否存在記憶體洩漏並將洩漏記憶體的現場轉換成可讀的形式輸出。有興趣的讀者可以閱讀Visual Leak Detector的原始碼。
總結
在使用上，Visual Leak Detector簡單方便，結果報告一目瞭然。在原理上，Visual Leak Detector針對記憶體洩漏問題的特點，可謂對症下藥——記憶體洩漏不是不容易發現嗎？那就每次記憶體分配是都給記錄下來，程式退出時算總賬；記憶體洩漏現象出現時不是已時過境遷，並非當時洩漏點的現場了嗎？那就把現場也記錄下來，清清楚楚的告訴使用者那塊洩漏的記憶體就是在如何一個呼叫過程中洩漏掉的。
Visual Leak Detector是一個簡單易用記憶體洩漏檢測工具。現在最新的版本是1.9a，採用了新的檢測機制，並在功能上有了很多改進。讀者不妨體驗一下。
Visual Leak Detector是一款用於Visual C++的免費的記憶體洩露檢測工具。可以在
1、 可以得到記憶體洩漏點的呼叫堆疊，如果可以的話，還可以得到其所在檔案及行號；
2、 可以得到洩露記憶體的完整資料；
3、 可以設定記憶體洩露報告的級別；
4、 它是一個已經打包的lib，使用時無須編譯它的原始碼。而對於使用者自己的程式碼，也只需要做很小的改動；
5、 他的原始碼使用GNU許可釋出，並有詳盡的文件及註釋。對於想深入瞭解堆記憶體管理的讀者，是一個不錯的選擇。
可見，從使用角度來講，Visual Leak Detector簡單易用，對於使用者自己的程式碼，唯一的修改是#include Visual Leak Detector的標頭檔案後正常執行自己的程式，就可以發現記憶體問題。從研究的角度來講，如果深入Visual Leak Detector原始碼，可以學習到堆記憶體分配與釋放的原理、記憶體洩漏檢測的原理及記憶體操作的常用技巧等。
本文首先將介紹Visual Leak Detector的使用方法與步驟，然後再和讀者一起初步的研究Visual Leak Detector的原始碼，去了解Visual Leak Detector的工作原理。
使用Visual Leak Detector(1.0)
下面讓我們來介紹如何使用這個小巧的工具。
首先從網站上下載zip包，解壓之後得到vld.h, vldapi.h, vld.lib, vldmt.lib, vldmtdll.lib, dbghelp.dll等檔案。將.h檔案拷貝到Visual C++的預設include目錄下，將.lib檔案拷貝到Visual C++的預設lib目錄下，便安裝完成了。因為版本問題，如果使用windows 2000或者以前的版本，需要將dbghelp.dll拷貝到你的程式的執行目錄下，或其他可以引用到的目錄。
接下來需要將其加入到自己的程式碼中。方法很簡單，只要在包含入口函式的.cpp檔案中包含vld.h就可以。如果這個cpp檔案包含了stdafx.h，則將包含vld.h的語句放在stdafx.h的包含語句之後，否則放在最前面。如下是一個示例程式：
#include <vld.h>
void main()
{
…
}
接下來讓我們來演示如何使用Visual Leak Detector檢測記憶體洩漏。下面是一個簡單的程式，用new分配了一個int大小的堆記憶體，並沒有釋放。其申請的記憶體地址用printf輸出到螢幕上。
#include <vld.h>
#include <stdlib.h>
#include <stdio.h>
void f()
{
int *p = new int(0x12345678);
printf("p=%08x, ", p);
}
void main()
{
f();
}
編譯執行後，在標準輸出視窗得到：
p=003a89c0
在Visual C++的Output視窗得到：
WARNING: Visual Leak Detector detected memory leaks!
---------- Block 57 at 0x003A89C0: 4 bytes ---------- --57號塊0x003A89C0地址洩漏了4個位元組
Call Stack: --下面是呼叫堆疊
d:\test\testvldconsole\testvldconsole\main.cpp (7): f --表示在main.cpp第7行的f()函式
d:\test\testvldconsole\testvldconsole\main.cpp (14): main –雙擊以引導至對應程式碼處
f:\rtm\vctools\crt_bld\self_x86\crt\src\crtexe.c (586): __tmainCRTStartup
f:\rtm\vctools\crt_bld\self_x86\crt\src\crtexe.c (403): mainCRTStartup
0x7C816D4F (File and line number not available): RegisterWaitForInputIdle
Data: --這是洩漏記憶體的內容，0x12345678
78 56 34 12 xV4..... ........
Visual Leak Detector detected 1 memory leak.
第二行表示57號塊有4位元組的記憶體洩漏，地址為0x003A89C0，根據程式控制臺的輸出，可以知道，該地址為指標p。程式的第7行，f()函式裡，在該地址處分配了4位元組的堆記憶體空間，並賦值為0x12345678，這樣在報告中，我們看到了這4位元組同樣的內容。
可以看出，對於每一個記憶體洩漏，這個報告列出了它的洩漏點、長度、分配該記憶體時的呼叫堆疊、和洩露記憶體的內容（分別以16進位制和文字格式列出）。雙擊該堆疊報告的某一行，會自動在程式碼編輯器中跳到其所指檔案的對應行。這些資訊對於我們查詢記憶體洩露將有很大的幫助。
這是一個很方便易用的工具，安裝後每次使用時，僅僅需要將它標頭檔案包含進來重新build就可以。而且，該工具僅在build Debug版的時候會連線到你的程式中，如果build Release版，該工具不會對你的程式產生任何效能等方面影響。所以儘可以將其標頭檔案一直包含在你的原始碼中。
Visual Leak Detector工作原理
下面讓我們來看一下該工具的工作原理。
在這之前，我們先來看一下Visual C++內建的記憶體洩漏檢測工具是如何工作的。Visual C++內建的工具CRT Debug Heap工作原來很簡單。在使用Debug版的malloc分配記憶體時，malloc會在記憶體塊的頭中記錄分配該記憶體的檔名及行號。當程式退出時CRT會在main()函式返回之後做一些清理工作，這個時候來檢查除錯堆記憶體，如果仍然有記憶體沒有被釋放，則一定是存在記憶體洩漏。從這些沒有被釋放的記憶體塊的頭中，就可以獲得檔名及行號。
這種靜態的方法可以檢測出記憶體洩漏及其洩漏點的檔名和行號，但是並不知道洩漏究竟是如何發生的，並不知道該記憶體分配語句是如何被執行到的。要想了解這些，就必須要對程式的記憶體分配過程進行動態跟蹤。Visual Leak Detector就是這樣做的。它在每次記憶體分配時將其上下文記錄下來，當程式退出時，對於檢測到的記憶體洩漏，查詢其記錄下來的上下文資訊，並將其轉換成報告輸出。
初始化
Visual Leak Detector要記錄每一次的記憶體分配，而它是如何監視記憶體分配的呢？Windows提供了分配鉤子(allocation hooks)來監視除錯堆記憶體的分配。它是一個使用者定義的回撥函式，在每次從除錯堆分配記憶體之前被呼叫。在初始化時，Visual Leak Detector使用_CrtSetAllocHook註冊這個鉤子函式，這樣就可以監視從此之後所有的堆記憶體分配了。
如何保證在Visual Leak Detector初始化之前沒有堆記憶體分配呢？全域性變數是在程式啟動時就初始化的，如果將Visual Leak Detector作為一個全域性變數，就可以隨程式一起啟動。但是C/C++並沒有約定全域性變數之間的初始化順序，如果其它全域性變數的建構函式中有堆記憶體分配，則可能無法檢測到。Visual Leak Detector使用了C/C++提供的#pragma init_seg來在某種程度上減少其它全域性變數在其之前初始化的概率。根據#pragma init_seg的定義，全域性變數的初始化分三個階段：首先是compiler段，一般c語言的執行時庫在這個時候初始化；然後是lib段，一般用於第三方的類庫的初始化等；最後是user段，大部分的初始化都在這個階段進行。Visual Leak Detector將其初始化設定在compiler段，從而使得它在絕大多數全域性變數和幾乎所有的使用者定義的全域性變數之前初始化。
記錄記憶體分配
一個分配鉤子函式需要具有如下的形式：
int YourAllocHook( int allocType, void *userData, size_t size, int blockType, long requestNumber, const unsigned char *filename, int lineNumber);
就像前面說的，它在Visual Leak Detector初始化時被註冊，每次從除錯堆分配記憶體之前被呼叫。這個函式需要處理的事情是記錄下此時的呼叫堆疊和此次堆記憶體分配的唯一標識——requestNumber。
得到當前的堆疊的二進位制表示並不是一件很複雜的事情，但是因為不同體系結構、不同編譯器、不同的函式呼叫約定所產生的堆疊內容略有不同，要解釋堆疊並得到整個函式呼叫過程略顯複雜。不過windows提供一個StackWalk64函式，可以獲得堆疊的內容。StackWalk64的宣告如下：
BOOL StackWalk64(
DWORD MachineType,
HANDLE hProcess,
HANDLE hThread,
LPSTACKFRAME64 StackFrame,
PVOID ContextRecord,
PREAD_PROCESS_MEMORY_ROUTINE64 ReadMemoryRoutine,
PFUNCTION_TABLE_ACCESS_ROUTINE64 FunctionTableAccessRoutine,
PGET_MODULE_BASE_ROUTINE64 GetModuleBaseRoutine,
PTRANSLATE_ADDRESS_ROUTINE64 TranslateAddress
);
STACKFRAME64結構表示了堆疊中的一個frame。給出初始的STACKFRAME64，反覆呼叫該函式，便可以得到記憶體分配點的呼叫堆疊了。
// Walk the stack.
while (count < _VLD_maxtraceframes) {
count++;
if (!pStackWalk64(architecture, m_process, m_thread, &frame, &context,
NULL, pSymFunctionTableAccess64, pSymGetModuleBase64, NULL)) {
// Couldn't trace back through any more frames.
break;
}
if (frame.AddrFrame.Offset == 0) {
// End of stack.
break;
}
// Push this frame's program counter onto the provided CallStack.
callstack->push_back((DWORD_PTR)frame.AddrPC.Offset);
}
那麼，如何得到初始的STACKFRAME64結構呢？在STACKFRAME64結構中，其他的資訊都比較容易獲得，而當前的程式計數器(EIP)在x86體系結構中無法通過軟體的方法直接讀取。Visual Leak Detector使用了一種方法來獲得當前的程式計數器。首先，它呼叫一個函式，則這個函式的返回地址就是當前的程式計數器，而函式的返回地址可以很容易的從堆疊中拿到。下面是Visual Leak Detector獲得當前程式計數器的程式：
#if defined(_M_IX86) || defined(_M_X64)
#pragma auto_inline(off)
DWORD_PTR VisualLeakDetector::getprogramcounterx86x64 ()
{
DWORD_PTR programcounter;
__asm mov AXREG, [BPREG + SIZEOFPTR] // Get the return address out of the current stack frame
__asm mov [programcounter], AXREG // Put the return address into the variable we'll return
return programcounter;
}
#pragma auto_inline(on)
#endif // defined(_M_IX86) || defined(_M_X64)
得到了呼叫堆疊，自然要記錄下來。Visual Leak Detector使用一個類似map的資料結構來記錄該資訊。這樣可以方便的從requestNumber查詢到其呼叫堆疊。分配鉤子函式的allocType引數表示此次堆記憶體分配的型別，包括_HOOK_ALLOC, _HOOK_REALLOC, 和 _HOOK_FREE，下面程式碼是Visual Leak Detector對各種情況的處理。
switch (type) {
case _HOOK_ALLOC:
visualleakdetector.hookmalloc(request);
break;
case _HOOK_FREE:
visualleakdetector.hookfree(pdata);
break;
case _HOOK_REALLOC:
visualleakdetector.hookrealloc(pdata, request);
break;
default:
visualleakdetector.report("WARNING: Visual Leak Detector: in allochook(): Unhandled allocation type (%d).\n", type);
break;
}
這裡，hookmalloc()函式得到當前堆疊，並將當前堆疊與requestNumber加入到類似map的資料結構中。hookfree()函式從類似map的資料結構中刪除該資訊。hookrealloc()函式依次呼叫了hookfree()和hookmalloc()。
檢測記憶體洩露
前面提到了Visual C++內建的記憶體洩漏檢測工具的工作原理。與該原理相同，因為全域性變數以構造的相反順序析構，在Visual Leak Detector析構時，幾乎所有的其他變數都已經析構，此時如果仍然有未釋放之堆記憶體，則必為記憶體洩漏。
分配的堆記憶體是通過一個連結串列來組織的，檢查記憶體洩漏則是檢查此連結串列。但是windows沒有提供方法來訪問這個連結串列。Visual Leak Detector使用了一個小技巧來得到它。首先在堆上申請一塊臨時記憶體，則該記憶體的地址可以轉換成指向一個_CrtMemBlockHeader結構，在此結構中就可以獲得這個連結串列。程式碼如下：
char *pheap = new char;
_CrtMemBlockHeader *pheader = pHdr(pheap)->pBlockHeaderNext;
delete pheap;
其中pheader則為連結串列首指標。
報告生成
前面講了Visual Leak Detector如何檢測、記錄記憶體洩漏及其其呼叫堆疊。但是如果要這個資訊對程式設計師有用的話，必須轉換成可讀的形式。Visual Leak Detector使用SymGetLineFromAddr64()及SymFromAddr()生成可讀的報告。
// Iterate through each frame in the call stack.
for (frame = 0; frame < callstack->size(); frame++) {
// Try to get the source file and line number associated with
// this program counter address.
if (pSymGetLineFromAddr64(m_process,
(*callstack)[frame], &displacement, &sourceinfo)) {
...
}
// Try to get the name of the function containing this program
// counter address.
if (pSymFromAddr(m_process, (*callstack)[frame],
&displacement64, pfunctioninfo)) {
functionname = pfunctioninfo->Name;
}
else {
functionname = "(Function name unavailable)";
}
...
}
概括講來，Visual Leak Detector的工作分為3步，首先在初始化註冊一個鉤子函式；然後在記憶體分配時該鉤子函式被呼叫以記錄下當時的現場；最後檢查堆記憶體分配連結串列以確定是否存在記憶體洩漏並將洩漏記憶體的現場轉換成可讀的形式輸出。有興趣的讀者可以閱讀Visual Leak Detector的原始碼。
總結
在使用上，Visual Leak Detector簡單方便，結果報告一目瞭然。在原理上，Visual Leak Detector針對記憶體洩漏問題的特點，可謂對症下藥——記憶體洩漏不是不容易發現嗎？那就每次記憶體分配是都給記錄下來，程式退出時算總賬；記憶體洩漏現象出現時不是已時過境遷，並非當時洩漏點的現場了嗎？那就把現場也記錄下來，清清楚楚的告訴使用者那塊洩漏的記憶體就是在如何一個呼叫過程中洩漏掉的。
Visual Leak Detector是一個簡單易用記憶體洩漏檢測工具。現在最新的版本是1.9a，採用了新的檢測機制，並在功能上有了很多改進。讀者不妨體驗一下。