天天看點

檢測記憶體洩漏

網上搜尋了一下,發現檢測記憶體洩漏的工具還是很多的。下面是從網上找到的一些材料,主要是在linux系統中記憶體洩漏的檢測方法。

(1)什麼是記憶體記憶體洩漏?

  在此,談論的是程式設計中記憶體洩漏和錯誤的問題,不過,并不是所有的程式都有這一問題。首先,洩漏等一些記憶體方面的問題在有的程式語言中是不容易發生的。這些程式語言一般都認為記憶體管理太重要了,是以不能由程式員來處理,最好還是由程式語言設計者來處理這些問題,這樣的語言有Perl、Java等等。   

  然而,在一些語言(最典型的就是C和C++)中,程式語言的設計者也認為記憶體管理太重要,但必需由開發人員自己來處理。記憶體洩漏指的是程式員動态配置設定了記憶體,但是在使用完成後卻忘了将其釋放。除了記憶體洩漏以外,在開發人員自己管理記憶體的開發中,緩沖溢出、懸擺指針等其它一些記憶體的問題也時有發生。     

(2) 問題緣何産生

  為了讓程式能夠處理在編譯時無法預知的資料占用記憶體的大小,是以程式必需要從作業系統實時地申請記憶體,這就是所謂的動态記憶體。這時候,就會出現程式申請到記憶體塊并且使用完成後,沒有将其歸還給作業系統的錯誤。更糟的情況是所擷取的記憶體塊的位址丢失,進而系統無法繼續識别、定位該記憶體塊。還有其它的問題,比如試圖通路已經釋放的指針(懸擺指針),再如通路已經被使用了的記憶體(記憶體溢出)的問題。

(3)後果不容忽視  

  對于那些不常駐記憶體的程式來說,由于執行過程很短,是以即使有漏洞可能也不會導緻特别嚴重的後果。不過對于一些常駐記憶體的程式(比如Web伺服器Apache)來說,如果出現這樣的問題,後果将非常嚴重。因為有問題的程式會不斷地向系統申請記憶體,并且不釋放記憶體,最終可能導緻系統記憶體耗盡而導緻系統崩潰。此外,存在記憶體洩漏問題的程式除了會占用更多的記憶體外,還會使程式的性能急劇下降。對于伺服器而言,如果出現這種情況,即使系統不崩潰,也會嚴重影響使用。

  懸擺指針會導緻一些潛在的隐患,并且這些隐患不容易暴發。它非常不明顯,是以很難被發現。在這三種存在的問題形式中,緩沖溢出可能是最危險的。事實上,它可能會導緻很多安全性方面的問題(一個安全的程式包含很多要素,但是最重要的莫過于小心使用記憶體)。正如上面所述,有時也會發生同一記憶體塊被多次返還給系統的問題,這顯然也是程式設計上的錯誤。一個程式員非常希望知道在程式運作的過程中,使用記憶體的情況,進而能夠發現并且修正問題。

(4)如何處理    

  現在已經有了一些實時監測記憶體問題的技術。記憶體洩漏問題可以通過定時地終止和重新開機有問題的程式來發現和解決。在比較新的Linux核心版本中,有一種名為OOM(Out Of Memory )殺手的算法,它可以在必要時選擇執行Killed等程式。懸擺指針可以通過定期對所有已經返還給系統的記憶體置零來解決。解決記憶體溢出問題的方法則多種多樣。   

  事實上,在程式運作時來解決這些問題,顯然要麻煩得多,是以我們希望能夠在開發程式時就發現并解決這些問題。下面介紹一些可用的自由軟體。

<col>

垃圾回收器(GC)

Memprof

Valgrind

簡介

在GCC工具包中,有一個"垃圾回收器(GC)",它可以輕松檢測并且修正很多的記憶體問題。目前該項目由HP的Hans-J.Boehm負責。

Memprof是一個非常具有吸引力且非常易于使用的軟體,它由Red Hat的Owen Talyor創立。這個工具是用于GNOME前端的Boehm-Demers-Weiser垃圾回收器。

