本系列是对 陈莉君 老师 Linux 内核分析与应用 的学习与记录。讲的非常之好，推荐观看
留此记录，蜻蜓点水,可作抛砖引玉
4.1 Linux内存管理机制
lscpu 命令, 类似是优化后的 cat /proc/cpuinfo
实现虚拟内存的几种机制:
当 程序一旦跑起来,那就变成了一个进程
一个进程的用户地址空间由两个数据结构来描述, mm_struct和 vma_area_struct ,前者对进程整个用户空间进行描述,后者对用户空间的各个内存区进行描述
-
内存映射区(MMR,Memory Mapping Region)
-
虚拟内存区(VMA)
对于mm_struct,最新版本的内核代码定义在[mm_types.h]这个文件中
对于vma_area_struct :
mm_struct结构是由一个个VMA组成的
参考<深入理解Linux内核>第8,9章
4.2 进程用户空间管理机制
写时复制技术(copy on write)
调用do_mmap()创建一个"虚存区"
虚存区分三种: 私有映射,共享映射,匿名映射
上图显示了该进程 各个区的 起始地址
请页机制,实现虚存管理的重要手段.
当一个进程运行的时候,CPU访问的是用户空间的虚地址, Linux仅把当前要使用的少量页面装入到内存, 需要时通过请页机制将特定的页面调入到内存;当访问的页不在内存时,就产生一个页故障,并报告故障的原因.
如果是编程引起的异常,而且还发生在内核态,那需要毫不含糊地杀死该进程; 如果发生在用户态,说明是一个无效的内存引用,程序要停止执行; 如果是一个真正的缺页引起的异常,而且有合法的权限,这时会进入到缺页异常处理程序
do_page_fault()函数
用户进程访问内存 分析:
用户态进程独占 虚拟地址空间,两个进程的虚拟地址空间完全可能是相同的. 在访问用户态虚拟内存空间时,如果没有映射到物理地址,这时就需要通过请页机制发出缺页异常的请求, 缺页异常陷入内核,分配物理地址空间,与用户态虚拟地址空间就建立起了映射关系
4.3 物理内存的 分配与回收机制(上)
当我们说一个进程在执行的时候, 我们在说什么呢?
从操作系统角度看,一看进程最关键的特征,是其拥有独立的虚拟地址空间.
"请页机制":可以为进程请求物理内存
malloc()从堆中分配一块内存,并将首地址返回给用户.
"低端内存"和"高端内存"
-
伙伴算法: 负责大块连续物理内存的分配和释放,以页框为基本单位. 该机制可以避免外部碎片.
-
per-CPU页框高速缓存: 内核经常请求和释放单个页框,该缓存包含预先分配的页框,用于满足本地CPU发出的单一页框请求.
-
slab缓存: 服务小块物理内存的分配,并且它也作为高速缓存,主要针对内核中经常分配并释放的对象.
-
vmalloc机制: 使得内核通过连续的线性地址来访问非连续的物理页框,这样可以最大限度的使用高端物理内存.
slab分配机制 -- 分配小块内存
内核空间非连续内存区的分配
最后都要调用"伙伴算法"
参考<深入理解Linux内核>第三版第八章
思考:
-
用户空间(进程)是否有高端内存概念?
-
64位 内核中有高端内存的说法吗?
-
在32位和64位系统上,用户进程能访问多少物理内存? 内核代码能访问多少物理内存?
4.4 物理内存的 分配与回收机制(下)
NUMA 的结构比 SMP 的结构更有优势，为什么现在的电脑不用 NUMA 的结构呢？
从用户态到内核态的内存分配:
当用户程序通过系统调用,申请内存时,首先陷入内核,建立虚拟地址空间的映射,获得一块虚拟内存区VMA. 当进程对这块虚存区进行访问时,如果物理内存尚未分配,此时发生一个缺页异常,通过getfreepage申请一个或者多个物理页面,并将此物理内存和虚拟内存的映射关系写入页表.
思考:
在物理内存为1G的计算机中,能否malloc(1.6G)? 为什么?