程序在内存中的运行原理

一、介绍

当用户双击可执行文件时，操作系统将可执行文件从磁盘加载到内存中，并调用程序执行入口点函数，这个函数通常是 main 函数。程序在内存中开辟一块空间，用于存储变量、对象、函数调用栈等信息。程序按照指令顺序执行，直至终止的过程中，会读写内存中的数据，最终将结果输出到屏幕上或者文件中。

一个程序在内存中如下所示：

如上图，从低地址到高地址，一个程序由代码段、数据段、BSS段、堆、共享区、栈等组成。

Bss段：

　　bss段（bss segment）通常是指用来存放程序中未初始化的全局变量的一块内存区域。

　　bss是英文Block Started by Symbol的简称。

　　bss段属于静态内存分配。

data段：

　　数据段（data segment）通常是指用来存放程序中已初始化的全局变量的一块内存区域。

　　数据段属于静态内存分配。

text段：

　　代码段（code segment/text segment）通常是指用来存放程序执行代码的一块内存区域。

　　这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读(某些架构也允许代码段为可写，即允许修改程序)。

　　在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等。

堆（heap）：

　　堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。

　　当进程调用malloc等函数分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）；

　　当利用free等函数释放内存时，被释放的内存从堆中被剔除（堆被缩减）。

栈(stack)：

　　 栈又称堆栈，是用户存放程序临时创建的局部变量，

　　也就是说我们函数括弧“{}”中定义的变量（但不包括static声明的变量，static意味着在数据段中存放变量）。

　　除此以外，在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也会被存放回栈中。

　　由于栈的先进后出特点，所以栈特别方便用来保存/恢复调用现场。

　　从这个意义上讲，我们可以把堆栈看成一个寄存、交换临时数据的内存区。 

• 最后还有一个共享区，位于堆和栈之间。

二、程序启动的过程

1. 操作系统首先创建相应的进程并分配私有的进程空间，然后操作系统的加载器负责把可执行文件的数据段和代码段映射到进程的虚拟内存空间中。

2. 加载器读入可执行程序的导入符号表，根据这些符号表可以查找出该可执行程序的所有依赖的动态链接库。

3. 加载器针对该程序的每一个动态链接库调用LoadLibrary （1）查找对应的动态库文件，加载器为该动态链接库确定一个合适的基地址。 （2）加载器读取该动态链接库的导入符号表和导出符号表，比较应用程序要求的导入符号是否匹配该库的导出符号。 （3）针对该库的导入符号表，查找对应的依赖的动态链接库，如有跳转，则跳到3 （4）调用该动态链接库的初始化函数

4. 初始化应用程序的全局变量，对于全局对象自动调用构造函数。

5. 进入应用程序入口点函数开始执行。

参考：

【转】(深入理解计算机系统) bss段，data段、text段、堆(heap)和栈(stack) - 壹点灵异 - 博客园
【C++工程师面试宝典】学习说明_互联网校招面试真题面经汇总_牛客网