这是一个创建于 1471 天前的主题，其中的信息可能已经有所发展或是发生改变。
AQS 中获取公平锁的代码如下（ jdk1.8 ）： protected final boolean tryAcquire(int acquires) { final Thread current = Thread.currentThread(); int c = getState(); if (c == 0) { if (!hasQueuedPredecessors() && compareAndSetState(0, acquires)) { setExclusiveOwnerThread(current); return true; } } else if (current == getExclusiveOwnerThread()) { int nextc = c + acquires; if (nextc < 0) throw new Error("Maximum lock count exceeded"); setState(nextc); return true; } return false; } }
如果有三个线程来获取公平锁，第一个线程获取成功，第二与第三个线程走到 hasQueuedPredecessors()，都判断出为 false(此时队列为空，他们都可以获取锁)，第二个线程继续走（第三个线程时间片到了，停住），获取锁失败（因为锁已经被第一个线程获取了），那就乖乖的去排队，构造头结点与自己的节点，此时 sync 队列为: head → node2，node2 → head，然后第二个线程又来抢占锁（源码中有个 for 循环），走到 hasQueuedPredecessors()，判断出也为 false （因为自己就是队列中的第二个节点，是有资格抢锁的），此时线程一释放了锁，那么第二个线程与第三个线程同时抢锁，锁是有可能被三个线程抢到了。
那么这是不是违背了公平锁的概念，或者公平锁并不是绝对的公平，因为第二个线程已经在队列里面排好了队，也该是自己拿到锁，结果锁被第三个线程拿走了。
麻烦各位大神解惑一下！！！
 |
1
ceshi123 OP 我擦，大神呢
|
 |
2
yamasa 2020-11-20 12:28:18 +08:00
我觉得 tryAccquire 的这一段注释可以解答这个问题了：
Likewise, it is possible for another thread to win a race to enqueue after this method has returned {@code false}, due to the queue being empty. |
 |
5
THESDZ 2020-11-20 13:55:15 +08:00
大部分的程序只会考虑绝大多数的情况,因为要考虑所有情况或者极端情况的话,成本>>收益
|
 |
7
1194129822 2020-11-20 14:24:07 +08:00
你这理解不对，首先说一下，公平只是相对的公平，所有公平模式，就是如果前面有线程排队就加入队尾，而非公平模式，就是线程直接尝试获取锁，获取失败才排队。但是线程本身的执行是没有顺序和优先级的。如果线程 2 因为 os 调度，一直得不到运行，可能一直永远排队。
|
 |
8
wysnylc 2020-11-20 14:38:26 +08:00
公平是相对的而且不同的角度也会有不同见解
无序的争抢才是高效 |
Select Language