一道有现实意义的代码笔试题
内容提要
面试官偏好用线上真实问题出题，而非LeetCode。文中以分布式缓存lease释放为例：读者读完需主动释放，但并发读者折叠在单一时间戳中，无法计数。解法引入水位线（lease_now）和计数（lease_cnt），通过不变量管理窗口，确保最后一人释放后回收器立即可见，同时容忍崩溃等未释放情况。题目考察工程判断力，强调分支必要性与不变量维护。
延伸解读
为什么用线上问题出题
面试官偏好用线上真实问题出题，而非LeetCode，因为这类题目无法靠刷题准备，能更真实反映候选人的工程判断力。题目来自实际项目迭代，有天然梯度，候选人能做到哪一层，与入职后能独立承担的工作基本对应。同时，做题过程也让候选人预览岗位日常面对的问题类型。
水位线设计的核心思想
参考实现引入水位线（lease_now）和计数（lease_cnt），通过不变量管理窗口。水位线只增不减，抬升水位线时同时清零旧窗口计数，确保最后一人释放后回收器立即可见。这种设计容忍崩溃等未释放情况，因为TTL兜底，主动释放只是性能优化，不破坏正确性。
边界情况与工程判断
题目考察对边界情况的处理，如时钟回退、调用方阻塞导致token过期等。每个if分支都有存在理由，由不变量推导而出。例如，G1分支处理出生即过期的token，避免计数泄漏；R3中的max防止水位线倒退。这些细节区分了候选人的工程判断力。
对AI编程的启示
作者担忧AI vibe coding带来的代码质量问题，如随意if分支、滥用动态特性。强调写代码时应坚持不变量，每个分支都要有明确理由。这道题考的正是“哪些分支不该存在、哪些组合应该当场拒绝、哪些不变量必须守住”，这些判断在AI时代愈发珍贵。
Q&A
为什么面试官不用LeetCode题而用线上真实问题出题？
因为LeetCode题有题库和标准答案，反映的是刷题投入度而非工程判断力，且与岗位日常脱节。线上真实问题无法背，有梯度，能考察候选人的工程判断力，同时让候选人预览岗位日常。
分布式缓存中lease机制的基本原理是什么？
缓存节点在返回对象内存位置时授予调用方一个lease（有效期），承诺在lease过期前内存有效。lease状态是一个时间戳，GrantLease时更新为max(旧值, now+ttl)，回收器通过无锁读判断now是否大于等于lease_timeout来决定能否回收。
为什么需要主动释放lease？原来的设计有什么问题？
因为lease TTL是30秒，而读取只需毫秒级，导致大量对象在读者离开后仍被lease占用，回收器空转严重（98.3%的空转因lease未过期）。主动释放可以提前回收，但原设计用max折叠并发读者，无法知道还有多少持有者，直接清零会误伤其他读者。
参考实现中水位线（lease_now）和计数（lease_cnt）的作用是什么？
水位线标记当前有效窗口的左边界，计数记录当前窗口内尚未释放的持有者数。水位线用于区分新旧窗口，计数用于知道何时所有持有者都已释放。当计数归零时，将lease_timeout拉回水位线，回收器立即可见可回收。
为什么ReleaseLease中要检查token是否小于等于lease_now？
如果token小于等于lease_now，说明该token属于已被废弃的旧窗口，其计数贡献已被清零，此时释放是迟到操作，应直接忽略，避免重复扣减或错误操作。
为什么GrantLease中要处理new_lease <= lease_now的情况？
因为调用方可能在锁外读时钟后被阻塞任意久，导致new_lease已经过期（小于等于当前水位线）。此时不能计入计数，否则会造成计数永远无法归零，主动释放失效。所以直接返回一个“出生即过期”的token，让调用方后续校验失败走重试。
为什么ReleaseLease必须是at-most-once？
因为token不是身份标识，重复释放同一个token会重复扣减计数，可能把其他持有者的计数也扣掉，导致对象被提前回收。所以调用方必须保证最多释放一次，失败也不重试，依靠TTL兜底。
这道笔试题主要考察候选人的哪些能力？
考察工程判断力，包括识别必要分支、维护不变量、处理边界情况（如时钟回退、调用方崩溃）的能力。强调分支必须有存在理由，不变量必须守住，而不是仅仅写出能跑的代码。
