第2章 · 知识精要

操作系统

章节概述

操作系统是计算机系统的核心系统软件,负责管理和控制软硬件资源。本章以"一个观点(资源管理)、两条线索(资源管理与程序执行控制)"贯穿,涵盖进程管理、存储管理、设备管理、文件管理和作业管理五大功能,重点掌握进程状态转换、PV 操作、段页式存储与页面调度算法。

知识结构框架

核心概念定义

进程三态模型

状态转换规则:阻塞→就绪(事件到来)、就绪→执行(调度选中)、执行→就绪(时间片用完)、执行→阻塞(等待事件)。阻塞不能直接到执行,就绪不能直接到阻塞。

进程互斥与同步

协调准则:①空闲让进 ②忙则等待 ③有限等待 ④让权等待

PV 操作(信号量机制)

信号量是一个整数,≥0 时代表可用资源实体数,<0 时表示等待进程数。P/V 操作为不可分割的原子操作(原语)。

死锁四必要条件

  1. 互斥条件:资源一次只能被一个进程使用
  2. 保持和等待条件:进程保持已占资源并请求新资源
  3. 不剥夺条件:资源不能被强行夺走
  4. 环路等待条件:存在进程-资源的循环等待链

策略:预防(打破四条件之一)、避免(银行家算法)、检测与恢复。

页面调度算法

算法策略特点
OPT(最优)淘汰不再使用或最远将来才使用的页理想算法,难以实现,用于比较
RAND(随机)随机选择淘汰页开销小,可能选中即将访问的页
FIFO(先进先出)淘汰内存驻留时间最长的页简单;可能出现 Belady 异常(页面增多缺页反而增加)
LRU(最近最少使用)淘汰最近一段时间内使用最少的页合理但实现复杂,开销较大

数据传输控制方式

SPOOLING 技术

假脱机技术(外部设备同时联机操作),用一组程序或进程模拟一台 I/O 处理器,将低速独占设备改造为可共享设备,一台物理设备对应若干台虚拟设备。必须有高速大容量可随机存取的外存(磁盘/磁鼓)支持。

文件物理结构

分配方式特点适用场景
顺序分配连续物理块,需预知长度顺序存取,存取快
链接分配指针链接物理块,可动态增长顺序访问,搜索效率低
索引分配索引表记录逻辑块→物理块映射顺序+随机存取,开销大

关键公式与模型

段页式虚拟地址
虚地址 = (段号, 页号, 页内偏移)
查表顺序:段号→段表→页表地址→页号→页表→物理块号→+页内偏移→物理地址
位示图法
位示图每一位对应一个物理块,0=空闲,1=占用
若系统字长 32 位,则第 i 个字对应第 32×i 到 32×(i+1)-1 号物理块

SVG 图表参考

考试要点
  • 进程三态转换图:阻塞不能直接到执行、就绪不能直接到阻塞
  • PV 操作实现互斥与同步(生产者-消费者问题)
  • 死锁四必要条件及预防/避免策略(银行家算法)
  • 页面调度算法对比,FIFO 的 Belady 异常
  • 段页式地址转换过程(段表→页表→物理地址)
  • SPOOLING 技术概念与组成
  • 数据传输控制方式的演进(程序控制→中断→DMA→通道)