死锁的规范定义如下:如果一个进程集合中的每个进程都在等待只能由该进程集合中其他进程才能引发的事件,那么该进程集合就是死锁的。
产生死锁的原因
- 系统资源不足。
- 资源分配不当等。
- 进程运行推进的顺序不合适。
产生死锁的四个必要条件
-
互斥:进程要求对所分配的资源进行排它性控制,即在一段时间内某资源仅为一进程所占用。
-
占有并等待:当进程因请求资源而阻塞时,对已获得的资源保持不放。
-
非抢占:已经分配给一个进程的资源不能强制性地被抢占,只能被占有它的进程显式地释放;
-
环路等待:死锁发生时,系统中一定有两个或者两个以上的进程组成的一条环路,存在一个进程–资源的环形链,该环路中的每个进程都在等待着下一个进程释放所占有的资源。
这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述条件之一不满足,就不会发生死锁。
预防死锁
- 资源一次性分配:一次性分配所有资源,这样就不会再有请求了:破坏互斥条件。
- 只要有一个资源得不到分配,也不给这个进程分配其他的资源:破坏占有并等待条件。
- 可剥夺资源:即当某进程获得了部分资源,但得不到其它资源,则释放已占有的资源:破坏