操作系统与数据库系统的核心知识点属于计算机科学与技术专业尤其是考研408统考或相关课程的重点复习提纲。以下是对各部分的简明梳理与关键点说明✅死锁处理预防破坏死锁四个必要条件之一互斥、占有并等待、非抢占、循环等待如要求进程一次性申请所有资源破坏“占有并等待”。避免动态检测资源分配状态是否安全典型算法为银行家算法需已知最大需求。检测允许死锁发生通过资源分配图或等待图定期检测环路。解除检测到死锁后通过撤销进程或剥夺资源如回滚、抢占打破循环等待。✅存储管理分区管理固定/可变分区易产生外部碎片简单但缺乏灵活性。分页逻辑地址→页号页内偏移物理地址→帧号页内偏移消除外部碎片但有内部碎片。分段按逻辑模块如主程序、栈、数据段划分支持共享与保护存在外部碎片。段页式先分段再分页兼具逻辑清晰性与内存利用率地址结构为段号 页号 页内偏移。✅页面置换算法FIFO最先进入内存的页被换出可能产生Belady异常增加页框数反而缺页率上升。LRU最近最少使用换出最久未被访问的页性能好但实现开销大需硬件支持访问位/时间戳。OPT最优置换换出未来最久不使用的页仅作为理论下界不可实现。✅文件逻辑结构顺序结构记录按逻辑顺序连续存放适合顺序存取效率高但插入/删除困难。索引结构建立索引表支持随机存取索引本身可顺序/链式组织兼顾灵活性与效率。链接结构每个记录含指针指向下一记录显式链接或由FAT/索引节点隐式链接便于动态增删但不支持高效随机访问。✅磁盘调度算法FCFS按请求到达顺序服务公平但平均寻道时间长。SSTF优先服务离当前磁头最近的请求减少寻道时间但可能导致饥饿。SCAN电梯算法磁头单向扫描到端点后反向公平且性能稳定。CSCAN磁头单向服务到端点后直接跳回起点继续提供更均匀的响应时间。✅I/O 控制方式程序查询CPU轮询设备状态简单但CPU利用率极低。中断驱动设备就绪后发中断CPU响应处理提高CPU并发性。DMA直接内存存取由DMA控制器接管数据传输CPU仅初始化和结束处理适合大批量数据传输。通道专用I/O处理器可执行通道程序实现CPU与I/O高度并行用于大型机/高端服务器。✅并发基本概念宏观同时微观交替多任务在单核上通过时间片轮转实现“并发”多核则可真正“并行”。✅数据库系统核心要点三要素数据结构如关系表、操作增删改查、完整性约束实体/参照/用户自定义。三级模式两级映像外模式用户视图、模式全局逻辑结构、内模式物理存储结构外-模式映像保障逻辑独立性模式-内映像保障物理独立性。数据模型关系模型主流基于数学集合论层次/网状为早期模型已少用。关系代数5种基本运算选择σ、投影π、笛卡尔积×、并∪、差−连接自然连接、θ连接是衍生运算。SQL核心子句SELECT投影FROM笛卡尔积连接WHERE选择GROUP BY分组HAVING分组后筛选ORDER BY排序银行家算法中的安全性检查Safety Algorithm是用于判断系统当前资源分配状态下是否处于安全状态的核心步骤。若存在至少一个安全序列则系统是安全的不会发生死锁否则为不安全状态可能发生死锁。✅ 安全性检查的具体步骤伪代码说明设系统有m类资源n个进程Available[1..m]当前可用的各类资源数量Max[i][j]进程i对资源j的最大需求量Allocation[i][j]进程i当前已分配的资源j数量Need[i][j] Max[i][j] − Allocation[i][j]进程i尚需的资源j数量目标判断是否存在一个进程执行顺序即安全序列使得所有进程都能顺利完成。 算法步骤如下初始化工作向量Work[1..m] ← Available[1..m]Finish[1..n] ← false标记每个进程是否已完成寻找可满足进程遍历所有进程ii 1 to n若同时满足Finish[i] false该进程尚未完成Need[i][1..m] ≤ Work[1..m]即对每类资源j都有Need[i][j] ≤ Work[j]→ 则认为进程i可获得所需全部资源并顺利执行完毕。模拟分配与释放若找到这样的进程iWork[1..m] ← Work[1..m] Allocation[i][1..m]进程执行完后归还全部已占资源Finish[i] ← true将i加入候选安全序列记录顺序重复步骤2–3直到所有Finish[i] true→系统安全记录的执行顺序即为一个安全序列或再也找不到满足条件的i即剩余未完成进程中任一的Need Work→系统不安全。✅ 构造安全序列的示例简例假设有 3 类资源 A、B、C5 个进程 P₀~P₄进程Max (A,B,C)Allocation (A,B,C)Need Max−AllocationP₀7,5,30,1,07,4,3P₁3,2,22,0,01,2,2P₂9,0,23,0,26,0,0P₃2,2,22,1,10,1,1P₄4,3,30,0,24,3,1当前Available [3,3,2]✅执行安全性检查初始Work [3,3,2],Finish [F,F,F,F,F]查找P₁Need[1,2,2] ≤ Work→ 满足 →Work [3,3,2][2,0,0] [5,3,2],Finish[P₁]T再查P₃Need[0,1,1] ≤ [5,3,2]→ 满足 →Work [5,3,2][2,1,1] [7,4,3],Finish[P₃]T再查P₀Need[7,4,3] ≤ [7,4,3]→ 满足 →Work [7,4,3][0,1,0] [7,5,3],Finish[P₀]T再查P₂Need[6,0,0] ≤ [7,5,3]→ 满足 →Work [7,5,3][3,0,2] [10,5,5],Finish[P₂]T最后P₄Need[4,3,1] ≤ [10,5,5]→ 满足 →Finish[P₄]T✅ 所有 Finish 为 true →系统安全✅ 安全序列为P₁ → P₃ → P₀ → P₂ → P₄注意可能不唯一只要存在一个即可关键提醒安全序列 ≠ 实际运行顺序仅表示“存在一种调度可能使所有进程完成”银行家算法在每次资源请求前都执行此检查仅当结果为安全时才批准分配时间复杂度为 O(m×n²)适用于进程/资源数不大的场景。如需我为您生成可运行的 Python 实现代码含输入解析与安全序列输出欢迎继续提问