存儲(chǔ)管理及棧和堆的區(qū)別

作者：xcbeyond
瘋狂源自夢(mèng)想，技術(shù)成就輝煌！微信公眾號(hào)：《程序猿技術(shù)大咖》號(hào)主，專(zhuān)注后端開(kāi)發(fā)多年，擁有豐富的研發(fā)經(jīng)驗(yàn)，樂(lè)于技術(shù)輸出、分享，現(xiàn)階段從事微服務(wù)架構(gòu)項(xiàng)目的研發(fā)工作，涉及架構(gòu)設(shè)計(jì)、技術(shù)選型、業(yè)務(wù)研發(fā)等工作。對(duì)于Java、微服務(wù)、數(shù)據(jù)庫(kù)、Docker有深入了解，并有大量的調(diào)優(yōu)經(jīng)驗(yàn)。 












存儲(chǔ)管理

內(nèi)存組織方式：

凡是要執(zhí)行的程序代碼、處理的數(shù)據(jù)都必須放置在內(nèi)存中。一般操作系統(tǒng)將占用內(nèi)存的高地址部分，而其他剩余的內(nèi)存供程序和數(shù)據(jù)使用，程序不能對(duì)操作系統(tǒng)占用的內(nèi)存進(jìn)行操作。

C語(yǔ)言中內(nèi)存分配情況：

在這里插入圖片描述

靜態(tài)存儲(chǔ)分配，是指在編譯時(shí)，就能確定每個(gè)變量在運(yùn)行時(shí)刻需要占用的內(nèi)存空間。對(duì)于全局變量、靜態(tài)變量使用的這種方式分配。C語(yǔ)言程序運(yùn)行時(shí)的內(nèi)存分配有三種方式：靜態(tài)、棧、堆。

棧式存儲(chǔ)分配，也可以稱(chēng)為動(dòng)態(tài)存儲(chǔ)分配，由一個(gè)類(lèi)似于堆棧的運(yùn)行棧來(lái)實(shí)現(xiàn)。和靜態(tài)存儲(chǔ)分配不同，在棧式存儲(chǔ)中，程序變量對(duì)內(nèi)存空間的需求在編譯時(shí)不進(jìn)行分配，到運(yùn)行時(shí)才進(jìn)行具體的分配。在使用棧式存儲(chǔ)分配時(shí)，編譯器在編譯時(shí)也需要知道函數(shù)所需數(shù)據(jù)區(qū)域的大小，然后，在程序運(yùn)行時(shí)使用該值分配內(nèi)存。C語(yǔ)言函數(shù)內(nèi)部的局部變量都是采用棧式分配的。

堆式存儲(chǔ)分配，堆由大片的可利用塊或空閑塊組成，堆中的內(nèi)存可以按照任意順序分配和釋放。當(dāng)在程序編譯時(shí)，無(wú)法確定數(shù)據(jù)區(qū)域大小時(shí)（如可變長(zhǎng)度的字符串），可在堆中分配內(nèi)存空間。
棧（stack）和堆（heap）具體的區(qū)別:

1、在申請(qǐng)方式上

棧（stack）: 它由編譯器自動(dòng)管理，無(wú)需我們手工控制（即：在程序執(zhí)行時(shí)由系統(tǒng)分配和回收）。 例如，聲明函數(shù)中的一個(gè)局部變量 int b 系統(tǒng)自動(dòng)在棧中為b開(kāi)辟空間；在調(diào)用一個(gè)函數(shù)時(shí)，系統(tǒng)自動(dòng)的給函數(shù)的形參變量在棧中開(kāi)辟空間。

堆（heap）: 申請(qǐng)和釋放由程序員控制（通過(guò)程序員編寫(xiě)代碼控制），并指明大小。若程序員不釋放，程序結(jié)束時(shí)，可能由操作系統(tǒng)回收。容易產(chǎn)生memory leak。

在C中使用malloc函數(shù)和free函數(shù)。

如：p1 = (char *)malloc(10);//(char )malloc(10sizeof(char));

在C++中用new運(yùn)算符。

如：p2 = new char[20];//(char *)malloc(10);

但是注意p1本身在棧區(qū)，而p2本身是在棧中的，只是它們指向的空間是在堆中。

2、申請(qǐng)后系統(tǒng)的響應(yīng)上

棧（stack）:只要棧的剩余空間大于所申請(qǐng)空間，系統(tǒng)將為程序提供內(nèi)存，否則將報(bào)異常提示棧溢出。

