死锁:
在并发环境下,各进程因竟争资源而造成的一种互相等得对方手的资源,导致各进程都阻塞,都无法向前推进的现象。发生死锁后若无外力干涉,这些进程都将无法向前推进。
死锁-饥饿-死循环
死锁:各进程互相等待对方手里的资源,导致各进程都阻塞,无法向前推进的现象。
饥饿:由于长期得不到想要的资源,某进程无法向前推进的现象。
死循环:某进程执行过程中一直跳不出某个循环的现象。有时是因为程序逻辑bug导致的,有时是程序员故意设计的。
区别:
死锁一定是“循环等待对方手里的资源”导致的,因此如果有死锁现象,那至少有两个或两个以上的进程同时发生死锁。另外,发生死锁的进程一定处于阻塞态。
可能只有一个进程发生饥饿。发生饥饿的进程既可能是阻塞态(如长期得不到需要的设备),也可能是就绪态(长期得不到处理机)
可能只有一个进程发生死循环。死循环的进程可以上处理机运行(可以是运行态),只不过无法像期待的那样顺利推进。死锁和饥饿问题是由于操作系统分配资源的策略不合理导致的,而死循环是由代码逻辑的错误导致的。死锁和饥饿是管理者〈操作系统)的问题,死循环是被管理者的问题。
死锁产生的必要条件:
互斥条件:
对必須互斥使用的资源的争抢才会导致死锁
不剥夺条件:
进程保持的资源只能主动释放,不可强行剥夺
请求和保持条件:
保持某些资源不放的同时,请求别的资源
循环等待条件:
存在一种进程资源的循环等待链
循环等待未必死锁,死锁一定有循环等待
发生死锁的情况:对不可剥夺资源的不合理分配
1.对系统资源的竟争。各进程对不可剥夺的资源(如打印机)的竞争可能引起死锁,对可剥夺的资源(CPU)的竞争是不会引起死锁的。
2.进程推进顺序非法。请求和释放资源的顺序不当,也同样会导致死锁。
3.信号量的使用不当也会造成死锁。
死锁的处理策略:
1.预防死锁。破坏死锁产生的四个必要条件中的一个或几个。
2.避免死锁。用某种方法防止系统进入不安全状态,从而避免死锁(银行家算法)
3.死锁的检测和解除。允许死锁的发生,不过操作系统会负责检测出死锁的发生,然后采取某种措施解除死锁。