GNU/Linux下进程与虚拟内存

• process 是 program的`实体化`
• 进程由`用户内存空间` + `一系列内核数据结构`组成

• 二进制格式表示:每个程序文件都包含用于描述可执行文件格式的 元信息(meta information),内核(kernel)利用此信息来解释文件中的其他信息
• 机器语言指令
• 程序入口地址
• 数据
• 符号表及重定位表
• 共享库和动态链接信息
• 其他

• 程序代码
• 代码所使用变量

• 与进程相关的标识号
• 虚拟内存表
• 打开的文件描述符表
• 信号传递及处理的有关信息
• 进程资源使用及限制
• 当前工作目录
• 大量其他信息…

每一个C/C++程序员都会遇到可恶的Segmentation fault,它的发生是因为对内存进行了不当操作,想要很好的理解这个错误,就要搞清楚进程内存布局是怎么回事,我们到底是在操作了什么东西使SIGSEGV信号产生并杀死了进程

心动的感觉

进程所分配的内存由很多部分组成,通常称之为"段"

• 文本段:(text)
  • 包含了程序运行的程序机器语言指令
  • 只读属性
  • 可共享,一份程序代码的拷贝可以映射到所有进程的虚拟地址空间中
• 初始化数据段:(data)
  • 显示初始化的全局变量和静态变量
• 未初始化数据段:(bss)
  • 未进行显示初始化的全局变量和静态变量
  • BSS段(block started by symbol)
  • 程序启动前,系统将本段所有内存初始化为0(未初始化变量为0的原因)
  • 可执行文件只需记录其位置及所需大小,直到运行时再有程序加载器为其分配空间
• 栈:(stack)
  • 动态增长与收缩的段,由栈帧(stack frames)组成
  • 栈帧中存储了函数的局部变量,实参和返回值
• 堆:(heap)
  • 可在运行时进行动态内存分配的区域
  • 堆顶端叫做program break

内存布局

由图可知,进程在运行中对内存的访问是有限制的,段错误发生在访问了不可访问的内存，这个内存要么是不存在的(例如越过了progrram break)，要么是受系统保护的

进程内存布局存在于虚拟内存中

虚拟内存管理技术利用了访问局部性:追求高效使用CPU和RAM

• 空间局部性(Spatial locality):是指程序倾向于访问在最近访问过的内存地址附近的内存(由于指令是顺序执行的，且有时会按顺序处理数据结构)
• 时间局部性(Temporal locality):是指程序倾向于在不久的将来再次访问最近刚访问过的内存地址(由于循环)
• 由于访问局部性的存在,使程序在只有部分地址空间存在于RAM的情况下依然可以执行

虚拟内存规划:

• 将每个程序分割为小型的,固定大小的页(page)单元
• 将RAM(物理硬件)分为一系列与虚拟页尺寸相当的页帧
• 任一时刻，每个程序仅有部分页需要驻留在物理内存页帧中:这些页构成了所谓驻留集(resident set)
• 程序未使用的页拷贝保存在交换区(swap area)内—这是磁盘空间中的保留区域(计算机RAM的补充)

内核为每个进程维护一个页表

• 描述了每页*在进程虚拟地址空间(virtual address space)中的位置(可为进程所用的所有虚拟内存页面的集合)
• 页表中每个条目要么指出一个虚拟页面在RAM中的位置,要么表明其当前驻留在磁盘上(不是在RAM中就是在磁盘上还未被加载)
• 并非所有的地址范围都需要页表条目,大段的未使用的虚拟地址空间就没必要为其维护页表条目
• 若进程试图访问的地址无页表条目与之对应,那么进程将收到SIGSEGV信号
  

内核能够为进程分配和释放页/页表条目,所有进程的虚拟地址范围在其生命周期可以发生变化

• 栈向下增长超出之前曾达到的位置
• 在堆中分配或释放内存时，通过调用 brk()、 sbrk()或 malloc 函数族来提升 program break 的位置
• 当调用 shmat()连接 System V 共享内存区时， 或者当调用 shmdt()脱离共享内存区时
• 当调用 mmap()创建内存映射时，或者当调用 munmap()解除内存映射时

虚拟内存管理使进程的虚拟地址空间与 RAM 物理地址空间隔离开来，这带来许多优点:

• 进程与进程,进程与内核相互隔离:一个进程不能读取或修改另一进程或内核的内存
• 可以实现共享内存:内核可以使不同进程的页表条目指向相同的RAM页
  • 执行同一程序的多个进程可共享一份(只读的)程序代码副本
  • 进程可以使用 shmget()和 mmap()系统调用显式地请求与其他进程共享内存区:实现进程间通信
  • 实现内存保护机制:某一进程对某一页帧为只读,而另一进程则可以读写同一页帧
  • 程序员无需操心RAM的物理布局
  • 加速程序的加载与运行
  • RAM中容纳的程序变多,CPU可执行程序变多,效率提高

函数的调用和返回使栈的增长和收缩呈线性

专用寄存器—栈指针(stack pointer)，用于跟踪当前栈顶。每次调用函数时，会在栈上新分配一帧，每当函数返回时，再从栈上将此帧移去

内核栈是每个进程保留在内核内存中的内存区域，在执行系统调用的过程中供（内核）内部函数调用使用

用户栈帧保存:

• 函数实参和局部变量
• 函数调用的链接信息:每当一函数调用另一函数时，会在被调用函数的栈帧中保存使用过的寄存器的副本，以便函数返回时能为函数调用者将寄存器恢复原状

因为函数能够嵌套调用，所以栈中可能有多个栈帧