外存资源管理.ppt

6.4 外存资源管理 外存空间划分 静态等长，2i, 称为一块(block)，块是外存分配的基本单位，也是IO传输的基本单位。 外存空间分配 空闲块链(慢) 空闲块表(UNIX) 字位映像图 进程与外存对应关系 界地址 每进程占一组外存连续块； 每进程占二组外存连续块（双对界）。 页式 内存一页，外存一块。 段式 每段占外存若干连续块。 段页式 内存一页，外存一块。 6.5 虚拟存储系统 无虚拟问题 不能运行比内存大的程序； 进程全部装入内存，浪费空间（进程活动具有局部性)。 单控制流的进程需要较少部分在内存； 多控制流的进程需要较多部分在内存。 虚拟存储 进程部分装入内存，部分（或全部）装入外存，运行时访问在外存部分动态调入，内存不够淘汰。 6.5.1 虚拟页式存储系统 基本原理 进程运行前： 全部装入外存，部分装入内存。 进程运行时： 访问页不在内存，发生缺页中断，中断处理程序： 找到访问页在外存的地址； 在内存找一空闲页面； 如没有，按淘汰算法淘汰一个； 如需要，将淘汰页面写回外存，修改页表和总页表； 读入所需页面（切换进程）； 重新启动中断指令。 6.5.1.5 淘汰算法(replacement algorithm) FIFO淘汰算法(belady异常) LRU算法 6.5.1.7 工作集模型(working set model) 6.5.1.8 页故障率反馈模型 6.5.2 虚拟段式存储系统 进程运行前，全部装入外存，部分装入内存，访问段不再内存时，发生缺段中断。 6.5.2 虚拟段式存储系统 6.5.2.2 段的动态连接(dynamic linking) 动态连接 vs. 静态连接 静态连接：运行前连接，由link完成； 动态连接：运行时连接，由OS完成. 静态连接的缺点 连接时间长； 目标代码长； 连接段可能并不执行(未用到)。 动态连接问题 动态连接与共享的矛盾 动态连接：修改连接字（代码） 段的共享：要求纯代码（pure code) 解决方法 共享代码分为“纯段”和“杂段” 纯段共享， 杂段私用。 6.5.3 虚拟段页式存储系统 考虑 段的动态连接 段的共享 段长度的动态变化 6.6 系统举例 Linux存储管理 Windows2000/XP存储管理 6.6.1 Linux存储管理 Page replacement page daemon: kswapd, runs once a second , keep enough free pages in memory. （页守护进程） flush daemon: bdflush, wakes up periodically, “dirty page out”.（刷新守护进程） 所需表目： (1) 段表：每进程一个 页表长度 页表首址 访问权限 扩展标志 共享段入口 … … … … … 段号 (2) 页表：每段一个 内存页号 外存块号 内外标志 修改标志 … … … ... 逻辑页号 (3) 共享段表：系统一个 段名 页表长度 页表首址 扩充标志 共享计数 … … … … … (4) 段名-段号对照表：每进程一个 对应关系： 私用段 共享段 共享段表 P1段表： P2段表： 共享段表 P1段表： P2段表： 15 16 17 18 19 20 21 22 23 24 25 ... ... 页表 页表 存储空间： si sj sk 所需寄存器： (1) 段表长度寄存器：保存正运行进程段表长度 (2) 段表首址寄存器：保存正运行进程段表首址 (3) 快表 段号 逻辑页号 页架号 访问权限 修改标志 … … … … … 地址映射： ?: (s,p,d) ? (f,d) ?{?} 逻辑地址(s,p,d)?物理地址(f,d) 由(s,p)查快表得f 查到 访问合法 形成物理地址(f,d) 是间址 有障碍位 继续 0?s?l-1 0?p?l’-1 由(s,b)查段表得b’,l’ 越界中断 越界中断 由b’和p查页表得f 该页在内存 缺页中断 (s,p,f)?快表 越权中断 T F T F 连接中断 T F T F T F T F T l:段表长度 b:段表首地址 l’: 页表长度 b’: 页表首地址 形成物理地址(f,d) 中断处理： 1. 连接中断 　(1) 所