死锁 || 北京大学Coursera：操作系统

死锁的基本概念死锁：多个进程因争夺资源而造成的一种互相等待的现象，若无外力作用，无法推进下去，系统处于死锁状态。进程称为死锁进程。活锁：进程相互让步，无法使用资源，进程无法推进。可重用资源：一次供一个进程安全使用，不会耗尽。如处理器、I/O通道等。可消耗资源：可以创建和销毁，如中断、消息等。产生死锁的四个条件：互斥、占有且等待、不可抢占、循环等待。资源分配图包含进程、资源实例。化简资源分配图方法：图完全简化则无死锁，否则有死锁。死锁预防：破坏条件，如资源转换、SPOOLING、进程优先级。死锁避免：动态检查资源分配，避免死锁。银行家算法：检查资源分配后是否安全。安全性算法：检查是否存在安全序列。死锁检测与解除：撤销进程、回退、抢占资源。哲学家就餐问题：描述算法，解决死锁。方法一：保证不同时就餐，但可能饿死。方法二：没有同时就餐，但可能饿死。方法三：利用管程，理论上无死锁，但不满足题设。方法四：利用管程，理论上无死锁，但不满足题设。伪代码实现，解决死锁问题。