17.造成死锁的四个必要条件

死锁的四个必要条件是由Dijkstra提出的，它们分别是：

1. **互斥**（Mutual Exclusion）：资源一旦被一个进程占用，其他进程就无法再使用它，直到该进程释放资源[^4]。

2. **占有并等待**（Hold and Wait）：一个进程已经获得了部分资源，但仍在等待其他资源，而这些资源又都被其他进程持有[^4]。

3. **不剥夺**（No Preemption）：资源只能由占有者主动释放，不能被操作系统强行剥夺给等待的进程[^4]。

4. **循环等待**（Circular Wait）：存在一个进程链环，每个进程都在等待其他进程持有的资源，导致彼此都无法继续执行[^4]。

如果这四个条件同时满足，就会发生死锁，即资源被锁定在一种无法通过正常进程终止的分配状态中。