Semaphore公平性作用及公平信号量无许可时线程排队机制咨询

一、fair参数的具体作用 #

Semaphore的fair参数直接决定了它的许可分配策略：

• 公平模式（fair=true）：信号量会严格遵循FIFO（先进先出）规则分配许可。当有线程在等待许可时，新释放的许可会优先给到等待队列里最“早来”的线程，绝对不会出现后调用acquire()的线程插队抢许可的情况。
• 非公平模式（fair=false，默认）：信号量不保证分配顺序，线程调用acquire()时可能直接抢占刚释放的许可——哪怕此时已经有线程在排队等了。这种模式的吞吐量通常更高，但存在风险：某些线程可能长时间拿不到许可，陷入“饥饿”状态。

二、公平信号量的等待队列是否需要手动维护 #

针对你的需求——无可用许可时线程按FIFO等待，且只能用acquire()和release()方法：
你完全不需要手动维护等待队列！当你用Semaphore example = new Semaphore(5, true);初始化公平信号量后：

1. 当许可耗尽时，调用acquire()的线程会自动被加入Semaphore内部维护的FIFO等待队列，进入阻塞状态。
2. 当其他线程调用release()释放许可时，Semaphore会自动唤醒等待队列头部的线程，让它获取许可继续执行。
   整个等待、唤醒、分配的流程都是Semaphore内部自动完成的，你只需要正常调用acquire()拿许可、release()放许可就足够了，根本不需要自己用LinkedList去管理线程，也完全不需要用到tryAcquire()。

说白了，公平模式的Semaphore已经帮你把FIFO等待的逻辑封装得明明白白，直接用就完事~

内容的提问来源于stack exchange，提问作者DarkPassenger