对系统分配堆栈的猜测~ 请教高手！！！

Question

1。在调用c startup代码之前系统会从4G的虚拟空间中保留一块多大的（是1M（默认）吗？）大小的内存空间作为堆栈使用的空间？
2。是否是使用VirtualAllco函数，还是使用HeapCreate、HeapAlloc？
3。如果是使用HeapCreate、HeapAlloc的话，那么HeapAlloc返回的是一个内存块指针，我想知道的是系统怎么对该指针进行处理，从而建立FIFO机制？建立了FIFO机制的这块内存也就是俗称的“栈 stack"，该栈的大小是1M吗？
4。使用new关键字分配的内存应该是使用从进程默认的堆栈中分配的吧！

Answer 1

堆是堆，栈是栈
new的东西在堆上
函数内的变量在栈上

Answer 2

应该区分堆和栈这两个不同概念1. 保留 1 MB 提交一个页面 4kB 
2. VirtualAlloc 应该调用了，这是 Win32 虚存的基本函数，应该不是由 HeapCreate 从堆中分配的
3. 通过寄存器 esp 管理，参考汇编 
4. 从进程的默认堆中分配的

Answer 3

new 的就是堆的，new是不限制的，所以保留的1MB应该在栈中。

Answer 4

分配栈不是用的那些什么alloc函数,分配栈是个概念.当系统加载一个进程(调入一个EXE开始执行时),系统初始化所有的寄存器,将CS寄存器中放入代码段的地址,并将IP寄存器指向程序第一句代码,然后在内存中取得一块内存(大小是一个1M,默认状态下),并将其地址放入SS寄存器中,这时就完成了你所说的"分配栈".因为SS寄存器只能通过POP和PUSH两个机器指令操作,所以它是Fisrt In, Last Out, 而不是你所说的FIFO(First In, First Out,这个队列的特征,而不是栈的特征).是栈是堆,是对于写程序来说的概念.对于CPU,它只知道那是内存,它可不管什么是堆,什么是栈.建议楼主不要去猜,如果有时间则先读<<汇编语言>>,然后看<<编译原理>>,最后看<<微机原理>>.这样就差不多能对这些概念有个深入的了解了.

Answer 5

强烈建议摈弃“堆栈”一词，用“堆和栈”代替。
1。进程建立后，主线程产生前，系统为该进程创建（保留）一个1M大小的堆。我们称作“默认的堆”。可以使用“/HEAP:reserve[.commit]”来改变默认堆的大小。可以使用GetProcessHeap来获取默认堆的句柄。 默认堆不能被撤消，对它使用HeapDestory将被忽略，在进程终止运行时自动被撤消。通过取得的默认堆的句柄，可以使用HeapAlloc分配（提交）N个页面大小的内存块。C++中的new
   就是在默认的堆中分配内存块的，当delete时则释放该内存块。
2。线程产生前，系统保留1M大小的空间作为栈，并提交2个页面。我们称作“默认的栈”。
   可以通过“/STACK:reserve[.commit]”来改变默认栈的大小。
3。堆是进程的，而栈是线程的。
4。可以建立辅助的堆，使用HeapCreate，使用HeapAlloc分配内存块，内存块不用的时候HeapFree，该堆不再需要时，用HeapDestroy撤消。
5。和进程对象相似，WIN98下，ToolHelp提供Heap32First、Heap32Next、Heap32ListFirst、
   Heap32ListNext。枚举进程中的各个堆以及堆中分配出的内存块。
   WIN2000下，GetProcessHeaps取得进程地址空间中的所有堆句柄， HeapValidate验证堆的完整性
   HeapCompact合并堆中空闲的内存块并收回不包含已经分配的地址内存块的存储器页面。
   HeapLock、HeapUnlock用于线程同步，使用HeapAlloc、HeapSize、HeapFree等函数在内部调用他们来确保对堆的访问能够顺序进行。 HeapWalk用于调试目的，它能遍历堆的内容。
6。如果要使用大于1M的内存建议使用虚拟内存，它最适合用来管理大型对象或结构数组。
   用VirtualAlloc来保留并提交。
7。如果需要更大的内存，建议使用内存映射文件。它最适合用来管理大型数据流（通常来自文件）以及在单个计算机上运行的多个进程之间的共享数据。大家看看是否说的有道理？

Answer 6

