并发控制：基础 (Peterson 算法、模型检验、原子操作) [南京大学2023操作系统-P6] (蒋炎岩)

2023 南京大学《操作系统：设计与实现》
课程主页（含讲义）：https://jyywiki.cn/OS/2023/