实时系统死锁检测与避免 · 课程目录

📚 30个章节 · 完整目录 🧩 点击卡片跳转对应课程 友好色系

01死锁基础：死锁的定义、四个必要条件、直观例子

02死锁建模：资源分配图RAG、系统状态表示、化简

03死锁检测算法：银行家算法、安全性、资源请求、局限性

04死锁避免策略：安全状态、资源轨迹图、保守策略

05死锁预防：破坏四个必要条件、静态/有序分配

06死锁恢复：进程终止、资源抢占、回滚、实际策略

07实时系统中的死锁：实时约束、优先级反转、资源管理

08优先级继承协议：原理、防死锁、代码示例、优缺点

09优先级天花板协议：原理、对比、实际应用

10堆栈资源管理：堆栈共享与死锁、SRP算法实现

11多核系统中的死锁：多核挑战、锁粒度、NUMA死锁

12自旋锁与死锁：自旋锁原理、死锁场景、优化策略

13读写锁与死锁：公平性、死锁案例、工程实践

14RCU机制：基本原理、避免死锁、实时应用

15事务内存：STM原理、死锁、HTM简介

16死锁检测工具：Lockdep原理、使用方法、输出解读

17静态死锁检测：模型检查、SMT求解器、工具链

18动态死锁检测：运行时检测、Wound-Wait、开销分析

19死锁避免的工程实践：RAII、锁顺序规范、代码审查

20实时操作系统中的死锁：FreeRTOS、VxWorks、RT-Linux

21分布式系统中的死锁：定义、集中/分布式检测(Chandy-Misra-Haas)

22数据库系统中的死锁：锁机制、检测超时、优先级处理

23文件系统中的死锁：VFS层死锁、日志文件系统、文件锁实践

24GPU与死锁：GPU并行模型、死锁场景、CUDA避免

25死锁与性能：检测开销、避免保守性、性能安全权衡

26死锁的数学基础：图论、Petri网、形式化验证

27死锁的测试方法：压力测试、随机测试、形式化、复现

28死锁的调试技巧：GDB调试、core dump、日志分析

29死锁的行业标准：MISRA C、DO-178C、ISO 26262

30死锁的未来：新型硬件、AI辅助检测、形式化工业化

⚡ 点击任意卡片跳转至对应章节 (01.html ~ 30.html)