死锁
1 死锁的基本概念
1.1 死锁的定义
死锁是发生在一组相互合作或竞争的线程或进程中的一个问题。因此可以定义为：一组竞争系统资源或相互通信的进程相互的“永久”阻塞。若无外力作用，这组进程将永远不能继续执行。
1.2死锁产生的原因进程
（1）资源数小于要求该种资源的进程数
//A、B分别代表某种资源
进程P
......
get(A);
......
get(B);
......
release(A);
......
release(B);
......
进程Q
......
get(B);
......
get(A);
......
release(B);
......
release(A);
......
当进程P占用资源A，进程Q占用资源B，接下来导致进程P无法获得B资源，进程Q无法获得A资源。即双方都占用对方所需要的资源，这样就发生了死锁。
（2）进程的推进顺序非法
2 死锁的预防与避免
2.1 产生死锁的四个必要条件
- 互斥条件
- 请求保持条件
- 不剥夺条件
- 环路条件
2.2 死锁的预防
采用资源的有序分配：令所有资源排队，并赋予不同的序号。当进程请求资源时，必须严格按递增的次序提出，从而消除了环路。
缺点：
- 定好序号后，增加新设备类型受到限制。
- 尽管定序号时考虑大多数作业使用资源的顺序。但会发生使用顺序与规定顺序不一致的情况，造成资源浪费。
- 限制用户简单、自主地编程。死锁的预防措施低效！
可以去掉“请求保持条件”，“不剥夺条件”，“环路条件”，但不能去掉“互斥条件”。
2.3 死锁的避免
避免死锁是通过明智的选择，确保系统永远不会到达死锁点。即动态地决定是否分配资源给进程！
- 安全状态是指系统至少存在一个安全序列<P1, P2, …, Pn>，按照这个序列为进程分配资源，直到满足最大需求，每个进程都可顺序完成。
- 若系统不存在这样一个安全序列，则系统处于不安全状态。
2.4 死锁的检测与解除
资源分配图的简化
- 在图中找出一个既不阻塞又非独立的进程结点pi，消去pi所有的请求边和分配边，使之成为孤立结点。
- 在进行一系列简化后，能消去图中所有的边，使所有进程都成为孤立结点，则称该图是可以完全简化的，否则若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。
死锁的解除
当发现死锁时，应立即把它们从死锁中解脱出来，常采用的两种方法是：
- 剥夺资源：从其它进程剥夺足够数量的资源给死锁进程。
- 撤消进程：撤消的原则是
为解除死锁状态所需撤消的进程数目最小。
撤消进程所付出的代价最小。
