什么是死锁？死锁有哪些必要条件？

死锁是指两个或更多的进程在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力干涉，它们都将无法继续执行下去。死锁通常涉及四个必要条件：

1. **互斥**（Mutual Exclusion）：至少有一个资源只能由一个进程持有，即一次只有一个进程能访问该资源。

2. **占有并等待**（Hold and Wait）：已经获得部分资源的进程还在等待其他它尚未拥有的资源。

3. **循环等待**（No Preemption）：形成一个进程等待资源的环形链表，每个进程都在等待下一个进程中所持有的资源。

4. **请求与保持**（Request and Retain）：一旦进程请求了一个资源，就一直保持对它的所有权，即使后续还需要其他资源也能继续保持对该资源的占有。

理解这些条件有助于避免死锁的发生。在并发编程中，如Java的`synchronized`关键字和`ReentrantLock`类的实现，就是为了帮助程序员理解和控制这些条件，从而避免死锁。例如，`ReentrantLock`允许设置公平模式以按照线程到达的顺序分配锁，而非公平模式则可能导致优先级反转，增加了死锁的风险[^2]。