真实面经题目 · 原创解析
fair锁如何实现的？
fair锁如何实现的？这道腾讯牛客题的关键是围绕“公平锁实现机制”讲清概念、机制、取舍和边界。公平锁的核心是按等待顺序授予锁，通常通过同步队列维护排队线程。以 ReentrantLock 公平模式为例，线程获取锁前会检查队列中是否已有前驱节点，有前驱就不插队，获取失败后进入 AQS 队列等待唤醒。
出现于：腾讯 · 后端开发
01
60 秒回答模板
可以这样回答：公平锁的核心是按等待顺序授予锁，通常通过同步队列维护排队线程。以 ReentrantLock 公平模式为例，线程获取锁前会检查队列中是否已有前驱节点，有前驱就不插队，获取失败后进入 AQS 队列等待唤醒。 线程先尝试获取锁；公平模式下如果 hasQueuedPredecessors 判断前面有人等待，即使锁看起来空闲，也会排队。释放锁时唤醒队列中的后继节点，后继线程再竞争修改 state 并成为持有者。 公平锁减少插队和饥饿，等待时间更可预期；代价是吞吐通常下降，因为更频繁依赖排队唤醒和线程调度，不能充分利用刚运行线程的 CPU 时间片。 公平锁也不是绝对实时公平，线程调度、唤醒延迟和超时/中断都会影响最终顺序。tryLock 等 API 在某些语义下也可能绕过公平排队，需要结合具体实现。 验证时重点看：验证时看队列长度、锁等待时间分布、吞吐变化、上下文切换、线程状态和是否仍有长时间饥饿。
考点 考点边界
主线 核心机制
易错点 把公平锁只解释成先来先服务，没有说同步队列和前驱检查。
02
深入解析
考点边界
这题问 fair 锁实现，不是泛泛 Java 并发边界。回答要讲排队队列、前驱检查、CAS 获取状态、park/unpark 唤醒和公平性成本。 本题对应“公平锁实现机制”，核心前提是：公平锁的核心是按等待顺序授予锁，通常通过同步队列维护排队线程。以 ReentrantLock 公平模式为例，线程获取锁前会检查队列中是否已有前驱节点，有前驱就不插队，获取失败后进入 AQS 队列等待唤醒。
核心机制
线程先尝试获取锁；公平模式下如果 hasQueuedPredecessors 判断前面有人等待，即使锁看起来空闲，也会排队。释放锁时唤醒队列中的后继节点，后继线程再竞争修改 state 并成为持有者。 关键证据要落到线程状态、锁队列、内存可见性、运行时指标，这样才能说明机制为什么能支撑题目结论。如果继续展开，要对应到线程状态、锁队列、CAS 失败、内存可见性、GC Roots、线程 dump 或运行时指标。
关键取舍
公平锁减少插队和饥饿，等待时间更可预期；代价是吞吐通常下降，因为更频繁依赖排队唤醒和线程调度，不能充分利用刚运行线程的 CPU 时间片。 因此要结合线程状态、锁等待、内存可见性、GC 或运行时指标判断，而不是只比较 API 名称。 这些取舍决定了方案在不同输入规模、延迟、内存、并发、泛化或一致性要求下是否仍然成立。
边界风险
公平锁也不是绝对实时公平，线程调度、唤醒延迟和超时/中断都会影响最终顺序。tryLock 等 API 在某些语义下也可能绕过公平排队，需要结合具体实现。 排查时优先看 jstack、GC 日志、heap dump、锁等待、CAS 失败、线程池队列和业务超时。 需要特别关注极端输入、数据分布变化、资源不足、并发竞争或观测口径错误带来的退化。修复时要先拿到线程 dump、GC 或 heap 证据，再区分锁竞争、对象泄漏、线程池耗尽和配置不合理。
验证抓手
验证时要看锁等待时间、线程状态、CAS 失败率、重试次数、死锁日志、数据库锁等待、吞吐和尾延迟。能把抽象锁策略落到这些信号，答案才像真实工程排查。 针对本题，最有价值的验证信号是：验证时看队列长度、锁等待时间分布、吞吐变化、上下文切换、线程状态和是否仍有长时间饥饿。把验证抓手说出来，可以让答案从知识点延伸到并发行为、线程状态和运行时排查。
03
易错点
- 把公平锁只解释成先来先服务，没有说同步队列和前驱检查。
- 认为公平锁一定更好，忽略吞吐、调度和上下文切换成本。
- 把相邻概念混用，没有明确说明这道题真正考察的边界。
- 没有给出验证方式，导致答案听起来完整但无法判断是否真的生效。
04
面试官追问
公平锁如何判断自己前面是否有人排队？
AQS 公平获取通常会检查同步队列中当前线程前面是否有有效前驱。若存在前驱，就不直接 CAS 抢锁，而是进入或留在队列中等待前驱释放后的唤醒机会。
公平锁为什么吞吐可能更低？
因为它更依赖严格排队和唤醒队首线程，增加 park/unpark、调度切换和等待成本。非公平锁允许当前活跃线程直接抢锁，短临界区下更容易保持 CPU 利用率。
“fair锁如何实现的”继续追问时最该补哪条边界？
应该围绕“公平锁实现机制”补适用前提、失败场景和验证证据。先说明哪些条件下这个机制成立，再说明哪些输入规模、并发状态、数据分布或资源限制会让答案需要调整。
“fair锁如何实现的”怎样回答才不是只背概念？
看它能否把“公平锁实现机制”的机制链路、关键取舍和可观测信号连起来。回答时应落到具体状态变化、数据路径、复杂度、指标或排查工具，而不是只复述定义。
“fair锁如何实现的”选择锁策略先看什么？
先看冲突概率、临界区长度、是否允许重试、重试是否幂等，以及业务更看重吞吐还是公平性。冲突低可以偏向乐观策略，冲突高或强一致临界区通常要更明确地排队或阻塞。
