从单线程迭代失败写到有界LRU，完整验证访问更新、逐出、快照和空值协议，解释同步、加载协调、权重和过期的区别。