1. 程式人生 > >C++記憶體管理(超長)

C++記憶體管理(超長)

[導語]

記憶體管理是C++最令人切齒痛恨的問題,也是C++最有爭議的問題,C++高手從中獲得了更好的效能,更大的自由,C++菜鳥的收穫則是一遍一遍的檢查程式碼和對C++的痛恨,但記憶體管理在C++中無處不在,記憶體洩漏幾乎在每個C++程式中都會發生,因此要想成為C++高手,記憶體管理一關是必須要過的,除非放棄C++,轉到Java或者.NET,他們的記憶體管理基本是自動的,當然你也放棄了自由和對記憶體的支配權,還放棄了C++超絕的效能。本期專題將從記憶體管理、記憶體洩漏、記憶體回收這三個方面來探討C++記憶體管理問題。

1 記憶體管理

偉大的Bill Gates 曾經失言:

  640K ought to be enough for everybody — Bill Gates 1981

程式設計師們經常編寫記憶體管理程式,往往提心吊膽。如果不想觸雷,唯一的解決辦法就是發現所有潛伏的地雷並且排除它們,躲是躲不了的。本文的內容比一般教科書的要深入得多,讀者需細心閱讀,做到真正地通曉記憶體管理。

1.1 C++記憶體管理詳解

1.1.1 記憶體分配方式

1.1.1.1 分配方式簡介

  在C++中,記憶體分成5個區,他們分別是堆、棧、自由儲存區、全域性/靜態儲存區和常量儲存區。

  棧,在執行函式時,函式內區域性變數的儲存單元都可以在棧上建立,函式執行結束時這些儲存單元自動被釋放。棧記憶體分配運算內置於處理器的指令集中,效率很高,但是分配的記憶體容量有限。

  堆,就是那些由new分配的記憶體塊,他們的釋放編譯器不去管,由我們的應用程式去控制,一般一個new就要對應一個delete。如果程式設計師沒有釋放掉,那麼在程式結束後,作業系統會自動回收。

  自由儲存區,就是那些由malloc等分配的記憶體塊,他和堆是十分相似的,不過它是用free來結束自己的生命的。

  全域性/靜態儲存區,全域性變數和靜態變數被分配到同一塊記憶體中,在以前的C語言中,全域性變數又分為初始化的和未初始化的,在C++裡面沒有這個區分了,他們共同佔用同一塊記憶體區。

  常量儲存區,這是一塊比較特殊的儲存區,他們裡面存放的是常量,不允許修改。

1.1.1.2 明確區分堆與棧

  在bbs上,堆與棧的區分問題,似乎是一個永恆的話題,由此可見,初學者對此往往是混淆不清的,所以我決定拿他第一個開刀。

  首先,我們舉一個例子:

void f() { int* p=new int[5]; }

  這條短短的一句話就包含了堆與棧,看到new,我們首先就應該想到,我們分配了一塊堆記憶體,那麼指標p呢?他分配的是一塊棧記憶體,所以這句話的意思就是:在棧記憶體中存放了一個指向一塊堆記憶體的指標p。在程式會先確定在堆中分配記憶體的大小,然後呼叫operator new分配記憶體,然後返回這塊記憶體的首地址,放入棧中,他在VC6下的彙編程式碼如下:

00401028 push 14h

0040102A call operator new (00401060)

0040102F add esp,4

00401032 mov dword ptr [ebp-8],eax

00401035 mov eax,dword ptr [ebp-8]

00401038 mov dword ptr [ebp-4],eax

  這裡,我們為了簡單並沒有釋放記憶體,那麼該怎麼去釋放呢?是delete p麼?澳,錯了,應該是delete []p,這是為了告訴編譯器:我刪除的是一個數組,VC6就會根據相應的Cookie資訊去進行釋放記憶體的工作。

