死锁:各进程相互等待对方手里的资源导致阻塞
饥饿:得不到所需资源导致进程无法向前推进
死循环:进程执行跳不出某个死循环
安全按序列(可以多个):系统按照这种序列所有进程都能顺利完成
什么时候会发生死锁:
由竞争资源引起死锁:多个进程,共享资源,资源不足,竞争资源。
进程推进顺序非法:请求与释放资源顺序不当
信号量使用不当:生产者——消费者模型P(互斥)在P(同步)之前
竞争可剥夺性资源。譬如:CPU,可由优先级高的进程剥夺优先级低的进程的处理机。
竞争非剥夺性资源。譬如:系统中只有一台打印机R1和一台读卡机R2,进程P1和P2之间共享这些资源。当P1占用了R1会进一步要求R2的使用,但是此时P2占用了R2进一步请求着R1的使用;则P1与P2之间陷入了
二、产生死锁的四个必要条件:
① 互斥条件——互斥使用资源的争抢
② 请求和保持条件——当进程因请求资源而阻塞时,对已获得的资源保持不放。
③ 不剥夺条件——进程已获得的资源,在未使用完之前,不能被剥夺,只能在使用完时由自己释放。
④ 环路等待条件——在发生死锁时必然存在一个“进程—资源”的环形链。
注意:发生循环等待现象未必是发生死锁现象,死锁现象一定发生循环等待(同类资源不唯一)
三、解决死锁的基本方法
① 预防死锁——通过设置某些限制条件,以破坏产生死锁的四个必要条件中的一个或几个,来防止发生死锁。
② 避免死锁——在资源的动态分配过程中,使用某种方法(银行家算法)去防止系统进入不安全状态,从而避免了死锁的发生。
③ 检测死锁——检测死锁方法允许系统运行过程中发生死锁。
④ 解除死锁——解除死锁是与检测死锁相配套的一种设施,用于将进程从死锁状态下解脱出来。
方法:资源剥夺法,撤销进程法,进程回退法