系统出现死锁的四个必要条件是：互斥条件，________，请求和保持条件和________。

可以证明，M个同类资源被n个进程共享时，只要不等式________成立，则系统一定不会发生死锁，其中x为每个进程申请该类资源的最大量。

死锁产生的四个必要条件是______不可剥夺条件、______和循环等待条件。

产生死锁的主要原因有两个,即________和________。

为了防止死锁的发生，只要采用分配策略使四个必要条件中的________。

使占有并等待资源的条件不成立而防止死锁常用两种方法：________和________.

静态分配资源也称________，要求每—个进程在________就申请它需要的全部资源。

释放已占资源的分配策略是仅当进程________时才允许它去申请资源。

抢夺式分配资源约定，如果一个进程已经占有了某些资源又要申请新资源，而新资源不能满足必须等待时、系统可以________该进程已占有的资源。

目前抢夺式的分配策略只适用于________和________。