文章目录
死锁
死锁:在并发环境下,各进程因竞争资源而造成的一种互相等待对方手里的资源,导致各进程都阻塞,都无法向前推进的现象。
饥饿:由于长期得不到想要的资源,某进程无法向前推进的现象。
死循环:某进程执行过程中一直跳不出来某循环的现象。
至少有两个或两个以上的进程同时发生死锁。发生死锁的进程一定处于阻塞态。
发生饥饿的进程,既可能是阻塞态,也可能是就绪态。
死锁产生的必要条件
互斥条件
不剥夺条件:进程所获得的资源在未使用完之前,不能由其他进程强行夺走,只能主动释放。
请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,此时请求进程被阻塞,但又对自己已有的资源保持不放。
循环等待条件:存在一种进程资源的循环,等待链链中的每一个进程已获得的资源同时被下一个进程所请求。
发生死锁时一定有循环等待,但是发生循环等待时未必死锁。
什么时候会发生死锁
进程推进顺序非法。请求和释放资源的顺序不当。
信号量的使用不当也会造成死锁。如果实现互斥的P操作,再实现同步的P操作之前,就有可能导致死锁。
预防死锁
破坏互斥条件
SPOLing技术
该策略的缺点:并不是所有的资源都可以改造成和共享使用的资源。并且为了系统安全,很多地方还必须保护这种互斥性。
破坏不剥夺条件
方案一:当某个进程请求新的资源得不到满足时,他必须立即释放保持的所有资源&