Java并发编程：饥饿与公平性（线程饥饿，锁，公平锁）

在Java并发编程中，**饥饿（Starvation）**是指一个或多个线程因无法获取所需的资源而长期无法执行。尽管系统可能还在运行且没有死锁，但这些线程始终得不到调度和执行的机会。

线程饥饿：

• 当某个线程长时间不能获得CPU时间片或者无法获取必要的锁来继续执行时，就会发生饥饿问题。例如，在竞争激烈的环境下，其他线程不断抢占CPU资源或持有并释放锁，导致某些线程总是落后于其他线程，从而形成饥饿现象。

锁与饥饿：
在多线程环境中，锁的分配策略直接影响着线程是否会发生饥饿。Java中的synchronized关键字和java.util.concurrent.locks.Lock接口提供的锁默认情况下并不保证公平性，这意味着即使有线程已经等待了很长时间，新到达的线程仍有可能优先获取到锁，造成等待时间更长的线程持续饥饿。

公平锁（Fair Locks）：
为了解决上述问题，Java提供了公平锁的概念，如java.util.concurrent.locks.ReentrantLock类就提供了一个构造参数可以指定是否创建公平锁：

ReentrantLock fairLock = new ReentrantLock(true); // 创建公平锁

使用公平锁时，线程在获取锁的顺序上会遵循FIFO（先进先出）原则，即等待时间最长的线程将优先得到锁。这样可以大大降低线程饥饿的可能性。

然而，需要注意的是，虽然公平锁有助于减少饥饿的发生，但它也可能影响系统的整体性能，因为每次释放锁后，线程调度器都需要按照FIFO规则选择下一个线程，这会导致额外的上下文切换开销。因此，在实际开发中需要根据具体场景权衡利弊，选择合适的锁类型。