主要依据：Week 07 的 4-up 打印版（53 张课件，14 页），Module 7.1–7.5 原课件与 M7 Key Takeaways；核对 Code 目录的两个课程示例。讲解和代码范围按 PPT，Bridge / Barber 等只列名称的主题不另加方案，不提前扩展 Week 8。

原始资料：C:\Users\13142\Desktop\MCIT\CIT5950\Lectures\module-7-concurrency-control-and-synchronization。左上页码与四格位置对应打印版；原文取自相应 2-up PDF 半页，图中文字可能错序，以左侧图为准。

代码行号为本页讲解编号。TSL、Semaphore 内部实现、经典问题与 Monitor 均按课件教学伪代码解释；Hello World 的明确 API 拼写与参数缺漏已逐页标出，并保持原控制流。本环境未编译运行 POSIX C 片段。关键教学时序另用有限状态枚举核对；不据此宣称完整工程实现或所有调度公平性。

必要 API / 概念核对：sem_wait · sem_post · sem_init · Condition wait 的释放与等待规则。本周只需学习这里对 PPT 的说明，不要求额外阅读接口文档。