1.1.1.3 堆和棧究竟有什麼區別?

  好了,我們回到我們的主題:堆和棧究竟有什麼區別?

  主要的區別由以下幾點:

  1、管理方式不同;

  2、空間大小不同;

  3、能否產生碎片不同;

  4、生長方向不同;

  5、分配方式不同;

  6、分配效率不同;

  管理方式:對於棧來講,是由編譯器自動管理,無需我們手工控制;對於堆來說,釋放工作由程式設計師控制,容易產生memory leak。

  空間大小:一般來講在32位系統下,堆記憶體可以達到4G的空間,從這個角度來看堆記憶體幾乎是沒有什麼限制的。但是對於棧來講,一般都是有一定的空間大小的,例如,在VC6下面,預設的棧空間大小是1M(好像是,記不清楚了)。當然,我們可以修改:

  開啟工程,依次操作選單如下:Project->Setting->Link,在Category 中選中Output,然後在Reserve中設定堆疊的最大值和commit。

  注意:reserve最小值為4Byte;commit是保留在虛擬記憶體的頁檔案裡面,它設定的較大會使棧開闢較大的值,可能增加記憶體的開銷和啟動時間。

  碎片問題:對於堆來講,頻繁的new/delete勢必會造成記憶體空間的不連續,從而造成大量的碎片,使程式效率降低。對於棧來講,則不會存在這個問題,因為棧是先進後出的佇列,他們是如此的一一對應,以至於永遠都不可能有一個記憶體塊從棧中間彈出,在他彈出之前,在他上面的後進的棧內容已經被彈出,詳細的可以參考資料結構,這裡我們就不再一一討論了。

  生長方向:對於堆來講,生長方向是向上的,也就是向著記憶體地址增加的方向;對於棧來講,它的生長方向是向下的,是向著記憶體地址減小的方向增長。

  分配方式:堆都是動態分配的,沒有靜態分配的堆。棧有2種分配方式:靜態分配和動態分配。靜態分配是編譯器完成的,比如區域性變數的分配。動態分配由alloca函式進行分配,但是棧的動態分配和堆是不同的,他的動態分配是由編譯器進行釋放,無需我們手工實現。

  分配效率:棧是機器系統提供的資料結構,計算機會在底層對棧提供支援:分配專門的暫存器存放棧的地址,壓棧出棧都有專門的指令執行,這就決定了棧的效率比較高。堆則是C/C++函式庫提供的,它的機制是很複雜的,例如為了分配一塊記憶體,庫函式會按照一定的演算法(具體的演算法可以參考資料結構/作業系統)在堆記憶體中搜索可用的足夠大小的空間,如果沒有足夠大小的空間(可能是由於記憶體碎片太多),就有可能呼叫系統功能去增加程式資料段的記憶體空間,這樣就有機會分到足夠大小的記憶體,然後進行返回。顯然,堆的效率比棧要低得多。

  從這裡我們可以看到,堆和棧相比,由於大量new/delete的使用,容易造成大量的記憶體碎片;由於沒有專門的系統支援,效率很低;由於可能引發使用者態和核心態的切換,記憶體的申請,代價變得更加昂貴。所以棧在程式中是應用最廣泛的,就算是函式的呼叫也利用棧去完成,函式呼叫過程中的引數,返回地址,EBP和區域性變數都採用棧的方式存放。所以,我們推薦大家儘量用棧,而不是用堆。

  雖然棧有如此眾多的好處,但是由於和堆相比不是那麼靈活,有時候分配大量的記憶體空間,還是用堆好一些。

無論是堆還是棧,都要防止越界現象的發生(除非你是故意使其越界),因為越界的結果要麼是程式崩潰,要麼是摧毀程式的堆、棧結構,產生以想不到的結果,就算是在你的程式執行過程中,沒有發生上面的問題,你還是要小心,說不定什麼時候就崩掉,那時候debug可是相當困難的:)

