进程虚拟地址空间_虚拟地址空间中的静态数据区-CSDN博客

在windows操作系统中，每个进程都有自己的私有地址空间，因此一个进程的线程只能访问属于这个进程的内存空间，即进程之间是地址隔离的。在windows2000中，进程虚拟地址空间可分为如下四个部分：
1）NULL 区（0x00000000~0x0000FFFF）: 如果进程中的一个线程试图操作这个分区中的数据，CPU就会引发非法访问。他的作用是，调用malloc等内存分配函数时，如果无法找到足够的内存空间，它将返回NULL。而不进行安全性检查。它只是假设地址分配成功，并开始访问内存地址0x00000000（NULL）。由于禁止访问内存的这个分区，因此会发生非法访问现象，并终止这个进程的运行。
2）用户模式分区 ( 0x00010000~0xBFFEFFFF)：这个分区中存放进程的私有地址空间。一个进程无法以任何方式访问另外一个进程驻留在这个分区中的数据(相同exe，通过copy-on-write来完成地址隔离)。（在windows中，所有.exe和动态链接库都载入到这一区域。系统同时会把该进程可以访问的所有内存映射文件映射到这一分区）。
2）隔离区 (0xBFFF0000~0xBFFFFFFF)：这个分区禁止进入。任何试图访问这个内存分区的操作都是违规的。微软保留这块分区的目的是为了简化操作系统的现实。
3）内核区 (0xC0000000~0xFFFFFFFF)：这个分区存放操作系统驻留的代码。线程调度、内存管理、文件系统支持、网络支持和所有设备驱动程序代码都在这个分区加载。这个分区被所有进程共享。

一、在这一节，我们详细讨论一下用户模式分区，用户模式分区从地地址到高地址依次为：
1）代码段，存放函数体的二进制代码。
2）静态数据区（分为以初始化数据段和未初始化数据段）全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。
3）堆，一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。
......(未映射部分)( 这个部分包含各种导入的dll等)
4）栈，由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

二、下面详细介绍exe导入到执行的全过程，以及地址空间的加载。
1）系统找到在调用CreateProcess时指定的exe文件。
2）系统创建一个新进程的内核对象。
3）系统为这个新进程创建一个私有的地址空间。
4）系统保留一个足够大的地址空间区域，用来存放exe文件。这个区域的位置在exe文件中设定。默认情况下，exe文件的基地址是0x0400000. （1.编译器处理每个源代码模块，生成obj文件。2.链接程序将所有obj模块的内容组合在一起，生成一个单独的可执行映射文件即exe,该映射文件包含用于可执行模块的所有二进制代码以及全局/静态数据变量，同时也包含一个导入部分，列出了该可执行模块所需要的所有dll模块的名字，对于每个列出的 dll名，该导入部分指明了那些函数和变量符号是被可执行的二进制代码所引用的）
5）在将exe文件映射到进程的地址空间之后，系统会访问exe 文件中的一个段（这个段列出了一些DLL文件），并列出exe文件代码中调用函数dll文件的部分。然后，系统为每个dll文件调用loadlibrary函数，如果某个dll文件需要调用更多的 dll，那么系统会再次调用loadlibrary函数，来加载这个dll。系统保留一个足够大的地址空间区域，用来存放这个dll文件。默认情况下，微软创建dll文件基地址0x10000000。 windows提供的所有标准系统dll都有不同的基地址，这样，即使加载到单个地址空间，他们之间也不会重叠。（1.编译器处理每个源代码模块，生成一个obj模块。2.链接程序将所有obj模块的内容组合在一起，生成一个单独的dll映像文件，该映像文件包含用于dll的所有二进制代码以及全局/静态数据变量。3.如果链接程序检查到dll的源代码模块至少导出了一个函数或变量，则链接程序同时生成一个单独的lib文件，这个lib文件很小，只是简单地列出了所有被导出的函数和变量的符号名）
6）当把所有的exe文件和dll文件都映射到进程的地址空间之后，系统就会创建一个线程内核对象，并使用该线程以DLL_PROCESS_ATTACH为参数来调用每个DLL的DllMain函数，当所有映射的DLL都对此通知做出相应后，系统将驱使主线程开始执行exe文件的启动代码（winmainCRTStartup 函数），这个函数负责对c/c++运行时库进行初始化和调用函数入口函数（main 或 winmain）。
下面强调一些dll和lib的加载区别：
dll允许可执行模块（.dll文件或.exe文件）仅包含在运行时定位DLL函数的可执行代码所需的信息（即将dll附带的lib加载到可执行模块中）。
对于lib文件，链接器从静态链接库LIB获取所有被引用函数，并将库同代码一起放到可执行文件中。