图的基本定义 图的基本定义图的定义 有向图、无向图 简单图、多重图 顶点的度、入度、出度 顶点-顶点的关系描述 连通图、强连通图 研究图的局部—-子图 连通分量 无向图中的极大连通子图称为连通分量 强连通分量 有向图中的极大强连通子图称为有向图的强连通分量 生成树 生成森林 边的权、带权图/网 几种特殊形态的图 总结 2023-05-16 数据结构 > 第六章 图 > 图的基本概念
习题总结 习题总结 对于顺序执行程序,缺页中断的次数等于其访问的页帧数。由于页面尺寸增大,存放程序需要的页帧数就会减少,因此缺页中断的次数也会减少。 多次性、对换性和离散型是虚拟内存的特征,一次性是则是传统存储体系的特征。 虚拟存储技术基于程序的局部性原理。局部性越好,虚拟存储系统越能更好地发挥作用。 请求分页存储管理方式和基本分页存储管理方式的区别是,前者采用虚拟技术,因此开始运行时,不必将作业全部一次性 2023-05-15 操作系统 > 第三章 > 虚拟内存管理
页面分配策略 页面分配策略页面分配、置换策略 何时调入页面 何处调入页面 系统拥有足够的对换区空间:页面的调入、调出都是在内存与对换区之间进行,这样可以保证页面的调入、调出速度很快。在进程运行前,需将进程相关的数据从文件区复制到对换区。 系统缺少足够的对换区空间:凡是不会被修改的数据都直接从文件区调入,由于这些页面不会被修改,因此换出时不必写回磁盘,下次需要时再从文件区调入即可。对于可能被修改的部分,换出时需写 2023-05-15 操作系统 > 第三章 > 虚拟内存管理
页面置换算法 页面置换算法 最佳置换算法(OPT) 最佳置换算法(Optimal Page Replacement Algorithm)是一种理论上的页面置换算法,它通过选择以后不再使用或者在最长时间内不再被访问的页面进行置换,从而达到最低的缺页率1。然而,由于未来是无法预测的,所以这种算法是理想化的。 先进先出置换算法(FIFO) 先进先出页面置换算法(First In First Out,FIFO)是一种 2023-05-15 操作系统 > 第三章 > 虚拟内存管理
习题总结 习题总结 编址空间的大小取决于硬件的访存能力,一般由地址总线宽度决定。 虚拟内存的管理由相关的硬件和软件支持,由请求分页页表机制、缺页中断机构、地址变换机构。 实现虚拟内存的管理需要一定的硬件支持,包括一定容量的内存和外存,页表机制(或段表机制)作为主要的数据结构,中断机构,当用户程序要访问的部分尚未调入内存,则产生中断,以及地址变换机构,用于逻辑地址到物理地址的变换。虚拟内存的实现需要建立在离散 2023-05-15 操作系统 > 第三章 > 内存管理概念