闭卷重建分片键决定系统形状的故障模型、消息状态、不变量与恢复边界。
分布式系统与可靠服务 · 小纸条
选一章打印。双面打印(按长边翻页)后沿虚线剪开,每张卡片正面题目、背面答案。
闭卷重建范围分片与哈希分片的故障模型、消息状态、不变量与恢复边界。
闭卷重建一致性哈希与虚拟节点的故障模型、消息状态、不变量与恢复边界。
闭卷重建目录路由与元数据一致性的故障模型、消息状态、不变量与恢复边界。
闭卷重建在线迁移与双写边界的故障模型、消息状态、不变量与恢复边界。
闭卷重建热点检测与自适应拆分的故障模型、消息状态、不变量与恢复边界。
闭卷重建实验:一致性哈希与再平衡的故障模型、消息状态、不变量与恢复边界。
机制:范围分片支持有序扫描但易热点,哈希分片均匀却打散邻近数据;实验:对订单数据执行两种映射并统计点查、范围查和节点负载;边界:哈希函数均匀不等于业务权重均匀,大租户仍会成为热点。
机制:分片键影响负载均匀、查询局部性、扩展和热点;错误键很难靠增加节点补救;实验:比较按用户、时间和租户分片对三个查询的跨片数量;边界:均匀随机键会破坏范围查询,单调时间键又可能把新写压到一个尾分片。
机制:中心目录或分布式元数据记录分片范围、版本和拥有者,客户端缓存必须识别过期路由;实验:模拟分片切分后旧客户端请求被新节点重定向并刷新版本;边界:双写迁移期间只更新路由不保证数据完整,控制平面也需高可用。
机制:节点和键映射到环上,键交给顺时针首节点;虚拟节点改善分布并让权重可调;实验:增加一个节点前后计算迁移键比例并列出受影响区间;边界:一致性哈希减少迁移而非零迁移,副本放置还需机架/区域故障域约束。
机制:按QPS、字节、CPU和尾延迟识别热点,选择拆分、缓存、隔离或限流;实验:对含一个大租户的负载直方图选择拆分点并验证迁移后峰值;边界:平均负载均匀会掩盖单键热点,热点键也无法用普通范围拆分一分为二。
机制:安全迁移通常经历快照复制、增量追赶、短暂切换和旧副本回收,每阶段有明确所有权;实验:为10GB分片按复制速率和增量写率计算追赶时间;边界:无界增量写可能永远追不上;双写部分成功必须可重试和去重。
机制:实现哈希环、虚拟节点、键定位及节点增删迁移统计;实验:覆盖空环、单节点、多节点增加和删除四类测试;边界:哈希稳定性、碰撞规则和副本去重必须写进题面。