淺析C++如何跨模塊釋放內(nèi)存
在開發(fā)主程序和動態(tài)庫時，首要原則就是：避免跨模塊申請和釋放內(nèi)存。這一點(diǎn)，我們在很多開源庫或者平常項(xiàng)目中也都碰到過，對于動態(tài)庫中的堆內(nèi)存申請與釋放，動態(tài)庫總是會提供兩個接口分別實(shí)現(xiàn)new和delete操作，而不會讓調(diào)用方自己去操作。但有時候如果違背了這個原則呢，在linux平臺上不會存在這樣的憂慮，因?yàn)樵趌inux下，每個進(jìn)程只有一個heap，在任何一個動態(tài)庫模塊so中通過new或者malloc來分配內(nèi)存的時候都是從這個唯一的heap中分配的，那么自然你在其它隨便什么地方釋放都是沒問題的。這個模型是簡單的。而windows下就變得復(fù)雜了，下面主要介紹一下windows下的主程序和dll之間跨模塊內(nèi)存釋放的問題。
windows允許一個進(jìn)程中有多個heap，那么當(dāng)需要在堆上分配內(nèi)存時就要指明在哪個heap上分配，win32提供了HeapAlloc函數(shù)可以在指定的堆上分配內(nèi)存。這樣的設(shè)計(jì)雖然比較靈活，但是問題在于，每次分配內(nèi)存的時候就必須要顯式的指定一個heap，對于crt中的new/malloc，顯然需要特殊處理。那么如何處理就取決于crt的實(shí)現(xiàn)了。vc的crt是創(chuàng)建了一個單獨(dú)的heap，叫做__crtheap，它對于用戶是看不見的，但是在new/malloc的實(shí)現(xiàn)中，都是用HeapAlloc在這個__crtheap上分配的，也就是說malloc(size)基本上可以認(rèn)為等同于HeapAlloc(__crtheap, size)（當(dāng)然實(shí)際上crt內(nèi)部還要維護(hù)一些內(nèi)存管理的數(shù)據(jù)結(jié)構(gòu)，所以并不是每次malloc都必然會觸發(fā)HeapAlloc），這樣new/malloc就和windows的heap機(jī)制吻合了。
如果一個進(jìn)程需要動態(tài)庫支持，系統(tǒng)在加載dll的時候，在dll的啟動代碼_DllMainCRTStartup中，會創(chuàng)建這個__crtheap，所以理論上有多少個dll，就有多少個__crtheap。最后主進(jìn)程的mainCRTStartup 中還會創(chuàng)建一個為主進(jìn)程服務(wù)的__crtheap。（由于順序總是先加載dll，然后才啟動main進(jìn)程，所以你可以看到各個dll的__crtheap地址比較小，而主進(jìn)程的__crtheap比較大，當(dāng)然排在最前面的堆是每個進(jìn)程的主heap。）
由此可見，對于crt來說，由于每個dll都有自己的heap，所以每個dll通過new/malloc分配的內(nèi)存都是在自己dll內(nèi)部的那個heap上用HeapAlloc來分配的，而如果你想在其它模塊中釋放，那么在釋放的時候HeapFree就會失敗了，因?yàn)楦鱾€模塊的__crtheap是不一樣的。
那么如果有非要用到跨模塊釋放的場景呢，可以使用以下幾種方式來解決：
一、MT改MD
一個進(jìn)程的地址空間是由一個可執(zhí)行模塊和多個DLL模塊構(gòu)成的，這些模塊中，有些可能會鏈接到C/C++運(yùn)行庫的靜態(tài)版本，有些可能會鏈接到C/C++運(yùn)行庫的DLL版本。當(dāng)使用運(yùn)行庫的DLL版本時，由于dll加載到進(jìn)程中只會在地址空間中存有一份，因此共用的是同一個堆。所以將可執(zhí)行模塊和DLL模塊統(tǒng)一修改為MD編譯，則可以直接實(shí)現(xiàn)跨模塊之間的內(nèi)存申請和釋放，而不會存在任何問題。
更多MT和MD，以及DLL和進(jìn)程地址空間的知識可以參考文末補(bǔ)充內(nèi)容
二、DLL提供釋放接口
DLL提供統(tǒng)一的對外接口，供外部模塊（可執(zhí)行模塊或其它DLL模塊）調(diào)用，由該DLL內(nèi)部來進(jìn)行內(nèi)存的釋放。簡單實(shí)現(xiàn)如下：
void __stdcall MyFree(void *ptr)
{
if (ptr)
{
free(ptr);
}
}
void __stdcall MyDelete(void *ptr)
{
if (ptr)
{
delete ptr;
}
}
void __stdcall MyDeleteArray(void *ptr)
{
if (ptr)
{
delete[] ptr;
}
}三、使用進(jìn)程堆申請內(nèi)存
在一個進(jìn)程中，可執(zhí)行模塊和DLL模塊都屬于同一個進(jìn)程地址空間，而每個進(jìn)程又都有一個為主進(jìn)程服務(wù)的堆（一般也稱為進(jìn)程的默認(rèn)堆），當(dāng)我們需要跨模塊進(jìn)行內(nèi)存申請和釋放時，可以在進(jìn)程主堆上進(jìn)行申請，同樣地，釋放時，也直接在進(jìn)程主堆上進(jìn)行釋放，這樣就可以不用考慮MT導(dǎo)致的跨進(jìn)程釋放的問題。API的使用此處不講解，直接附上簡易代碼：
在DLL中：
void* __stdcall Test(int *len)
{
void* pData = HeapAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY, 100);
if (pData == NULL)
return NULL;
//使用的是HEAP_ZERO_MEMORY，會自動把內(nèi)存塊的內(nèi)容都清零
//下面這行代碼可以不要的
memset(pData, 0, 100);
char pBuf[] = "十點(diǎn)十分十分十分";
memcpy(pData, pBuf, sizeof(pBuf));
*len = 100;
return pData;
}在可執(zhí)行模塊中：
int main()
{
HMODULE hLib = LoadLibraryA("Dll1.dll");
if (nullptr == hLib)
{
std::cout << "LoadLibraryA fail, error:" << GetLastError() << std::endl;
return 0;
}
Fun fun = (Fun)GetProcAddress(hLib, "Test");
if (nullptr == fun)
{
std::cout << "GetProcAddress fail, error:" << GetLastError() << std::endl;
return 0;
}
int nLen = 0;
char *pData = (char*)fun(&nLen);
std::string strTemp(pData, nLen);
HeapFree(GetProcessHeap(), 0, pData);
std::cout << strTemp << std::endl;
return 0;
}使用默認(rèn)的進(jìn)程堆來申請內(nèi)存還需要注意，很多Windows系統(tǒng)函數(shù)都用到了進(jìn)程的默認(rèn)堆，而且應(yīng)用程序會可能有多個線程同時要調(diào)用各種windows函數(shù)，因此系統(tǒng)保證不管在什么時候，一次只讓一個線程從默認(rèn)堆中分配或者釋放內(nèi)存快。當(dāng)兩個線程同時想要從默認(rèn)堆中分配一塊內(nèi)存，那么只有一個線程能夠分配，另一個線程必須等待第一個線程的分配完成。這種依次訪問對性能會有輕微影響，在一般的應(yīng)用程序中可以忽略不計(jì)，對性能要求較高的程序需要注意。
四、知識補(bǔ)充
DLL和進(jìn)程的地址空間
DLL是Windows開發(fā)人員經(jīng)常使用到的一種技術(shù)，比如我們經(jīng)常會把相同功能的代碼封裝到一個模塊中，然后供其他需要使用該模塊的程序共同調(diào)用，可以降低代碼的復(fù)用性，使用起來非常方便；而且，當(dāng)我們需要對外部提供自己公司的接口時，也會考慮到使用dll，它可以將我們內(nèi)部實(shí)現(xiàn)的代碼進(jìn)行封裝保護(hù)，而不會暴露給使用者。
下面主要討論DLL和調(diào)用DLL的進(jìn)程的地址空間的關(guān)系，避免使用DLL的過程中，造成難以預(yù)測的內(nèi)存泄漏問題，以及程序崩潰問題。
MT和MD的區(qū)別
大家在使用windows編程時，都會發(fā)現(xiàn)有一個運(yùn)行庫的編譯選項(xiàng)，MT和MD（MTD和MDD只是對應(yīng)的debug調(diào)試模式）。我們以c/c++運(yùn)行庫為例，如果我們的應(yīng)用程序選擇連接到C/C++運(yùn)行庫的靜態(tài)版本，那么諸如_tcscpy，malloc之類的函數(shù)會在內(nèi)存中出現(xiàn)多次；但是如果連接到C/C++運(yùn)行庫的DLL版本，那么這些函數(shù)就只是在內(nèi)存中出現(xiàn)一次，這意味著內(nèi)存的使用率非常高，而這個也是windows操作系統(tǒng)從誕生之初就推出DLL的主要原因。
1、使用MD的場景：
（1）程序就不需要靜態(tài)鏈接運(yùn)行時庫，可以減小軟件的大小；
（2）所有的模塊都采用/MD，使用的是同一個堆，不存在A堆申請，B堆釋放的問題；
（3）用戶機(jī)器可能缺少我們編譯時使用的動態(tài)運(yùn)行時庫。（補(bǔ)充：如果我們軟件有多個DLL，采用/MT體積增加太多，則可以考慮/MD + 自帶系統(tǒng)運(yùn)行時庫）
2、使用MT的場景：
（1）有些系統(tǒng)可能沒有程序所需要版本的運(yùn)行時庫，程序必須把運(yùn)行時庫靜態(tài)鏈接上。
（2）減少模塊對外界的依賴。
顯示鏈接與隱式鏈接
在應(yīng)用程序能夠調(diào)用一個DLL中的函數(shù)之前，必須將該DLL的文件映像映射到調(diào)用進(jìn)程的地址空間中。我們可以通過兩種方法來達(dá)到這一目的：隱式載入時鏈接或顯示運(yùn)行時鏈接。
1、顯示鏈接
通過WIN32 API來實(shí)現(xiàn)的一種鏈接方式。
（1）LoadLibraryA將對應(yīng)DLL映射到當(dāng)前調(diào)用進(jìn)程的地址空間中
（2）GetProcAddress獲取DLL中的導(dǎo)出函數(shù)地址，通過函數(shù)地址調(diào)用函數(shù)。
（3）FreeLibrary從調(diào)用進(jìn)程的地址空間中撤銷對DLL的映射。
2、隱式鏈接
當(dāng)編寫DLL工程代碼時，如果鏈接器檢測到DLL的源文件輸出了至少一個變量或函數(shù)時時，那么鏈接器或會生成一個.lib文件，這個.lib文件非常小，這是因?yàn)樗⒉话魏魏瘮?shù)或者變量，它只是列出了所有被導(dǎo)出的函數(shù)和變量的符號名。
把DLL隱式鏈接到調(diào)用進(jìn)程時，，我們需要用到三個文件，DLL相關(guān)的.h文件，.lib文件和.dll文件，前兩個文件需要通過配置工程項(xiàng)目屬性，當(dāng)編譯的時候鏈接器把導(dǎo)出函數(shù)和變量相關(guān)信息加入到調(diào)用進(jìn)程的可執(zhí)行模塊的導(dǎo)入段中，當(dāng)可執(zhí)行模塊運(yùn)行時，根據(jù)導(dǎo)入段的信息去加載對應(yīng)的DLL。
DLL和進(jìn)程的地址空間
一旦系統(tǒng)將一個DLL的文件映像映射到調(diào)用進(jìn)程的地址空間后，進(jìn)程中的所有線程都可以調(diào)用該DLL中的函數(shù)了。此時，該DLL中的代碼和數(shù)據(jù)全部存放在進(jìn)程的地址空間中，且DLL中的函數(shù)創(chuàng)建的任何對象都為調(diào)用線程或調(diào)用進(jìn)程所擁有-DLL絕對不會擁有任何對象。
舉個例子，如果DLL中的一個函數(shù)調(diào)用了VirtualAlloc，系統(tǒng)就會從調(diào)用進(jìn)程的地址空間中預(yù)定地址空間區(qū)域（即申請內(nèi)存）。如果稍后從進(jìn)程的地址空間中撤銷對DLL的映射，那么這塊地址區(qū)域仍然被保持為預(yù)定狀態(tài)（DLL被從調(diào)用進(jìn)程中取消映射， 并不會主動釋放動態(tài)分配的內(nèi)存）。被預(yù)定的空間區(qū)域的擁有者是進(jìn)程，只有當(dāng)線程調(diào)用了VirtualFree函數(shù)或者當(dāng)進(jìn)程終止時，該區(qū)域才會被釋放。
也就是說，當(dāng)一個DLL被加載到調(diào)用進(jìn)程的地址空間內(nèi)，DLL內(nèi)所有申請的內(nèi)存空間都是屬于調(diào)用進(jìn)程的，靜態(tài)變量和全局變量都會是一份全新的實(shí)例。對于DLL中申請的內(nèi)存要記得釋放掉，并且嚴(yán)格遵循“誰申請誰釋放”的原則，盡量不要dll中申請的內(nèi)存，然后在調(diào)用線程中直接通過操作符或者API函數(shù)進(jìn)行刪除（當(dāng)dll和調(diào)用進(jìn)程使用的運(yùn)行庫編譯選項(xiàng)不是同時為MD時，會導(dǎo)致程序崩潰）
寫了一個簡單例子，來驗(yàn)證每次DLL映射到進(jìn)程地址空間中時，DLL中的全局變量的實(shí)例都是重新創(chuàng)建的。
DLL代碼很簡單，就是一個全局變量
調(diào)用進(jìn)程代碼，就是不停地加載DLL，卸載DLL，加載DLL…
初始運(yùn)行時，程序的內(nèi)存大小如圖所示：
10秒時間不到，內(nèi)存增長到30多兆
因此，在編寫DLL工程時，對于new出來的全局變量，一定要在DLL從調(diào)用進(jìn)程中撤銷映射時，進(jìn)行釋放，避免引起內(nèi)存泄漏。
到此這篇關(guān)于淺析C++如何跨模塊釋放內(nèi)存的文章就介紹到這了,更多相關(guān)C++跨模塊釋放內(nèi)存內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
C語言函數(shù)聲明以及函數(shù)原型超詳細(xì)講解示例
這篇文章主要介紹了C語言函數(shù)聲明以及函數(shù)原型超詳細(xì)講解，C語言代碼由上到下依次執(zhí)行，原則上函數(shù)定義要出現(xiàn)在函數(shù)調(diào)用之前，否則就會報(bào)錯。但在實(shí)際開發(fā)中，經(jīng)常會在函數(shù)定義之前使用它們，這個時候就需要提前聲明2023-02-02
chrono是C++ 11中的時間庫,它提供了跨平臺的高精度時鐘解決方案,精確到納秒級,本文主要為大家詳細(xì)介紹了如何使用chrono實(shí)現(xiàn)高精度計(jì)時器,感興趣的可以了解下2024-02-02
這篇文章主要為大家詳細(xì)介紹了C語言實(shí)現(xiàn)電子秒表，毫秒級秒表，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2022-06-06
c++11多種格式時間轉(zhuǎn)化為字符串的方法實(shí)現(xiàn)
本文主要介紹了c++11多種格式時間轉(zhuǎn)化為字符串的方法實(shí)現(xiàn)，文中通過示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2021-11-11
C語言結(jié)構(gòu)體字節(jié)對齊的實(shí)現(xiàn)深入分析
這篇文章主要介紹了C語言結(jié)構(gòu)體字節(jié)對齊的實(shí)現(xiàn),文中通過示例代碼介紹的非常詳細(xì)，對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2022-10-10
這篇文章主要為大家介紹了C++的new和delete使用示例詳解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪2022-12-12
C/C++實(shí)現(xiàn)發(fā)送與接收HTTP/S請求的示例代碼
HTTP（Hypertext Transfer Protocol）是一種用于傳輸超文本的協(xié)議,它是一種無狀態(tài)的、應(yīng)用層的協(xié)議,用于在計(jì)算機(jī)之間傳輸超文本文檔,通常在 Web 瀏覽器和 Web 服務(wù)器之間進(jìn)行數(shù)據(jù)通信,本文給大家介紹了C/C++發(fā)送與接收HTTP/S請求,需要的朋友可以參考下2023-11-11
本文給大家分享的是一則C語言實(shí)現(xiàn)開機(jī)自啟動的代碼，主要是通過C來獲取程序路徑修改注冊表項(xiàng)來實(shí)現(xiàn)，有需要的小伙伴可以參考下2016-01-01
使用C++模擬實(shí)現(xiàn)2024春晚劉謙魔術(shù)
劉謙在2024年春晚上的撕牌魔術(shù)的數(shù)學(xué)原理非常簡單,所以這篇文章主要為大家詳細(xì)介紹了如何使用C++模擬實(shí)現(xiàn)這一魔術(shù)效果,感興趣的可以了解下2024-02-02
本篇文章是對c++中inline的用法進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下2013-05-05