某一系统分配资源的策略是：当进程提出申请资源时，只要系统有资源总是分配给它，系统无资源时让它等待。任一进程总是先释放已占有的资源后再申请新的资源，且每次申请一个资源，系统中的进程得到资源后总能在有限时间内归还。证明该系统不会发生死锁。
任一进程P申请资源时出现两种情况： 情况一立即得到满足，此时不会成为等待状态，也就不存在引起死锁的条件。 情况二得不到满足，处于等待资源状态。此时，资源一定被另一进程Q占有。进程Q执行时若不再申请资源，则必在有限时间里归还资源，于是P不会永远等待。如果进程Q执行时还要申请资源，按题意，它一定先释放占有的资源，于是P也不会永远等待。所以，任一进程申请资源总能在有限时间得到资源，因而不会产生死锁。