同意:强烈建议摈弃“堆栈”一词，用“堆和栈”代替。很早的文档，给初学者补补课。好多人搞不清楚，sigh。 
—————————————————————————————— 
一般认为在c中分为这几个存储区 
1栈 - 有编译器自动分配释放 
2堆 - 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收 
3全局区（静态区），全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 
- 程序结束释放 
4另外还有一个专门放常量的地方。 - 程序结束释放 
在函数体中定义的变量通常是在栈上，用malloc, calloc, realloc等分配内存的函数分配得到的就是在堆上。在所有函数体外定义的是全局量，加了static修饰符后不管在哪里都存放在全局区（静态区）,在所有函数体外定义的static变量表示在该文件中有效，不能extern到别的文件用，在函数体内定义的static表示只在该函数体内有效。另外，函数中的"adgfdf"这样的字符串存放在常量区。 
比如： 
代码: int a = 0;   //全局初始化区 
char *p1;   //全局未初始化区 
main() 
{ 
  int b; //栈 
  char s[] = "abc";   //栈 
  char *p2;   //栈 
  char *p3 = "123456";   //123456\0在常量区，p3在栈上。 
  static int c = 0； //全局（静态）初始化区 
  p1 = (char *)malloc(10); 
  p2 = (char *)malloc(20); 
    //分配得来得10和20字节的区域就在堆区。 
  strcpy(p1, "123456"); 
    //123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一块。 
} 
 还有就是函数调用时会在栈上有一系列的保留现场及传递参数的操作。 
栈的空间大小有限定，vc的缺省是2M。栈不够用的情况一般是程序中分配了大量数组和递归函数层次太深。有一点必须知道，当一个函数调用完返回后它会释放该函数中所有的栈空间。栈是由编译器自动管理的，不用你操心。 
堆是动态分配内存的，并且你可以分配使用很大的内存。但是用不好会产生内存泄漏。 
并且频繁地malloc和free会产生内存碎片（有点类似磁盘碎片），因为c分配动态内存时是寻找匹配的内存的。而用栈则不会产生碎片。 
在栈上存取数据比通过指针在堆上存取数据快些。 
一般大家说的堆栈和栈是一样的，就是栈(stack)，而说堆时才是堆heap. 
栈是先入后出的，一般是由高地址向低地址生长。
转载的另外一篇： 堆(heap)和栈(stack)是C/C++编程不可避免会碰到的两个基本概念。首先，这两个概念都可以在讲数据结构的书中找到，他们都是基本的数据结构，虽然栈更为简单一些。 
在具体的C/C++编程框架中，这两个概念并不是并行的。对底层机器代码的研究可以揭示，栈是机器系统提供的数据结构，而堆则是C/C++函数库提供的。 
具体地说，现代计算机(串行执行机制)，都直接在代码底层支持栈的数据结构。这体现在，有专门的寄存器指向栈所在的地址，有专门的机器指令完成数据入栈出栈的操作。 
这种机制的特点是效率高，支持的数据有限，一般是整数，指针，浮点数等系统直接支持的数据类型，并不直接支持其他的数据结构。因为栈的这种特点，对栈的使用在程序中是非常频繁的。对子程序的调用就是直接利用栈完成的。机器的call指令里隐含了把返回地址推入栈，然后跳转至子程序地址的操作，而子程序中的ret指令则隐含从堆栈中弹出返回地址并跳转之的操作。C/C++中的自动变量是直接利用栈的例子，这也就是为什么当函数返回时，该函数的自动变量自动失效的原因。 和栈不同，堆的数据结构并不是由系统(无论是机器系统还是操作系统)支持的，而是由函数库提供的。基本的malloc/realloc/free函数维护了一套内部的堆数据结构。当程序使用这些函数去获得新的内存空间时，这套函数首先试图从内部堆中寻找可用的内存空间，如果没有可以使用的内存空间，则试图利用系统调用来动态增加程序数据段的内存大小，新分配得到的空间首先被组织进内部堆中去，然后再以适当的形式返回给调用者。当程序释放分配的内存空间时，这片内存空间被返回内部堆结构中，可能会被适当的处理(比如和其他空闲空间合并成更大的空闲空间)，以更适合下一次内存分配申请。这套复杂的分配机制实际上相当于一个内存分配的缓冲池(Cache)，使用这套机制有如下若干原因： 1. 系统调用可能不支持任意大小的内存分配。有些系统的系统调用只支持固定大小及其倍数的内存请求(按页分配)；这样的话对于大量的小内存分类来说会造成浪费。 2. 系统调用申请内存可能是代价昂贵的。系统调用可能涉及用户态和核心态的转换。 3. 没有管理的内存分配在大量复杂内存的分配释放操作下很容易造成内存碎片。 堆和栈的对比 从以上知识可知，栈是系统提供的功能，特点是快速高效，缺点是有限制，数据不灵活；而栈是函数库提供的功能，特点是灵活方便，数据适应面广泛，但是效率有一定降低。栈是系统数据结构，对于进程/线程是唯一的；堆是函数库内部数据结构，不一定唯一。不同堆分配的内存无法互相操作。栈空间分静态分配和动态分配两种。静态分配是编译器完成的，比如自动变量(auto)的分配。动态分配由alloca函数完成。栈的动态分配无需释放(是自动的)，也就没有释放函数。为可移植的程序起见，栈的动态分配操作是不被鼓励的！堆空间的分配总是动态的，虽然程序结束时所有的数据空间都会被释放回系统，但是精确的申请内存/释放内存匹配是良好程序的基本要素。

Answer 7

谢谢 nonocast(如果你信仰光明，那是因为到处都是黑暗！) 的支持，