2013数据库系统工程师考点知识精讲三

1 第三章 操作系统知识第三章 操作系统知识 1 操作系统的定义 是管理计算机中各种软件 硬件资源的程序和相关文档的集合 是一种系统软件 操作系统能有效的组织和管理系统中的各种软 硬件资源 合理地组织计算机工作流 程 控制程序的执行 并且向用户提供一个良好的工作环境和友好的接口 操作系统的两个重要作用 通过资源管理 提高系统的使用效率 改善人机界面 向用户提供友好的工作环境 操作系统的4个特征 并发性 共享性 虚拟性 不确定性 操作系统的5个管理功能 进程管理 文件管理 存储管理 设备管理 作业管理 操作系统的分类 操作系统的分类 批处理系统 计算机自动 顺序地执行作业流产生的每一个作业 以节省人工操作时 间和提高机器的使用效率 分为单道批处理系统和多道批处理系统 优点是同一批内的各 作业次次执行 改善了 cpu io 的使用效率 提高了吞吐量 缺点是磁盘需要人工装卸 作 业需要人工分类 监督程序易受用户程序破坏 缺少交互性 分时系统 具有如下特征 多路性 独立性 交互性 及时性 实时系统 分为实时控制系统和实时信息处理系统 主要特点有 快速的响应时间 有限的交互能力 高可靠性 网络操作系统 使得计算机更有效地共享网络资源 为网络用户提供所需各种服务的 软件和有关协议的集合 分布式操作系统 是由多个分散的计算机经网络连接而成 各主机无主次之分 为分 布式计算机配置的操作系统称为分布式操作系统 微机操作系统微机操作系统 嵌入式操作系统 2 研究操作系统的观点 资源管理的观点 从这种观点看 操作系统的管理对象是计算机系统的资源 操作系 统则是管理计算机系统的程序集合 这种观点是在共享的前提下以资源分配 使用和回收 为出发点 考虑操作系统各部分程序的功能和算法 虚拟机的观点 操作系统加裸机构成虚拟计算机 虚拟机的观点是从功能分解的角度 出发 考虑操作系统的结构 将操作系统分成若干层次 每一层完成特定的功能 3 顺序程序执行时的特征 顺序性 封闭性 可再现性 并发程序执行时的特征 非封闭性 程序和机器执行程序的活动不在一一对应 并发 程序间的相互制约性 引入进程的原因 由于程序并发执行破坏了程序的封闭性和可再现性 使得程序和执 行程序的活动不在一一对应 此时用静态的程序概念已经不能描述系统中程序动态执行的 过程 所以引入了进程 4 进程的定义 就是程序的一次执行 该程序可以和其它程序并发执行 进程的组成 进程通常是由程序 数据及进程控制块 PCB 组成的 进程的程序部分是进程执行时不可修改部分 它描述了进程需要完成的功能 进程的数据部分是进程的可修改部分 进程控制块是进程的描述信息和控制信息 是进程存在的惟一标志 进程和程序的区别是 进程具有状态而程序没有 2 5 进程的状态及状态间的切换 三态模型 运行 就绪 阻塞 五态模型 新建态 终止态 运行 就绪 阻塞 新建态 对应于进程刚刚被创建时还没有被提交 并等待系统完成创建进程的所有必 要信息的状态 整个过程分为两个阶段 一是为一个新建进程创建必要的管理信息 另一 是让进程进入就绪状态 因为有了新建态 操作系统可以根据系统的性能和主存的容量限 制而推迟新建态的提交 终止态也分为两个阶段 一是等待操作系统进行善后处理 另一是释放主存 具有挂起状态的进程状态 当系统资源不能满足所有进程的运行要求时 必须将某些 进程挂起 放在磁盘对换区 暂时不参加调度 以平衡系统负载 有这样几个状态 活跃 就绪 静止就绪 活跃阻塞 静止阻塞 6 进程的控制 就是对系统中所有进程从创建到消亡的全过程实施有效的控制 操作 系统的内核为系统实现进程控制和存储管理提供了有效的控制机制 大多数操作系统内核均包含支撑功能和资源管理功能 支撑功能 中断处理 时钟管理 原语操作 支撑功能 中断处理 时钟管理 原语操作 原语是由若干条机器指令构成的 用于完成特定功能的一段程序 内核在执行某些基 本操作时往往是通过原语操作实现的 原语在执行过程中不可分割 内核中包含的原语有 进程控制 进程通信 资源管理等 资源管理功能 进程管理 存储器管理 设备管理 7 进程间通信 进程间的同步 一般来说 一个进程相对于另一个进程的运行速度是不确定的 即进 程是在异步环境下运行 每个进程都以各自独立的不可预知的速度向前推进 但相互合作 的进程需要在某些确定点上协调它们的工作 当一个进程到达了这些点后 除非另一进程 已完成了某些操作 否则就不得不停下来等等这些操作结束 进程间的互斥 在多道程序系统中 各进程可以共享各类资源 但有些资源一次只能 供一个进程使用 称为临界资源 critial resource 同步是进程间的直接制约问题 互 斥是进程间的间接制约问题 临界区 critial section 是对临界资源实施操作的那段程序 互斥临界区管理的原 则为 有空即进 无空则等 有限等待 让权等待 8 整形信号量与 PV 操作 整形信号量是一个整形变量 根据控制对象的不同赋不同的值 信号量分为两类 公用信号量 实现进程间的互斥 每个相关进程即可对它施行 P 操作也可以进行 V 操 作 初值为1或资源的数目 私用信号量 实现进程间的同步 只有一个进程可以对它施行 P 操作 其它进程只能 做 V 操作 初值为0或某个正整数 信号量 S 的物理意义 S 0表示某资源的可用数 S 0 则执行 P 操作的进程继续执行 否则若 S0 则执行 V 操作的进程继续执行 否则 若 S 0 则从阻 3 塞状态唤醒一个进程 并将其插入就绪队列 执行 V 操作的进程继续执行 利用 PV 操作实现进程的互斥 令信号量 mutex 的初值为1 当进入临界区时执行 P 操作 临界区时执行 V 操作 P mutex 临界区临界区 V mutex 怎样利用 PV 操作实现进程的同步 可用一个信号量与消息联系起来 当信号量的值为 0时表示希望的消息未产生 当信号量的值为非0时表示希望的消息已经存在 假定用信号 量 S 表示某条消息 进程可以通过调用 P 操作测试消息是否到达 调用 V 操作通知消息已 准备好 最典型的是单缓冲区的生产者和消费者的同步问题 如果采用 PV 操作来实现进程 PA 和进程 PB 间的管道通信 并且保证这两个进程并发执行的正确性 则至少需要2个信号 量 信号量的初值分别为0 1 9 高级通信原语 因为 PV 操作不足以描述复杂的进程间的信息交换 所以引入高级 通信原语 高级通信原语有这么几种 共享存储系统 消息传递系统 管道通信 进程通信有直接和间接两种方式 间接方式是以信箱以为媒介 10 管程 monitor 另一种同步机制 采用资源集中管理的方法 将系统中的资源 用某种数据结构抽象地表示出来 由于临界区是访问共享资源的代码段 因而建立一个管 程来管理进程提出的访问请求 采用这种方式对共享资源的管理就可以借助数据结构及在 其上实施操作的若干过程来进行 对共享资源的申请和释放可以通过过程在数据结构上的 操作来实现 11 进程调度 在某些系统中一个作业从提交到完成需要经历高 中 低三级的调度 高级调度 又称长调度 作业调度或接纳调度 它决定输入池中的哪个后备作业可以 调入主系统做好运行的准备 成为一个或一组就绪进程 中级调度 又称对换调度 它决定处于交换区中的哪个就绪进程可以调入主存 以便 直接参与 CPU 的竞争 低级调度 又称进程调度 它决定处于主存中的哪个进程使用 CPU 调度方式 是指当有更高优先级的进程来到时如何分配 CPU 调度的方式分为可剥夺式 和不可剥夺式两种 常用的调度算法 先来先服务 主要用于宏观调度 有利于长作业 有利于 CPU 繁忙 的作业 时间片轮转 主要用于微观调度 提高了并发性和响应时间 最终提高了资源利用率 优先级调度 分为静态和动态两种 多级反馈调度 是在时间片轮转和优先级算法的基础上改进得到 其特点是 照顾了 短进程以提高系统吞吐量 照顾 I O 型进程以获得较好的 I O 设备利用率并缩短响应时间 不必估计进程的执行时间和动态调节优先级 12 死锁 就是指两个以上的进程相互请求对方已经占有的资源时而导致无法继续运 行下去的现象 几种会产生死锁的情况 进程推进程顺序不当 同类资源分配不当 PV 使用不当 进程资源有向图 由方框 圆圈和有向边3部分组成 其中资源用方框表示 进程用圆 4 圈表示 在方框中每一个小圆圈代表一个资源 有向边分别代表请求资源和分配资源 死锁产生的原因 因为竞争资源或进程推进顺序非法 进程推进顺序仍是关于进程请 求和释放资源的顺序 死锁产生的4个必要条件 互斥条件 请求保持条件 不可剥夺条件 环路条件 互斥是说进程对所要求的资源有排它性控制 请求保持是说进程断续地请求资源 但 后续的资源被阻塞 环路是指在发生死锁时在进程资源有向图中 每个进程都占有了下一 个进程请求的一个或多个资源 死锁的4种处理 鸵鸟策略 预防策略 即破坏死锁产生的4个必要条件之一 避免策略 即精心分配资源 主动回避死锁 检测与解除死锁 13 线程 传统的进程有两个基本属性 即可拥有资源的独立单位 和可独立调度 分配的基本 单位 引入线程后 将传统进程的两个属性分开 线程作为可独立调度和分配的基本单位 进程作为独立拥有资源的单位 因此 用户可以通过创建线程来完成任务 以减少程序并 发执行时的时空开销 14 存储器的结构 寄存器 缓存 主存 辅存 虚拟地址 又称为逻辑地址 相对地址 程序地址 它是从0号单元开始编址 并顺序 分配所有的符号名所对应的地址单元 它不是主存中的真实地址 地址空间 又称逻辑地址 虚地址 存储空间 又称物理地址空间 是物理地址的集合 相对地址空间通过地址再定位机 构转换到绝对地址空间 重定位 程序的逻辑地址被转换成主存的物理地址的过程称为地址重定位