编辑“︁死锁原理与预防”︁（章节）

== 定义与基本条件 ==
'''死锁'''（Deadlock）指两个或多个线程在执行过程中，因争夺资源而造成的一种互相等待的现象。若无外力干涉，这些线程将无法继续推进。死锁的发生必须同时满足以下四个必要条件（Coffman条件）：

# '''互斥条件'''：资源一次只能被一个线程占用。
# '''占有并等待'''：线程持有至少一个资源，并等待获取其他被占用的资源。
# '''非抢占条件'''：已分配给线程的资源不能被其他线程强行夺取。
# '''循环等待条件'''：存在一个线程的循环等待链，每个线程都在等待下一个线程所占用的资源。

数学描述（使用集合论表示）：
<math>
\text{Deadlock} = \left\{ T_1, T_2, \ldots, T_n \mid T_i \rightarrow T_{i+1} \text{的等待关系形成环} \right\}
</math>