瑞士軍刀──Valgrind

瑞士軍刀──Valgrind

轉自:http://blog.csdn.net/lurker0ster/article/details/1607530 ,原作者不清楚。

Valgrind的主要作者Julian Seward剛獲得了今年的Google-O'Reilly開源大獎之一──Best Tool Maker。讓我們一起來看一下他的作品。Valgrind是運行在Linux上一套基於仿真技術的程序調試和分析工具,它包含一個內核──一個軟件合成的CPU,和一系列的小工具,每個工具都可以完成一項任務──調試,分析,或測試等。Valgrind可以檢測內存泄漏和內存違例,還可以分析cache的使用等,靈活輕巧而又強大,能直穿程序錯誤的心臟,真可謂是程序員的瑞士軍刀。

. Valgrind概觀

Valgrind的最新版是3.2.0,它一般包含下列工具:

1.Memcheck

最常用的工具,用來檢測程序中出現的內存問題,所有對內存的讀寫都會被檢測到,一切對malloc()/free()/new/delete的調用都會被捕獲。所以,它能檢測以下問題:

1.對未初始化內存的使用;

2./寫釋放後的內存塊;

3./寫超出malloc分配的內存塊;

4./寫不適當的棧中內存塊;

5.內存泄漏,指向一塊內存的指針永遠丟失;

6.不正確的malloc/freenew/delete匹配;

7,memcpy()相關函數中的dstsrc指針重疊。

這些問題往往是C/C++程序員最頭疼的問題,Memcheck在這裏幫上了大忙。

2.Callgrind

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

3.Cachegrind

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

4.Helgrind

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

5. Massif

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


此外,lackeynulgrind也會提供。Lackey是小型工具,很少用到;Nulgrind只是爲開發者展示如何創建一個工具。我們就不做介紹了。

.使用Valgrind

Valgrind的使用非常簡單,valgrind命令的格式如下:

valgrind [valgrind-options] your-prog [your-prog options]

一些常用的選項如下:

選項

作用

-h --help

顯示幫助信息。

--version

顯示valgrind內核的版本,每個工具都有各自的版本。

-q --quiet

安靜地運行,只打印錯誤信息。

-v --verbose

打印更詳細的信息。

--tool=<toolname> [default: memcheck]

最常用的選項。運行valgrind中名爲toolname的工具。如果省略工具名,默認運行memcheck

--db-attach= [default: no]

綁定到調試器上,便於調試錯誤。

我們通過例子看一下它的具體使用。我們構造一個存在內存泄漏的C程序,如下:

#include

#include

void f(void)

{

int* x = malloc(10 * sizeof(int));

x[10] = 0; // problem 1: heap block overrun

} // problem 2: memory leak -- x not freed

int main(void)

{

int i;

f();

printf("i=%d/n",i); //problem 3: use uninitialised value.

return 0;

}

保存爲memleak.c並編譯,然後用valgrind檢測。

$ gcc -Wall -o memleak memleak.c

$ valgrind --tool=memcheck ./memleak

我們得到如下錯誤信息:


==3649== Invalid write of size 4

==3649== at 0x80483CF: f (in /home/wangcong/memleak)

==3649== by 0x80483EC: main (in /home/wangcong/memleak)

==3649== Address 0x4024050 is 0 bytes after a block of size 40 alloc'd

==3649== at 0x40051F9: malloc (vg_replace_malloc.c:149)

==3649== by 0x80483C5: f (in /home/wangcong/memleak)

==3649== by 0x80483EC: main (in /home/wangcong/memleak)


前面的3649是程序運行時的進程號。第一行是告訴我們錯誤類型,這裏是非法寫入。下面的是告訴我們錯誤發生的位置,在main()調用的f()函數中。


==3649== Use of uninitialised value of size 4

==3649== at 0xC3A264: _itoa_word (in /lib/libc-2.4.so)

==3649== by 0xC3E25C: vfprintf (in /lib/libc-2.4.so)

==3649== by 0xC442B6: printf (in /lib/libc-2.4.so)

==3649== by 0x80483FF: main (in /home/wangcong/memleak)


