操作系统课件：理解死锁与饥饿

"操作系统课件-过河问题，讨论了死锁与饥饿现象" 在操作系统中，"过河问题"常被用来阐述死锁与饥饿的概念。死锁是指一组进程中的每个进程都无限期地等待其他进程所占用的资源，从而导致它们都无法继续执行的情况。描述中的"West"和"East"可能指的是两个方向，暗示了资源的分配问题，如同过河需要选择一个方向。"Deadlock prevention: one direction at any time." 提示我们防止死锁的一种策略是限制同一时间只能有一个方向的进程操作，就像过桥只能单向通行。 死锁的特点包括： 1. 至少涉及两个进程； 2. 每个进程都在等待其他进程释放资源； 3. 至少有两个进程持有资源； 4. 死锁进程是当前运行进程集合的一部分。 死锁的类型主要有： 1. 竞争资源引起，例如不同类型的资源或相同类型的资源（如打印机）； 2. 进程通信引起，如三个进程之间形成环状依赖，互相等待对方的消息； 3. 其他原因，比如"after you"现象，即每个进程都在等待对方先释放资源。 死锁发生的必要条件是Coffman条件： 1. 资源独占，即资源不能同时被多个进程使用； 2. 不可抢占，已分配的资源不能被强制回收； 3. 保持申请，即进程在等待新资源的同时保持已有资源； 4. 循环等待，形成一个进程链，每个进程都在等待链中的下一个进程所持有的资源。 处理死锁的方法有四种： 1. 死锁预防，通过设定协议限制进程对资源的申请，确保不会形成死锁状态； 2. 死锁避免，实时监测资源申请，避免分配可能导致死锁的资源； 3. 死锁检测，识别出系统中已经存在的死锁状态； 4. 死锁恢复，一旦检测到死锁，采取措施解除，如回滚进程、剥夺资源等。 这些概念和策略对于理解和解决操作系统中可能出现的资源管理问题至关重要，确保系统的稳定和高效运行。