目录
1.当我们说一个进程执行时我们在说什么?
从操作系统角度来看,一个进程最关键的特征是他拥有独立的虚拟地址空间,创建于执行一个
进程通常要进行:
1.建立了执行文件与虚拟地址空间的映射,当执行一个程序的时候,加载器读取的是可执行文件的
头部,建立可执行文件与虚拟地址空间的映射主要是调用了do_mm_map函数,同时虚拟地址空间,
所需要的的数据结构mm_struct结构和vm_area_struct结构也填充相应的值,如图左边的虚拟内存
部分.
2.将指令寄存器设置为可执行文件入口,并启动运行.
2.当我们说一个进程在装载的时候我们在说什么?
在上述步骤之后,执行文件指令和数据加载进虚拟内存,但是没有真正的被装入
物理内存,只是通过可执行文件的头部信息建立可执行文件与虚拟地址空间的
映射关系而已,而真正的加载过程将在发生缺页异常处理的时候才能进行.
3.当我们的用户空间调用malloc的时候,内核做了什么
当我们在用户程序中调用malloc的时候,内核负责为进程动态地分配一块内存,操作系统从堆
中分配一块内存并把首地址返回给用户,malloc申请内存的大小不一样会使得底部调用的系统
调用也不一样,如图.
内核是不是立刻为进程分配了物理内存呢?
答案是否定的,依然是需要通过请页机制.
请页机制可以为进程请求物理内存.
4.内核空间的划分
x86_32体系架构的机器上.
内核空间的地址空间是3G-4G,内核空间的第一部分试图将系统的所有物理内存线性地
映射到虚拟地址空间中,但是最多只能映射的大小是HIGH MEMORY设定的值,默认是896MB的物理空间,
当大于HIGH MEMORY值的时候,物理内存将映射到内核空间的后部分(????)--图和文字不理解
按照这样的映射原则,从0-HIGH MEMORY的物理内存叫做低端内存,大于HIGH MEMORY的物理内存
称作高端内存.从图中可以看出内核采用了三种机制将高端内存映射到内核空间,分别是:
永久内核映射,
固定映射,
vmlloc机制.
5.内核虚拟地址和物理地址的转换
内核为线性映射的内存区提供了物理地址和虚拟地址之间的转换函数,__pa和__va.
内核地址空间是从PAGE_OFFSET开始的,从具体源码实现可以看出两者完全是一种线性
关系.
6.物理内存管理机制
7.小块内存的分配-slab
伙伴算法负责大块连续物理内存的分配与释放,以页框为单位,
分配小块内存则使用slab.
slab分配方式最初是为了解决物理内存碎片而提出的,它将内核中常用的数据结构看做对象.
每一种对象的高速缓存实际上是由若干个slab组成,而每个slab是由若干个页框组成,
虽然slab分配器可以分配比单个页框更小的内存块,但是它所需要的所有的内存实际上还是
通过伙伴算法来分配的.
slab分配机制有两种:
1.slab通用缓存;
2.slab专用缓存.
通用缓存是针对一般情况,适合分配任一大小的物理内存,内核接口是kmalloc().
专用缓存是针对特定对象,比如为进程控制块创建告诉缓存.