前言

简单介绍一下死锁,以及解决死锁的办法。

正文

死锁发生的必要条件

1.互斥条件:只有对必须互斥使用的资源的争夺才会导致死锁,内存、扬声器是不会导致死锁的。

2.进程所获取的资源在未使用完成之前,不能其他进程抢夺。

3.进程已经保持了至少一个资源,但又提出新的资源请求,而该资源又被其他进程占有,此时请求进程被阻塞,但是自己的资源又不会被释放。

4.循环等待条件:存在一种进程资源的循环等待,链中的每一个进程已获得的资源同时被下一个进程所请求。

发生死锁一定是循环等待,循环等待不一定死锁,比如说有10个资源,各剩下一个,两个进程分别占有3个资源,都还需要两个资源就可以运行,那么这时候谁都不放手就循环等待了。

但是如果循环等待,出现一种情况,就是其他进程占有的3个资源释放了,那么就可以继续运行了。

其实说了这么多就是这样子:
重新整理操作系统概念系类——死锁_银行家算法
两个进程必须互相占有一个资源,然后都在等待对方释放。

预防死锁

预防死锁就是破坏死锁产生的必要条件。

1.解决互斥条件,把互斥资源改成共享资源,如打印机,有两个进程他们要使用打印机可以另外建立一个进程专门来管理打印机,其他进程要想打印就得请求这个打印机管理进程。

2.破坏不剥夺条件,进程所获取的资源在未使用完之前,不能被其他进程强行夺走,只能主动释放。

重新整理操作系统概念系类——死锁_互斥_02

3.破坏请求和保持条件,进程已经至少有一个资源,然后还请求其他资源,然后新请求的资源又请求不到。
重新整理操作系统概念系类——死锁_检查和_03

4.破坏循环等待条件
重新整理操作系统概念系类——死锁_避免死锁_04

重新整理操作系统概念系类——死锁_检查和_05

避免死锁(银行家算法)

其实就是银行家算法,地址:https://baike.baidu.com/item/银行家算法/1679781?fr=aladdin

死锁的检测和解除

重新整理操作系统概念系类——死锁_银行家算法_06
死锁检查:
重新整理操作系统概念系类——死锁_死锁_07
死锁解除:
重新整理操作系统概念系类——死锁_死锁_08

死锁检查和解除结

重新整理操作系统概念系类——死锁_检查和_09