一)概述



　　.堆栈是一个用户空间的内存区域,进程使用堆栈作为临时存储.



　　.堆栈中存放的是函数中的局部变量,在函数的生命周期中可以将变量压入堆栈,编译器需要确保堆栈指针在函数退出前恢复到初始位置,也就是说,内存是自动分配和释放的.



　　.C/C++把存储在堆栈中的局部变量当作automatic存储,并使用auto关键字,这是局部变量的默认存储方式,所以现在没有人用auto关键词.



　　.与动态存储相对映的静态存储,也就是用static定义的局部变量,它不用堆栈来存储,而是使用数据段来存储.



　　.堆栈的基地址位于用户空间的最高虚拟地址附近,并从那里向下延伸.



　　.一个进程开始时,堆栈的最大值就不能改变,如果占用的空间超过了堆栈大小,那么就会导致堆栈溢出.



　　二)进程的内存组织形式



　　进程被分为三个区域:文本,数据和堆栈.



　　1)文本区域:



　　文本区域也叫做代码段,是由程序确定的,它包括代码(指令)和只读数据,该区域通常被标记为只读,任何对其写入的操作会导致段错误.



　　2)数据区域:



　　数据区域也叫做数据段,它包括已初始化和未初始化的数据,静态变量存储在这个区域中,它的大小可以用系统调用brk(2)来改变.



　　3)堆栈区域:



　　堆栈区域也叫堆栈段,它用于给局部变量动态分配空间,同样函数传递参数和函数返回值也要用到堆栈.



　　堆栈也可向下增长(向内存低地址)也可以向上增长,这依赖于具体的实现,通常都是向下增长的,而SP(堆栈指针)也是指向堆栈的最后地址.



　　4)内存的分配区域:



　　根据前面所述,堆栈是位于最高虚拟地址附近,而数据段则位于堆栈段之后,最后是代码段.



　　三)堆栈着色



　　当两个线程或进程使用相同的堆栈虚拟地址时,它们会争夺同一个cache行,导致竞争和降级行为.



　　堆栈着色的技术使每一个进程的基址都不相同,通过随机分配堆栈基址,多个进程会使用不同的cache行来避免.



　　四)堆栈的限制



　　堆栈空间的最大值是由setrlimit系统调用确定的,也可以通过bash内建的ulimit命令来设定和查看.



　　例如:



　　查看当前可使用的最大堆栈(以KB为单位)



　　ulimit -s



　　8192



　　设定为最大的使用堆栈为15KB



　　ulimit -s 15



　　此时执行ls将会得到一个段错误.



　　ls -l /etc/



　　total 1040



　　Segmentation fault



　　通过用strace跟踪ls命令,将发现有如下的系统调用



　　getrlimit(RLIMIT_STACK, {rlim_cur=15*1024, rlim_max=15*1024}) = 0



　　说明当前可用的堆栈空间,已经不足以运行strace命令了.



　　五)常驻内存和锁定内存



　　常驻内存专指存储在RAM中的内存部分,不包括存储在交换区和未存储的进程的内存.



　　锁定内存是常驻内存的子集,它指被进程明确地锁定到RAM的虚拟内存中,不能用于交换,并一直常驻于RAM中.