运行读锁升级失败、写锁降级和另一写者先填缓存的交错，验证写锁内重查避免覆盖更新，并解释回调、异常与返回对象的锁边界。