磁盘是计算机系统中最重要的辅助存储器（外存），本文介绍磁盘的物理结构（盘面、磁道、扇区、柱面）、存取时间（寻道时间、旋转延迟、传输时间）、常用的磁盘调度算法（如FCFS、SSTF、SCAN、C-SCAN、LOOK/C-LOOK）以及磁盘空闲空间管理方法（如空闲块链表、位示图、成组链接法）。

段页式存储管理是结合了分段和分页优点的离散内存管理方式，本文介绍其逻辑地址结构、两级映射表（段表与页表）的工作原理、地址转换过程及优缺点。

段式存储是一种离散分配的内存管理方式，按用户作业的逻辑意义将进程地址空间划分为若干段，以段为单位离散装入内存。本文介绍了段式存储的定义与本质、核心概念（段、段表、地址映射）、与页式存储的区别、段的共享与保护机制、动态链接支持，以及优缺点对比和习题。

页式存储是一种将进程逻辑地址空间与物理内存空间划分为等大小单元、通过页表实现离散分配与地址转换的内存管理方式，本文介绍了页式存储的定义、核心概念、地址映射过程、快表与两级页表的优化机制，并通过对比优缺点和例题分析了其性能与适用场景。

进程资源图是描述系统当前状态下进程与资源之间分配与请求关系的有向图，是操作系统进行死锁检测和资源调度分析的工具。本文介绍了进程资源图的定义与本质、核心组成要素、核心判读逻辑、可化简图与不可化简图的区分，并给出了练习题解析。

本文介绍了在AI治理框架下确保技术产品合规性的工程化路径。指出合规不应是问题发生后的被动修补，而应作为内嵌于算法全生命周期的“免疫系统”。强调，合规本质上是对技术质量的高标准要求，在算法立项之初便与模型训练并行启动。

LIME是一种经典的机器学习可解释性工具，旨在解决复杂模型难以理解的问题。与SHAP类似，LIME通过局部逼近的方式解释模型的预测行为，但其核心思路有所不同。本文介绍了LIME的基本原理、核心目标函数、三大特点，并说明了其工作流程与实现细节。通过与SHAP的对比，分析了两种工具各自的适用场景。

死锁是两个及以上进程因争夺不可剥夺资源而陷入的互相等待状态，本文梳理了死锁的四个必要条件，对比了死锁与饥饿的区别，详细介绍了三种处理策略，并给出了不发生死锁的最小资源数计算公式及经典例题。

本文介绍了机器学习可解释性工具SHAP，解答“模型为何做出特定预测”这一核心问题。文章说明了SHAP满足局部准确性、缺失性和一致性三大数学特性，具有模型通用、支持局部与全局解释等优势；并以模拟数据和XGBoost模型为例，展示了SHAP值汇总图、依赖图、力图和瀑布图四种可视化方法。

本文介绍了进程的三态模型（就绪、运行、阻塞）和五态模型（增加挂起就绪、挂起阻塞），阐述了状态转换条件、进程控制块（PCB）的概念与组织方式，并配有典型练习题。