7-2012-秋季-存储模型.pdf

操作系统高级课程 Operating Systems Advanced Class 北京大学软件与微电子学院 2012秋季 陈向群 大纲  基本概念  虚拟页式存储管理  Windows存储管理模型 基本概念 地址独立、地址保护 程序执行前的准备 编译 链接 装载 运行 源程序1 目标文件1 装载 装载 源程序2 目标文件2 模块 模块 (磁盘 ( 内存 … … 中) 中) 源程序n 目标文件n 其他目标文件 系统库 何时将指令、数据绑 定到内存地址 内存管理的目标 满足两个内存抽象  地址独立 程序发出的地址应与物理内存地址无关  地址保护 一个程序不能访问另一个程序的地址空间 多道程序设计与内存管理 同时有多个  需要内存管理做更多的工作 用户程序在 内存中  需要支持地址重定位  程序中的地址不一定是最终的物理地址  在程序运行前无法计算出物理地址 因为不能确定程序被加载到内存什么地方  需要支持地址保护  进程 间地址空间不能互访问 地址保护 防止地 址越界  确保每个进程有独立的地址空间  确定进程可访问的合法地址的范围  确保进程只访问其合法地址 操作系统通过特殊的特 权指令加载 基地址 界限 寄存器 寄存器 基地址 基地址+界限地址 地址 是 是 CPU ≥ 否 否 地址越界 → 陷入操作系统 内存 地址重定位  逻辑地址