操作系统审计校对报告（推翻 8 条旧判定）¶
校对日期：2026-09-02
被校对对象：Relax1000操作系统417题细致审计.md（2026-08-31）
起因：2026-09-01 对另外三科的逐题复核发现，同一轮审计的 22 条旁注里有 5 条站不住，
病根都是"拿工程实现去压王道教材口径"。操作系统那份出自同一轮、同一方法，需同等复核。
一、校对结论¶
原审计的 23 条高风险判定中，只有 10 条站得住。
| 复核结论 | 条数 | 含义 |
|---|---|---|
| 成立 | 10 | 原判正确，保留 |
| 应撤销 | 8 | 原判不成立，须从勘误表和打印清单删除 |
| 定级偏重 | 3 | 问题属实但不该判作废，降级后题目可做 |
| 定性需改 | 2 | 问题属实但处理方式应换 |
最直接的影响：作废题从 9 道缩减到 3 道。 原清单让人跳过的 6 道题里， 有王道原书同源题（第3章 Q28）和缺页流程核心题（第3章 Q76），跳掉损失不小。
原审计给出的综合评分 7.5/10 基本可维持，但第 4 章应由 6.9 上调至 7.5（理由见第四节）。
二、真正应当作废的只有 3 道¶
| 题号 | 结论 | 依据 |
|---|---|---|
| 第2章 Q70 | 作废 | 独立复算：P1 先入队得 (17,34)=A；P2 先入队得 (18,27)=D。两个结果都在选项里，题干未定同时到达的入队次序。王道遇同时到达会在题面写明次序（p93 b_93_4） |
| 第2章 Q105 | 作废 | 招牌结论站得住，见第三节 |
| 第3章 Q44 | 作废 | 王道 p233："淘汰页框挂入空闲链表后仍保留着原有数据……可直接从空闲链表中取下该页框复用"。命中缓冲队列时 B、D 都不发生，单选两解 |
三、Q105 复核：招牌结论成立¶
原审计最醒目的结论是"Q105 作废，按王道四项全对"。复核确认成立，且证据比原报告更硬：
王道 2027 根本没有区分 mutex 与 spinlock，而是明文等同：
- p115
b_115_13：acquire()伪代码旁注"//忙等待"； - p116
b_116_0：开篇即"上述互斥锁也称自旋锁，其主要缺点是忙等待"。
故 C（"互斥锁无法实现让权等待，属于忙等机制"）在王道口径下为真。另三项也逐条为真：
- A 关中断"不适用于多处理器系统"（p114
b_114_7）； - B Peterson"没有遵循让权等待"（p113
b_113_11）、TS/Swap"无法实现让权等待"（b_114_15、b_115_9）； - D 管程 signal"若不存在因该条件而阻塞的进程，则 signal 不会产生任何影响"（p141
b_141_14）。
四项皆真、无错误项，单选失效。原解析援引汤小丹的 Linux 进程同步机制属第 4 层，推不翻第 2 层。
四、第 4 章：6.9 分的依据部分不成立，应上调至 7.5¶
原审计把第 4 章打成全书最低分，核心指控是"打开文件表在王道模型与 Unix 实现之间反复横跳"。 复核结果是：横跳属实，但原审计举的五根支柱倒了两根、一根被题干豁免、一根其实是王道自己的矛盾。
关键发现：王道 2027 自己前后矛盾¶
| 出处 | 读/写指针放在哪 |
|---|---|
p279 b_279_2 |
进程打开文件表（"记录进程私有的访问状态，如当前读/写指针、访问权限及文件打开模式"） |
p280 b_280_1 |
进程打开文件表（"必须与磁盘上的共享文件属性分离，保存在进程的打开文件表中"） |
p300 b_300_2（真题解析） |
用户打开文件表（"读/写指针的位置不同，它们保存在各自的用户打开文件表中"） |
p300 b_300_8（真题解析） |
用户打开文件表（"当前读/写位置指针、访问权限不一定相同"） |
p307 b_307_2 |
系统级打开文件表（"包含文件状态、访问权限、读/写指针、打开计数等全局信息"） |
四处对一处。p307 是王道自己的疏漏，与 4.1 正文和两处真题解析都矛盾。
因此 Q19 的定性要改¶
Q19 选项 B（系统级表记录打开模式、当前读写偏移量、指向内存索引节点的指针） 逐项吻合王道 p307，不是原审计说的"按 Unix 打开文件描述模型"。
- 考场结论不变：仍按 A（三处正文 + 两处真题解析，证据 4:1）；
- 但理由要换：不是"Relax 用了 Unix 模型"，而是"王道 p307 与自己其他四处矛盾"。
这个区别很实际：前一种说法会让人不信任 Relax，后一种提醒你王道那句话本身有问题， 遇到其他题引用 p307 时也要警惕。建议在王道 p307 该句旁注"以 279–280 页为准"。
两条误报须删除¶
| 题号 | 原判 | 实情 |
|---|---|---|
| 第4章 Q25 | 内部冲突证据 | 2020 统考真题改编，答案与王道解析完全一致，零缺陷 |
| 第4章 Q57 | 内部冲突证据 | 王道 p287 课后第 44 题原题，答案与王道解析完全一致，零缺陷 |
真正的横跳证据原审计反而没抓到：Q7（"读写指针位于用户级打开文件表中"）与 Q18（"位于进程打开文件表"） 和 Q12/Q19/Q23 对同一命题给出相反答案，Q55 更是一题之内自撞（证 II 用 Unix 独立表项、证 III 又说指针在用户表）。
Q55 的"按王道改答案为 C"成立¶
题干未指定系统，王道三处原文（b_279_5、b_300_8、b_307_2）一致说同一文件在系统打开文件表只有一个表项，
故 II 错；b_280_1 说指针私有于进程表，III 对 → 答案 C。
五、应撤销的 8 条¶
| 题号 | 原判 | 撤销理由 |
|---|---|---|
| 第1章 Q32 | 作废 | A 就是王道原话"一旦发生中断或陷阱，硬件就会自动从用户态切换至内核态"（p28 b_28_3），题干已设定"时间片用完"。越层 |
| 第3章 Q28 | 作废 | 王道 p208 习题 54 就是同题，p217 官方解法逐字写"地址结构长18位，所以主存的最大容量为 2^18=256KB……页号占7位，所以主存页数为128个"。原判与王道自己的解法打架 |
| 第3章 Q67 | 改解析 | 王道 p234 原文即"当进程退出或显式解除文件映射时，所有被修改的页面才会被写回磁盘文件"，与 Relax 解析逐句一致。题干未提 Linux，原判搬 MAP_PRIVATE 挑毛病。越层 |
| 第3章 Q76 | 作废 | 王道 p229 缺页流程首步即"通过页表项获取该页在外存中的地址"（A 必做），两分支都以调入页面收尾（D 必做）。原判与原文相悖 |
| 第5章 Q10 | 补前提 | 题干原文就写着"恰好已经进入内核缓冲区"，限定词本已具备，原审计漏读了"恰好"二字 |
| 第5章 Q71 | 实现边界 | 题干自己写"内核通常会开辟系统缓冲区……不直接读入用户工作区的原因包括"，问的是理由不是绝对律。原判用 direct I/O 去限一道题干明示前提的教材题。越层 |
| 第4章 Q25 | 内部冲突证据 | 2020 统考真题改编，零缺陷（见第四节） |
| 第4章 Q57 | 内部冲突证据 | 王道 p287 课后第 44 题原题，零缺陷（见第四节） |
六、降级的 3 条 + 定性需改的 2 条¶
| 题号 | 原判 | 应改为 |
|---|---|---|
| 第2章 Q82 | 作废/改题干 | 改题干后可做。解析对四项的判断与王道 p89–p90 完全一致，只是问法写反一个词；改成"说法错误的是"后 B 唯一。这是 2025 新增考点的好题，不该进永久跳过 |
| 第4章 Q75 | 作废 | 补前提后可做。答案 D 唯一、算术无误，只缺"每级目录占 1 块"的前提 |
| 第5章 Q17 | 作废 | 可做，仅旁注。B 有王道原文硬证伪（"块设备可寻址"，接口备 seek()），是唯一硬错；D 措辞欠妥值得旁注，但到不了作废 |
| 第4章 Q19 | 按王道改答案为 A | 双口径题。考场仍按 A，但理由是王道 p307 自相矛盾（见第四节） |
| 第4章 Q22 | 有歧义 | C、D 双答案 |
七、原审计的错误模式¶
13 条需要修正的判定，按病根分三类：
- 越层：用工程实现压教材口径（3 条） —— Q32、Q67、Q71。 讽刺的是，原报告第二节自己白纸黑字写了"不能用第 4 层覆盖第 2 层"，却在这三题上违反了它。
- 回源不到位（4 条） —— Q28、Q76 与王道原文/原书同题直接冲突；Q25、Q57 是真题与课后原题却被当成缺陷。
- 读题不到位（1 条） —— Q10 漏读题干已有的"恰好"。
- 定级过重（5 条） —— Q82、Q75、Q17、Q19、Q22，问题属实但处理方式过激。
给后续审计的教训：判"作废"之前必须先回原书确认该题是不是王道原题或真题改编。 本次 8 条撤销里有 4 条（Q28、Q25、Q57，以及与王道解法冲突的 Q76）本可以靠这一步筛掉。