linux代码导读-进程地址空间.pdfVIP

Linux 内核源代码导读 中国科学技术大学计算机系 陈香兰（ 0551 －3606864 ） xlanchen@ustc.edu.cn Spring 2009 进程地址空间 进程地址空间和内存描述符 线性区 创建和删除线性区 创建和删除进程的地址空间 缺页处理 堆 04/20/10 Linux操作系统源代码分析导读 2/26 内核态和用户态分配内存的不同  内核中的函数以直接了当的方式获得动态内存  内核是操作系统中优先级最高的成分。  内核信任自己  采用前面介绍的页面级内存分配和小内存分配以及非连续线性区  给用户态进程分配内存时  请求被认为是不紧迫的  用户进程不可信任  因此，当用户态进程请求动态内存时，并没有立即获得实际的物理 页框，而仅仅获得对一个新的线性地址区间的使用权  这个线性地址区间会成为进程地址空间的一部分，称作线性区 (memory areas) 04/20/10 Linux操作系统源代码分析导读 3/26 进程地址空间 进程最多能访问4GB 的线性地址空间 但进程在访问某个线性空间之前，必须获得该线 性空间的许可 因此，一个进程的地址空间是由允许该进程访问 的全部线性地址组成 内核使用线性区资源来表示线性地址空间 每个线性区由起始线性地址、长度和一些存取权限描 述 04/20/10 Linux操作系统源代码分析导读 4/26 与进程地址空间相关的描述符 mm_struct 04/20/10 Linux操作系统源代码分析导读 5/26 线性区的开始和结束都必须4KB 对齐 进程获得新线性区的一些典型情况：  刚刚创建的新进程 使用exec 系统调用装载一个新的程序运行 将一个文件（或部分）映射到进程地址空间中  当用户堆栈不够用的时候，扩展堆栈对应的线性区  …… 04/20/10 Linux操作系统源代码分析导读 6/26 与创建、删除地址空间和线性区相关的系统调 用  brk ( ) 改变进程堆的大小  execve( ) Loads a new executable file, thus changing the process address space  _exit ( ) Terminates the current process and destroys its address space  fork ( ) Creates a new process, and thus a new address space  mmap ( ) Creates a memory mapping for a file, mmap2 ( ) thus enlarging the process address space  mremap ( ) 扩大或缩小线性区  remap_file_pages( ) Creates a non-linear mapping for a file  munmap ( ) Destroys a memory mapping for a file, thus contracting