主要依据：Module 8.1–8.5 五份原课件（37 张实际 slide）与 M8 Key Takeaways；对照 Week 08 的 4-up 打印版（10 页）。回查之前的 Module7–8 Word 复习材料，但不搬入其中超出本周 PPT 的扩展。

左侧为原 2-up PDF 中的单张课件，保留全部原图；打印页码与位置按 4-up 版本逐格映射。Detection 末尾有一个空白格，因此 Slide 22 起不能简单用 slide/4 推算位置。原文提取可能错序，以图为准。

本地主要来源：C:\Users\13142\Desktop\MCIT\CIT5950\Lectures\module-8-deadlocks。课件中的资源图已逐边核对；单类资源例题与 Banker 矩阵已用独立模拟核对。本周不引入完整工程实现。代码区为原 PPT 教学代码或明确标识的流程整理伪代码，并逐行解释；不是可直接编译的 C 程序。

必要澄清：有环即死锁的充分性限定本节单实例模型；数量条件用 Req ≤ Available；Unsafe 不等于当前已 Deadlocked；标准安全检查不要求枚举 n! 个顺序。它们用于避免误读课件，不是额外学习章节。