1.1.2 控制C++的記憶體分配

  在嵌入式系統中使用C++的一個常見問題是記憶體分配,即對new 和 delete 操作符的失控。

  具有諷刺意味的是,問題的根源卻是C++對記憶體的管理非常的容易而且安全。具體地說,當一個物件被消除時,它的解構函式能夠安全的釋放所分配的記憶體。

  這當然是個好事情,但是這種使用的簡單性使得程式設計師們過度使用new 和 delete,而不注意在嵌入式C++環境中的因果關係。並且,在嵌入式系統中,由於記憶體的限制,頻繁的動態分配不定大小的記憶體會引起很大的問題以及堆破碎的風險。

  作為忠告,保守的使用記憶體分配是嵌入式環境中的第一原則。

  但當你必須要使用new 和delete時,你不得不控制C++中的記憶體分配。你需要用一個全域性的new 和delete來代替系統的記憶體分配符,並且一個類一個類的過載new 和delete。

  一個防止堆破碎的通用方法是從不同固定大小的記憶體持中分配不同型別的物件。對每個類過載new 和delete就提供了這樣的控制。

1.1.2.1 過載全域性的new和delete操作符

  可以很容易地過載new 和 delete 操作符,如下所示:

void * operator new(size_t size)

{

void *p = malloc(size);

return (p);

}

void operator delete(void *p);

