面试官偏好用线上真实问题出题，而非LeetCode。文中以分布式缓存lease释放为例：读者读完需主动释放，但并发读者折叠在单一时间戳中，无法计数。解法引入水位线（lease_now）和计数（lease_cnt），通过不变量管理窗口，确保最后一人释放后回收器立即可见，同时容忍崩溃等未释放情况。题目考察工程判断力，强调分支必要性与不变量维护。