堆（heap）: 首先應(yīng)該知道操作系統(tǒng)有一個(gè)記錄空閑內(nèi)存地址的鏈表，當(dāng)系統(tǒng)收到程序的申請(qǐng)時(shí)， 會(huì)遍歷該鏈表，尋找第一個(gè)空間大于所申請(qǐng)空間的堆結(jié)點(diǎn)，然后將該結(jié)點(diǎn)從空閑結(jié)點(diǎn)鏈表中刪除，并將該結(jié)點(diǎn)的空間分配給程序。另外，對(duì)于大多數(shù)系統(tǒng)，會(huì)在這塊內(nèi)存空間中的首地址處記錄本次分配的大小，這樣，代碼中的delete或free語(yǔ)句才能正確的釋放本內(nèi)存空間。另外，由于找到的堆結(jié)點(diǎn)的大小不一定正好等于申請(qǐng)的大小，系統(tǒng)會(huì)自動(dòng)的將多余的那部分重新放入空閑鏈表中。

3、申請(qǐng)大小的限制

棧（stack）:在DOS 、Windows操作系統(tǒng)下,棧是由高地址向低地址擴(kuò)展的數(shù)據(jù)結(jié)構(gòu)，是一塊連續(xù)的內(nèi)存的區(qū)域。這句話的意思是棧頂?shù)牡刂泛蜅５淖畲笕萘渴窍到y(tǒng)預(yù)先規(guī)定好的，如果申請(qǐng)的空間超過(guò)棧的剩余空間時(shí)，將提示“堆棧溢出”。因此，能從棧獲得的空間較小。 例如，在VC6下面，默認(rèn)的?？臻g大小是1M（好像是，記不清楚了）。

當(dāng)然，我們可以修改：打開(kāi)工程，依次操作菜單如下：Project->Setting->Link，在Category 中選中Output，然后在Reserve中設(shè)定堆棧的最大值和commit。

注意：reserve最小值為4Byte；commit是保留在虛擬內(nèi)存的頁(yè)文件里面，它設(shè)置的較大會(huì)使棧開(kāi)辟較大的值，可能增加內(nèi)存的開(kāi)銷(xiāo)和啟動(dòng)時(shí)間。

堆（heap）: 堆是由低地址向高地址擴(kuò)展的數(shù)據(jù)結(jié)構(gòu)，是不連續(xù)的內(nèi)存區(qū)域（空閑部分用鏈表串聯(lián)起來(lái)）。正是由于系統(tǒng)是用鏈表來(lái)存儲(chǔ)空閑內(nèi)存，自然是不連續(xù)的，而鏈表的遍歷方向是由低地址向高地址。一般來(lái)講在32位系統(tǒng)下，堆內(nèi)存可以達(dá)到4G的空間，從這個(gè)角度來(lái)看堆內(nèi)存幾乎是沒(méi)有什么限制的。由此可見(jiàn)，堆獲得的空間比較靈活，也比較大。

4、分配空間的效率上

棧（stack）:棧是機(jī)器系統(tǒng)提供的數(shù)據(jù)結(jié)構(gòu)，計(jì)算機(jī)會(huì)在底層對(duì)棧提供支持：分配專(zhuān)門(mén)的寄存器存放棧的地址，壓棧出棧都有專(zhuān)門(mén)的指令執(zhí)行，這就決定了棧的效率比較高。但程序員無(wú)法對(duì)其進(jìn)行控制。

堆（heap）:是C/C++函數(shù)庫(kù)提供的，由new或malloc分配的內(nèi)存，一般速度比較慢，而且容易產(chǎn)生內(nèi)存碎片。它的機(jī)制是很復(fù)雜的，例如為了分配一塊內(nèi)存，庫(kù)函數(shù)會(huì)按照一定的算法（具體的算法可以參考數(shù)據(jù)結(jié)構(gòu)/操作系統(tǒng)）在堆內(nèi)存中搜索可用的足夠大小的空間，如果沒(méi)有足夠大小的空間（可能是由于內(nèi)存碎片太多），就有可能調(diào)用系統(tǒng)功能去增加程序數(shù)據(jù)段的內(nèi)存空間，這樣就有機(jī)會(huì)分到足夠大小的內(nèi)存，然后進(jìn)行返回。這樣可能引發(fā)用戶態(tài)和核心態(tài)的切換，內(nèi)存的申請(qǐng)，代價(jià)變得更加昂貴。顯然，堆的效率比棧要低得多。