Valgrind是一個緻力于解決所有記憶體問題的程式,而記憶體洩漏隻不過是其中的問題之一而已。該工具的開發人員是Julian Seward(以Bzip2和Cacheprof而聞名)。該工具宣稱自己"是專門緻力于解決x86 Linux中開放源代碼的記憶體問題",事實上,它的确做到了自己的宣言。此外,它還可以描述CPU緩存的使用情況,不過這一功能并不常用。

使用的技術

GC使用的是名為Boehm-Demers-Weiser的可以持續跟蹤記憶體定位的技術。它的算法通過使用标準的記憶體定位函數來實作。程式使用這些函數進行編譯,然後執行,算法就會分析程式的操作。該算法非常著名并且比較容易了解,不會導緻問題或者對程式有任何幹擾。

就其核心技術來說,Memprof和上面提到的GC沒有什麼本質的不同。不過在實作這一功能時,它是從程式中捕獲所有的記憶體請示并且實時将其重定位到垃圾回收器。

在這個程式中使用的技術非常複雜,不過其文檔非常豐富和完整(http://developer.kde.org/~sewardj/docs/techdocs.html)。程式配置設定的每一位元組的記憶體都被一個有九位的狀況字跟蹤,其目的是用于識别其意圖。這種做法大大加重了系統的負擔。

性能

該工具有很好的性能,故可以有效提高程式效率。其代碼非常少并且可以直接在GCC中使用。

該工具的性能非常不錯,其GUI設計得也不錯。這個工具直接就可以執行,并且其工作起來無需對源代碼進行任何修改。在程式執行時,這個工具會以圖形化的方式顯示記憶體的使用情況,以幫助你了解程式運作過程中記憶體的申請情況

這個工具是我們這兒介紹的三款中性能最差的一個,原因是顯而易見的。該工具提供的資訊細節是三個工具中最豐富的,因而速度也是最慢的。除了一些常見的問題外,該工具還可以發現記憶體其它的一些問題,甚至一些POSIX線程方面的問題。緩沖的資訊對于大部分程式來說似乎沒有必要,不過它是一個檢視程式性能的很好方式。對于Valgrind來說,值得一提的就是其開發速度非常快,其開發社團也非常活躍。事實上,在Valgrind的首頁上作者甚至有一句話:"如果你在使用Valgrind過程中有任何問題,請不要介意,給我發郵件吧"。

缺點

該工具沒有界面,使用起來比較困難,是以要想掌握它還是要花一些工夫的。一些現有的程式很有可能無法使用這個編輯器進行配置。此外,為了讓所有的調用能被捕獲,所有的記憶體調用(比如malloc()和free())都必須要使用由GC提供的相應函數來代替。我們也可以使用宏來完成這一工作,但還是覺得不夠靈活。

該工具目前隻能運作于x86和PPC體系結構之上的Linux系統之中。如果你需要用于其它的平台,應該想想使用其它的工具。該工具不是GTK應用程式,是以需要一個完整的GNOME環境。這樣就使得其不能靈活用于所有的地方。此外,該工具的開發工作進展得也比較緩慢(現在是0.4.1版)。

不過,該工具是專門用于x86的。其界面是純指令行方式,但是其可用性非常好。該工具可以直接在二進制下運作,是以在使用時并不需要對其進行重新編譯。不過要熟練掌握它,還是需要使用者進行一番努力的。此外,雖然該工具曾經使用于Mozilla、OpenOffice等一些大的線程程式,但該工具對線程的支援并不完善。我想如果該工具要是有一個GUI界面,将會赢得更多人的青睐。

結論

如果你希望能夠有跨平台(體系結構、作業系統)的解決方案,那麼就是它了。

如果你喜歡GUI工具并且不介意隻能用于Linux以及GNOME之下,該工具應該可以說是非常不錯。

如果你使用x86,對自己的代碼非常了解并且不介意使用指令行方式,那麼這個程式将是你的至愛。

 

 結論:另外還有一些其他的工具,可在下面站點中找到很多檢測記憶體錯誤的工具:http://www.sslug.dk/emailarkiv/bog/2001_08/msg00030.html。此外,還有一些商業工具,比如Purify、Geodesic等。在此就不詳細介紹。

繼續閱讀