资源死锁的4个条件:
1)互斥条件:在一段时间内某资源只由一个进程占用,如果此时还有其它进程请求资源,则请求者只能等待,直至占有资源的进程用毕释放。
2)占有和等待条件:已经得到了某个资源的进程可以再请求新的资源。
3)不可抢占条件:指进程已获得的资源,在未使用完之前,不能被剥夺,只能在使用完时由自己释放。
4)环路等待条件:指在发生死锁时,必然存在一个进程——资源的环形链,即进程集合{P0,P1,P2,···,Pn}中的P0正在等待一个P1占用的资源;P1正在等待P2占用的资源,……,Pn正在等待已被P0占用的资源。
不发生死锁的判断:
m个资源,n个进程,每个进程最大需求w。
满足 (w-1)*n+1<m 则不会发生死锁。
避免死锁的方法:通过设置某些限制条件,去破坏产生死锁的四个必要条件中的一个或者几个,来预防发生死锁。
银行家算法:。一种避免死锁的算法。
银行家算法基本思想:分配资源之前,判断系统是否是安全的;若是,才分配。
安全状态:如果没有死锁发生,并且即使所有进程突然请求对资源的最大需求,也仍然存在某种调度次序能够使每一个进程运行完毕。