进程地址空间.pptVIP

xlanchen@2007.6.25 Linux OS analysis Linux操作系统分析 中国科学技术大学计算机系 陈香兰（0512 xlanchen@ustc.edu.cn Spring 2011 进程地址空间 内核态和用户态分配内存的不同 内核中的函数以直接了当的方式获得动态内存 内核是操作系统中优先级最高的成分。 内核信任自己 采用我们上次课介绍的页面级内存分配和小内存分配 内核态和用户态分配内存的不同 给用户态进程分配内存时 请求被认为是不紧迫的 用户进程不可信任 因此，当用户态进程请求动态内存时，并没有立即获得实际的物理页框，而仅仅获得对一个新的线性地址区间的使用权 这个线性地址区间会成为进程地址空间的一部分，称作线性区(memory areas) 进程地址空间 进程最多能访问4GB的线性地址空间 但进程在访问某个线性空间之前，必须获得该线性空间的许可 因此，一个进程的地址空间是由允许该进程访问的全部线性地址组成 内核使用线性区资源来表示线性地址空间 每个线性区由起始线性地址、长度和一些存取权限描述 与进程地址空间相关的描述符 线性区的开始和结束都必须4KB对齐 进程获得新线性区的一些典型情况： 刚刚创建的新进程 使用exec系统调用装载一个新的程序运行 将一个文件（或部分）映射到进程地址空间中 当用户堆栈不够用的时候，扩展堆栈对应的线性区 …… 与创建、删除线性区相关的系统调用 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  the process address space shmat( ) Attaches a shared memory region shmdt( ) Detaches a shared memory region 线性区（memory area） 比如0—0x0804C000这段线性地址空间被分配给了一个进程，进程就可以访问这段地址空间 进程只能访问某个有效的memory area。进一步讲，这个area可以被标志为只读或者不可执行(nonexecutable) 如果进程试图访问一个有效的area之外的地址或者用不正确的方式访问一个有效的area，内核将通过段异常(segmentation fault)杀死这个进程 线性区中可以包含各种内容 可执行文件代码段的内存映射，就是.text section 数据段的内存映射，.data section zero page的内存映射用来包含未初始化的全局变量，.bss section 为库函数和链接器附加的代码、数据、bss段 文件的内存映射 共享内存的映射 匿名内存区域的映射，比如通过malloc()函数申请的内存区域 进程地址空间中所有有效的线性地址都确定的存在于一个area中 memory areas不重叠 进程中每个单独的area对应一个不同内存区： 堆栈、二进制代码、全局变量、文件映射等等 增加或删除一个线性区 task_struct中的内存描述符 分配一个内存描述符 copy_mm函数用来在fork()调用中从父进程拷贝内存描述符 其中间接调用mm_alloc_pgd来分配一个新的页表 而mm_struct数据结构本身的空间是从mm_cachep指向的slab缓存中通过allocate_mm()宏分配得到的 如果父进程在fork()创建子进程时，通过一些标志指明要和子进程共享地址空间。那么，只需要 释放一个内存描述符 在进程退出时，exit_mm()函数被调用 首先做一些清除工作，更新一些内核全局统计数据 接着调用mmput()，这个函数减内存描述符的mm_users域 如果mm_use