{

free(p);

  這段程式碼可以代替預設的操作符來滿足記憶體分配的請求。出於解釋C++的目的,我們也可以直接呼叫malloc()和free()。

  也可以對單個類的new 和 delete 操作符過載。這是你能靈活的控制物件的記憶體分配。

class TestClass {

public:

void * operator new(size_t size);

void operator delete(void *p);

// .. other members here ...

};

void *TestClass::operator new(size_t size)

{

void *p = malloc(size); // Replace this with alternative allocator

return (p);

}

void TestClass::operator delete(void *p)

{

free(p); // Replace this with alternative de-allocator

}

  所有TestClass 物件的記憶體分配都採用這段程式碼。更進一步,任何從TestClass 繼承的類也都採用這一方式,除非它自己也過載了new 和 delete 操作符。通過過載new 和 delete 操作符的方法,你可以自由地採用不同的分配策略,從不同的記憶體池中分配不同的類物件。

1.1.2.2 為單個的類過載 new[ ]和delete[ ]

  必須小心物件陣列的分配。你可能希望呼叫到被你過載過的new 和 delete 操作符,但並不如此。記憶體的請求被定向到全域性的new[ ]和delete[ ] 操作符,而這些記憶體來自於系統堆。

  C++將物件陣列的記憶體分配作為一個單獨的操作,而不同於單個物件的記憶體分配。為了改變這種方式,你同樣需要過載new[ ] 和 delete[ ]操作符。

class TestClass {

public:

void * operator new[ ](size_t size);

void operator delete[ ](void *p);

// .. other members here ..

};

void *TestClass::operator new[ ](size_t size)

{

void *p = malloc(size);

return (p);

}

void TestClass::operator delete[ ](void *p)

{

free(p);

}

int main(void)

{

TestClass *p = new TestClass[10];

// ... etc ...

delete[ ] p;

但是注意:對於多數C++的實現,new[]操作符中的個數引數是陣列的大小加上額外的儲存物件數目的一些位元組。在你的記憶體分配機制重要考慮的這一點。你應該儘量避免分配物件陣列,從而使你的記憶體分配策略簡單。

1.1.3 常見的記憶體錯誤及其對策

發生記憶體錯誤是件非常麻煩的事情。編譯器不能自動發現這些錯誤,通常是在程式執行時才能捕捉到。而這些錯誤大多沒有明顯的症狀,時隱時現,增加了改錯的難度。有時使用者怒氣衝衝地把你找來,程式卻沒有發生任何問題,你一走,錯誤又發作了。 常見的記憶體錯誤及其對策如下:

  * 記憶體分配未成功,卻使用了它。

  程式設計新手常犯這種錯誤,因為他們沒有意識到記憶體分配會不成功。常用解決辦法是,在使用記憶體之前檢查指標是否為NULL。如果指標p是函式的引數,那麼在函式的入口處用assert(p!=NULL)進行

  檢查。如果是用malloc或new來申請記憶體,應該用if(p==NULL) 或if(p!=NULL)進行防錯處理。

  * 記憶體分配雖然成功,但是尚未初始化就引用它。

  犯這種錯誤主要有兩個起因:一是沒有初始化的觀念;二是誤以為記憶體的預設初值全為零,導致引用初值錯誤(例如陣列)。 記憶體的預設初值究竟是什麼並沒有統一的標準,儘管有些時候為零值,我們寧可信其無不可信其有。所以無論用何種方式建立陣列,都別忘了賦初值,即便是賦零值也不可省略,不要嫌麻煩。

  * 記憶體分配成功並且已經初始化,但操作越過了記憶體的邊界。

  例如在使用陣列時經常發生下標“多1”或者“少1”的操作。特別是在for迴圈語句中,迴圈次數很容易搞錯,導致陣列操作越界。

  * 忘記了釋放記憶體,造成記憶體洩露。

  含有這種錯誤的函式每被呼叫一次就丟失一塊記憶體。剛開始時系統的記憶體充足,你看不到錯誤。終有一次程式突然死掉,系統出現提示:記憶體耗盡。

  動態記憶體的申請與釋放必須配對,程式中malloc與free的使用次數一定要相同,否則肯定有錯誤(new/delete同理)。

  * 釋放了記憶體卻繼續使用它。

  有三種情況:

  (1)程式中的物件呼叫關係過於複雜,實在難以搞清楚某個物件究竟是否已經釋放了記憶體,此時應該重新設計資料結構,從根本上解決物件管理的混亂局面。

  (2)函式的return語句寫錯了,注意不要返回指向“棧記憶體”的“指標”或者“引用”,因為該記憶體在函式體結束時被自動銷燬。

  (3)使用free或delete釋放了記憶體後,沒有將指標設定為NULL。導致產生“野指標”。

  【規則1】用malloc或new申請記憶體之後,應該立即檢查指標值是否為NULL。防止使用指標值為NULL的記憶體。

  【規則2】不要忘記為陣列和動態記憶體賦初值。防止將未被初始化的記憶體作為右值使用。

  【規則3】避免陣列或指標的下標越界,特別要當心發生“多1”或者“少1”操作。

  【規則4】動態記憶體的申請與釋放必須配對,防止記憶體洩漏。

  【規則5】用free或delete釋放了記憶體之後,立即將指標設定為NULL,防止產生“野指標”。

1.1.4 指標與陣列的對比

  C++/C程式中,指標和陣列在不少地方可以相互替換著用,讓人產生一種錯覺,以為兩者是等價的。

  陣列要麼在靜態儲存區被建立(如全域性陣列),要麼在棧上被建立。陣列名對應著(而不是指向)一塊記憶體,其地址與容量在生命期內保持不變,只有陣列的內容可以改變。

  指標可以隨時指向任意型別的記憶體塊,它的特徵是“可變”,所以我們常用指標來操作動態記憶體。指標遠比陣列靈活,但也更危險。

  下面以字串為例比較指標與陣列的特性。

1.1.4.1 修改內容

下面示例中,字元陣列a的容量是6個字元,其內容為hello。a的內容可以改變,如a[0]= ‘X’。指標p指向常量字串“world”(位於靜態儲存區,內容為world),常量字串的內容是不可以被修改的。從語法上看,編譯器並不覺得語句p[0]= ‘X’有什麼不妥,但是該語句企圖修改常量字串的內容而導致執行錯誤。

char a[] = “hello”;

a[0] = ‘X’;

cout << a << endl;

char *p = “world”; // 注意p指向常量字串

p[0] = ‘X’; // 編譯器不能發現該錯誤

cout << p << endl;

1.1.4.2 內容複製與比較

  不能對陣列名進行直接複製與比較。若想把陣列a的內容複製給陣列b,不能用語句 b = a ,否則將產生編譯錯誤。應該用標準庫函式strcpy進行復制。同理,比較b和a的內容是否相同,不能用if(b==a) 來判斷,應該用標準庫函式strcmp進行比較。

語句p = a 並不能把a的內容複製指標p,而是把a的地址賦給了p。要想複製a的內容,可以先用庫函式malloc為p申請一塊容量為strlen(a)+1個字元的記憶體,再用strcpy進行字串複製。同理,語句if(p==a) 比較的不是內容而是地址,應該用庫函式strcmp來比較。

// 陣列…

char a[] = "hello";

char b[10];

strcpy(b, a); // 不能用 b = a;

if(strcmp(b, a) == 0) // 不能用 if (b == a)

// 指標…

int len = strlen(a);

char *p = (char *)malloc(sizeof(char)*(len+1));

strcpy(p,a); // 不要用 p = a;

if(strcmp(p, a) == 0) // 不要用 if (p == a)

1.1.4.3 計算記憶體容量

用運算子sizeof可以計算出陣列的容量(位元組數)。如下示例中,sizeof(a)的值是12(注意別忘了’’)。指標p指向a,但是sizeof(p)的值卻是4。這是因為sizeof(p)得到的是一個指標變數的位元組數,相當於sizeof(char*),而不是p所指的記憶體容量。C++/C語言沒有辦法知道指標所指的記憶體容量,除非在申請記憶體時記住它。

char a[] = "hello world";

char *p = a;

cout<< sizeof(a) << endl; // 12位元組

cout<< sizeof(p) << endl; // 4位元組

注意當陣列作為函式的引數進行傳遞時,該陣列自動退化為同類型的指標。如下示例中,不論陣列a的容量是多少,sizeof(a)始終等於sizeof(char *)。

void Func(char a[100])

{

 cout<< sizeof(a) << endl; // 4位元組而不是100位元組

}

1.1.5 指標引數是如何傳遞記憶體的?

如果函式的引數是一個指標,不要指望用該指標去申請動態記憶體。如下示例中,Test函式的語句GetMemory(str, 200)並沒有使str獲得期望的記憶體,str依舊是NULL,為什麼?

void GetMemory(char *p, int num)

{

 p = (char *)malloc(sizeof(char) * num);

}

void Test(void)

{

 char *str = NULL;

 GetMemory(str, 100); // str 仍然為 NULL

 strcpy(str, "hello"); // 執行錯誤

}

毛病出在函式GetMemory中。編譯器總是要為函式的每個引數製作臨時副本,指標引數p的副本是 _p,編譯器使 _p = p。如果函式體內的程式修改了_p的內容,就導致引數p的內容作相應的修改。這就是指標可以用作輸出引數的原因。在本例中,_p申請了新的記憶體,只是把_p所指的記憶體地址改變了,但是p絲毫未變。所以函式GetMemory並不能輸出任何東西。事實上,每執行一次GetMemory就會洩露一塊記憶體,因為沒有用free釋放記憶體。

如果非得要用指標引數去申請記憶體,那麼應該改用“指向指標的指標”,見示例:

void GetMemory2(char **p, int num)

{

 *p = (char *)malloc(sizeof(char) * num);

}

void Test2(void)

{

 char *str = NULL;

 GetMemory2(&str, 100); // 注意引數是 &str,而不是str

 strcpy(str, "hello");

 cout<< str << endl;

 free(str);

}

由於“指向指標的指標”這個概念不容易理解,我們可以用函式返回值來傳遞動態記憶體。這種方法更加簡單,見示例:

char *GetMemory3(int num)

{

 char *p = (char *)malloc(sizeof(char) * num);

 return p;

}

void Test3(void)

{

 char *str = NULL;

 str = GetMemory3(100);

 strcpy(str, "hello");

 cout<< str << endl;

 free(str);

}

用函式返回值來傳遞動態記憶體這種方法雖然好用,但是常常有人把return語句用錯了。這裡強調不要用return語句返回指向“棧記憶體”的指標,因為該記憶體在函式結束時自動消亡,見示例:

char *GetString(void)

{

 char p[] = "hello world";

 return p; // 編譯器將提出警告

}

void Test4(void)

{

 char *str = NULL;

 str = GetString(); // str 的內容是垃圾

 cout<< str << endl;

}

用偵錯程式逐步跟蹤Test4,發現執行str = GetString語句後str不再是NULL指標,但是str的內容不是“hello world”而是垃圾。

如果把上述示例改寫成如下示例,會怎麼樣?

char *GetString2(void)

{

 char *p = "hello world";

 return p;

}

void Test5(void)

{

 char *str = NULL;

 str = GetString2();

 cout<< str << endl;

}

函式Test5執行雖然不會出錯,但是函式GetString2的設計概念卻是錯誤的。因為GetString2內的“hello world”是常量字串,位於靜態儲存區,它在程式生命期內恆定不變。無論什麼時候呼叫GetString2,它返回的始終是同一個“只讀”的記憶體塊。

1.1.6 杜絕“野指標”

  “野指標”不是NULL指標,是指向“垃圾”記憶體的指標。人們一般不會錯用NULL指標,因為用if語句很容易判斷。但是“野指標”是很危險的,if語句對它不起作用。 “野指標”的成因主要有兩種:

(1)指標變數沒有被初始化。任何指標變數剛被建立時不會自動成為NULL指標,它的預設值是隨機的,它會亂指一氣。所以,指標變數在建立的同時應當被初始化,要麼將指標設定為NULL,要麼讓它指向合法的記憶體。例如

char *p = NULL;

char *str = (char *) malloc(100);

(2)指標p被free或者delete之後,沒有置為NULL,讓人誤以為p是個合法的指標。

(3)指標操作超越了變數的作用域範圍。這種情況讓人防不勝防,示例程式如下:

class A

{

 public:

  void Func(void){ cout << “Func of class A” << endl; }

};

void Test(void)

{

 A *p;

 {

  A a;

  p = &a; // 注意 a 的生命期

 }

 p->Func(); // p是“野指標”

}

函式Test在執行語句p->Func()時,物件a已經消失,而p是指向a的,所以p就成了“野指標”。但奇怪的是我執行這個程式時居然沒有出錯,這可能與編譯器有關。

1.1.7 有了malloc/free為什麼還要new/delete?

  malloc與free是C++/C語言的標準庫函式,new/delete是C++的運算子。它們都可用於申請動態記憶體和釋放記憶體。

  對於非內部資料型別的物件而言,光用maloc/free無法滿足動態物件的要求。物件在建立的同時要自動執行建構函式,物件在消亡之前要自動執行解構函式。由於malloc/free是庫函式而不是運算子,不在編譯器控制權限之內,不能夠把執行建構函式和解構函式的任務強加於malloc/free。

因此C++語言需要一個能完成動態記憶體分配和初始化工作的運算子new,以及一個能完成清理與釋放記憶體工作的運算子delete。注意new/delete不是庫函式。我們先看一看malloc/free和new/delete如何實現物件的動態記憶體管理,見示例:

class Obj

{

 public :

  Obj(void){ cout << “Initialization” << endl; }

  ~Obj(void){ cout << “Destroy” << endl; }

  void Initialize(void){ cout << “Initialization” << endl; }

  void Destroy(void){ cout << “Destroy” << endl; }

};

void UseMallocFree(void)

{

 Obj *a = (obj *)malloc(sizeof(obj)); // 申請動態記憶體

 a->Initialize(); // 初始化

 //…

 a->Destroy(); // 清除工作

 free(a); // 釋放記憶體

}

void UseNewDelete(void)

{

 Obj *a = new Obj; // 申請動態記憶體並且初始化

 //…

相關推薦

C++記憶體管理超長

[導語] 記憶體管理是C++最令人切齒痛恨的問題,也是C++最有爭議的問題,C++高手從中獲得了更好的效能,更大的自由,C++菜鳥的收穫則是一遍一遍的檢查程式碼和對C++的痛恨,但記憶體管理在C++中無處不在,記憶體洩漏幾乎在每個C++程式中都會發生,因此要想成

侯捷 C++記憶體管理

本篇記錄 《侯捷 C++記憶體管理 》,整理各節的要點,以備查閱 1.Overview 2.記憶體分配的每一層面 3.四個層面的基本用法 1)、對比一下: 4.基本構件之一newdelete expression(上) ——》new和operator new、m

C++快速入門---動態記憶體管理23

C++快速入門---動態記憶體管理(23)   靜態記憶體:變數(包括指標變數)、固定長度的陣列、某給定類的物件 動態記憶體:由一些沒有名字、只有地址的記憶體塊構成的,那些記憶體塊是在程式執行期間動態分配的。   用new向記憶體池申請記憶體 用delet

C++ 記憶體管理c++高質量程式設計

一、三種記憶體分配方式 1、靜態儲存區:在程式編譯時分配,這塊記憶體在程式的整個執行期間都存在。例如全域性變數,static變數。 2、在棧上建立分配:在執行函式時,函式內的區域性變數的儲存單元都可以在棧上建立,函式結束時這些單元會自動釋放。棧記憶體分配運算內置於處理器的指令集中,效率高,但

讀書筆記:Objective-C高階程式設計 iOS與OS X多執行緒和記憶體管理 ——持續

1.記憶體管理的思考方式: .自己生成的物件,自己所持有.非自己生成的物件,自己也能持有不再需要自己持有的物件時釋放非自己持有的物件無法釋放由NSObject類擔任下面管理職責 eg:  /

c/c++ 動態記憶體管理

C語言中 使用:malloc/calloc/realloc/free 進行動態記憶體管理 calloc:分配n個長度為size的連續記憶體空間,並初始為0 realloc:重新分配空間 void* realloc(void* p,size_t size)

C#中的記憶體管理儲存區域劃分

首先,我們先了解一下資料在記憶體中的儲存方式,根據變數值的生存週期,可以分為靜態儲存區和動態儲存區。如下: 所謂靜態儲存區是指在程式執行期間分配固定的儲存空間的方式,而動態儲存區是指程式執行期間根據需要進行動態分配儲存空間的方式。 靜態變數和全域性變數儲存在靜態儲存區,在

C語言深度剖析》學習筆記----記憶體管理2

開始陸續的發一下唐老師視訊的筆記吧,順便帶一些正衝哥書的的內容。不能一下都發出來,因為內容發多了自己也受不了,而且發的都是學習視訊時候的一些筆記,可能會有一些問題不是很清晰。 先說一下C語言中的記憶體管理。 1.動態記憶體分配 ①原因:程式執行過程中,很有可能需要一些額外的

記憶體管理

五、實體記憶體的管理 在核心初始化完成後,記憶體管理的責任由夥伴系統(高效、高速)承擔。 1、夥伴系統的結構 系統記憶體中的每個實體記憶體頁(頁幀),都對應於一個struct page例項。每個記憶體域都關聯了一個struct zone的例項,其中儲存了用於管理夥伴資料的主要陣列。 1 stru

Spark記憶體管理4—— UnifiedMemoryManager分析

acquireExecutionMemory方法 關注UnifiedMemoryManager中的accquireExecutionMemory方法: 當前的任務嘗試從executor中獲取numBytes這麼大的記憶體 該方法直接向Execu

iOS 記憶體管理補充

  物件操作 OC中對應的方法 對應的 retain Count 變化 生成並持有物件 alloc/new/copy/mutableCopy等 +1 內容單元

Oracle 自動共享記憶體管理ASMM與自動記憶體管理AMM

相關引數: MEMORY_MAX_TARGET:不可動態調整,代表記憶體(SGA+PGA)的最大值。 SQL>ALTER SYSTEM SET MEMORY_MAX_TARGET = 1000M SCOPE=SPFILE MEMORY_TARGET可被動

【轉】【Linux 核心】記憶體管理夥伴演算法

        通常情況下,一個高階作業系統必須要給程序提供基本的、能夠在任意時刻申請和釋放任意大小記憶體的功能,就像malloc 函式那樣,然而,實現malloc 函式並不簡單,由於程序申請記憶體的大小是任意的,如果作業系統對malloc 函式的實現方法不對,將直接導致

【原創】技術系列之 記憶體管理

作者:CppExplore 地址:http://www.cppblog.com/CppExplore/(2)boost::pool系列。boost的記憶體池最低層是simple_segregated_storage,類似於Loki中的chunk,在其中申請釋放block(boost中把block稱為c

初探jvm虛擬機器之記憶體管理

本篇記錄一些概念性的東西,後續結合例項分析虛擬機器的記憶體機制。java虛擬機器在程式執行時將記憶體劃分為以下幾個區域,每個區域作用,生命週期各不相同程式計數器 虛擬機器棧 本地方法棧 方法區 堆程式計數器 執行緒執行的位元組碼行號指示器。 多執行緒是通過時間片輪轉法獲取cp

技術系列之 記憶體管理

2、定長記憶體池。典型的實現有LOKI、BOOST。特點是為不同型別的資料結構分別建立記憶體池,需要記憶體的時候從相應的記憶體池中申請記憶體,優點是可以在使用完畢立即把記憶體歸還池中,可以更為細粒度的控制記憶體塊。    與變長的相比,這種型別的記憶體池更加通用,另一方面對於

iOS/OS X記憶體管理:基本概念與原理

CSDN移動將持續為您優選移動開發的精華內容,共同探討移動開發的技術熱點話題,涵蓋移動應用、開發工具、移動遊戲及引擎、智慧硬體、物聯網等方方面面。如果您想投稿、尋求《近匠》報道,或給文章挑錯,歡迎傳送郵件至tangxy#csdn.net(請把#改成@)。  在Objective-C的記憶體管理中,其實就

技術系列之 記憶體管理

(2)boost::pool系列。boost的記憶體池最低層是simple_segregated_storage,類似於Loki中的chunk,在其中申請釋放block(boost中把block稱為chunk,暈死,這裡還是稱其為block)採用了和loki的chunk中同樣

作業系統核心原理-5.記憶體管理:段式記憶體管理

一、分頁系統的缺點   分頁系統存在的一個無法容忍,同時也是分頁系統無法解決的一個缺點就是:一個程序只能佔有一個虛擬地址空間。在此種限制下,一個程式的大小至多隻能和虛擬空間一樣大,其所有內容都必須從這個共同的虛擬空間內分配。 二、分段管理系統 2.1 何為分段管理   分段管理就是將一個程式按照邏輯單

作業系統核心原理-5.記憶體管理:分頁記憶體管理

  在上一篇介紹的幾種多道程式設計的記憶體管理模式中,以交換記憶體管理最為靈活和先進。但是這種策略也存在很多重大問題,而其中最重要的兩個問題就是空間浪費和程式大小受限。那麼有什麼辦法可以解決交換記憶體存在的這些問題呢?答案是分頁,它是我們解決交換缺陷的“不二法門”。 一、分頁記憶體管理 1.1 解決問題之