保证死结不会发生的技术。即让死结发生的四个必要条件,至少有一个条件不成立。四个必要条件之解除策略为:
□解除互斥条件,让资源能共享。
□解除等待条件:
(1)须在获得全部所需资源后,方能开始执行。
(2)工作在需求其他资源前,不能占有资源。
□解除不能插队条件,若一工作占有某些资源后,而等待新资源,则其原先占有资源须给其他工作先行使用。
□解除循环等待条件,每资源给一代码,工作每次只能要求代码比原先占有资源代码高的资源。