這個錯誤是使用未初始化的值,在main()調用的printf()函數中。這裏的函數調用關係是通過堆棧跟蹤的,所以有時會非常多,尤其是當你使用C++STL時。其它一些錯誤都是由於把未初始化的值傳遞給libc函數而被檢測到。在程序運行結束後,valgrind還給出了一個小的總結:


==3649== ERROR SUMMARY: 20 errors from 6 contexts (suppressed: 12 from 1)

==3649== malloc/free: in use at exit: 40 bytes in 1 blocks.

==3649== malloc/free: 1 allocs, 0 frees, 40 bytes allocated.

==3649== For counts of detected errors, rerun with: -v

==3649== searching for pointers to 1 not-freed blocks.

==3649== checked 47,256 bytes.

==3649==

==3649== LEAK SUMMARY:

==3649== definitely lost: 40 bytes in 1 blocks.

==3649== possibly lost: 0 bytes in 0 blocks.

==3649== still reachable: 0 bytes in 0 blocks.

==3649== suppressed: 0 bytes in 0 blocks.

==3649== Use --leak-check=full to see details of leaked memory.


我們可以很清楚地看出,分配和釋放了多少內存,有多少內存泄漏。這對我們查找內存泄漏十分方便。然後我們重新編譯程序並綁定調試器:


$ gcc -Wall -ggdb -o memleak memleak.c

$ valgrind --db-attach=yes --tool=memcheck ./memleak


一出現錯誤,valgrind會自動啓動調試器(一般是gdb):


==3893== ---- Attach to debugger ? --- [Return/N/n/Y/y/C/c] ---- y

starting debugger

==3893== starting debugger with cmd: /usr/bin/gdb -nw /proc/3895/fd/1014 3895


退出gdb後我們又能回到valgrind繼續執行程序。


還是用上面的程序,我們使用callgrind來分析一下它的效率:


$ valgrind --tool=callgrind ./memleak


Callgrind會輸出很多,而且最後在當前目錄下生成一個文件:callgrind.out.pid。用callgrind_annotate來查看它:


$ callgrind_annotate callgrind.out.3949


詳細的信息就列出來了。而且,當callgrind運行你的程序時,你還可以使用callgrind_control來觀察程序的執行,而且不會干擾它的運行。


再來看一下cachegrind的表現:

$ valgrind --tool=cachegrind ./memleak


得到如下信息:

==4073== I refs: 147,500

==4073== I1 misses: 1,189

==4073== L2i misses: 679

==4073== I1 miss rate: 0.80%

==4073== L2i miss rate: 0.46%

==4073==

==4073== D refs: 61,920 (46,126 rd + 15,794 wr)

==4073== D1 misses: 1,759 ( 1,545 rd + 214 wr)

==4073== L2d misses: 1,241 ( 1,062 rd + 179 wr)

==4073== D1 miss rate: 2.8% ( 3.3% + 1.3% )

==4073== L2d miss rate: 2.0% ( 2.3% + 1.1% )

==4073==

==4073== L2 refs: 2,948 ( 2,734 rd + 214 wr)

==4073== L2 misses: 1,920 ( 1,741 rd + 179 wr)

==4073== L2 miss rate: 0.9% ( 0.8% + 1.1% )


上面的是指令緩存,I1L2i緩存,的訪問信息,包括總的訪問次數,丟失次數,丟失率。

中間的是數據緩存,D1L2d緩存,的訪問的相關信息,下面的L2緩存單獨的信息。Cachegrind也生成一個文件,名爲cachegrind.out.pid可以通過cg_annotate來讀取。輸出是一個更詳細的列表。Massif的使用和cachegrind類似,不過它也會生成一個名爲massif.pid.psPostScript文件,裏面只有一幅描述堆棧使用狀況的彩圖。

以上只是簡單的演示了valgrind的使用,更多的信息可以在它附帶的文檔中得到,也可以訪問valgrind的主頁:http://www.valgrind.org。學會正確合理地使用valgrind對於調試程序會有很大的幫助。


最後:

valgrind --tool=memcheck --leak-check=full --show-reachable=yes --track-origins=yes --log-file=1.log         <***.elf>

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章