|
|
|
|
|
当若干进程竞争使用资源时，可能每个进程要求的资源都已被另一进程占用，于是也就没有一个进程能继续运行，这种情况称为死锁。例如，P1进程占有资源R1, P2进程占有资源R2，这时，P1又需要资源R2, P2也需要资源R1，它们在等待对方占有的资源时，又不会释放自己占有的资源，因而使双方都进入了无限等待状态。死锁是系统的一种出错状态，不仅浪费大量的系统资源，甚至会导致整个系统的崩溃，所以死锁是应该尽量预防和避免的。
|
|
|
|
系统发生死锁时，死锁进程的个数至少为两个；所有死锁进程都有等待资源，其中至少有两个进程已占有资源。产生死锁的情况主要有：进程推进顺序不当；同类资源分配不当；PV操作使用不当。
|
|
|
|
|
|
产生死锁的原因：一是系统提供的资源数量有限，不能满足每个进程的使用；二是多道程序运行时，进程推进顺序不合理。发生死锁必须同时具备下述4个条件。
|
|
|
|
.互斥：进程互斥使用资源，任意时刻一个资源只为一个进程所独占，其他进程若请求一个已被占用的资源，只能等待占用者释放后才能使用。
|
|
|
|
.不可剥夺（不可抢占）：进程所获得的资源在未使用完毕之前，不能被其他进程强行剥夺，而只能由获得该资源的进程自己释放。
|
|
|
|
.请求保持：进程每次申请它所需要的一部分资源，在申请新的资源的同时，继续占用已分配到的资源。零星地请求资源，即已获得部分资源后再次请求资源时被阻塞。
|
|
|
|
.循环等待：在进程资源有向图中存在一个进程环路，环路中每一个进程已获得的资源同时被下一个进程所请求。
|
|
|
|
进程资源有向图由方框、圆圈和有向边3个部分组成。其中，方框表示资源，圆圈表示进程。请求资源：〇→□，箭头由进程指向资源；分配资源：〇←□，箭头由资源指向进程。
|
|
|
|
|
|
|
|
.死锁的预防：根据产生死锁的4个必要条件，只要使其中之一不能成立，死锁就不会出现。
|
|
|
|
.死锁的避免：最著名的死锁避免算法是Dijkstra提出的银行家算法。
|
|
|
|
.死锁的检测：采用合理的死锁检测算法确定死锁的存在，并识别出与死锁有关的进程和资源，以供系统采用适当的解除死锁的措施。
|
|
|
|
.死锁的解除：检测到死锁发生后，常采用资源剥夺法和撤销进程法解除死锁。
|
|
|
