四个必要条件是：互斥条件、占有且等待条件（请求保持条件）、不可抢占条件（非剥夺条件）和循环等待条件（环路条件）。
互斥条件——某个资源在一段时间内只能由一个进程占有，不能同时被两个及其以上的进程占有。
占有且等待条件——进程至少已经占有一个资源，但又申请新的资源。不可抢占条件——一个进程所占有的资源再用完之前，其他进程不能强行夺走资源，只能由该进程用完之后主动释放。
循环等待条件——存在一个进程等待序列{P1，P2，„，Pn}，其中，P1等待P2所占有的某个资源，P2等待P3所占有的某个资源，„„，而Pn等待P1所占有的某个资源，从而形成一个进程循环等待。

要求进程申请资源时遵循某种协议，从而打破产生死锁的四个必要条件中的一个或几个，保证系统不会进入死锁状态。

进程至少有三种基本状态：运行状态、就绪状态和阻塞状态（或等待状态）。
进程状态转换如下图：