5、堆和棧中的存儲(chǔ)內(nèi)容

棧（stack）:存放函數(shù)調(diào)用中的參數(shù)、函數(shù)的局部變量（靜態(tài)變量不入棧），通過(guò)棧才能完成函數(shù)間調(diào)用時(shí)的現(xiàn)成保護(hù)。

堆（heap）:一般是在堆的頭部用一個(gè)字節(jié)存放堆的大小，堆中的具體內(nèi)容有程序員安排。

6、存取效率的比較

這個(gè)應(yīng)該是顯而易見(jiàn)的。拿棧上的數(shù)組和堆上的數(shù)組來(lái)說(shuō)：

void main()
 
{
 
int arr[5]={1,2,3,4,5};
 
int *arr1;
 
arr1=new int[5];
 
for (int j=0;j<=4;j++)
 
{
 
arr1[j]=j+6;
 
}
 
int a=arr[1];
 
int b=arr1[1];
 
}

上面代碼中，arr1（局部變量）是在棧中，但是指向的空間確在堆上，兩者的存取效率，當(dāng)然是arr高。因?yàn)閍rr[1]可以直接訪問(wèn)，但是訪問(wèn)arr1[1]，首先要訪問(wèn)數(shù)組的起始地址arr1，然后才能訪問(wèn)到arr1[1]。

總而言之：

在C/C++程序中，有關(guān)內(nèi)存使用的問(wèn)題是最難發(fā)現(xiàn)和解決的。這些問(wèn)題可能導(dǎo)致程序莫名其妙地停 止、崩潰，或者不斷消耗內(nèi)存直至資源耗盡。由于C/C++語(yǔ)言本身的特質(zhì)和歷史原因，程序員使用內(nèi)存需要注意的事項(xiàng)較多，而且語(yǔ)言本身也不提供類(lèi)似Java的垃圾清理機(jī)制。編程人員使用一定的工具來(lái)查找和調(diào)試內(nèi)存相關(guān)問(wèn)題是十分必要的。

總的說(shuō)來(lái)，與內(nèi)存有關(guān)的問(wèn)題可以分成兩類(lèi)：內(nèi)存訪問(wèn)錯(cuò)誤和內(nèi)存使用錯(cuò)誤。內(nèi)存訪問(wèn)錯(cuò)誤包括錯(cuò)誤地讀取內(nèi)存和錯(cuò)誤地寫(xiě)內(nèi)存。錯(cuò)誤地讀取內(nèi)存可能讓你的模塊返回意想不到的結(jié)果，從而導(dǎo)致后續(xù)的模塊運(yùn)行異常。錯(cuò)誤地寫(xiě)內(nèi)存可能導(dǎo)致系統(tǒng)崩潰。內(nèi)存使用方面的錯(cuò)誤主要是指申請(qǐng)的內(nèi)存沒(méi)有正確釋放，從而使程序運(yùn)行逐漸減慢，直至停止。這方面的錯(cuò)誤由于表現(xiàn)比較慢很難被人工察覺(jué)。程序也許運(yùn)行了很久才會(huì)耗凈資源，發(fā)生問(wèn)題。

堆和棧的區(qū)別可以用如下的比喻來(lái)看出：

使用棧就象我們?nèi)ワ堭^里吃飯，只管點(diǎn)菜（聲明變量）、付錢(qián)、和吃（使用），吃飽了就走，不必理會(huì)切菜、洗菜等準(zhǔn)備工作和洗碗、刷鍋等掃尾工作，他的好處是快捷，但是自由度小。

使用堆就象是自己動(dòng)手做喜歡吃的菜肴，比較麻煩，但是比較符合自己的口味，而且自由度大。

char s1[] = ”hello”;

char s2[] = ”hello”;

cout<<(s1==s2)<<endl; //這里是0，因?yàn)閟1，s2是數(shù)組形式的字符，系統(tǒng)會(huì)自動(dòng)在棧區(qū)為其分配空間，所以s1，s2是指向不同的區(qū)域的

char *s1 = ”hello”;

char *s2 = ”hello”;

cout<<(s1==s2)<<endl; //這里是1，因?yàn)閟1，s2是指針的形式的字符指針，系統(tǒng)為其分配的空間是在棧區(qū)的，但是“hello”是存放在常量區(qū)域的，所以s1，s2是指向同一區(qū)域的，故比較時(shí)，是相等的。