windows動態內存分配方式

這裏的"動態內存"包含以下兩個方面的內容:
  1.內存。這裏的"內存"指的是進程的虛擬內存空間。在Win32環境下,每一個進程擁有獨立的,大小爲4G(0x0000 0000 ~ 0xFFFF FFFF)的虛擬內存空間。
  2.動態。這裏的"動態"指的是進程虛擬內存空間中的動態內存區域。在一個進程的虛擬內存空間中,只有動態內存可以在運行是被應用程序自由的分配/使用/釋放。

 在Win32環境下,我們可以使用多種方式來分配/使用/釋放動態內存,這些方式包括:
1.Win32 API. 這些API包括VirtualXXX(),HeapXXX(),LocalAlloc(),GlobalAlloc()。
2.C Run-Time Library.這些函數包括malloc(),free()。
3.C++提供的關鍵詞new和關鍵詞delete。

 有這麼多的內存分配方式,我們在學習和實際項目中編碼過程中常常會爲使用那種方式而感到迷惑。他們的內部實現是否相同?他們之間有什麼本質的區別?他們各自的使用場合又是怎樣的? 本文試圖通過深入探究他們的本質,爲正確理解和使用他們提供一些依據。

首先,我們最好從全局的高度把握他們之間的關係。這裏有一張圖很好的描述了他們之間的層次關係:

Windows Memory Management

 這張圖給了我們一個全景,僅從這張圖我們就可以清楚地看到他們之間的層次關係:
  第一層:Win32 API作爲系統的接口,提供了一組操作虛擬內存的接口;
  第二層:Heap作爲虛擬內存的一部分,Win32 API又提供了一組操作Heap內存的接口,但是這些接口是建立在操作虛擬內存的接口的基礎上。
  第三層:Windows平臺下的C Run-Time Library 又利用Heap API來實現malloc和free。

 由此我們可以看出,這些動態內存操作方式之間存有單一的層次關係,位於這個層次的最低層的是Virtual Memory API,可以說這些方式都是建立在Virtual Memory API的基礎上。下面就從Virtual Memory API開始,逐層分析他們之間的區別:

一.Virtual Memory API
 作爲Windows系統提供的最"核心"的對虛擬內存操作的接口,也作爲其他幾種方式的基礎,Virtual Memory API應該在幾種方式中是最通用,也是功能最強大的一種方式。如果想對Virtual Memory API的使用深入的瞭解,可以參閱《Programming Application for Windows》(By Jeffrey Richter)

二.Heap Memory API
 我們在學習進程內存空間"映象"的時候,也提到了"Heap"這個概念,那個時候"Heap"指的是一段由應用程序在運行時動態分配的內存段(Segment),和其他的內存段(代碼段,數據段,棧段等)構成了進程的內存空間。而這裏的"Heap"指的是進程擁有的一種對象(Windows中有很多對象,例如WINDOW,ICON,BRUSH),當我們創建一個Heap對象的時候,我們就可以獲得這個對象的Handle,然後我們就可以使用這個handle來使用動態內存,最後銷燬這個對象。

三.LocalAlloc/GlobalAlloc
 這兩個函數是Win16 API中遺留下來的兩個函數,Win32 API爲了保持兼容性才包含了這兩個函數。這兩個函數內部是通過Heap Memory API來操作一個"特殊"的Heap對象:進程的默認堆對象。每一個進程在初始化的時候,都會創建一個默認的Heap對象,在進程結束的時候銷燬這個默認的Heap對象。LocalAlloc和GblobalAlloc的區別僅表現在Win16環境下,在Win16環境下,內存的地址是通過段:段內偏移量來獲取的,LocalAlloc()只能在同一段內分配內存,而GlobalAlloc可以跨越段邊界訪問內存。 在Win32環境下內存訪問不存在這樣的限制,所以他們表現出相同的功能。由於Heap Memory API完全可以實現他們兩個的功能,所以在Win32下不推薦使用這兩個函數。

四.malloc/free
 這兩個函數是使用頻率最高的兩個函數,由於他們是標準C庫中的一部分,所以具有極高的移植性。這裏的"移植性"指的是使用他們的代碼可以在不同的平臺下編譯通過,而不同的平臺下的C Run-Time Library的具體實現是平臺相關的,在Windows平臺的C Run-Time Library中的malloc()和free()是通過調用Heap Memory API來實現的。值得注意的是C Run-Time Library擁有獨立的Heap對象,我們知道,當一個應用程序初始化的時候,首先被初始化的是C Run-Time Library,然後纔是應用程序的入口函數,而Heap對象就是在C Run-Time Library被初始化的時候被創建的。對於動態鏈接的C Run-Time Library,運行庫只被初始化一次,而對於靜態連接的運行庫,每鏈接一次就初始化一次,所以對於每個靜態鏈接的運行庫都擁有彼此不同的Heap 對象。這樣在某種情況下就會出問題,導致程序崩潰,例如一個應用程序調用了多個DLL,除了一個DLL外,其他的DLL,包括應用程序本身動態連接運行庫,這樣他們就使用同一個Heap對象。而有一個DLL使用靜態連接的運行庫,它就擁有一個和其他DLL不同的Heap 對象,當在其他DLL中分配的內存在這個DLL中釋放時,問題就出現了。

五.關鍵詞new/關鍵詞delete
 這兩個詞是C++內置的關鍵詞(keyword)。當C++編譯器看到關鍵詞new的時候,例如:

  CMyObject* pObj = new CMyObject;

編譯器會執行以下兩個任務:
1。在堆上動態分配必要的內存。這個任務是由編譯器提供的一個全局函數void* ::operator new(size_t)來完成的。值得注意的是任何一個類都可以重載這個全局函數。如果類重載了這個函數的化,被類重載的那個會被調用。
2。調用CMyClass的構造函數來初始化剛剛生成的對象。當然如果分配的對象是C++中的基本數據類型則不會有構造函數調用。
如果要深入全局函數void* ::operator new(size_t)的話,我們會發現,它的具體實現是通過調用malloc來分配內存的。

 有了這樣的分析,我們對這些動態內存分配方式有了一個更高一級的認識,在我們的代碼中就可以正確使用他們。

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