进程的调度

进程与线程

进程的通信

死锁

进程的同步与互斥

线程和多线程模型

用户级线程

内核级线程

多线程模型

银行家算法

安全序列与安全状态

破坏死锁条件

算法避免出现死锁

发生死锁后解除

• 互斥条件
• 不剥夺条件
• 请求和保持条件
• 循环等待条件

• 一对一模型
• 多对一模型
• 多对多模型

死锁避免

死锁预防

死锁检测和解除

资源分配图

死锁的解除

死锁检测算法

• 资源剥夺
• 撤销进程
• 进程回退

用原语实现

链接方式、索引方式

进程的组织

进程的状态与转换

进程的组成

进程的控制

消息传递

管道通信

死锁的必要条件

共享存储