内存管理基本概念.ppt

END * 内存管理基本概念 内存管理模块提纲 基本概念和背景 连续区内存分配 页式内存管理 页表结构 段式内存管理 示例：Intel i386 非连续区内存分配 重温一些计算机组成的知识点 程序必须装入内存后，才能(以进程为单位)被CPU解释、执行 CPU能够直接访问的，只有主存、寄存器 访问寄存器需要 1 个CPU时钟周期，很快 访问主存需要许多时钟周期，或者，需要若干机器周期 Cache 位于主存、寄存器之间 计算机这么处理用户程序 C or C++ Source File C or C++ Compiler Include Files Source Listing Assembly Source File Assembler Source Listing Relocatable Object Module Create User Library (optional) Librarian User Library Library Directory Listing Linker Linker Command File Relocatable Object Module Link Map Absolute Object Module Device Programmer Target Development System 用户程序是如何编译执行的 Compiler和Assembler: 负责将用户源程序转换成目标程序，通常为二进制代码(binary object code). Linkage editor: 负责将多个目标代码连接产生单个可执行程序(.exe文件）。 Loader：加载程序到内存并准备执行。 汇编器(Assemblers) Assembler任务 把符号指令翻译成二进制指令 把标号(labels)翻译成地址 处理伪指令(pseudo-ops) 区别于编译，它基本上是one-to-one的翻译 产生的目标文件(Object file)添加了 Text段：代码 Data段：初始化了的全程变量 BSS段：未初始化的全程变量 基地址寄存器，界限寄存器 基地址(base)寄存器和界限(limit)寄存器共同划定逻辑地址空间 指令和数据的地址绑定(Binding) 源程序地址通常为符号形式，compiler将其绑定（映射）在可重定位的地址（例如“从本模块开始的第14字节”）；Linkage editor/loader 将其映射为绝对地址，例如“74014”。 指令和数据的地址绑定通常发生在 3 个阶段 编译时绑定：如果代码、数据的存放首地址已知，编译阶段即可确定绝对地址。如果首地址变更，则需要重新编译 指令和数据的地址绑定(续) 装入时绑定：如果代码、数据的存放首地址未知，编译阶段生成可重定位地址，装入时才确定绝对地址 执行时绑定： 如果允许进程在执行时迁移其代码、数据，那么，地址绑定也在执行时进行。需要硬件装置支持其地址映射 (e.g., 基地址寄存器和界限寄存器) 逻辑地址空间 vs. 物理地址空间 区别于物理地址空间的各种逻辑地址空间，是OS得以管理内存的必要条件 逻辑地址 – CPU产生的地址; 也称为虚地址 逻辑地址 – 非物理的各种地址标记包括符号名，包括编译、汇编、连接、装入操作产生的地址 物理地址 – 内存单元接收到的地址。也就是说，“浮现”在地址总线的地址，以二进制形式表达。 存储管理单元 (MMU) 存储管理单元(Memory-Management Unit ，MMU)是CPU内部的硬件装置，其功能是将虚拟地址(或逻辑地址)转换成物理地址 例如一种简单的MMU策略，在用户进程将逻辑地址送往地址总线前，MMU把重定位寄存器(relocation register)的值，加到这个逻辑地址 用户进程只能处理逻辑地址，它无法获取真正的物理地址 基于重定位寄存器的动态重定位(Dynamic relocation) 动态连接(Dynamic Linking) 进程即将用到的代码段，不被预先连接入程序，只有到真正被调用的时刻才连接 需要动态连接库(Linux的.so，或者Windows的.dll)的配合 设计一小段代码，称为存根（stub）。 当真正调用到该段代码时，通过stub定位该段代码，或者从外部装入内存 动态装入(Dynamic Loading) 进程即将用到的子程序，不被预先装入，只有到真正被调用的时刻才装入内存 这样，进程本次运行中没有调用的子程序，就不会被装入内存 更有效地利用了内存空间 不需要操作系统特别的支持。 交换(Swapping) 进程映像暂时传输至后备存储空间保存(换出，swap out)，需要(执行)时再装入内存 (换入，swap in)。称为“交换” 后备存储